Fondamenti di logica formale e ragionamento. Основы формальной логики и аргументации.
Формальная логика изучает принципы умозаключений. studi di logica formale dei principi di ragionamento. В первую очередь ее интересует структура аргументации и процесс, благодаря которому из посылок делаются выводы. Interessato principalmente la struttura del suo ragionamento e il processo attraverso il quale le conclusioni dalle premesse. Таким образом, основное внимание уделяется не высказываниям как таковым, а отношениям между ними. Così, il fuoco non è delle dichiarazioni in quanto tale, ma le relazioni tra di loro. Другими словами, в формальной логике вопрос «Ложны или истинны высказывания в данной аргументации?» менее важен, чем вопрос «Правильно ли сделан вывод в данной аргументации?». In altre parole, nella logica formale, la questione del "vero o false dichiarazioni in questo argomento?" Meno importante della questione "è la conclusione di questo argomento?".
Три основных принципа I tre principi di base
В основе предмета логики лежат три принципа: Alla base della logica dell'oggetto si basa su tre principi:
- Принцип тождества: если высказывание истинно, то оно истинно. Il principio di identità: se l'affermazione è vera, allora è vero.
- Принцип исключенного третьего: высказывание либо истинно, либо ложно. Il principio del terzo escluso: un enunciato è vero o falso.
- Принцип противоречия: высказывание не может быть одновременно истинным и ложным. Il principio di contraddizione: una dichiarazione non può essere sia vera e falsa.
Каждый из этих принципов оспаривается время от времени, но, правильно понятый, каждый из них истинен и не признает исключений. Ciascuno di questi principi sono chiamati di volta in volta, ma, propriamente intesa, ciascuna di esse è vera e non riconosce eccezioni. На первый взгляд мы можем, например, подумать, что некоторые реалии изменяются, и поэтому принцип тождества неверен. A prima vista, possiamo, per esempio, pensare che alcune delle realtà di cambiamento, e quindi il principio di identità non è corretta. Высказывание «ребенок весит 3 кг» истинно при рождении, но ложно в течение всей остальной жизни этого ребенка. Между тем, присмотревшись, мы видим, что это высказывание представляет собой утверждение о его весе в определенный момент времени. La dichiarazione "bambino pesa 3 kg di" true alla nascita, ma è falso per il resto della vita di questo bambino. Nel frattempo, guardando più da vicino, vediamo che questa dichiarazione è una dichiarazione circa il suo peso in un determinato momento. Его более поздний вес не имеет отношения к истинности данного высказывания. Il suo peso, più recente è irrilevante per la verità di tale affermazione.
Точно так же может показаться, что принцип исключенного третьего оспаривается высказыванием, которое частично истинно и частично ложно, такое, как «Тридцать пятый президент США Рональд Рейган одно время был губернатором Калифорнии» . Allo stesso modo, sembrerebbe che il principio di esclusione contestata dichiarazione di mezzo, che è stato in parte vere e in parte false, come "Trentacinquesimo U. S. presidente Ronald Reagan una volta era governatore della California." Но, присмотревшись, можно обнаружить, что это высказывание представляет собой по сути два отдельных высказывания, слитые воедино: ложное высказывание о том, что Рейган был тридцать пятым президентом США (на самом деле он был сороковым президентом США), и истинное в отношении его предыдущей должности. Ma guardando più da vicino, si scopre che questa affermazione è in realtà due dichiarazioni distinte, unite insieme: una dichiarazione falsa che Reagan era del trentacinquesimo presidente degli Stati Uniti (in realtà è stato il Presidente quarantesimo degli Stati Uniti), e vale per al suo precedente posizioni.
Наконец, можно придумать высказывание, которое кажется одновременно и истинным и ложным, но только если дать ему две разные интерпретации. Предложение «Леонардо является итальянцем» не может быть одновременно и истинным и ложным одним и тем же способом. Возможно, конечно, что Леонардо является итальянцем по рождению, а позднее он принял американское гражданство. Infine, si può trovare con una dichiarazione che sembra al tempo stesso vere e false, ma solo se gli danno due interpretazioni diverse. La frase "Leonardo è un italiano" non può essere vero e falso allo stesso modo. Maggio, naturalmente, è che Leonardo italiani per nascita, ma in seguito ha preso la cittadinanza americana. Однако понять это предложение таким способом — значит прочесть «является итальянцем» в двух разных смыслах. Ma capisco questa proposta in questo modo - che significa leggere "è un italiano" in due sensi diversi. Этот пример не оспаривает принцип противоречия. Questo esempio non mette in discussione il principio di contraddizione.
Формальная аргументация Ragionamento formale
Традиционно логическая аргументация выражается в форме силлогизма. Силлогизм — это своего рода вербальная (словесная) математика: а + b = с (или 1 + 2 = 3). Tradizionalmente, l'argomento logico espresso nella forma di un sillogismo. Sillogismo - una sorta di verbale (verbale), la matematica: a + b = c (o 1 + 2 = 3). Он состоит из трех высказываний: большой посылки, малой посылки и вывода (заключения). Si compone di tre affermazioni: un pacco di grandi dimensioni, piccoli pacchi e di uscita (conclusione).
Вот знаменитый пример силлогизма: Ecco un famoso esempio di un sillogismo:
- Все люди смертны. Tutti gli uomini sono mortali.
- Сократ — человек. Socrates - uomo.
- Поэтому Сократ смертен. Quindi Socrate è mortale.
Большая посылка — это первое высказывание. Il maggiore premessa - questa è la parola per primo. Она называется большой , потому что содержит больший термин силлогизма (в данном случае смертен). Больший термин всегда становится предикатом (сказуемым) вывода; меньший термин (в этом случае Сократ) всегда становится субъектом (подлежащим) вывода. Средний термин (люди/человек) не появляется в выводе, но служит общим элементом , связкой для обеих посылок. È grande perché contenga il termine principale di sillogismo (in caso di morte). Termine Major è sempre un predicato (predicato) e O, il termine minore (in questo caso, Socrates) diventa sempre il soggetto (s) di essere elaborato. Medio termine (persone / persona) non appare in uscita, ma è un elemento comune, un mazzo per entrambi i pacchi.
Чтобы облегчить анализ и помочь себе сконцентрироваться на структуре, а не на содержании, логики часто заменяют термины силлогизма символами. Чаще всего используются символы Р, Q и R Предыдущий силлогизм символически будет выглядеть следующим образом: Per facilitare l'analisi e aiutare se stessi a concentrare sulla struttura e non sul contenuto, la logica è spesso sostituito da termini del sillogismo simbolo. Il più comunemente usati i simboli P, Q e R simbolicamente sillogismo precedente dovrebbe apparire così:
- Все Р есть Q. Tutti i P sono Q.
- R есть Р. R è R.
- Поэтому R есть Q. Quindi R è Q.
Часто встречающиеся ошибки в силлогизмах Errori comuni in sillogismi
Прежде чем мы перейдем к конкретным ошибкам, необходимо разъяснить понятие распределения ( дистрибуции ). Prima di passare ad errori specifici, è necessario chiarire il concetto di distribuzione (distribuzione). Распределение означает сделать утверждение о каждом элементе того или иного класса. Таким образом, в высказывании «Все колледжи выдают дипломы» субъект распределен. Distribuzione dei mezzi per rendere la dichiarazione su ogni elemento di una classe. Così, nella frase "All premio collegi diplomi" il soggetto è distribuito.
Есть четыре ошибки, которые часто встречаются в силлогизмах, и две родственные ошибки, которые, хотя технически не относятся к силлогизмам, похожи по форме: Ci sono quattro gli errori che si verificano spesso in sillogismi, e due errori correlati, che, anche se tecnicamente non si applicano a un sillogismo, simile nella forma:
- Нераспределенный средний термин Non distribuiti medio termine
- Неправильное умозаключение Paralogismo
- Подтверждение консеквента Conferma conseguente
- Отрицание антецедента Denial antecedente
- Обращение условного высказывания Messaggio dal istruzioni condizionali
- Отрицание антецедента и консеквента Denial of antecedente e conseguente
1. 1. Нераспределенный средний термин. В силлогизме каждый средний термин должен быть распределен хотя бы однажды . Non distribuiti medio termine. In ogni sillogismo il termine medio deve essere distribuito almeno una volta. Если он не распределен в одной из посылок, которые он призван соединить, то имеет место ошибка нераспределенного среднего термина и умозаключение неправильно. Se non è distribuita in uno dei pacchi, che aveva intenzione di unirsi, allora c'è un errore non distribuiti a medio termine e il ragionamento sbagliato.
| Символическое выражение Simbolica espressione | Пример Esempio |
| Все Р есть Q. Tutti i P sono Q. | Все хомяки — млекопитающие. Tutti i criceti - mammiferi. |
| Все R есть Q. Tutte R è Q. | Все слоны — млекопитающие. Tutti gli elefanti - mammiferi. |
| Поэтому все Р есть R. Pertanto, tutti i P è R. | Поэтому
все хомяки — слоны. Pertanto, tutti i criceti - elefanti. |
Обе посылки истинны: и хомяки, и слоны — млекопитающие. Entrambe le ipotesi sono vere: e criceti e gli elefanti - mammiferi. Но это общее качество не является достаточным основанием, чтобы сделать вывод о том, что они относятся к одному виду животных. Ma è la qualità generale non è un motivo sufficiente per concludere che essi appartengono a una specie di animali. Есть много других видов млекопитающих помимо слонов. Ci sono molte altre specie di mammiferi, oltre a elefanti.
2. 2. Неправильное умозаключение. В силлогизме любой термин, который распределен в выводе, должен быть так же распределен в посылке, в которой он находится. inferenza non corretta. Il sillogismo, ogni termine che viene distribuito in uscita deve essere ben distribuito nella premessa, in cui è situato. Если больший или меньший термин распределен в выводе, но не распределен в посылке, в которой он находится, имеет место ошибка неправильного умозаключения : Se un termine più lungo o più corto è distribuito in ritiro, ma non distribuiti nella premessa, in cui ha sede, c'è un bug con deduzioni non corrette:
| Символическое выражение Simbolica espressione | Пример Esempio |
| Неправилен больший термин Wrong termine importanti | |
| Все Р есть Q. Tutti i P sono Q. | Все далматинцы имеют пятна. Tutti i dalmati hanno macchie. |
| Ни один R не есть Р. Nessuno R non è R. | Ни
одна золотая рыбка не является далматинцем. Nessuno dei pesci rossi non è Dalmati. |
| Поэтому ни один R не есть Q. Pertanto, non è R non è una Q. | Поэтому
ни одна золотая рыбка не имеет пятен. Di conseguenza, nessun pesce rosso non ha macchie. |
Наличие пятен действительно является характерным признаком далматинцев. La presenza di macchie è infatti una caratteristica di Dalmati. Другие виды животных, такие, как бабочки и леопарды, тоже имеют пятна. Altri animali, come le farfalle e leopardi, anche, hanno macchie. Поэтому тот факт, что золотые рыбки не далматинцы, не означает, что золотые рыбки не могут иметь пятен. Pertanto, il fatto che non sono pesci rossi Dalmati, non implica che pesci rossi non possono avere macchie.
| Символическое выражение Simbolica espressione | Пример Esempio |
| Неправилен меньший термин Errato termine minore | |
| Все Р есть Q. Tutti i P sono Q. | Все члены африканского племени менса умны. Tutti i membri della tribù africana Mensa intelligente. |
| Некоторые R есть Р. Qualche R è R. | Некоторые пастухи являются членами африканского
племени менса. Alcuni pastori sono membri di una tribù africana Mensa. |
| Поэтому все R есть Q. Pertanto, tutte le R è Q. | Поэтому
все пастухи умны. Pertanto, tutti i pastori sono intelligenti. |
Это правда, что все члены африканского племени менса умны (по крайней мере, в отношении умственных характеристик, измеряемых тестами умственных способностей). E 'vero che tutti i membri della tribù africana Mensa intelligente (almeno per quanto riguarda le prestazioni mentali come risulta dalle prove di abilità mentali). Поэтому логичен, даже неизбежен вывод о том, что пастухи из африканского племени менса умны. E 'pertanto logico, anche la conclusione inevitabile che i pastori della tribù africana Mensa intelligente. Но этот вывод говорит только о некоторых пастухах, но не обо всех пастухах . Ma questa conclusione solo parla di alcuni dei pastori, ma non tutti pastori. Поэтому неверно делать вывод о том, что все они умны. Pertanto errato concludere che essi sono tutti intelligenti. Не члены этого племени могут быть весьма толковыми людьми, но слишком скромными, чтобы проявлять свою умственную одаренность, или могут оказаться тупее животных, за которыми ухаживают. Nessun membro di questa tribù possono essere persone molto intelligenti, ma troppo modesto per mostrare il loro doti mentali, o può essere più stupidi degli animali, per il quale cura. На основании того, что дано в этом умозаключении, мы просто не можем этого сказать. Sulla base di ciò che è dato nelle conclusioni, non possiamo dirlo.
Четыре оставшиеся ошибки встречаются в гипотетическом (если — то) умозаключении. I restanti quattro errori si verificano in un ipotetico (se - allora) ragionamento. Они представляют собой искажения следующей правильной формы гипотетического умозаключения: Essi rappresentano una distorsione del regolare modulo successivo di un sillogismo ipotetico:
- Если Р, то Q. Se P, allora Q.
- Р. R.
- Потому Q. Perché Q.
3. 3. Подтверждение консеквента Conferma conseguente
| Символическое выражение Simbolica espressione | Пример Campione |
| Если Р, то Q. Se P, allora Q. | Если я очень стараюсь, я добиваюсь успеха. Se provo, ho successo. |
| Q. Q. | Сегодня я добился успеха. Oggi sono riuscito. |
| Поэтому Р. Pertanto R. | Поэтому
я очень постарался [сегодня]. Ecco perché ho cercato di [] oggi. |
Первая посылка не говорит, что хорошее старание — это единственный способ добиться успеха. La prima premessa non dice che un buon sforzo - è l'unico modo per raggiungere il successo. Она всего лишь говорит, что это один из способов. Dice solo che questo è un modo. Поэтому могут быть и другие — случайность, например, или удача. Così può essere altri - un incidente, per esempio, o la fortuna. Следовательно, неправильно говорить, что сегодняшний успех доказывает то, что сегодня я очень постарался. Di conseguenza, non è corretto dire che il successo di oggi dimostra che oggi sono molto provato. Быть может, сегодня мне всего лишь повезло. Forse oggi ho solo fortunato.
4. 4. Отрицание антецедента Denial antecedente
| Символическое выражение Simbolica espressione | Пример Esempio |
| Если Р, то Q. Se P, allora Q. | Если Агнесс знает, то и Мария знает. Se Agnes sa, e Maria lo sa. |
| Не Р. Non R. | Агнесс не знает. Agnes non lo sa. |
| Поэтому не Q. Pertanto, non Q. | Поэтому и Мария не знает. Ecco perché Maria non lo sapeva. |
Первая посылка утверждает всего-навсего, что Мария знает, когда Агнесс знает. Il primo assunto afferma solo che Maria sa quando Agnes sa. Она оставляет открытой возможность того, что Мария также может знать, когда, как в этом случае, Агнесс не знает. Si lascia aperta la possibilità che Maria potrebbe anche sapere quando, come in questo caso, Agnese non sa.
5. 5. Обращение условного умозаключения Messaggio del ragionamento condizionale
| Символическое выражение Simbolica espressione | Пример Esempio |
| Если Р, то Q. Se P, allora Q. | Если «звезда» завершит карьеру, то сериал будет
прекращен. Se la "stella" per terminare la sua carriera, la serie verrà interrotta. |
| Поэтому если Q, то Р. Pertanto, se Q, poi R. | Поэтому если сериал будет прекращен, то «звезда»
завершит карьеру. Pertanto, se la serie sarà sospesa, poi la "stella" per terminare la sua carriera. |
Первая посылка утверждает, что существует прямая связь между участием звезды в сериале и продолжением сериала. La prima premessa afferma che esiste una relazione diretta tra le stelle della serie e la continuazione della serie. В ней подразумевается, что «звезда» является настолько важным фактором для успеха сериала, что он не сможет и дальше пользоваться успехом без этого актера. Resta inteso che la "stella" è così importante per il successo della serie, che non poteva continuare a godere il successo senza l'attore. Вывод же утверждает, что, поскольку этот актер так важен, он не сможет продолжать пользоваться успехом без сериала. La conclusione, inoltre, che, perché questo attore è così importante, non può continuare a godere senza successo la serie. Это утверждение абсурдно. Questa affermazione è assurda.
6. 6. Отрицание антецедента и консеквента Denial of antecedente e conseguente
| Символическое
выражение Simbolica espressione |
Пример Esempio |
| Если Р, то Q. Se P, allora Q. | Если я поступлю в аспирантуру, то получу
высокооплачиваемую работу. Se entro in scuola di specializzazione, si ottiene un lavoro retribuito. |
| Поэтому если не Р, то и не Q. Pertanto, se non P poi non Q. | Поэтому
если я не поступлю в аспирантуру, то я не получу высокооплачиваемую работу. Quindi, se non ho nemmeno trattare in scuola di specializzazione, non trovare un lavoro pagato. |
Аспирантура, предполагает посылка, гарантирует человеку высокооплачиваемую работу. Fellowship, suggerisce la premessa garantisce la persona che paga posti di lavoro. Но поскольку посылка не говорит, что это один-единственный путь к такой работе, остается открытой возможность, что человек может получить высокооплачиваемую работу и без поступления в аспирантуру. Ma perché la premessa non dice che questo è un percorso a tali lavori lascia aperta la possibilità che una persona può ottenere pagando job-alta e senza reddito a scuola di specializzazione.




