Ho problemi a cogliere la differenza tra queste due forme. Ho provato a disegnare alcuni diagrammi di Venn ma non mi è stato daiuto.
“Tutti gli A sono B” significa che A è contenuto in B.
“A è B” significa che A è contenuto anche in B? O che A è uguale a B (linsieme è lo stesso)?
Grazie!
Commenti
- " A è B " è ambiguo tra " A = B " e " A è incluso in B ". La fonte del problema è lambiguità di " è " stesso in linguaggio naturale.
- Riguardo al sillogismo aristotelico , vedere The Structures of Assertions
- Uno dei problemi con la mappatura del linguaggio sulla semantica è che è necessario tenere traccia dei tipi di variabili. A è B significa A = B se A e B sono entrambi insiemi (Linsieme di interi è linsieme di numeri razionali con denominatori unitari), ma B (A) se B è una proprietà (La pallina è rossa) e può significare Tutti A sono B se A e B sono categorie (Un uomo è un animale). Questo è uno dei motivi per cui molti logici adottano distinzioni di caratteri o maiuscole per chiarire le loro espressioni o dichiarano tutto con un tipo. Non esiste una risposta alla tua domanda valida per tutte le opzioni per il tipo A e B
Risposta
Esistono quattro forme standard di proposizioni categoriali da cui vengono costruiti i sillogismi . Ecco la descrizione di Wikipedia:
Gli antichi greci come Aristotele identificarono quattro tipi distinti primari di proposizioni categoriali e diedero loro forme standard (ora spesso chiamate A , E, I e O). Se, astrattamente, la categoria del soggetto è chiamata S e la categoria del predicato è chiamata P, le quattro forme standard sono:
Tutte le S sono P. (forma A)
Nessuna S è P. (forma E)
Alcune S sono P. (forma I)
Alcune S non sono P. (forma O)
Consideriamo la domanda:
" Tutti A sono B " significa che A è contenuto in B.
" A è B " significa che A è contenuto anche in B? O che A è uguale a B (linsieme è lo stesso)?
" Tutti A sono B " può essere facilmente parafrasato per adattarsi al modulo A fornito sopra semplicemente sostituendo S con A e P per B .
Tuttavia, " A è B " non specifica un quantificatore. Potrebbe essere parafrasato come " Tutte le S sono P ", " No S sono P " o " Alcuni S sono P ". È ambiguo così comè e sarebbero necessarie più informazioni per decidere quale proposizione categorica lo rappresenta meglio.
Collaboratori di Wikipedia. (2019, 2 settembre). Proposta categoriale. In Wikipedia, The Free Encyclopedia. Estratto il 27 settembre 2019 alle 12:08 da https://en.wikipedia.org/w/index.php?title=Categorical_proposition&oldid=913715701
Commenti
- Grazie! Mi ha davvero aiutato!
Risposta
Innanzitutto, prova una buona grammatica. Tutto A è B è solo una cattiva grammatica. Dovresti dire: Tutti A “sono B . Cioè,” tutto “implica un plurale qui, mentre in” A è B ” , “ è ” implica un singolare.
Un esempio di A è B potrebbe essere: Joe è irlandese . è, una cosa, Joe, ha lunica qualità, proprietà o attributo di essere irlandese.
Un esempio di Tutte le A “sono B sarebbe: Tutto irlandese I cattolici sono irlandesi .
Si noti la differenza, ad esempio, con: La popolazione di cattolici irlandesi che vive in Gran Bretagna è piuttosto numerosa . Cioè, la popolazione è piuttosto numerosa, non necessariamente gli stessi cattolici irlandesi. Quindi, è unistanza di A è B , non Tutte le A “sono B .
La forma A è B è anche usato per dire, ad esempio “ Superman è Kent Clark “. Qui, questa è una relazione tra due cose, non tra una cosa e una qualità, ma possiamo anche fare una buona logica con che: “ Se Superman è Kent Clark, allora, se Kent Clark ha fame, anche Superman ha fame “.La parola “ è ” qui è usata nei due diversi modi che ho appena spiegato ma, nelle lingue parlate, raramente siamo confusi su quale sia perché il contesto di solito ci fornisce gli indizi necessari.
Commenti
- Per favore. Clark Kent. Non Kent Clark.
- @ gnasher729 Ops, scusa! Non io, guv, il mio cervello. Immagino che avesse in mente Kenneth Clark, anche lui un supereroe, della politica britannica, quindi la confusione è comprensibile. E la logica del mio esempio non si basa sullaccuratezza storica, figuriamoci sui fumetti ' lore.