Jag har problem med att fånga skillnaden mellan dessa två former. Jag försökte rita några Venn-diagram men det hjälper inte.
”Alla A är B” betyder att A finns i B.
Betyder ”A är B” betyder att A också ingår i B? Eller att A är lika med B (uppsättningen är densamma)?
Tack!
Kommentarer
- " A är B " är tvetydig mellan " A = B " och " A ingår i B ". Källan till problemet är att tvetydigheten för " är " själv i naturligt språk.
- När det gäller aristotelisk syllogism , se Strukturerna för påståenden
- Ett av problemen med att kartlägga språk på semantik är att du behöver hålla reda på vilka typer av din variabler. A är B betyder A = B om A och B är båda uppsättningarna (Uppsättningen av heltal är uppsättningen rationella tal med enhetsbenämnare), men B (A) om B är en egenskap (Bollen är röd) och det kan betyda Alla A är B om A och B är kategorier (En man är ett djur). Detta är en av anledningarna till att många logiker använder skillnader mellan typsnitt eller fall för att klargöra deras uttryck eller de förklarar allt med en typ. Det finns inget svar på din fråga som gäller alla alternativ för typen A och B
Svar
Det finns fyra standardformer av kategoriska propositioner från vilka kursplaner är konstruerade. Här är Wikipedia: s beskrivning:
De forntida grekerna som Aristoteles identifierade fyra primära distinkta typer av kategoriska propositioner och gav dem standardformer (nu ofta kallade A , E, I och O). Om ämneskategorin abstrakt heter S och predikatkategorin heter P, är de fyra standardformerna:
Alla S är P. (A-form)
Inga S är P. (E-form)
Vissa S är P. (I-form)
Vissa S är inte P. (O-form)
Låt oss överväga frågan:
" Alla A är B " betyder att A finns i B.
Betyder " A är B " menar A ingår också i B? Eller att A är lika med B (uppsättningen är densamma)?
" Alla A är B " kan enkelt omformuleras så att det passar A-formuläret som ges ovan bara genom att ersätta S för A och P för B .
" A är dock B " anger inte en kvantifierare. Det kan omformuleras som " Alla S är P ", " Inga S är P " eller " Vissa S är P ". Det är tvetydigt som det står och man skulle behöva mer information för att avgöra vilken kategorisk proposition som bäst representerar den.
Wikipedia-bidragsgivare. (2019, 2 september). Kategorisk proposition. På Wikipedia, The Free Encyclopedia. Hämtad 12:08 den 27 september 2019 från https://en.wikipedia.org/w/index.php?title=Categorical_proposition&oldid=913715701
Kommentarer
- Tack! Det hjälpte mig verkligen!
Svar
Försök först med en bra grammatik. Alla A är B är bara dålig grammatik. Du borde säga: Alla A är B . Det vill säga ” alla ” innebär en plural här, medan i ” A är B ” , ” är ” innebär en singular.
Ett exempel på A är B kan vara: Joe är irländsk . är, en sak, Joe, har den enda kvaliteten, egenskapen eller attributet att vara irländsk.
Ett exempel på Alla A är B skulle vara: Alla irländare Katoliker är irländska .
Observera skillnaden med till exempel: Befolkningen av irländska katoliker som bor i Storbritannien är ganska stor . Det vill säga befolkningen är ganska stor, inte nödvändigtvis de irländska katolikerna själva. Så det är en förekomst av A är B , inte Alla A är B .
Formuläret A är B används också för att säga till exempel ” Superman är Kent Clark ”. Här är detta en relation mellan två saker, inte mellan en sak och en kvalitet, men vi kan också göra bra logik med att: ” Om Superman är Kent Clark, då, om Kent Clark är hungrig, så är Superman också hungrig ”.Ordet ” är ” används här på de två olika sätt som jag just förklarade, men på talade språk är vi sällan förvirrade över vilket som är eftersom sammanhanget vanligtvis ger oss nödvändiga ledtrådar. p>
Kommentarer
- Snälla. Clark Kent. Inte Kent Clark.
- @ gnasher729 Oj, ledsen! Inte jag, guv, min hjärna. Jag antar att det kan ha haft Kenneth Clark i åtanke, också en superhjälte, av brittisk politik, så förvirringen är förståelig. Och logiken i mitt exempel vilar inte på historisk noggrannhet, än mindre på serier ' lore.