Filosofia del linguaggio (i) (3 cr.)
|
|
|
- Mariangela Cicci
- 8 anni fa
- Visualizzazioni
Transcript
1 Filosofia del linguaggio (i) (3 cr.) Docente: Giuseppe Spolaore Orario: Martedì ore aula T4, mercoledì ore aula 1.4, giovedì ore aula 1.4 (per un totale di circa 10 lezioni). Ricevimento: martedì, , c/o Dipartimento di Filosofia. Libri di testo: Casalegno, La filosofia del linguaggio, Carocci. Capitoli 1, 2, 3, 5, 8. AAVV, Filosofia del linguaggio, Cortina. Testo 1 (Frege, Senso e significato), testo 7 (Kripke, Nomi e riferimento).
2 Introduzione Schema della lezione Frege 1 Significato e senso
3 Frege Due nozioni semantiche fondamentali: Termine fregeano Traduzione Nei nostri termini Sinn Senso Significato Bedeutung Significato Denotazione
4 'Significato' (denotazione) di termini 'Significato' dei termini singolari ( Pitt, Jolie, Il successore di 2, Il padre di Jolie ): l entità denotata (Pitt, Jolie, 3, Jon Voight).
5 Significato Significato (denotazione) di enunciati Significato degli enunciati: un valore di verità (Il vero, Il falso).
6 Significato Significato (denotazione) di predicati Significato dei predicati ( (è) rosso, corre, ama ): un concetto = una funzione da individui a valori di verità. In particolare: Il concetto (la funzione) che associa Il vero a un individuo se e solo se è nell estensione del predicato (la classe di oggetti cui il predicato si applica), Il falso altrimenti.
7 Funzioni (in Frege) Le funzioni secondo Frege non sono oggetti, ma sono entità insature, ontologicamente incomplete, che solo quando sono completate (specificando un argomento della funzione) divengono entità sature, ontologicamente complete, insomma oggetti. Perché Frege ha queste idee strane?
8 Funzioni (in Frege) Le funzioni usualmente si indicano tramite espressioni in cui compaiono variabili x+1 (argomenti: numeri naturali; valori: numeri naturali). Il fidanzato di x (argomenti: donne che hanno esattamente un fidanzato, valori: uomini). x+2y (argomenti: coppie ordinate di numeri naturali, valori: numeri naturali).
9 Funzioni (in Frege) x+1, Il fidanzato di x, x+2y, ecc. In Frege: Le variabili (o meglio i loro corrispettivi nell Ideografia) segnalano spazi vuoti, lacune. Dunque ciò che quelle espressioni indicano sono entità con delle lacune, ontologicamente incomplete, insature.
10 Funzioni (in Frege) (a) x+1, Il fidanzato di x, x+y, ecc. (b) 2+1, Il fidanzato di Jolie, 43+98, ecc. Le espressioni (b) si ottengono dalle espressioni (a) sostituendo a una variabile un termine denotante. Le espressioni (b) sono a differenza delle espressioni (a) espressioni che denotano un oggetto.
11 Funzioni (in Frege) Espressione che denota una funzione Espressione che denota un oggetto (il numero 2) Espressione che denota un oggetto (il numero 3)
12 Funzioni Dal punto di vista semantico, la concezione un po curiosa delle funzioni che Frege aveva è irrilevante. In altri termini, dal punto di vista semantico non cambia NULLA se si pensa alle funzioni semplicemente come a regole che associano argomenti a valori e non come a entità insature.
13 Composizionalità del 'Significato' (denotazione) La denotazione di un espressione complessa è funzione della sua struttura e della denotazione delle espressioni che la costituiscono. Jolie Il fid. di x Il fid. di Jolie Funzione di fidanzato di x
14 Sostituibilità del 'Significato' (denotazione) Ecco spiegata la sostituibilità della denotazione. Tutto ciò che conta per la denotazione di espressioni complesse è la loro struttura e la denotazione delle espressioni costituenti. Angelina Il fid. di x Il fid. di Angelina Funzione di fidanzato di x
15 Funzioni e concetti I concetti in Frege sono funzioni il cui valore è un valore di verità. I valori di verità sono, per Frege, oggetti (logici). Anche i concetti si possono esprimere medianti espressioni in cui compaiono variabili: x recita x+1=2 x+1=y x ama y
16 Funzioni e concetti x recita x+1=2 x+1=y x ama y Queste espressioni sono tali che, se le variabili sono sostituite con termini denotanti (dotati di Significato ), il risultato è un enunciato, ossia un espressione che denota ( Significa ) un valore di verità.
17 Composizionalità del valore di verità Il Significato (denotazione) di un enunciato (il suo valore di verità) è funzione della sua struttura e del Significato (denotazione) dei termini costituenti l enunciato. Pitt x recita Pitt recita Concetto di recitare
18 Sostituibilità salva veritate Ecco spiegata la sostituibilità salva veritate. Tutto ciò che conta per il valore di verità di un enunciato è la sua struttura e la denotazione delle espressioni costituenti. Il fid. di Jolie x recita Il fid. di Jolie recita Concetto di recitare
19 Sostituibilità salva veritate Ecco spiegata la sostituibilità salva veritate. Tutto ciò che conta per il valore di verità di un enunciato è la sua struttura e la denotazione delle espressioni costituenti. L Etna è un vulcano e Verona è una città L Etna è un vulcano e Milano è in Lombardia
20 Una convenzione notazionale Indichiamo enunciati atomici del tipo Pitt recita o Pitt ama Jolie scrivendo Recita (Pitt) Ama (Pitt, Jolie) e espressioni come x recita o x ama y con Recita (x) Ama (x, y)
21 Convenzione notazionale Pitt Recita(x) Recita(Pitt) Concetto di recitare
22 Tre problemi Il primo problema: (1) Espero è uguale a Fosforo Perché ha valore conoscitivo (perché è informativo) mentre (2) Espero è uguale a Espero non ha valore informativo o ne ha assai poco?
23 Tre problemi Il secondo problema: (1) Ulisse tornò a Itaca di notte, Perché sembra avere, a qualche titolo, significato sebbene, per il principio di composizionalità, non abbia Significato (ossia non abbia valore di verità)?
24 Tre problemi Il terzo problema: (1) Pitt crede che Jolie sia bella. appare vero, mentre (2) Pitt crede che Graffi insegni FL(p). appare falso. Ma questa sembra un infrazione del principio di composizionalità (e di sostituibilità) del Significato (ossia della denotazione). Infatti, gli enunciati che seguono il che sono entrambi veri, ossia hanno lo stesso Significato.
25 La soluzione Il Significato non è l unica cosa rilevante dal punto di vista semantico. Oltre al Significato, le espressioni linguistiche hanno anche un senso ( Sinn affine a ciò che abbiamo chiamato finora significato, ossia ciò che è rilevante per le condizioni di verità).
26 Senso (Sinn Sinn) Il senso di una qualunque espressione è un modo in cui il Significato è presentato da quell espressione. Intuitivamente, il senso di un espressione è un certo contenuto associato (convenzionalmente) a quell espressione. Comprendere un espressione è afferrarne (coglierne, riconoscerne) il senso. Il vincolo fondamentale sul senso è che, posto che un espressione abbia un Significato, il suo senso deve specificare univocamente quel Significato. Dunque, stesso senso, stesso Significato.
27 Senso dei termini singolari Il senso dei termini singolari: Un modo di specificare univocamente il Significato (denotato) del termine. Es. Il punto di intersezione di a e b Il punto di intersezione di a e c c b a
28 Senso dei termini singolari Importantissimo: Anche i nomi propri ( Brad Pitt, Angelina Jolie, Giorgio Graffi ecc.) hanno un senso. Questo senso corrisponde grossomodo a quello di descrizioni che hanno lo stesso 'Significato' del nome proprio. Non è necessario sia lo stesso per tutti, purché conservi lo stesso 'Significato' del nome.
29 Senso dei predicati. Il senso dei predicati (presumibilmente): un modo di specificare un concetto. Es. di predicati che hanno sensi diversi ma Significano concetti sotto cui cadono i medesimi oggetti (e dunque sono lo stesso concetto) Animale dotato di cuore Animale dotato di reni. I concetti sono identificati estensionalmente: stesso decorso di argomenti-valori ossia stessa estensione del predicato stesso concetto. I sensi non sono identificati estensionalmente: diversi sensi possono specificare il medesimo concetto.
30 Senso di enunciati Il senso degli enunciati: un pensiero. Il pensiero è funzione del senso delle espressioni che costituiscono l enunciato (nei nostri termini, questo è il principio di Composizionalità (del significato, non del Significato, ossia della denotazione)).
31 I Pensieri I Pensieri sono i sensi di enunciati (modi di specificare valori di verità, contenuti descrittivi cui corrisponde univocamente un certo valore di verità in realtà, Frege parla della verità/falsità come di proprietà dei pensieri, ma è una questione esegetica che qui ignoriamo). I Pensieri non sono rappresentazioni (mentali), ma per certi versi le ricordano. I Pensieri non sono oggetti fisici, ma per certi versi li ricordano.
32 I Pensieri Le rappresentazioni mentali sono: prive di estensione spaziale; dipendenti dal mentale; soggettive (sono accessibili a un solo individuo). Gli oggetti fisici sono: Spazialmente estesi; indipendenti dal mentale; oggettivi (possono essere accessibili a molti).
33 I Pensieri Come le rappresentazioni, e a differenza degli oggetti fisici, i Pensieri non sono spazialmente estesi. Come gli oggetti fisici, ma a differenza delle rappresentazioni, i Pensieri sono oggettivi (sono accessibili a molti, possono essere afferrati da più individui) e non dipendono dalla mente.
34 Di nuovo i tre problemi. Il senso spiega l informatività di enunciati d identità. Ad es., Espero è uguale a Fosforo è informativo, mentre Espero è uguale a Espero no, perché il primo dice una cosa interessante (che a sensi diversi corrisponde lo stesso significato ), mentre il secondo dice una cosa ovvia (che al medesimo senso corrisponde il medesimo significato).
35 Di nuovo i tre problemi. Il senso spiega la sensatezza di enunciati come Ulisse è arrivato a Itaca di notte. Anche se quegli enunciati non hanno un Significato (un valore di verità), essi hanno ugualmente un senso, sono dunque comprensibili e dotati di contenuto.
36 Di nuovo i tre problemi In contesti indiretti (ossia all interno di clausole relative, frasi rette da credere, dubitare, voler sapere ecc.), le espressioni linguistiche Significano (denotano) il loro senso abituale. Così, la differenza di valore di verità tra (1) Pitt crede che Jolie sia bella, (2) Pitt crede che Graffi insegni FL(p), è spiegata: il valore di verità di quegli enunciati è funzione del senso, e non del Significato, di Jolie è bella e Graffi insegna FL(p). Dato che quelle frasi hanno senso diverso, non è sorprendente che anche (1) e (2) abbiano valore di verità diverso.
37 Senso e Significato Significato In Frege, la relazione di Significare (denotare) è sempre mediata da un senso. L accesso semantico e conoscitivo al mondo è sempre mediato. C è sempre un contenuto, un senso, tra le espressioni linguistiche e il mondo. Pensare, riferirsi a, parlare di, ecc, qualcosa è sempre pensare, riferirsi, parlare di, ecc. qualcosa mediante un qualche contenuto descrittivo che specifica il denotato, attraverso un certo modo di identificare il denotato.
38 Problemi della soluzione al terzo problema Pitt ama Jolie Senso di Pitt Senso di amare Senso di Jolie Pensiero che Pitt ama Jolie Conc etto di amare IL VERO
39 Problemi della soluzione al terzo problema Pitt crede che Jolie sia bella Senso di Pitt Senso di credere Senso del pensiero che Jolie è bella (?) Pensiero che Pitt crede che Jolie sia Bella Concet to di credere Pensiero che Jolie è bella IL VERO
40 Problemi della soluzione al terzo problema Pitt crede che Depp creda che Gere creda che Jolie sia OK. Senso di Depp Senso del senso di Gere Senso del senso del senso di Jolie
41 Problemi della soluzione al terzo problema Pitt crede che Graffi insegni FL(p) Senso di Pitt Senso di credere Senso del pensiero che Graffi insegna FL (p) (?) Pensiero che Pitt crede che Graffi insegni FL(p). Concet to di credere Pensiero che Graffi insegna FL(p) IL FALSO
42 Problemi della soluzione al terzo problema che Depp creda che Gere crede che Jolie sia bella. Senso del senso di Pitt Senso del senso del senso di Gere Senso del senso del senso del senso di Jolie Senso di Depp Senso del senso di Gere. Senso del senso del senso di Jolie.
Filosofia del linguaggio (i) (3 cr.)
Filosofia del linguaggio (i) (3 cr.) Docente: Giuseppe Spolaore Orario: Martedì ore 17.20 aula T4, mercoledì ore 17.20 aula 1.4, giovedì ore 14.00 aula 1.4 (per un totale di circa 10 lezioni). Ricevimento:
Filosofia del linguaggio (i) (3 cr.)
Filosofia del linguaggio (i) (3 cr.) Docente: Giuseppe Spolaore Orario: Martedì ore 17.20 aula T4, mercoledì ore 17.20 aula 1.4, giovedì ore 14.00 aula 1.4 (per un totale di circa 10 lezioni). Ricevimento:
Frege. Frege. Gottlob Frege, logico, teorico dei fondamenti della matematica, filosofo del linguaggio:
Frege Gottlob Frege, logico, teorico dei fondamenti della matematica, filosofo del linguaggio: 1848-1925 Sinn und Bedeutung (Senso e denotazione), 1892 nb. Bedeutung vuol dire significato, Frege lo intende
4 Lezione: Senso e riferimento
4 Lezione: Senso e riferimento Frege espressione e contenuto; ma cosa è il contenuto? senso = contenuto concettuale o informativo pensiero = senso di un enunciato svolta linguistica il senso si contrappone
Filosofia del linguaggio (i) (3 cr.)
Filosofia del linguaggio (i) (3 cr.) Docente: Giuseppe Spolaore Orario: Martedì ore 17.20 aula T4, mercoledì ore 17.20 aula 1.4, giovedì ore 14.00 aula 1.4 (per un totale di circa 10 lezioni). Ricevimento:
forma linguistica forma logica gli enunciati in cui compaiono descrizioni devono essere analizzati riducendoli a
Nomi vs descrizioni Bertrand Russell On denoting (1905) Nomi propri (grammaticali): Piero Trieste Descrizioni: indefinite: un uomo una città definite: il figlio di Piero l uomo che è appena arrivato il
Semantica. La semantica verocondizionale classica
Semantica La semantica verocondizionale classica Il paradigma dominante 1) Significato (di un enunciato) = condizioni di verità 2) Principio di composizionalità 3) Irrilevanza degli aspetti mentali (psicologici)
Filosofia del linguaggio Alfredo Paternoster
Filosofia del linguaggio 2012-2013 Alfredo Paternoster Russell: la teoria delle descrizioni Frege: descrizioni vuote non hanno riferimento, quindi gli enunciati dove esse occorrono non hanno valore di
Logica. Claudio Sacerdoti Coen 07/10/ : Connotazione, denotazione, invarianza per sostituzione. Universitá di Bologna
Logica 3: Connotazione, denotazione, invarianza per sostituzione Universitá di Bologna 07/10/2015 Outline 1 Connotazione, denotazione, invarianza per sostituzione Connotazione vs
Quine. su senso, riferimento e traduzione radicale. Lezioni lauree triennali
Quine su senso, riferimento e traduzione radicale Lezioni lauree triennali 2014-15 La semantica di Carnap A partire da Frege, Carnap riformula senso e denotazione come intensione e estensione associate
Davidson. Verità e significato
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
Kripke. su i nomi e il riferimento. Lezioni lauree triennali
Kripke su i nomi e il riferimento Lezioni lauree triennali 2014-15 Il riferimento diretto Kripke affronta il problema se i nomi propri abbiano oltre che un riferimento o denotazione, anche un senso Frege
Filosofia del linguaggio Alfredo Paternoster
Filosofia del linguaggio 2012-2013 Alfredo Paternoster Sviluppi di Frege: Tarski Contributi fondamentali di Tarski al paradigma dominante: 1) Definizione di verità per un linguaggio logico (= semantica
NOZIONI DI LOGICA PROPOSIZIONI.
NOZIONI DI LOGICA PROPOSIZIONI. Una proposizione è un affermazione che è vera o falsa, ma non può essere contemporaneamente vera e falsa. ESEMPI Sono proposizioni : 7 è maggiore di 2 Londra è la capitale
Marco Trainito (Tutor, sede di Gela) NOZIONI ESSENZIALI DELLA FILOSOFIA DEL LINGUAGGIO DA FREGE A SCHLICK
Marco Trainito (Tutor, sede di Gela) NOZIONI ESSENZIALI DELLA FILOSOFIA DEL LINGUAGGIO DA FREGE A SCHLICK 1. FREGE 1.1 Sinn e Bedeutung nei nomi propri Secondo Frege (Über Sinn und Bedeutung, 1892), al
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta
BREVE CENNO DI LOGICA CLASSICA La logica può essere definita come la scienza che studia le condizioni in base alle quali un ragionamento risulta corretto e vero. Un ragionamento è corretto se segue uno
Proposizioni e verità
Proposizioni e verità Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Parte Istituzionale A.A. 2007-08 Contents 1 Proposizione.......................................... 3 2 Verità...............................................
Filosofia del linguaggio (i) (3 cr.)
Filosofia del linguaggio (i) (3 cr.) Docente: Giuseppe Spolaore Orario: Martedì ore 17.20 aula T4, mercoledì ore 17.20 aula 1.4, giovedì ore 14.00 aula 1.4 (per un totale di circa 10 lezioni). Ricevimento:
Che cos è la filosofia analitica?
Che cos è la filosofia analitica? Sascia Pavan [email protected] 31 marzo 2011 Sommario 1 Introduzione I padri fondatori Logica matematica 2 La filosofia analitica prima maniera: dalle origini agli
Unità A2. Progettazione concettuale. Obiettivi. Astrazione. Astrazione per aggregazione
Obiettivi Unità A2 Progettazione concettuale Imparare ad astrarre i dati per definire entità. Saper distinguere tra astrazione per classificazione, per aggregazione e per generalizzazione. Saper distinguere
Analisi del linguaggio
Analisi del linguaggio 3 livelli: SINTASSI: si occupa della relazione dei segni linguistici tra loro; SEMANTICA: si occupa della relazione dei segni linguistici con qualcosa di esterno al linguaggio; PRAGMATICA:
Significato, riferimento e stereotipi.
Significato, riferimento e stereotipi. entità mentali entità astratte -I significati sono di dominio pubblico -Afferrati da più di una persona -Afferrati da più persone contemporaneamente - estensione
ESEMPIO Un esempio di insieme vuoto è l insieme dei numeri reali di quadrato 4. B A
TEORI DEGLI INSIEMI GENERLIT Un insieme è un ente costituito da oggetti. Il concetto di insieme e di oggetto si assumono come primitivi. Se un oggetto a fa parte di un insieme si dice che esso è un suo
Quale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO. a cura del prof. Flaviano Scorticati
Quale Russell? APPROFONDIMENTO DI FILOSOFIA DEL LINGUAGGIO a cura del prof. Flaviano Scorticati Un piccolo gioco per riscaldare l atmosfera CHE COSA HANNO IN COMUNE QUESTE IMMAGINI? BABBO NATALE IL QUADRATO
fondamenti della matematica il programma logicista. Il programma logicista è legato ai nomi di G. Frege, B. Russell e L. Wittgenstein.
fondamenti della matematica il programma logicista. Il programma logicista è legato ai nomi di G. Frege, B. Russell e L. Wittgenstein. Frege per primo sostenne che l aritmetica non è altro che logica nel
Matteo Bonato Bologna, 28/02/2015
Matteo Bonato Bologna, 28/02/2015 INTRODUZIONE Metafisica «Metafisica» di Aristotele: ricerca delle proposizioni implicite in ogni nostro discorso, delle verità «prime», verità presupposte da ogni ricerca
LOGICA E FILOSOFIA DELLA SCIENZA
LOGICA E FILOSOFIA DELLA SCIENZA Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici Logica Studia i processi in base a cui traiamo inferenze a partire dalle nostre
01 - Elementi di Teoria degli Insiemi
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2013/2014
Logica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1]
Intelligenza Artificiale I Logica Formale Introduzione Marco Piastra Intelligenza Artificiale I - A.A. 2010- Logica Formale 1] Sistemicità del linguaggio naturale Capacità di astrazione della descrizione
G. Graffi, S. Scalise, Le lingue e il linguaggio A L C U N E I D E E B A S I L A R I 1
G. Graffi, S. Scalise, Le lingue e il linguaggio A L C U N E I D E E B A S I L A R I 1 La linguistica, il «linguaggio» e i «linguaggi» 2 Linguistica: Scienza cognitiva (cfr. lezioni introduttive) Lo studio
Nozioni introduttive e notazioni
Nozioni introduttive e notazioni 1.1 Insiemi La teoria degli insiemi è alla base di tutta la matematica, in quanto ne fornisce il linguaggio base e le notazioni. Definiamo un insieme come una collezione
La Morfologia. L aggettivo. Pag. 164 CLASSE II C
La Morfologia L aggettivo Pag. 164 CLASSE II C 2016-2017 L aggettivo - Definizione L aggettivo è la parte variabile del discorso che si aggiunge al nome per indicarne qualità e caratteristiche. Gli aggettivi
Logica: materiale didattico
Logica: materiale didattico M. Cialdea Mayer. Logica (dispense): http://cialdea.dia.uniroma3.it/teaching/logica/materiale/dispense-logica.pdf Logica dei Predicati (Logica per l Informatica) 01: Logica
Linguistica generale. a.a Federica Da Milano
Linguistica generale a.a.2014-2015 Federica Da Milano La sintassi: frasi e enunciati La frase intesa come modulo di un testo è chiamata enunciato, per differenziarla dalla frase intesa come costruzione
Dispense di Filosofia del Linguaggio
Dispense di Filosofia del Linguaggio Vittorio Morato II settimana Gottlob Frege (1848 1925), un matematico e filosofo tedesco, è unanimemente considerato come il padre della filosofia del linguaggio contemporanea.
Linguaggio e Categorizzazione
Linguaggio e Categorizzazione Claudia Casadio Logica e Psicologia del Pensiero Laurea Triennale - Indirizzo Evolutivo A.A. 2004-05 Contents 1 Definizione di categoria.....................................
Sommario. 1. Approccio logico-filosofico. 2. Approccio linguistico. 3. Pragmatica LEZIONE 7
Sommario LEZIONE 7 1. Approccio logico-filosofico 2. Approccio linguistico 3. Pragmatica Concezione logico-filosofica referente (significato) significato (senso) segno Nota: fra parentesi la terminologia
Ragionamento Automatico Richiami di calcolo dei predicati
Richiami di logica del primo ordine Ragionamento Automatico Richiami di calcolo dei predicati (SLL: Capitolo 7) Sintassi Semantica Lezione 2 Ragionamento Automatico Carlucci Aiello, 2004/05Lezione 2 0
Esercizi di rappresentazione
Esercizi di rappresentazione soluzioni Sandro Zucchi 2013-14 Primo esercizio (connettivi vero-funzionali - Bonevac) Quale dei connettivi seguenti è vero-funzionale? (se classifichi un connettivo come vero-funzionale,
Variabili. Unità 2. Domenico Daniele Bloisi. Corso di Programmazione e Metodi Numerici Ingegneria Aerospaziale BAER
Corso di Programmazione e Metodi Numerici Ingegneria Aerospaziale BAER Domenico Daniele Bloisi Docenti Metodi Numerici prof. Vittoria Bruni [email protected] Programmazione prof. Domenico
Fondamenti di Linguistica Semantica e Lessico Lezione 1: Semantica e Teorie Semantiche
Fondamenti di Linguistica Semantica e Lessico Lezione 1: Malvina Nissim [email protected] 26 Novembre 2008 Outline Introduzione Orari Organizzazione Contenuti e Letture 1 Introduzione Orari Organizzazione
NOZIONI DI LOGICA. Premessa
NOZIONI DI LOGICA Premessa Il compito principale della logica è quello di studiare il nesso di conseguenza logica tra proposizioni, predisponendo delle tecniche per determinare quando la verità di una
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
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 Cos è? Aspetti «interni» del linguaggio 2 i suoni linguistici la struttura delle parole la combinazione delle parole in gruppi
Lezione 7. Traduzioni/1. Linguaggi booleani/1. Traduzioni/3. Traduzioni/2. Linguaggi booleani. Traduzioni/4
Traduzioni/1 Lezione 7 Linguaggi booleani/1 Il linguaggio formale delle piccionaia è sufficientemente potente da esprimere un gran numero di informazioni: 1. La celletta n.1 è occupata O(m,1) O(d,1) O(t,1)
MATEMATICA DI BASE 1
MATEMATICA DI BASE 1 Francesco Oliveri Dipartimento di Matematica, Università di Messina 30 Agosto 2010 MATEMATICA DI BASE MODULO 1 Insiemi Logica Numeri Insiemi Intuitivamente, con il termine insieme
Certezza e Verità. Per una introduzione a Cartesio. a cura di Pietro Gavagnin
Certezza e Verità Per una introduzione a Cartesio a cura di Pietro Gavagnin www.pgava.net Certezza e Verità significato Certezza = ciò che è saputo è uno stato del pensare Verità = ciò che è (determinazione
Cerchiamo di capire che cosa questo significa
http://filosofia.dipafilo.unimi.it/~paganini/index.html A tutti appare chiaro che Quando leggiamo una frase ambigua facciamo molto fatica a cogliere l ambiguità, noi leggiamo la frase in base a una certa
Capitolo 1: La macroeconomia come scienza. homepage: https://sites.google.com/site/minnitianto77/teaching/macroeconomia
Antonio Minniti Professore Associato Dipartimento di Scienze Economiche Università degli Studi di Bologna Piazza Scaravilli 2 40126 Bologna tel: +39 051 2098486 e-mail: [email protected] homepage:
Seminario: Etica, metaetica, etica applicata. (L inuizionismo metaetico di) G.E. Moore e il realismo morale non naturalistico di W. D.
Seminario: Etica, metaetica, etica applicata Lezione del 17 ottobre 2008: (L inuizionismo metaetico di) G.E. Moore e il realismo morale non naturalistico di W. D. Ross Saggi di riferimento nel testo di
Esercizi di rappresentazione
Esercizi di rappresentazione Sandro Zucchi 2013-14 Primo esercizio (connettivi vero-funzionali - Bonevac) Quale dei connettivi seguenti è vero-funzionale? (Se classifichi un connettivo come vero-funzionale,
Logica proposizionale
Logica proposizionale Proposizione: frase compiuta che è sempre o vera o falsa. Connettivi Posti in ordine di precedenza: not, and, or, implica, doppia implicazione Sintassi Le proposizioni sono costituite
Atti locutori Atti illocutori Atti perlocutori
Atti locutori Atti illocutori Atti perlocutori In ogni proferimento linguistico per Austin è possibile distinguere: Atto locutorio Atto illocutorio Atto perlocutorio Atto locutorio Corrisponde al fatto
Logica proposizionale
Definire un linguaggio formale Logica proposizionale Sandro Zucchi 2013-14 Definiamo un linguaggio formale LP (che appartiene a una classe di linguaggi detti linguaggi della logica proposizionale) Per
OPERAZIONI SU SPAZI DI HILBERT. Nel seguito introdurremo i concetti di prodotto diretto e somma diretta di due spazi di Hilbert.
2/7 OPERAZIONI SU SPAZI DI HILBERT 11/12 1 OPERAZIONI SU SPAZI DI HILBERT Dati due spazi di Hilbert H (1) e H (2) si possono definire su di essi operazioni il cui risultato è un nuovo spazio di Hilbert
LA PROVA NAZIONALE INVALSI DI SECONDA ELEMENTARE
LA PROVA NAZIONALE INVALSI DI SECONDA ELEMENTARE Da qualche anno il Ministero della Pubblica Istruzione ha introdotto una prova nazionale per gli alunni di seconda elementare, prodotta dall Istituto nazionale
Insiemistica. Capitolo 1. Prerequisiti. Obiettivi. Gli insiemi numerici di base Divisibilità e fattorizzazione nei numeri interi
Capitolo 1 Insiemistica Prerequisiti Gli insiemi numerici di base Divisibilità e fattorizzazione nei numeri interi Obiettivi Sapere utilizzare opportunamente le diverse rappresentazioni insiemistiche Sapere
Figura 7: Ruota della Fortuna. Quanti sono i casi possibili? G. Sanfilippo - CdP - STAD - Lezione 2 del 12 Aprile pag. 15
Figura 7: Ruota della Fortuna. Quanti sono i casi possibili? G. Sanfilippo - CdP - STAD - Lezione 2 del 12 Aprile 2012- pag. 15 Casi Possibili B= La lancetta indica il Blu V= La lancetta indica il Verde
Nicola Cusano. Il Dio nascosto
Nicola Cusano Il Dio nascosto Un pagano disse [a un cristiano]: ti vedo inginocchiato con grande devozione, mentre versi lacrime di amore sincero e non falso. Dimmi, chi sei? CRISTIANO. Sono cristiano.
Grice Logica e conversazione
Grice Logica e conversazione ormalisti e informalisti Grice distingue nel suo articolo fra formalisti e informalisti Sia i formalisti che gli informalisti ritengono che ci sia un divario fra gli espedienti
LEZIONE 2. ( ) a 1 x 1 + a 2 x a n x n = b, ove a j, b R sono fissati.
LEZIONE 2 2 Sistemi di equazioni lineari Definizione 2 Un equazione lineare nelle n incognite x, x 2,, x n a coefficienti reali, è un equazione della forma (2 a x + a 2 x 2 + + a n x n = b, ove a j, b
PROGETTAZIONE DISCIPLINARE
PROGETTAZIONE DISCIPLINARE ITALIANO classe 3^ PER ASCOLTARE, COMPRENDERE E COMUNICARE ORALMENTE I Q. II Q. CONTENUTI /ATTIVITA 1a) Ascolto e comprensione di ciò che l insegnante e i compagni comunicano
01 - Elementi di Teoria degli Insiemi
Università degli Studi di Palermo Scuola Politecnica Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 01 - Elementi di Teoria degli Insiemi Anno Accademico 2015/2016
Richiami teorici ed esercizi di Logica
Facoltà di ingegneria Università della Calabria Corsi di Potenziamento Matematica e Logica A. A. 2008-2009 Richiami teorici ed esercizi di Logica Proposizioni logiche: Ogni espressione matematica alla
LA DISTINZIONE FREGEANA
N 1 GENNAIO 2010 T E M I LA DISTINZIONE FREGEANA TRA SENSO E RIFERIMENTO di Vera Tripodi ABSTRACT - Quali sono gli elementi del significato di un termine singolare o di un enunciato? In cosa consiste propriamente
Che cos è il pronome. Rispetto al SIGNIFICATO i pronomi si distinguono in:
IL PRONOME Che cos è il pronome Il pronome è la parte variabile del discorso che SOSTITUISCE: un nome È l autobus CHE (l autobus) prendo ogni mattina. un aggettivo Dicono che sei gentile, ma a me non LO
Epistemologia e Storia della Matematica I
Epistemologia e Storia della Matematica I GLI INSIEMI Corsista Elena Spera Presentazione Questa dispensa nasce come supporto alla lezione. Il docente può integrare le proprie spiegazioni proiettando le
Daniela Tondini Fondamenti di Matematica. Volume zero
A01 Daniela Tondini Fondamenti di Matematica Volume zero Copyright MMXIV ARACNE editrice S.r.l. www.aracneeditrice.it [email protected] via Raffaele Garofalo, 133/A B 00173 Roma (06) 93781065 ISBN
Il concetto di calcolatore e di algoritmo
Il concetto di calcolatore e di algoritmo Elementi di Informatica e Programmazione Percorso di Preparazione agli Studi di Ingegneria Università degli Studi di Brescia Docente: Massimiliano Giacomin Informatica
METODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 2 17/03/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Applicazioni della logica proposizionale La logica ha una
la formazione delle classi e della categorie
la formazione delle classi e della categorie Tradizionalmente si assume che per formare una classe sia necessario indicare proprietà necessarie e congiuntamente sufficienti. Indicate le proprietà si possono
Calcolo proposizionale
1 Il calcolo delle proposizioni Una proposizione logica si dice semplice o atomica se contiene soltanto un predicato. Due o più proposizioni semplici collegate mediante l'uso di connettivi formano proposizioni
Algebra di Boole X Y Z V. Algebra di Boole
L algebra dei calcolatori L algebra booleana è un particolare tipo di algebra in cui le variabili e le funzioni possono solo avere valori 0 e 1. Deriva il suo nome dal matematico inglese George Boole che
Corso di Informatica. Problemi ed algoritmi. Ing Pasquale Rota
Corso di Problemi ed algoritmi Ing Pasquale Rota Argomenti Problemi ed algoritmi Proprietà degli algoritmi Pseucodice Diagrammi di flusso Problemi ed algoritmi - Ing. Pasquale Rota 2 Proprietà degli algoritmi
Paul Grice teoria dell implicatura conversazionale
Paul Grice teoria dell implicatura conversazionale significato naturale e significato non naturale Grice attira l attenzione su due differenti modi in cui il verbo significare è usato. quelle macchie significano
Logica proposizionale
Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A7_2 V1.1 Logica proposizionale Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio personale
Sviluppo di programmi
Sviluppo di programmi Per la costruzione di un programma conviene: 1. condurre un analisi del problema da risolvere 2. elaborare un algoritmo della soluzione rappresentato in un linguaggio adatto alla
Logica per la Programmazione
Logica per la Programmazione Lezione 6 Logica del Primo Ordine Motivazioni Sintassi Interpretazioni Formalizzazione pag. 1 Limiti del Calcolo Proposizionale Nella formalizzazione di enunciati dichiarativi,
Introduzione alla logica matematica
Introduzione alla logica matematica 1 PROPOSIZIONE LOGICA Ogni discorso è fatto mediante espressioni di vario tipo che sono dette: proposizioni. Nel linguaggio ordinario, si chiama proposizione qualunque
Indice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche
Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Silvia Pianta - Laura Montagnoli Geometria I - Prerequisiti - UCSC A.A. 2015/2016 1 / 36 1. Cenni
Introduzione alla logica
Corso di Intelligenza Artificiale 2011/12 Introduzione alla logica iola Schiaffonati Dipartimento di Elettronica e Informazione Sommario 2 Logica proposizionale (logica di Boole) Logica del primo ordine
