secondo incontro Caravaggio

Documenti analoghi
Tavola dei sillogismi

Le asserzioni categoriche. Unit 3, Lez 1 Corso di Logica

Lezioni (26 ottobre 2015)

Il termine medio può essere: 1) soggetto della maggiore e predicato della minore:

Sillogismi condizionali e categorici. Laura Catastini Università di Roma Tor vergata

BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta

sempre vere sempre false

LOGICA E FILOSOFIA DELLA SCIENZA

ELEMENTI DI LOGICA SILLOGISTICA

CALCOLO DEI PREDICATI DEL I ORDINE

NOZIONI DI LOGICA PROPOSIZIONI.

Es. quadrilatero: specie di poligono, genere di quadrato. La specie ha più caratteristiche, il genere è riferito a più elementi.

A Simone piacciono tutti i giochi di squadra. Il basket è un gioco di squadra. A Simone non piace giocare a basket.

Matteo Bonato Bologna, 28/02/2015

Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A

Argomenti. Vita ed opere L'encicolpedia delle scienze La metafisica La fisica L'etica La poetica La logica

LOGICA ARISTOTELICA UN PERCORSO DI ESERCIZI

Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.

LOGICA E PROBLEMI DI LOGICA

NOZIONI DI LOGICA. Premessa

Un po di logica. Christian Ferrari. Laboratorio di matematica

L'algebra Booleana. Generalità. Definizioni

Unità 12 LA FRASE E I SUOI ELEMENTI BASE

Lezioni di storia della logica: Gargnano, agosto Massimo Mugnai. Scuola Normale Superiore, Pisa

INSIEMI. DEF. Un INSIEME è una qualsiasi collezione di oggetti.

Aristotele. Indice generale TOMMASO SCAPPINI APPUNTI DI STORIA DELLA FILOSOFIA

Logica di Base. Docente: Francesca Benanti. 27 Gennaio 2007

Informatica. Logica e Algebra di Boole

Confronto tra la logica aristotelica e la logica fregeana

Logic. Esame: Scritto. Questo corso fa parte del percorso Filosofia e Linguaggi dell Informatica.

Il ministero della sanità dovrebbe vietare la vendita delle sigarette; Infatti il fumo nuoce alla salute.

Cenni di logica e calcolo proposizionale

SCHEDA 1. Quali tra queste citazioni ritieni si possa definire un ragionamento

Logica proposizionale

Logica proposizionale

Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA. 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita.

04 - Logica delle dimostrazioni

Corso: Multimedialità e modelli di argomentazione (3 cr.)

Esercizi di Riepilogo e Autovalutazione

Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1]

Logica, teoria della conoscenza, filosofia della scienza. Gianluigi Bellin

Classe III C Liceo Scientifico A.S. 2009/2010. Indicazioni per il lavoro estivo

LOGICA e INSIEMISTICA

Dai Presocratici ad Aristotele Volume 1 sk Aristotele e il primo peripato pag. 1

George BOOLE ( ) L algebra booleana. (logica proposizionale)

Aristotele 384 ac 322 ac

Richiami teorici ed esercizi di Logica

CAPITOLO 1 UN PO DI STORIA 1

IL LINGUAGGIO DEGLI INSIEMI Conoscenze

La Comunicazione Filosofica

Introduzione. - Analizzare le parti fondamentali dell opera La logica o Arte di pensare

Applicando il metodo delle tavole di verità dobbiamo verificare se "(p q) r" è una tautologia:

insieme c n ce c r e t r ez e z z a a par a t r ien e e e o no distinguere l uno dall altro insieme degli animali a quattro zampe

non V V V V F F F V F F F F

Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1]

ISTITUTO TECNICO STATALE COMMERCIALE E PER GEOMETRI A. MARTINI Castelfranco Veneto (TV) Elementi di Logica

Calcolo proposizionale

La logica di Aristotele. Prof. Marco Lombardi

Semantica I L S I G N I F I C A T O D E L L E P A R O L E E D E L L E F R A S I

Introduzione alla logica

Piccola storia della logica

Quand è che un argomento è un buon argomento?

1 Richiami di logica matematica

Semantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica

IL LINGUAGGIO DEGLI INSIEMI Conoscenze

5 Lezione: Nominazione e forma logica. SCHEMA DI FREGE nel rapporto tra ESPRESSIONE e CONTENUTO. oggetto concetto valore di verità estensione.

Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati;

MATEMATICA DI BASE 1

3. OPERAZIONI TRA CLASSI 2

Stupido è chi lo stupido fa. Ruggero Pagnan DIMA, Università di Genova

Esercitazioni per il corso di Logica Matematica

Prof. Roberto Capone. Nozioni di logica matematica

LOGICA TRADIZIONALE. 1. Proposizioni categoriche

LOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva

Il concetto di insieme. La rappresentazione di un insieme

APPUNTI DI ANALISI MATEMATICA Parte Prima

Intelligenza Artificiale I

Matematica e-learning - Corso Zero di Matematica. Gli Insiemi. Prof. Erasmo Modica A.A.

LE REGOLE DI DEDUZIONE

Richiami di logica matematica

LA CLASSIFICAZIONE DEI VIVENTI

Prova associata al percorso Sai di cosa è capace la luce? di Cinzia Ronchi

Corso di elettrotecnica Materiale didattico: i grafi

Seminario: Etica, metaetica, etica applicata. (L inuizionismo metaetico di) G.E. Moore e il realismo morale non naturalistico di W. D.

Guido Alliney Trento, 4 dicembre Libera volontà. Il fondamento metafisico della libertà del volere in Giovanni Duns Scoto

Liceo Scientifico G. Galilei Trebisacce Anno Scolastico

01 - Elementi di Teoria degli Insiemi

Strumenti per comunicare 1. La competenza linguistica. La Morfologia, dal greco morphé, forma e logos studio. L articolo

In una palazzina abitata da 20 famiglie, 10 di esse hanno il cane, 2 non hanno n è cane n è gatto mentre 12 famiglie hanno il gatto.

DISPENSA SUPPLEMENTARE DEL CORSO DI SEMIOTICA a.a Prof. Costantino Marmo Prof. Patrizia Violi. La semiotica di Peirce (Schemi e citazioni)

CAPITOLO IX. - PENSIERO e RAGIONAMENTO -

Appunti di linguistica generale

7. INSIEMI APERTI, INSIEMI CHIUSI, INSIEMI NE APERTI NE CHIUSI

Logica dei predicati

Aristotele Dalla dialettica alla filosofia prima

LOGICA DEL PRIMO ORDINE: PROOF SYSTEM. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini

ISTITUZIONI DI LOGICA(1)

INSIEME N. L'insieme dei numeri naturali (N) è l'insieme dei numeri interi e positivi.

Filosofi e profeti. Una questione di metodo. Cos è un argomento. Università degli Studi di Milano

Transcript:

secondo incontro Francesco Scarri 18 gennaio 2018

Le proposizioni Definizione Le proposizioni che esprimono le relazioni tra insiemi, cioè quelle che contengono quantificatori, sono dette proposizioni. Le proposizioni si classificano per qualità, per quantità e per distribuzione, in relazione alla modalità con cui relazionano gli insiemi a cui si riferiscono. Qualità e quantità consentono di attribuire una lettera ad ogni classe di proposizioni.

Le proposizioni Struttura generale Le proposizioni che si considereranno sono della forma: S è P, dove S è il soggetto, P è il predicato e il verbo essere viene definito copula.

Qualità Affermative e negative Se la proposizione indica un inclusione tra insiemi, sia essa totale o parziale, allora si dice affermativa. Considerando la prima persona singolare dell indicativo presente latino di affermare, e cioè adfirmo, le affermative si indicano con una delle due prime vocali, A e I, in dipendenza dalla quantità. Se la proposizione nega un inclusione tra insiemi, totale o parziale, allora si dice negativa. Considerando analogamente la medesima voce di nego, le negative si indicano con una delle due vocali, E ed O, sempre in dipendenza dalla quantità.

Quantità Universali e particolari Se la proposizione si riferisce a tutti gli elementi dell insieme indicato dal soggetto, allora si dice universale. Sempre in riferimento ad adfirmo e nego, per convenzione scolastica una universale affermativa si indica con la lettera A, ed una universale negativa con la E. Se la proposizione si riferisce solo ad una parte degli elementi dell insieme indicato dal soggetto, allora si dice particolare. Una particolare affermativa si indica con la lettera I, una particolare negativa con la O.

Distribuzione Su soggetto o predicato Ciascun termine (cioè soggetto e predicato) di una proposizione di un certo tipo può riferirsi a tutti gli elementi di un insieme o solo ad una parte di essi. Una proposizione distribuisce un termine se si riferisce a tutti gli elementi della classe individuata da quel termine.

Distribuzione Qualche esempio Se si considerano le proposizioni: 1. Tutte le balene sono grigie. 2. Nessun professore è analfabeta. 3. Alcuni soldati sono codardi. 4. Alcuni malati non sono fortunati. Soggetti e predicati sono distribuiti in modo diverso a seconda che la proposizione sia universale o particolare, oppure affermativa o negativa.

Le proposizioni Tutto insieme lettera quantità qualità distribuisce A universale affermativa solo S I particolare affermativa S e P E universale negativa nessuno O particolare negativa solo P

Il sillogismo Una definizione Gli argomenti che adoperano proposizioni di tipo A, E, I, O sono solitamente costituiti da due proposizioni, le premesse, e da una proposizione categorica che da esse deriva, la conclusione. Tali argomenti prendono il nome di sillogismi. Un poco più formalmente, un sillogismo categorico è un argomento deduttivo che consiste in tre proposizioni, contenenti in totale tre termini, ciascuno dei quali compare solamente in due delle tre proposizioni.

Il sillogismo Un esempio Nessun eroe è codardo. Alcuni soldati sono codardi. Quindi, alcuni soldati non sono eroi.

Premesse Maggiore e minore Il predicato della conclusione è detto termine maggiore (indicato in rosso); il soggetto della conclusione è detto termine minore (in giallo). Il termine che compare in entrambe le premesse ma non nella conclusione è detto termine medio (in blu). La premessa che contiene il predicato della conclusione è detta premessa maggiore. Quella che ne contiene il soggetto è detta premessa minore. Si scrive per prima la premessa maggiore.

Validità e verità Quando un sillogismo funziona La validità di un sillogismo è la sua correttezza formale. Un sillogismo è in toto vero quando è valido, e sia le sue premesse che la sua conseguenza sono vere. La validità di un sillogismo dipende esclusivamente dalla sua correttezza formale, e non dal contenuto delle proposizioni; affinché un sillogismo sia valido, bisogna che vengano rispettate delle regole di costruzione. Innanzitutto il sillogismo deve essere costituito da esattamente tre proposizioni: operativamente i polisillogismi (argomenti deduttivi con più premesse e/o più conclusioni) si scompongono infatti in più sillogismi ordinarî.

Termine medio distribuito Quando un sillogismo funziona Il termine medio dev essere distribuito in almeno una delle due premesse. In caso contrario si giunge a sillogismi errati come: Tutti i Russi sono rivoluzionarî. Tutti gli anarchici sono rivoluzionarî. Quindi, tutti gli anarchici sono russi.

Distribuzione in premesse e conclusione Quando un sillogismo funziona Un termine distribuito nella conclusione dev essere distribuito nelle premesse. In caso contrario si commette una fallacia di procedimento illecito. Si giunge a sillogismi errati come: Tutti i cani sono mammiferi. Nessun gatto è un cane. Quindi, nessun gatto è un mammifero.

Due premesse negative Quando un sillogismo funziona Nessun sillogismo con entrambe le premesse negative è valido. In caso contrario si commette la fallacia delle premesse esclusive. Si giunge a sillogismi impossibili da completare come: Nessun dio è mortale. Eracle non è mortale. Quindi...?

Una premessa negativa Quando un sillogismo funziona Se una delle due premesse è negativa, allora anche la conclusione dev essere negativa. In caso contrario si giunge a sillogismi errati come: Nessun poeta è un contabile. Alcuni artisti sono poeti. Quindi, alcuni artisti sono contabili.

Premesse universali Quando un sillogismo funziona Da due premesse universali non si può trarre alcuna conclusione particolare. In caso contrario si commette la fallacia esistenziale. Si giunge a sillogismi errati come: Tutti gli animali da compagnia sono animali domestici. Nessun unicorno è un animale domestico. Quindi, alcuni unicorni non sono animali domestici.

Le figure La classificazione scolastica La classificazione scolastica dei sillogismi validi li divide in quattro figure, che si differenziano per la posizione, cio è il ruolo, del termine medio. I fig. il termine medio è soggetto della premessa maggiore e predicato della minore II fig. il termine medio è predicato di entrambe le premesse III fig. il temine medio è soggetto di entrambe le premesse IV fig. il termine medio è predicato della premessa maggiore e soggetto della minore Ad ogni sillogismo viene associata una parola, le cui prime tre vocali sono nell ordine le lettere associate alle proposizioni che lo compongono. Un sillogismo che contiene tre universali affermative è identificato come del tipo BARBARA, ad esempio.

La classificazione scolastica Da BARBARA a DIMARIS ADFIRMO, NEGO I figura II figura III figura IV figura BARBARA CAMESTRES DARAPTI (BARBARA) BARBARI CAMESTROP DATISI BAMALIP DARII BAROCO FELAPTON CAMENES CELARENT CESARE FERISON CAMELOP CELARONT CESARO DISAMIS FESAPO FERIO FESTINO BOCARDO FRESISON DIMARIS

L ambiguità Aristotele, orci e asini Aristotele, il primo formalizzatore dei sillogismi, sottolinea l importanza di definire adeguatamente i termini del discorso. Se, infatti, si usano termini equivoci, il sillogismo perde di significato. Ad esempio, se si utilizza la parola óνoς, che in greco assume sia il significato di orcio che quello di asino, bisogna specificare se ci si sta riferendo all oggetto oppure all animale.

Aristotele l maestro di color che sanno Busto di Aristotele, attribuito a Lisippo, ora a Palazzo Altemps.

Qualche applicazione pratica Tutti i filosofi sono antipatici. Qualche filosofo è italiano. Quindi: a. ogni italiano è antipatico b. qualche italiano è antipatico c. qualche filosofo è antipatico d. qualche antipatico è antipatico e. ogni filosofo è antipatico

Qualche applicazione pratica Nessuna pianta ha le ali. Tutti gli alberi sono piante. Quindi: a. qualche albero ha le ali b. nessuna pianta ha le ali c. nessun albero ha le ali d. nessun essere vivente con le ali è un insetto e. qualche pianta ha le ali

Qualche applicazione pratica Tutti gli italiani amano il calcio. Alcuni italiani amano il mare. Quindi: a. i calciatori vanno raramente al mare. b. chi non ama il calcio non ama il mare c. qualche amante del calcio ama il mare d. chi va al mare ama il calcio e. qualche italiano ama farsi prendere a calci al mare