Fil Ling 13-14 Lezz. 9-13. Lezione 9 - 10/3/2014.

Slides:



Advertisements
Presentazioni simili
Sistemi dinamici discreti e computabilità intrinseca
Advertisements

Il problema degli universali
Ingegneria della conoscenza Emanuele Della Valle Scienze e Tecniche Della Comunicazione 1. Enunciati, mondi del discorso e verità Credits: Prof.
Sommario Nelle lezioni precedenti abbiamo introdotto tutti gli elementi che formano un particolare tipo di linguaggio logico, denominato linguaggio predicativo.
Aristotele Logica.
O L'HA UCCISO IL MAGGIORDOMO OPPURE L'HA UCCISO LA CAMERIERA. LA CAMERIERA NON L'HA UCCISO. QUINDI: L'HA UCCISO IL MAGGIORDOMO. Tale inferenza è valida.
ARISTOTELE: il sistema del sapere
Il ragionamento classico
EQUAZIONI DI PRIMO GRADO
Chomsky La grammatica/sintassi è una proprietà della mente
Intelligenza Artificiale
Lingua italiana (CT) La comunicazione (2)
Chomsky La grammatica/sintassi è una proprietà della mente Distinta dalla capacità di comunicare E una facoltà autonoma ed innata La comunicazione è solo.
Vita Aristotele diviene allievo di Platone a 17 anni.
Questi sono stati tra gli ostacoli maggiori incontrati dalla teoria classica dellIntelligenza Artificiale per dei limiti concettuali della logica bivalente.
II LEZIONE Castelmaggiore 11 marzo 2014
La logica di Frege Come sapete Frege è stato il maestro riconosciuto e ammirato da Wittgenstein (“le grandiose opere di Frege” dice nel Tractatus.
IMMANUEL KANT Critica della ragion pura
Ad ogni termine singolare è associato un senso ( Sinn) e una
Fil Ling
Fil. Ling Lez /4/14. Annunci Ho messo in rete una lista di possibili domande per l'esame finale. Penso d completare la lista con un'altra.
Fil Ling Lezioni Lezione 22 (28 Nov. 2012)
Logica Lezione ESAME FINALE Si svolgerà dalle 10 alle 11 Mercoledì 18 Dicembre in AULA A Si raccomanda di venire con il libretto.
Donald Davidson La causazione come relazione tra eventi FILOSOFIA ANALITICA DEL LINGUAGGIO (MODULO ONTOLOGIA) Presentazione di Virgilia Potetti 22 novembre.
SFC analitici /Russell 1 B. Russell: Atomismo logico Russell & Whitehead : - Nuova logica di ambito assai più vasto della logica classica La logica.
Filosofia analitica del linguaggio: mod. ontologia esistenza e identità Francesco Orilia A.A I Semestre.
Lezz Filosofia del linguaggio Semestre II Prof. F. Orilia.
Fil Ling Lezioni
Fil. Ling. Lezz /3/14. La risposta di Frege – Distinzione tra senso e referente – il senso determina il referente – senso di "=": una relazione.
Lezz. 4-6 Filosofia del linguaggio Semestre II Prof. F. Orilia.
Ontologia Lezione 20 Lunedì 18 Nov
Assiomatica tra Matematica e Filosofia Logica nell’Ottocento Quadro storico L. classica L. intuizionista L. minimalista Assiomatica To home page.
Fil Ling Russell e Frege sui nomi propri I nomi propri sono visti come abbreviazioni di descrizioni definite "Apollo" = "il dio del sole" "Socrate"
Logica A.A Francesco orilia
Filosofia analitica del linguaggio: mod. ontologia esistenza e identità Francesco Orilia A.A I Semestre.
Filosofia analitica del linguaggio: mod. ontologia esistenza e identità Francesco Orilia A.A I Semestre.
Filosofia analitica del linguaggio: mod. ontologia esistenza e identità Francesco Orilia A.A I Semestre.
Alexius Meinong Alexius Meinong, cavaliere di Handschuchsheim (Lemberg, 17 luglio 1853 – Graz, 27 novembre 1920), è stato un filosofo austriaco, noto principalmente.
INTRODUZIONE ALLA GEOMETRIA EUCLIDEA
Filosofia analitica del linguaggio: mod. ontologia esistenza e identità Francesco Orilia A.A I Semestre.
Bertrand Russell Bertrand Arthur William Russell, terzo conte Russell (Trellech, 18 maggio 1872 – Penrhyndeudraeth, 2 febbraio 1970), è stato un filosofo,
Lezz Filosofia del linguaggio Semestre II Prof. F. Orilia.
Filosofia del linguaggio Semestre II Prof. F. Orilia
Contemplazione e scienza
Il riferimento dell’enunciato il tono emotivo e la forza convenzionale dell’enunciato il contesto linguistico dell’enunciato la rappresentazione soggettiva.
Aristotele Poi ch’innalzai un poco più le ciglia,
Filosofia analitica del linguaggio: mod. ontologia esistenza e identità Francesco Orilia A.A I Semestre.
LA FILOSOFIA DEL LINGUAGGIO DI GOTTLOB FREGE Filippo Domaneschi Università degli Studi di GenovaUniversità degli Studi di Genova.
Intensione/estensione La logique, ou l'art de penser Di chi è? Movimento giansenista (convento parigino di Port-Royal) Pascal… … Arnaud & Nicole.
Intensione/estensione. senso e riferimento: schema nomi propri predicati enunciati sensomodo di presentazione di...pensiero   (condizioni verità) riferimentooggetticoncettiValori.
Fil Ling Lez /10/15 Vi ricordo che non ci sarà lezione in questi giorni: 28 ottobre, 2, 3,4 novembre.
Fil Ling Lezione 14, tre dati problematici per Frege Questi tre enunciati sembrano veri, ma per Frege sono né veri né falsi – il cavallo alato.
Filosofia del linguaggio Semestre II Prof. F. Orilia.
Fil Ling Lezioni 11-12, 9/3/15. Annunci Non si terranno le lezioni di Lunedì 16 Marzo Non si terrà la lezione di Mercoledì 1 Aprile.
Fil Ling Lez. 7, 19 Ott (sulla logica tenuta da Michele Paolini Paoletti)
Fil. Ling Lezioni 15-16, 23/3/15.
T&L Lezz Lezione 19 22/3/16 Lezioni future Non ci sarà lezione il 6 aprile (esami di laurea) Assumendo che non salteremo altre lezioni, finiremo.
Fil Ling Lezz
Filoosofia del Linguaggio Lezz Lez sett
Fil Ling Lezioni 8-9, Chiarimento (12)ogni uomo ama una donna. (12a)  x(x è un uomo   y(y è una donna & x ama y)); (12b)  y(y è una.
Tempo e linguaggio Lezioni
Fil Ling Lezioni
Fil Ling Lezioni
Fil Ling Lezioni 9-11.
Fil Ling Lezioni
Fil Ling Lezioni 7-8.
Fil Ling Lezioni 7-9.
Fil Ling Lezioni
Fil Ling Lezz
Fil Ling Lezioni
Transcript della presentazione:

Fil Ling Lezz. 9-13

Lezione /3/2014

Rinvii e Recuperi NON si terranno le lezioni del 9 e 16 Aprile. LEZIONI DI RECUPERO DOMANI, Martedì 11 Marzo, ore 9-10, Aula A e ore 15-16, Aula D Martedì 18 Marzo ore 9-10, Aula A e ore , Aula D Martedì 25 Marzo, ore 9-10, Aula A e ore , Aula D

Esprimere e denotare Frege distingue tra senso e referente La relazione che lega un termine al suo senso la chiamiamo esprimere La relazione che lega un termine al suo referente la chiamiamo denotare o riferirsi o far riferimento

Come Frege risolve il puzzle del riferimento (1) Giovanni crede che la stella del mattino è un pianeta (2) la stella della sera è la stella del mattino (3) Giovanni crede che la stella della sera è un pianeta Nella frase (1) "la stella del mattino" DENOTA il senso che esprime nei contesti estensionali (il suo senso ordinario) e quindi ESPRIME un senso di livello superiore Nella frase (2) "la stella del mattino" DENOTA il pianeta Venere (il suo referente ordinario) ed ESPRIME il suo senso ordinario Quindi, "la stella del mattino" significa due cose diverse nelle due frasi e perciò NON possiamo applicare la legge di sostituibilità degli identici

Ambiguità sistematica Per Frege tutti i termini sono sistematicamente ambigui perché cambiano di senso e referente a seconda che si trovano in un contesto intensionale o estensionale Confrontare con: Aristotele è un filosofo Aristotele (Onassis) è il secondo marito di Jacqueline Kennedy il secondo marito di Jacqueline Kennedy è un filosofo

Rappresentazione della gerarchia dei sensi Contesto estensionale (La sm è un pianeta) referente primario di "a" = r("a") senso primario di "a" = s("a") Contesto intensionale di primo livello (Giovanni crede che la sm è un pianeta) referente secondario di "a" = s("a") senso secondario di "a" = s(s("a")) Contesto intensionale di secondo livello (Marta desidera che Giovanni creda che la sm è un pianeta) Ecc.

Gerarchia dei sensi e sostituibilità degli identici (1) Giovanni crede che la sm è un pianeta Livello del referente: r("Giovanni")+r("crede") +[s("la sm") + s("è un pianeta")] Livello del senso: s("Giovanni")+s("crede") +[s(s("la sm"))+ s(s("è un pianeta"))] (2) la sm = la ss Livello del referente: r("la sm")+r("=")+r("la ss") Il "significato globale" (referente/senso) di "la sm" cambia nel passaggio da (1) a (2) Ecco perché non possiamo applicare la legge di sostituibilità degli identici, ossia: a = b, P(a), quindi P(a/b)

Esistenza e termini singolari non denotanti Ci sono termini singolari non denotanti (privi di referente) come "il cavallo alato" Corrispondentemente ci sono esistenziali negativi veri come – il cavallo alato non esiste Nei contesti estensionali come "... è un mammifero" generano frasi che tendiamo a giudicare non vere o che almeno ci danno perplessità Nei contesti intensionali possono senza problemi dare adito a enunciati veri: – Alcibiade credeva che il cavallo alato fosse bianco

Come Frege tratta i termini non denotanti Se posti in un contesto estensionale (es. "il cavallo alato è bianco"), essi generano una frase priva di valore di verità – Motivo: la funzione che funge da referente del predicato non riceve in input un argomento e quindi non può dare V o F come risposta Se posti in un contesto intensionale (es. "nell'Odissea si racconta che Ulisse approdò ad Itaca immerso nel sonno") generano una frase con valore di verità – Motivo: nel contesto intensionale tali termini hanno un referente (cioè il senso che hanno nel contesto estensionale) e quindi la funzione che funge da referente del predicato riceve in input un argomento (il senso in questione)

Lezione 10 11/3/14, ore 9

Ancora sul confronto tra contesti intensionali ed estensionali I contesti intensionali NON impegnano all'esistenza – Giovanni crede che il cavallo alato è bianco NON IMPLICA esiste un individuo (un cavallo alato) del quale Giovanni crede che è bianco – Nel futuro, l'uomo più veloce della terra correrà i 100 m. in 5 secondi NON IMPLICA esiste (ora) un individuo (uomo) tale che nel futuro correrà i 100 m. in 5 secondi I contesti estensionali impegnano all'esistenza – Il cavallo alato è bianco IMPLICA esiste un individuo bianco

Presupposizioni Quindi per Frege, che l'oggetto al quale si vuol fare riferimento con il termine singolare s esista è un presupposto della verità o falsità di un enunciato che contiene s Mario sta mangiando presuppone Mario esiste Mario Non sta mangiando presuppone Mario esiste Questo punto di vista è stato ripreso negli anni 50 del secolo scorso dal filosofo inglese P. F. Strawson (in polemica con Russell) In generale: Q presuppone P quando sia Q che non-Q implicano P

Cos'è l'esistenza secondo Frege? E' una proprietà di classi (o di proprietà concetti) così come l'universalità espressa da "tutto" ed i numeri "i pianeti sono nove" vuol dire che la classe dei pianeti ha la proprietà nove, ossia contiene nove membri "tutto è materiale" vuol dire che la classe degli enti materiali ha la proprietà dell'universalità, ossia contiene tutto quello che esiste "esiste un pianeta" vuol dire che la classe dei pianeti ha la proprietà dell'esistenza, ossia, non è vuota, contiene almeno un elemento L'esistenza quindi non è una proprietà di cui, per es., Obama gode e il cavallo alato non gode.

Lezione 11 11/3/14, ore 15

La gerarchia dei concetti Quindi secondo Frege l'esistenza, così come l'universalità e i numeri, è un concetto di secondo livello I concetti di livello 1 si applicano agli oggetti I concetti di livello 2 (quantificatori) a quelli di livello 1 Ecc. 'Zero' è, si potrebbe dire, la non esistenza, il concetto di livello 2 che si applica veridicamente ad un concetto di livello 1 (per es., 'unicorno') se e solo se non ci sono oggetti a cui tale concetto di livello 1 si applica veridicamente Frege usa l'espressione "cadere sotto un concetto"

purtroppo non cado sotto alcun concetto nemmeno sotto il concetto 'unicorno'

Spinoza morì di "substance abuse" Leibniz morì cadendo dalla finestra di una monade Come mori Frege?

"cadde sotto un concetto" Quale?

Alcune ipotesi...

Sotto il concetto 'morto'

Oppure sotto 'zero' 'non-esistenza' 'cavallo alato' ?

tre dati problematici per Frege Questi tre enunciati sembrano veri, ma per Frege sono né veri né falsi – il cavallo alato non esiste – il cavallo alato è un cavallo – Polifemo è più alto di Ciampi

Bertrand Russell Bertrand Arthur William Russell, terzo conte Russell (Trellech, 18 maggio 1872 – Penrhyndeudraeth, 2 febbraio 1970), è stato un filosofo, logico e matematico gallese.Trellech18 maggio 1872Penrhyndeudraeth2 febbraio 1970filosofologico matematicogallese Fu anche un autorevole esponente del movimento pacifista e un divulgatore della filosofia. In molti hanno guardato a Russell come a una sorta di profeta della vita creativa e razionale; al tempo stesso la sua posizione su molte questioni fu estremamente controversa. movimento pacifistafilosofia (da Wikipedia)

La teoria delle descrizioni in sintesi (TD1)un enunciato della forma «il P è Q» esprime la stessa proposizione del corrispondente enunciato della forma «vi è esattamente un oggetto che ha la proprietà P e tale oggetto ha la proprietà Q».

Lezioni – 12/3/2014

Russell e Frege (TD1)un enunciato della forma «il P è Q» esprime la stessa proposizione del corrispondente enunciato della forma «vi è esattamente un oggetto che ha la proprietà P e tale oggetto ha la proprietà Q». Questa tesi, cardine della teoria delle descrizioni, si può ricollegare idealmente all'idea di Frege secondo la quale bisogna distinguere forma logia e forma grammaticale

Russell e Meinong Ma prima di arrivare alla teoria delle descrizioni, contraddistinta dall'"attualismo", Russell è stato ispirato maggiormente da Meinong piuttosto che da Frege: Fase "possibilista" di Russell Introduciamo quindi il punto di vista di Meinong Poi vedremo le sue analogie con il possibilismo del primo Russell e la sua marcata differenza dall'attualismo di Russell

Alexius Meinong Alexius Meinong, cavaliere di Handschuchsheim (Lemberg, 17 luglio 1853 – Graz, 27 novembre 1920), è stato un filosofo austriaco, noto principalmente per la sua opera Über Gegenstandstheorie ("Sulla Teoria degli Oggetti", 1904)Lemberg17 luglio1853 Graz27 novembre1920filosofoaustriaco1904

Meinong su wikipedia (con errori) Alexius Meinong, cavaliere di Handschuchsheim (Lemberg, 17 luglio 1853 – Graz, 27 novembre 1920), è stato un filosofo austriaco, noto principalmente per la sua opera Über Gegenstandstheorie ("Sulla Teoria degli Oggetti", 1904) e per i suoi studi di logica deontica "La logica deontica, intesa come disciplina che si contrappone alla logica classica,"[NO !!!], basati sulla teoria degli oggetti inesistenti. Questa teoria si fonda sul fatto che sia possibile pensare ad un oggetto, quale la montagna d'oro, pur non esistendo un oggetto tale nel mondo esternoLemberg17 luglio1853Graz27 novembre1920filosofoaustriaco1904logica deonticalogica Meinong nacque a Lemberg nel Regno Austro-Ungarico (oggi L'vov nell'Ucraina) e morì a Graz. Dopo avere frequentato il Ginnasio accademico di Vienna studiò all'Università di Vienna e ottenne il dottorato in storia dopodiché si volse alla filosofia sotto la guida di Franz Brentano ( ). Nel 1878 si trasferì alla Karl-Franzens-Universität di Graz come successore di Riehl, dove nel 1882 divenne professore straordinario di filosofia. Li fondò un istituto psicologico (nel 1894) e la Scuola di Graz di psicologia sperimentale. Continuò a lavorare a Graz fino alla sua morte nel 1920 e le sue carte sono conservate nella biblioteca universitaria di Graz.LembergRegno Austro-UngaricoL'vovUcrainaGrazViennaUniversità di ViennastoriafilosofiaFranz Brentano Graz Scuola di Graz psicologia sperimentalebiblioteca

La teoria degli oggetti Ci sono oggetti esistenti e inesistenti Quindi il reame degli oggetti è un "Aussersein" (al di là dell'essere e del non-essere) che comprende sia ciò che vi è (esiste) che ciò che non vi è (non esiste o non sussiste) ["sussistenza" si applica a oggetti astratti e "esistenza" a oggetti concreti] Russell in POM parla di regno dell'essere che comprende come sottoinsieme il regno dell'esistenza (terminologia che preferisco) anche Russell in POM ammette oggetti che non esistono, ma solo se possibili (possibilismo), Meinong invece ammette anche oggetti impossibili come il quadrato rotondo

Le motivazioni principali per Meinong La tesi dell'intenzionalità di Brentano: ogni evento mentale è diretto ad un oggetto (si ha paura di qualcosa, si crede che qualcosa sia così e così, ecc.), detto oggetto intenzionale, che "in-esiste", esiste nell'evento mentale. Ma, dice Meinong, l'oggetto intenzionale può anche non esistere (posso aver paura di un fantasma). Allora, o abbandoniamo la tesi o ammettiamo che ci sono oggetti inesistenti. Esistenziali negativi come "il quadrato rotondo non esiste" possono essere veri Enunciati singolari analitici come "il cavallo alato è alato" sono veri Asserti come "il cavallo alato è possibile" sono veri.

Digressione sulla tesi dell'intenzionalità Secondo la tradizione che va da Brentano a Meinong, dobbiamo distinguere in un fenomeno mentale, l'atto (credere, desiderare, temere, ecc.), il contenuto dell'atto (ciò che indirizza l'atto verso un certo oggetto, per es. una rappresentazione psichica di un oggetto temuto) e l'oggetto dell'atto (per es., l'oggetto temuto) Secondo Brentano, l'intenzionalità è l'essenza del mentale, ciò che contraddistingue i fenomeni mentali da quelli fisici. Ma è veramente così?