Jeg har problemer med å fange forskjellen mellom disse to formene. Jeg prøvde å tegne noen Venn-diagrammer, men det hjelper ikke.
«Alle A er B» betyr at A er inneholdt i B.
Betyr «A er B» at A også er inneholdt i B? Eller at A er lik B (settet er det samme)?
Takk!
Kommentarer
- " A er B " er tvetydig mellom " A = B " og " A er inkludert i B ". Kilden til problemet er at tvetydigheten til " er " seg selv i naturlig språk.
- Når det gjelder aristotelisk syllogisme , se Strukturene for påstander
- Et av problemene med å kartlegge språk på semantikk er at du trenger å holde rede på typene dine variabler. A er B betyr A = B hvis A og B begge er mengder (settet med heltall er settet med rasjonelle tall med enhetsnevnere), men B (A) hvis B er en egenskap (ballen er rød) og det kan bety Alle A er B hvis A og B er kategorier (En mann er et dyr). Dette er en av grunnene til at mange logikere tar i bruk skrift- eller sakskiller for å avklare deres uttrykk, eller de erklærer alt med en type. Det er ikke noe svar på spørsmålet ditt som gjelder alle alternativene for typen A og B
Svar
Det er fire standardformer av kategoriske proposisjoner som pensum er konstruert fra. Her er Wikipedia sin beskrivelse:
De gamle grekerne som Aristoteles identifiserte fire primære forskjellige typer kategoriske proposisjoner og ga dem standardformer (nå ofte kalt A , E, I og O). Hvis fagkategorien abstrakt heter S og predikatkategorien heter P, er de fire standardformene:
Alle S er P. (A-skjema)
Ingen S er P. (E-form)
Noen S er P. (I-form)
Noen S er ikke P. (O-form)
La oss vurdere spørsmålet:
" Alle A er B " betyr at A er inneholdt i B.
Betyr " A er B " mener A også er inneholdt i B? Eller at A er lik B (settet er det samme)?
" Alle A er B " kan enkelt omskrives for å passe til A-skjemaet gitt ovenfor bare ved å erstatte S for A og P for B .
Imidlertid er " A B " spesifiserer ikke en kvantifier. Det kan omskrives som " Alle S er P ", " Ingen S er P " eller " Noen S er P ". Det er tvetydig slik det står, og man trenger mer informasjon for å bestemme hvilken kategorisk proposisjon som best representerer den.
Wikipedia-bidragsytere. (2019, 2. september). Kategorisk proposisjon. I Wikipedia, The Free Encyclopedia. Hentet 12:08 27. september 2019 fra https://en.wikipedia.org/w/index.php?title=Categorical_proposition&oldid=913715701
Kommentarer
- Takk! Det hjalp meg virkelig!
Svar
Prøv først god grammatikk. Alle A er B er bare dårlig grammatikk. Du bør si: Alle A er B . Det vil si « alle » innebærer flertall her, mens i « A er B » , « er » innebærer en entall.
Et eksempel på A er B kan være: Joe er irsk . er, en ting, Joe, har den ene kvaliteten, egenskapen eller egenskapen å være irsk.
Et eksempel på Alle A er er B ville være: Alle irske Katolikker er irske .
Vær oppmerksom på forskjellen med for eksempel: Befolkningen av irske katolikker som bor i Storbritannia er ganske stor . Det vil si at befolkningen er ganske stor, ikke nødvendigvis de irske katolikkene selv. Så det er en forekomst av A er B , ikke Alle A er B .
Skjemaet A er B brukes også til å si, for eksempel « Superman er Kent Clark «. Her er dette en sammenheng mellom to ting, ikke mellom en ting og en kvalitet, men vi kan også gjøre god logikk med det: « Hvis Superman er Kent Clark, så, hvis Kent Clark er sulten, så er Superman også sulten «.Ordet « er » her brukes på de to forskjellige måtene jeg nettopp har forklart, men på talte språk er vi sjelden forvirret om hva som er fordi konteksten vanligvis gir oss de nødvendige ledetråder. p>
Kommentarer
- Vær så snill. Clark Kent. Ikke Kent Clark.
- @ gnasher729 Beklager! Ikke meg, guv, hjernen min. Jeg antar at det kan ha hatt Kenneth Clark i tankene, også en superhelt, av britisk politikk, så forvirringen er forståelig. Og logikken i eksemplet mitt hviler ikke på historisk nøyaktighet, enn si på tegneserier ' lore.