Davidson. Verità e significato

Похожие документы
Quine. su senso, riferimento e traduzione radicale. Lezioni lauree triennali

4 Lezione: Senso e riferimento

Filosofia del linguaggio Alfredo Paternoster

Frege. Frege. Gottlob Frege, logico, teorico dei fondamenti della matematica, filosofo del linguaggio:

Filosofia del linguaggio (i) (3 cr.)

Calcolo proposizionale

Filosofia del linguaggio Alfredo Paternoster

Analisi del linguaggio

Filosofia del linguaggio (i) (3 cr.)

METODI MATEMATICI PER L INFORMATICA

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

Filosofia del linguaggio (i) (3 cr.)

sempre vere sempre false

Proposizioni e verità

2. I condizionali indicativi

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

LOGICA E FILOSOFIA DELLA SCIENZA

forma linguistica forma logica gli enunciati in cui compaiono descrizioni devono essere analizzati riducendoli a

Cerchiamo di capire che cosa questo significa

Logica proposizionale

DIMOSTRAZIONI DI EQUIVALENZE, SUI CONNETTIVI E SULL'AMBIGUITA' DELLA SINTASSI. Corso di Logica per la Programmazione

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

Introduzione alla logica

CALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini

NOZIONI DI LOGICA PROPOSIZIONI.

Prerequisiti Matematici

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1

Un po di logica. Christian Ferrari. Laboratorio di matematica

Logica. Claudio Sacerdoti Coen 07/10/ : Connotazione, denotazione, invarianza per sostituzione. Universitá di Bologna

Esercizi di rappresentazione

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

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

Intelligenza Artificiale. Logica proposizionale: calcolo automatico

Maiuscole e minuscole

Operatori di relazione

Quale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO. a cura del prof. Flaviano Scorticati

Kripke. su i nomi e il riferimento. Lezioni lauree triennali

Logica proposizionale

ELEMENTI DI LOGICA PER IL CORSO DI LAUREA IN MATEMATICA. Prof. Giangiacomo Gerla Dipartimento di Matematica ed Informatica. Università di Salerno

Esercizi di rappresentazione

8. Completamento di uno spazio di misura.

LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)

Richiami teorici ed esercizi di Logica

Temi d Esame Logica II

Una Breve Introduzione alla Logica

Grice Logica e conversazione

COMPETENZE DI ITALIANO

1) Quale studioso ha ipotizzato l'esistenza di un dispositivo innato per l'acquisizione del linguaggio?

Introduzione ad alcuni sistemi di logica modale

Introduzione alla Programmazione Logica ed al linguaggio PROLOG

Entrambi gli atteggiamenti forniscono una percezione del mondo distorta che può essere mitigata solo da un pensiero razionale il pensiero critico.

Logica. 7: Conseguenza ed equivalenza logica in logica classica proposizionale. Claudio Sacerdoti Coen. Universitá di Bologna

Introduzione alla logica matematica

RIM RELAZIONI IINTERNAZIONALI PER IL MARKETING

Semantica. La semantica verocondizionale classica

DI CHE COSA SI OCCUPA LA LOGICA

LE EQUAZIONI DIFFERENZIALI. che, insieme alle loro derivate, soddisfano un equazione differenziale.

Sviluppo di programmi

Scongiurare un pericolo

parole Classificare e ordinare Comprensione Anticipazione Applicazione Reversibilità del pensiero

Filosofia del linguaggio (i) (3 cr.)

Paul Grice teoria dell implicatura conversazionale

Il concetto di calcolatore e di algoritmo

DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini

G. Graffi, S. Scalise, Le lingue e il linguaggio 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 : S E M A N T I C A

Coloriamo i numeri. Osservate il disegno che avete ottenuto e rispondete a queste domande, che riguardano tre pallini messi in questo modo:

LE ESPRESSIONI. Espressioni

FILOSOFIA DEL LINGUAGGIO: prospettive di ricerca

ITALIANO CLASSE 1ª SCUOLA PRIMARIA

SISTEMI OPERATIVI, RETI, INTERNET

Connettivi del linguaggio e della logica

L'algebra Booleana. Generalità. Definizioni

Linguaggi Regolari e Linguaggi Liberi

Esercizi sulla conversione tra unità di misura

Rappresentazione della Conoscenza. Lezione 1. Rappresentazione della Conoscenza Daniele Nardi, 2008Lezione 1 0

Dalla grammatica alla riflessione sulla lingua. Didattica della lettura e della scrittura II

CAPITOLO 5 CHI SEI VERAMENTE

Significato, riferimento e stereotipi.

Транскрипт:

Davidson Verità e significato

Teoria del significato Una teoria del significato soddisfacente deve spiegare come i significati degli enunciati dipendono dai significati delle parole Ma come si può costruire una tale teoria?

Teoria del significato Proposta 1: assegnamo a ciascuna parola un'entità che ne sia il significato Ma come si forma in questo caso il significato dell'insieme? Soluzione di Frege: ammettere entità insature (le funzioni) Tuttavia, si può mostrare che far corrispondere alle espressioni linguistiche aperte una entità insatura è inutile: nell'esempio riguardante termini singolari complessi, basta che si stabilisca una relazione fra il significato del termine singolare semplice e quello del termine singolare complesso Non è necessario quindi che una teoria soddisfacente del significato delle espressioni complesse assegni entità come significati a tutte le parti componenti. Però nell'estensione della teoria agli enunciati, questi vengono considerati come termini singolari complessi e si dimostra che tutti gli enunciati che hanno lo tesso valore di verità hanno il medesimo riferimento, quindi, se il riferimento è il significato, sono sinonimi

Teoria del significato Proposta 2: si rifacciano le medesime considerazioni concentrando l'attenzione sul significato come senso (meaning) anziché come riferimento Dato il significato di 'Teeteto' come argomento, il significato di 'vola' dà come valore il significato di 'Teeteto vola'. Ma questo non dice niente di nuovo sul significato di 'Teeteto vola' La teoria del significato dovrebbe avere come conseguenze tutti gli enunciati della forma 's significa m' dove 's' è la descrizione strutturale di un enunciato e 'm' è il termine singolare che si riferisce al significato di quell'enunciato: ma la nozione di significato come senso non sembra essere d'aiuto Proposta 2 bis: Usando la sintassi per dare una descrizione strutturale dell'enunciato si potrebbe aggiungere un dizionario che dia i significati delle espressioni linguistiche usate e ottenere il significato dell'enunciato? La risposta è NO L'esempio portato sono le attribuzioni di credenza, di cui, in questo modo, non specifichiamo le corrette condizioni di verità

Teoria del significato Proposta 3: assumere una prospettiva olistica: se gli enunciati dipendono per il loro significato dalla loro struttura e comprendiamo il significato di ogni elemento nella struttura solo per astrazione dalla totalità di enunciati in cui compare, possiamo dare il significato di qualsiasi enunciato (o parola) soltanto dando il significato di ogni enunciato (o parola) nella lingua In questo caso non si postulano entità che siano i significati, ma le parole hanno significato solo in quanto danno un contributo sistematico al significato degli enunciati Come Frege diceva che solo nel contesto dell'enunciato una parola ha significato, così, si può aggiungere, solo nel contesto della lingua un enunciato (e perciò una parola) ha significato. Che forma dare a questa teoria del significato?

Teoria del significato e Convenzione V Davidson propone di: Sostituire il termine singolare "m" nella forma "s significa m" con "che p" dove "p" è un enunciato L'enunciato p deve essere un enunciato che "dia il significato di s e un candidato ovvio è s stesso oppure una sua traduzione nel metalinguaggio" Sostituire il predicato "significa che" con il predicato "è V" e connettere "p" mediante un connettivo proposizionale per rendere estensionale la connessione Nota bene: enunciati connessi estensionalmente contribuiscono con il loro valore di verità al valore di verità dell'enunciato complesso che compongono ma la connessione mediante "che" in " significa che p" non funziona così Risultato: "s è V (in L) se e solo se p" La forma proposta per la teoria del significato è quella della Convenzione V usata da Tarski per testare l'adeguatezza di una definizione formale semantica di verità

Teoria del significato e Convenzione V Ciò che chiediamo a una teoria del significato per una lingua L è che senza ricorrere a altre nozioni semantiche ponga sufficienti restrizioni sul predicato "è V" da implicare logicamente tutti gli enunciati che si ottengono dallo schema V quando "s" è sostituito da una descrizione strutturale di un enunciato di L e "p" da quell'enunciato Gli enunciati a cui "è V" si applica sono precisamente gli enunciati veri di L, perché la condizione posta sulle teorie del significato non è che la Convenzione V di Tarski Una teoria del significato per una lingua L mostra "come i significati degli enunciati dipendono dai significati delle parole" se contiene una definizione di Verità-in-L Il concetto semantico di verità è il fondamento della teoria del significato

Teoria del significato e Convenzione V Conoscere il concetto semantico di verità per una lingua è sapere che cosa è per un enunciato di quella lingua essere vero, il che equivale a comprendere la lingua Una teoria del significato è teoria empirica che va testata confrontando le sue conseguenze con i fatti Deve mettere in relazione le condizioni di verità note di ciascun enunciato a quegli aspetti dell'enunciato (parole) che ricorrono in altri enunciati

Teoria del significato e Convenzione V La teoria potrebbe produrre enunciati come "'La neve è bianca' è vero (in italiano) se e solo se l'erba è verde" Questi sembrano accettabili perché siamo indipendentemente certi della verità dei due enunciati coinvolti; ma se non lo fossimo, dovremmo basare la nostra accettazione del bicondizionale sulle ragioni per credere che l'enunciato p è equivalente a quello individuato da s Per accedere al sgnificato degli enunciati di una lingua altra bisogna basarsi sul principio di carità, massimizzando l'accordo e la coerenza che attribuiamo al parlante