Scarica Definizioni del corso di LOGICA obbligatorio di Filosofia ad UNITO e più Schemi e mappe concettuali in PDF di Logica solo su Docsity! pag. 1 DEFINIZIONI DI LOGICA LEZIONE 1 LOGICA = TEORIA DEL RAGIONAMENTO CORRETTO LOGICA PROPOSIZIONALE = SERVE A INDIVIDUARE IL VALORE DI VERITÀ DI UNA PROPOSIZIONE COMPLESSA A PARTIRE DAL VALORE DI PROPOSIZIONI SEMPLICI CONNESSE ATTRAVERSO CONNETTIVI ENUNCIATO = FRASE DEL LINGUAGGIO NATURALE A CUI SI ASSOCIA VERITÀ O FALSITÀ CONDIZIONI DI VERITÀ = CONDIZIONI PARTICOLARI SOTTO CUI UN ENUNCIATO È VERO → INTENSIONE = PAROLA PRECISA CHE HA UN VALORE DI VERITÀ, DIPENDE DALLE CONDIZIONI DI VERITÀ E DA COME LE COSE SONO (LA NEVE È BIANCA E LA TERRA È UN PIANETA SONO ENTRAMBE VERE MA DIVERSE CONDIZIONI DI VERITÀ) VALORE DI VERITÀ = LIMITE ENTRO CUI UNA PROPOSIZIONE RISULTA VERA → ESTENSIONE = PREDICATO ATTRIBUIBILE ALLA PAROLA ENTRO CUI ALTRI ENUNCIATI SONO UGUALMENTE VERI, PROPRIETÀ SEMANTICA ➔ STESSE CONDIZIONI DI VERITÀ HANNO UGUALE VALORE DI VERITÀ ➔ STESSO VALORE DI VERITÀ PUÒ AVERE DIVERSE CONDIZIONI DI VERITÀ PRINCIPIO DI BIVALENZA = UN ENUNCIATO PUÒ ESSERE SOLO VERO O FALSO → ESCLUSIVE ED ESAUSTIVE (PROBLEMA CON ASTRAZIONE, FUTURI CONTINGENTI, ANTIREALISMO, VAGHEZZA) ARGOMENTO = SEQUENZA DI ENUNCIATI IN CUI L’ULTIMO VIENE INFERITO DAGLI ALTRI DUE, COMPOSTO DA 2 PREMESSE E UNA CONCLUSIONE CHE VIENE INFERITA DALLE PRIME DUE VALIDITÀ = ARGOMENTO VALIDO SE C’È UNA CORRETTA TRASMISSIONE INFERENZIALE TRA LE PREMESSE E LA CONCLUSIONE, OSSIA È LEGITTIMO E GIUSTIFICATO INFERIRE LA CONCLUSIONE DALLE PREMESSE (NON NECESSARIA LA VERITÀ DELLE PREMESSE) FORMA LOGICA = RAPPRESENTATA ATTRAVERSO UN LINGUAGGIO FORMALE ARTIFICIALE DI SIMBOLI STIPULATI PER ACCORDO E EVIDENZIA CHIARAMENTE LA STRUTTURA E QUINDI RISULTA SEMPLICE OSSERVARNE LA VALIDITÀ, FORMATO DA - LETTERE SEMANTICHE: ESPRESSIONI NON LOGICHE ALFA E BETA - COSTANTI LOGICHE FORMALIZZAZIONE = TRADUZIONE DAL METALINGUAGGIO AL LINGUAGGIO OGGETTO IN FORMULE DI CUI È SEMPLICE DEFINIRNE IL VALORE DI VERITÀ LINGUAGGIO NATURALE = LINGUAGGIO FATTO DI PROPOSIZIONI NON FORMALIZZATO DI CUI FANNO PARTE LE PROPOSIZIONI DICHIARATIVE SOGGETTE AD AMBIGUITÀ (FINE) VAGHEZZA (MUCCHIO) DIPENDENZA CONTESTUALE (ANCORA) LINGUAGGIO ARTIFICIALE = LINGUAGGIO OGGETTO FORMALIZZATO STIPULATO SULLA BASE DI FORMULE UNIVERSALMENTE ACCETTATE (DI DEDUZIONE NATURALE DOVE SONO FORMALIZZATE SOLO REGOLE DI INFERENZA E ASSIOMATICO CON ASSIOMI COME GEOMETRIA EUCLIDEA) FORMULA = SEQUENZA SIMBOLICA CHE RAPPRESENTA ENUNCIATI SEMPLICI O COMPLESSI CHE PERMETTE DI STABILIRE CON MAGGIORE SEMPLICITÀ LA VALIDITÀ SEMANTICA E RELAZIONE DI CONSEGUENZA LOGICA = FA RIFERIMENTO ALLE INTERPRETAZIONI E QUINDI ALLA VALUTAZIONE BIVALENTE DELLA VERITÀ/FALSITÀ DI UN ENUNCIATO – CONSEGUENZA LOGICA SIGNIFICA pag. 2 CHE IL VALORE DI VERITÀ VIENE PRESERVATO SE DUE ENUNCIATI (SEMPLICI O COMPLESSI) SONO IN CONSEGUENZA LOGICA SINTASSI E DERIVABILITÀ = SI BASA SULLA STRUTTURA DEL LINGUAGGIO OGGETTO E SI BASA SUL FATTO CHE DA DETERMINATI ENUNCIATI SE NE POSSONO DEDURRE ALTRI ATTRAVERSO IL METODO DI DERIVAZIONE DA ASSUNZIONI, CONCLUSIONI INTERMEDIE UTILIZZATE COME ASSUNZIONI E CONCLUSIONI INFERITE SOLO A PARTIRE DALLE PRIME PROPOSTE LINGUAGGIO OGGETTO = LINGUAGGIO ARTIFICIALE METALINGUAGGIO = LINGUAGGIO NATURALE CON MENZIONE (VIRGOLETTE) NOZIONI INSIEMISTICHE = ESTENSIONALITÀ (INSIEME A UGUALE A INSIEME B SE TUTTI GLI L DI A SONO ANCHE EL DI B), INSIEME VUOTO (SOTTOINSIEME DI SE MA NON HA GLI STEESSI EL DI INSIEME VUOTO), SEQUENZA ORDINATA (COPPIA COME ARGOMENTO), RELAZIONE (PROPRIETÀ CHE METTE IN CORRISPONDENZA ELEMENTI DI UN INSIEME CON EL DI ALTRO), FUNZIONE SURIETTIVA (TUTTI EL DI A IMMAGINE IN B), INIETTIVA (TUTTI GLI EL DI A ALMENO UN’IMMAGINE IN B), BIUNIVOCA (TUTTI EL DI A ALMENO UNA E UNA SOLA IMMAGINE IN B) ARGOMENTO VALIDO CON PREM FALSE: SE LA TERRA È PIATTA ALLORA È A FORMA DI PIZZA, LA TERRA È PIATTA, LA TERRA È A FORMA DI PIZZA ARGOMENTO CORRETTO VALIDO CON PREMESSE VERE: SE PRENDO L’OMBRELLO ALLORA PIOVE, PRENDO L’OMBRELLO, PIOVE ARGOMENTO INVALIDO CON LE PREMESSE VERE: SE LA TERRA È UN PIANETA QUALCOSA È UN PIANETA, LA TERRA È UN PIANETA, LO YETI ESISTE ARGOMENTO INVALIDO MA INTUITIVAMENTE VALIDO: SE QUALCOSA È UN PIANETA ALLORA LA TERRA È UN PIANETA, LA TERRA È UN PIANETA, QUALCOSA È UN PIANETA ➔ ARGOMENTO PUÒ NON AVERE PREMESSE MA DEVE AVERE UNA CONCLUSIONE ➔ ENUNCIATO CON AMBIGUITÀ, VAGHEZZA E DIPENDENZA CONTESTUALE = TU HAI MOLTE CREDENZE ➔ NEGLI INSIEMI NON CONTA L’ORDINE E LA RIPETIZIONE ➔ C’È DIFFERENZA TRA INSIEME VUOTO E [VUOTO] ➔ FUNZIONI: Y CAPITALE X (NO FUNZIONE), PADRE BIOLOGICO (SI SURIETTIVA), SUCCESSORI (BIETTIVA) SISTEMA FORMALE = SISTEMA CHE HA UN LINGUAGGIO FORMALE E COMPOSTO GENERALMENTE DA ASSIOMI E REGOLA DI INFERENZA BI CONDIZIONALE = SE E SOLO SE – FUNZIONA DA ENTRAMBE LE PARTI CORRETTEZZA = VERITÀ + VALIDITÀ INFERENZA DEDUTTIVA = VALIDA E NON SUSCETTIBILE AD AGGIUNTA DELLE PREMESSE INFERENZA INDUTTIVA = FORTE PERCHÉ SI FONDA SULLE PREMESSE GIÀ VERIFICATE MA SUSCETTIBILE AD AGGIUNTA PERCHÉ POTREBBE SEMPRE CAMBIARE IL VALORE DI VERITÀ IMPLICAZIONE = GAMMA IMPLICA ALFA → È IMPOSSIBILE CHE SE LE PREMESSE IN GAMMA SONO VERE ALFA SIA FALSO, NON ESISTE NESSUNA INTERPRETAZIONE PER CUI GAMMA VERO E ALFA FALSO, È POSSIBILE DERIVARE SE E SOLO SE C’È UNA DERIVAZIONE DI ALFA DA GAMMA