Jeg har problemer med at fange forskellen mellem disse to former. Jeg forsøgte at tegne nogle Venn-diagrammer, men det hjælper ikke.
“Alle A er B” betyder, at A er indeholdt i B.
Betyder “A er B”, at A også er indeholdt i B? Eller at A er lig med B (sættet er det samme)?
Tak!
Kommentarer
- " A er B " er tvetydig mellem " A = B " og " A er inkluderet i B ". Kilden til problemet er, at flertydigheden af " er " sig selv på et naturligt sprog.
- Med hensyn til aristotelisk syllogisme , se Påstandenes strukturer
- Et af problemerne med at kortlægge sprog til semantik er, at du har brug for at holde styr på typerne af din variabler. A er B betyder A = B, hvis A og B begge er sæt (Sættet af heltal er sættet med rationelle tal med enhedsnævnere), men B (A) hvis B er en egenskab (Kuglen er rød) og det kan betyde Alle A er B, hvis A og B er kategorier (En mand er et dyr). Dette er en af grundene til, at mange logikere adskiller skrifttype eller store sager for at præcisere deres udtryk, eller de erklærer alt med en type. Der er intet svar på dit spørgsmål, der gælder for alle muligheder for typen A og B
Svar
Der er fire standardformer af kategoriske forslag , hvorfra syllogismer er konstrueret. Her er Wikipedias beskrivelse:
De gamle grækere som Aristoteles identificerede fire primære forskellige typer kategoriske propositioner og gav dem standardformularer (nu ofte kaldet A , E, I og O). Hvis abstrakt, emnekategorien hedder S, og predikatkategorien hedder P, er de fire standardformer:
Alle S er P. (A-form)
Ingen S er P. (E-form)
Nogle S er P. (I-form)
Nogle S er ikke P. (O-form)
Lad os se på spørgsmålet:
" Alle A er B " betyder, at A er indeholdt i B.
Betyder " A er B " betyder A også er indeholdt i B? Eller at A er lig med B (sættet er det samme)?
" Alle A er B " kan let omformuleres for at passe til A-formularen givet ovenfor ved blot at erstatte S for A og P for B .
" A er dog B " angiver ikke en kvantificering. Det kunne omskrives som " Alle S er P ", " Ingen S er P " eller " Nogle S er P ". Det er tvetydigt, som det er, og man har brug for flere oplysninger for at afgøre, hvilket kategorisk forslag bedst repræsenterer det.
Wikipedia-bidragsydere. (2019, 2. september). Kategorisk proposition. 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
- Tak! Det hjalp mig virkelig!
Svar
Prøv først god grammatik. Alle A er B er bare dårlig grammatik. Du skal sige: Alle Aer er B . Det vil sige “ alle ” indebærer et flertal her, mens i “ A er B ” , “ er ” betyder en ental.
Et eksempel på A er B kan være: Joe er irsk . er, en ting, Joe, har den ene kvalitet, egenskab eller egenskab at være irsk.
Et eksempel på Alle Aer er B ville være: Alle irske Katolikker er irske .
Vær opmærksom på forskellen med for eksempel: Befolkningen af irske katolikker, der bor i Storbritannien, er ret stor . Det vil sige, befolkningen er ret stor, ikke nødvendigvis de irske katolikker selv. Så det er en forekomst af A er B , ikke Alle A er B .
Formularen A er B bruges også til at sige, for eksempel “ Superman er Kent Clark “. Her er dette en sammenhæng mellem to ting, ikke mellem en ting og en kvalitet, men vi kan også gøre god logik med at: “ Hvis Superman er Kent Clark, så hvis Kent Clark er sulten, så er Superman også sulten “.Ordet “ er ” her bruges på de to forskellige måder, jeg lige har forklaret, men på talte sprog er vi sjældent forvirrede over, hvad der er, fordi konteksten normalt giver os de nødvendige spor.
Kommentarer
- Venligst. Clark Kent. Ikke Kent Clark.
- @ gnasher729 Ups, undskyld! Ikke mig, guv, min hjerne. Jeg antager, at det måske havde haft Kenneth Clark i tankerne, også en superhelt, af britisk politik, så forvirringen er forståelig. Og logikken i mit eksempel hviler ikke på historisk nøjagtighed, endsige på tegneserier ' lore.