«Le uniche proposizioni che hanno senso sono quelle suscettibili di verifica empirica»

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "«Le uniche proposizioni che hanno senso sono quelle suscettibili di verifica empirica»"

Transcript

1 1 Stefano Nobile Metodologia delle Scienze Sociali IL NEOPOSITIVISMO LOGICO (neoempirismo, neopositivismo, positivismo logico, empirismo logico) Circolo di Vienna (Moritz Schlick) ( ) Gruppo di Berlino (Hans Reichenbach, Richard Von Mises) Atto di fondazione ufficiale: La concezione scientifica del mondo (1929), opuscolo scritto da Otto Neurath, Hans Hahn e Rudolf Carnap Organo ufficiale: Erkentniss (Conoscenza) ( ), diretta da Carnap e Reichenbach Elementi essenziali: L antimetafisica Analisi logica del linguaggio (Logistica) Progetto di unificazione della scienza Dominio della logica «Le uniche proposizioni che hanno senso sono quelle suscettibili di verifica empirica» Componenti del Circolo: Alfred Ayer, filosofo Gustav Bergmann, matematico Rudolf Carnap, filosofo e logico Herbert Feigl, filosofo Phillip Frank, fisico Kurt Gödel, matematico e logico Hans Hahn matematico Felix Kaufmann, giurista Victor Kraft, storico e filosofo Karl Menger, matematico Otto Neurath, sociologo Kurt Reidemeister, matematico Moritz Schlick, fisico e filosofo Friedrich Waismann, filosofo Edgar Zilsel, filosofo

2 GOTTLOB FREGE ( ) Senso e denotazione, 1892 Matematico Frege ha l obiettivo di dimostrare che la verità ha un fondamento oggettivo Si propone dunque di Ridurre la matematica e l aritmetica alla logica (Logicismo o Logistica Leibniz e l alfabeto del pensiero umano ) Frege pensava ad un linguaggio formale in grado di offrire alla matematica uno strumento di espressione delle argomentazioni che non lasciasse alcuno spazio all intuizione o al riferimento a processi mentali: ogni regola di inferenza doveva essere esplicitata in modo da rendere evidente ogni passaggio della dimostrazione. Partendo dalla distinzione tra pensiero e atto del pensare, Frege afferma che il pensiero è qualcosa di oggettivo che viene afferrato nell atto del pensare, ma che non può identificarsi con esso. Più precisamente, un pensiero afferrato in un processo di pensiero è quella parte di esso che può essere comunicata ed espressa mediante il linguaggio. distinzione tra Logica (Pensiero) essere vero («chiamo pensiero qualcosa per cui possa in generale porsi la questione della verità») Pensare ritenere vero (Platonicamente, Frege pensa ad un terzo regno, il regno dei sensi oggettivi) 2

3 La verità è una proprietà degli asserti svolta linguistica Frege sostituì la distinzione operata secondo la logica aristotelica tra soggetto e predicato, con quella tra argomento e funzione. Il concetto è una funzione insatura, che si completa quando u oggetto cade sotto di essa. Socrate è un uomo È dato dal completamento, o saturazione, del concettofunzione X è un uomo Tramite l oggetto-argomento Socrate Ne deriva che due concetti possono avere la stessa estensione senza risultare coincidenti. Per risolvere questo problema attraverso una propria teoria del significato, Frege introduce la distinzione tra: Denotazione (riferimento, estensione, ciò che un espressione designa) Senso (intensione, cioè «un modo di presentare un referente») Un espressione che abbia senso può non avere una denotazione. Es.: il corpo celeste più lontano dalla Terra. 3

4 BERTRAND RUSSELL ( ) Principia Mathematica (con Whitehead) Teoria dei tipi Nell appuntare le proprie obiezioni a Frege, Russell notò che esistevano due tipi di classi: quelle che erano membri di se stesse (come la classe delle cose che possono essere contate, ovvero una classe di tutte le classi); e quelle che non erano membri di se stesse (come la classe di tutti gli professori di metodologia delle scienze sociali, che non è essa stessa un professore di metodologia delle scienze sociali). Il paradosso di Russell è proprio questo. Ci si può infatti domandare: la classe delle classi che non sono membri di se stesse è oppure no membro di se stessa? Se la risposta fosse affermativa, essa non lo sarebbe, poiché le entità appartenenti a questa classe sono, per definizione, membri di se stesse. Se invece tale classe non fosse membro di se stessa, allora lo sarebbe, in quanto dovrebbe appartenere alla classe delle cose che non sono membro di quella classe ( paradosso di Epimenide). 4

5 Con Whitehead, suo maestro, Russell pervenne alla teoria dei tipi, grazie a cui veniva superata l impasse dell antinomia nella quale era caduto Frege. Essa si fonda su un simbolismo che implica 5 assiomi, dai quali potevano derivarsi tutte le combinazioni possibili tra classi. 1. (p o p) implica p 2. q implica (p o q) 3. (p o q) implica (q o p) 4. (p o [q o r] implica (q o [p o r]) 5. (q o r) implica ([p o q] implica [p o r]) Dottrina dell atomismo logico La grande applicazione di Russell ai problemi della matematica portò lo stesso autore a supporre che la struttura del mondo fisico fosse essenzialmente la stessa di quella della logica o di un ragionamento logicamente perfetto. La dottrina di Russell si chiama atomismo logico perché intende eseguire il processo di analisi logica fino alle nozioni più semplici, gli atomi logici, appunto. Russell suppose che la conoscenza del mondo da parte delle persone si basasse su dati sensoriali elementari. L oggetto della conoscenza scientifica del mondo sono i fatti, ossia quelle proposizioni che sono suscettibili di un giudizio di vero/falso ( Wittgenstein). Per analizzare le proposizioni molecolari (o composte), era dunque necessario fare riferimento a proposizioni atomiche (componenti) 5

6 LUDWIG WITTGENSTEIN ( ) Tractatus logicophilosophicus, 1922 Ricerche filosofiche, 1953 (postumo) «Il mondo è la totalità dei fatti, non delle cose, e si divide in fatti indipendenti che costituiscono il mondo» «I fatti sono nello spazio logico e sono indipendenti l uno dall altro e possono solo essere enunciati o asseriti» «I limiti del mio linguaggio significano i limiti del mio mondo» Tractatus logico-philosophicus In esso Wittgenstein propone una teoria secondo la quale il significato (senso) degli enunciati va ricercato negli stati di cose e la proprietà di verità/falsità degli enunciati stessi è riferita ai fatti. «Il senso della proposizione è la sua concordanza o discordanza con le possibilità del sussistere e non sussistere degli stati di cose» La teoria di Wittgenstein è imperniata su 4 elementi fondamentali: gli oggetti gli stati di cose i fatti il mondo Può essere ricondotto a due tesi principali: la tesi raffigurativa del linguaggio la tesi dell ineffabilità 6

7 Tesi raffigurativa del linguaggio Secondo la tesi raffigurativa del linguaggio, le proposizioni che compongono il linguaggio sono considerate analoghe, o equivalenti, a una serie di immagini. Nel linguaggio c è però una sorta di struttura logica, la quale riflette la struttura logica del mondo, supponendosi come si suppone che il mondo ed il linguaggio usato per descriverlo abbiano la stessa forma logica. Wittgenstein propone una prospettiva, di cui si appropriarono i membri del Circolo di Vienna, secondo la quale: gli enunciati fattuali, che cioè concernono cose esistenti, hanno significato solo se sono empiricamente verificabili. Soltanto le proposizioni delle scienze empiriche esauriscono l ambito del linguaggio significativo poiché ad esse soltanto ascrivere un valore di verità o di falsità. Le proposizioni della logica o della matematica e le contraddizioni si collocano ai due stremi dell infinita gamma di enunciati veri o falsi che costituiscono il corpo del linguaggio e possono in fondo considerate proposizioni apparenti, mere tautologie. Le tautologie sono dunque enunciati non verificabili, tuttavia veri in base agli stessi termini che li compongono; tali enunciati sono tautologie. Tautologie (es.: So che piove o non piove ) e contraddizioni (es.: è un uomo ma non è un uomo ) sono le due forme estreme di proposizione logica che hanno grande importanza in quanto mostrano la natura della logica. Esse però non dicono nulla e, nonostante l apparenza, non sono proposizioni. 7

8 Il corollario di tutto ciò è la Tesi dell ineffabilità Secondo la quale le proposizioni che pretendono di valicare i limiti del linguaggio significativo appartengono al dominio del mistico, nel senso letterale di ineffabile. «Su ciò, di cui non si può parlare, si deve tacere» Domanda: Come apprendiamo il linguaggio? Risposta: Attraverso l ostensione L ostensione è la forma fondamentale di spiegazione che lega le parole al mondo. Ma il gesto ostensivo e le parole che ad esso si associano ( questo, quello ) sono tutti elementi del gioco linguistico dello spiegare il significato e tutti, per essere usati, richiedono delle regole. L idea stessa di connessione tra lingua e realtà è un idea falsa. Il linguaggio è onnicomprensivo. Non possiamo uscirne. Lo stato di cose una proposizione è Sensata se esprime uno stato di cose Vera se lo stato di cose sussiste effettivamente Falsa se lo stato di cose non sussiste Influenzato dall incontro con un economista amico di Gramsci, Sraffa, nella fase più matura della sua esistenza Wittgenstein rivide molte delle sue posizioni precedenti (si parla, appunto di un secondo Wittgenstein ), arrivando ad esprimere l opinione che il significato, e quindi la conoscenza, risiedono in ultima analisi in pratiche sociali particolarmente in relazione con il linguaggio. 8

9 Infatti i concetti influiscono sulla percezione. Ricerche filosofiche (1955) In questa opera, pubblicata postuma, Wittgenstein rivede il problema affrontato nel Tractatus, relativo alla capacità della struttura logica del linguaggio di riflettere lo "stato di cose" del mondo. Nelle Ricerche filosofiche, Wittgenstein sostiene che ogni linguaggio è una specie di gioco che segue determinate regole. Tutti i giochi linguistici hanno lo stesso valore. Pertanto, l unica regola per l interpretazione di uno di questi giochi è, secondo Wittgenstein, l uso che se ne fa. Per il secondo Wittgenstein, dunque, le proposizioni della logica riflettono le regole del linguaggio, le quali ci sono note attraverso il nostro uso del linguaggio nella vita quotidia na e attraverso l esperienza linguistica. 9

10 Prospettiva Fisicalista LA POLEMICA SUI PROTOCOLLI I protocolli o, meglio, gli enunciati protocollari (o enunciati d osservazione ) sono le forme elementari, le basi fondamentali per la costruzione della conoscenza scientifica. Essi, per esempio, potrebbero essere le registrazioni di osservazioni immediate in un taccuino di laboratorio. Schlick: scopo della scienza è quello di «fornire una rappresentazione vera dei fatti» Egli introduce un criterio di significanza, secondo il quale gli asserti possono essere di tre tipi: verificabili (attraverso la prove empirica) tautologici (quelli autofondanti della logica e della matematica) insensati (quelli della metafisica) problema dove collocare le leggi scientifiche? L accusa realismo (Schlick) vs. solipsismo (Carnap) Il terzo incomodo: Otto Neurath («gli enunciati sono sempre confrontati con altri enunciati; ogni movimento all interno della scienza avviene all interno del linguaggio e non attraverso il confronto del linguaggio stesso con il mondo che si suppone esso rifletta») 11

11 Polemica contro la teoria del significato di Wittgenstein («Il significato di una proposizione coincide con lo stato di cose che essa raffigura»), di Carnap («Il significato di una proposizione coincide o è riducibile ad esperienze elementari») e di Schlick («Il significato di una proposizione è riducibile a dati di fatto») residui metafisici Il principio-base del fisicalismo di Neurath è che gli asserti devono essere tradotti in maniera spazio-temporalmente determinata. Esso si basa sugli Enunciati di osservazione («proposizioni concernenti individui che percepiscono ed oggetti che emettono stimoli»)???? RUDOLF CARNAP ( ) La costruzione logica del mondo (Logische aufbau der welt), 1928 La difesa Carnap mira a costruire un albero genealogico dei concetti, definendo concetti complessi a mezzo di concetti più semplici. In altri termini, egli mira alla totale intersoggettività del linguaggio scientifico. In un primo momento, Carnap sostiene che la base del sistema scientifico va rintracciata nelle esperienze vissute elementari. Per arrivare a questo obiettivo, Carnap edifica la propria architettura logica su due pilastri: gli elementi fondamentali (i miei dati vissuti) le relazioni fondamentali (o ricordi di similarità ), che poggiavano sul confronto mnemonico tra sensazioni. 12

12 A seguito delle osservazioni di Neurath, egli procede alla distinzione tra due tipi di linguaggio: uno più rudimentale, diretto, ma anche legato alla questione dell essenza degli oggetti rappresentati. Pertanto, esso collega simboli con cose un secondo linguaggio che non è altro che un sistema di segni e delle relative regole di combinazione, avulso da riferimenti a fatti o oggetti del mondo esterno All interno di questo secondo linguaggio, l unico concepibile per la scienza, lo strumento da adottare sono le proposizioni protocollari. Ma per Neurath «non esiste alcun linguaggio idoneo a formulare proposizioni protocollari pure e assolutamente univoche come base di partenza per la scienza» Enunciato protocollare di Carnap Adesso sul tavolo si trova un dado rosso Enunciato protocollare di Neurath Protocollo di Otto alle ore 3 e 17: [il pensiero-parola di Otto alle ore 3 e 16 era: (alle 3 e 15, nella stanza, un tavolo era percepito da Otto)] Per Neurath, il criterio di verità delle proposizioni non sta in una loro pretesa corrispondenza a fatti comunque intesi, ma unicamente nella coerenza di un enunciato rispetto all intero sistema degli enunciati ammessi Verità come coerenza problema della verifica 13

13 per Carnap esistono proposizioni immuni da verifica (le proposizioni protocollari, appunto) per Neurath non ne esistono: la verifica è un esigenza fondamentale della scienza unificata, che si adopera per costruire un sistema privo di contraddizioni per Schlick esiste un problema di «punti di contatto indubitabili tra conoscenza e realtà» le constatazioni, che a differenza delle proposizioni protocollari di Carnap non parlano mai di percezioni bensì di fatti ( il primo Wittgenstein). Ma se è vero come afferma Schlick che «il significato di una proposizione è il suo metodo di verifica», cosa dobbiamo intendere per verifica? Essa va intesa non come una proprietà della proposizione stessa, bensì la sua possibilità logica di verificazione ( Wittgenstein, Ricerche filosofiche). L esito Entrano in gioco elementi pratici e convenzionalistici: da una parte la verifica è potenzialmente un procedimento senza fine, che dobbiamo arrestare ad un certo punto. Dall altra, l assunzione di quest ultima decisione implica appunto un grado di convenzionalità. Non si parlerà allora più di verifica, bensì di conferma o di controllo ( Carnap) In Testability and meaning, Carnap adotta appunto il concetto di conferma in luogo di quello di verifica e si pone il problema del rapporto tra linguaggio teorico e linguaggio osservativo ( Duhem). regole di corrispondenza (definizioni coordinatrici, definizioni operative, regole semantiche, correlazioni epistemologiche) esempio 14

14 «Se esiste un oscillazione elettromagnetica di frequenza specificata, allora esiste un colore visibile blu verdastro di un tono determinato» 15

Che cos è la filosofia analitica?

Che cos è la filosofia analitica? Che cos è la filosofia analitica? Sascia Pavan sascia.pavan@gmail.com 31 marzo 2011 Sommario 1 Introduzione I padri fondatori Logica matematica 2 La filosofia analitica prima maniera: dalle origini agli

Dettagli

Quine. su senso, riferimento e traduzione radicale. Lezioni lauree triennali

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

Dettagli

LOGICA E FILOSOFIA DELLA SCIENZA

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

Dettagli

Logica e Informatica: cosa i calcolatori possono e non possono fare. Simone Martini

Logica e Informatica: cosa i calcolatori possono e non possono fare. Simone Martini Logica e Informatica: cosa i calcolatori possono e non possono fare Simone Martini Dipartimento di Scienze dell Informazione Alma Mater Studiorum Università di Bologna 1 io Simone Martini Professore di

Dettagli

Filosofia del linguaggio (i) (3 cr.)

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:

Dettagli

Un po di logica. Christian Ferrari. Laboratorio di matematica

Un po di logica. Christian Ferrari. Laboratorio di matematica Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare

Dettagli

Cap. 6 del manuale La natura e i suoi modelli

Cap. 6 del manuale La natura e i suoi modelli Cap. 6 del manuale La natura e i suoi modelli 1. In questa stanza c è una lavagna 2. Gli atomi di sodio hanno 11 protoni e 11 elettroni Consideriamo vere queste due affermazioni? Perché? Aff. 1: Perché

Dettagli

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

Es. quadrilatero: specie di poligono, genere di quadrato. La specie ha più caratteristiche, il genere è riferito a più elementi. La logica di Aristotele La logica non si trova tra le scienze dell enciclopedia aristotelica, poiché essa ha per oggetto la forma comune a tutte le scienze, cioè il procedimento dimostrativo, o le varie

Dettagli

Che cos è una teoria scientifica?

Che cos è una teoria scientifica? Temi filosofici dell ingegneria e della scienza/informatica B[1] Politecnico di Milano, II Facoltà di ingegneria, a.a. 2009-10 Che cos è una teoria scientifica? Viola Schiaffonati Dipartimento di elettronica

Dettagli

Il Neopositivismo PREMESSE: Inquadramento delle correnti filosofiche. A. Comte: il positivismo. (fisica fisica sociale)

Il Neopositivismo PREMESSE: Inquadramento delle correnti filosofiche. A. Comte: il positivismo. (fisica fisica sociale) Il Neopositivismo PREMESSE: Inquadramento delle correnti filosofiche A. Comte: il positivismo (fisica fisica sociale) E. Mach, R. Avenarius: empiriocriticismo Il CIRCOLO di VIENNA Percy W. Bridgman Inquadramento

Dettagli

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

LOGICA E PSICOLOGIA DEL PENSIERO. Logica, Linguistica e Scienza Cognitiva titolo LOGICA E PSICOLOGIA DEL PENSIERO Claudia Casadio PRIMA LEZIONE Logica, Linguistica e Scienza Cognitiva Tre ambiti scientifici logica Logica Studia i processi in base a cui traiamo inferenze a partire

Dettagli

Maiuscole e minuscole

Maiuscole e minuscole Maiuscole e minuscole Abilità interessate Distinguere tra processi induttivi e processi deduttivi. Comprendere il ruolo e le caratteristiche di un sistema assiomatico. Riconoscere aspetti sintattici e

Dettagli

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

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

Dettagli

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 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

Dettagli

NOZIONI DI LOGICA PROPOSIZIONI.

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

Dettagli

Storia della Scienza e Filosofia della Scienza

Storia della Scienza e Filosofia della Scienza Storia della Scienza e Filosofia della Scienza Arturo Russo Dottorato di ricerca in Storia e didattica delle matematiche, della fisica e della chimica Il compito della filosofia della scienza e il rapporto

Dettagli

Richiami teorici ed esercizi di Logica

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

Dettagli

Schopenhauer Tra razionale e irrazionale

Schopenhauer Tra razionale e irrazionale Schopenhauer Tra razionale e irrazionale Le domande fondamentali poste da Arthur Schopenhauer : Che cosa coglie la ragione discorsiva? La ragione discorsiva può essere superata per cogliere la realtà?

Dettagli

Davidson. Verità e significato

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

Dettagli

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

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

Dettagli

3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune...

3. Logica. Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... Capitolo 3. Logica 3. Logica Obiettivi di apprendimento: Relazioni, dati e previsioni 6T, 7T, 8T, 10Q. La logica nel linguaggio comune... sei una persona priva di logica è logico comportarsi cosí fai l

Dettagli

Appunti di geometria euclidea

Appunti di geometria euclidea Appunti di geometria euclidea Il metodo assiomatico Appunti di geometria Euclidea Lezione 1 Prima di esaminare nel dettaglio la Geometria dal punto di vista dei Greci è opportuno fare unrichiamo di Logica.

Dettagli

Introduzione alla logica

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

Dettagli

LOCKE. Empirismo = teoria della ragione come un insieme di poteri limitati dall esperienza:

LOCKE. Empirismo = teoria della ragione come un insieme di poteri limitati dall esperienza: LOCKE L empirismo inglese e il suo fondatore Empirismo = teoria della ragione come un insieme di poteri limitati dall esperienza: - Fonte del processo conoscitivo - Strumento di certificazione delle tesi

Dettagli

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

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

Dettagli

Filosofia del linguaggio (i) (3 cr.)

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:

Dettagli

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

5 Lezione: Nominazione e forma logica. SCHEMA DI FREGE nel rapporto tra ESPRESSIONE e CONTENUTO. oggetto concetto valore di verità estensione. 5 Lezione: Nominazione e forma logica SCHEMA DI FREGE nel rapporto tra ESPRESSIONE e CONTENUTO termine predicato enunciato singolare senso modo di modo di dare pensiero dare il il riferimento riferimento

Dettagli

Nozioni di logica matematica

Nozioni di logica matematica MINISTERO DELL ISTRUZIONE, DELL UNIVERSITA E DELLA RICERCA LICEO STATALE P. E. IMBRIANI Linguistico - Scientifico - Scientifico delle Scienze Applicate Via S. Pescatori, 155 83100 Avellino Tel. (2 linee)

Dettagli

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

ELEMENTI DI LOGICA PER IL CORSO DI LAUREA IN MATEMATICA. Prof. Giangiacomo Gerla Dipartimento di Matematica ed Informatica. Università di Salerno ELEMENTI DI LOGICA PER IL CORSO DI LAUREA IN MATEMATICA Prof. Giangiacomo Gerla Dipartimento di Matematica ed Informatica Università di Salerno gerla@unisa.it II INTRODUZIONE Sotto il termine di logica

Dettagli

LOGICOMIX B. Russel, Introduzione alla filosofia matematica, 1919.

LOGICOMIX B. Russel, Introduzione alla filosofia matematica, 1919. LOGICOMIX Logicomix è la storia a fumetti di Bertrand Russel, logico gallese nato nel 1872 e morto nel 1970. La madre morì quando Bertrand aveva 2 anni e il padre quando ne aveva quattro. Scrisse: «Io

Dettagli

La filosofia. Storia della filosofia contemporanea

La filosofia. Storia della filosofia contemporanea La filosofia Storia della filosofia contemporanea Che cos è la filosofia? Concezione tradizionale della filosofia La filosofia è una disciplina scolastica o accademica, che ha per oggetto la storia del

Dettagli

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

Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Logica degli enunciati; Operazioni con le proposizioni; Proprietà delle operazioni logiche; Tautologie; Regole di deduzione; Logica dei predicati; Implicazione logica. Equivalenza logica; Condizione necessaria,

Dettagli

DIALETTICA TRASCENDENTALE

DIALETTICA TRASCENDENTALE Critica della ragione che cerca di essere pura La ragione crea i sillogismi ed è l organo della totalità L idea è la totalità delle condizioni dell esperienza DIALETTICA TRASCENDENTALE La Dialettica trascendentale

Dettagli

La matematica non è un opinione, lo è oppure...?

La matematica non è un opinione, lo è oppure...? La matematica non è un opinione, lo è oppure...? Giulio Giusteri Dipartimento di Matematica e Fisica Università Cattolica del Sacro Cuore Brescia 26 Febbraio 2010 Vecchie conoscenze Dedurre... dedurre...

Dettagli

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

Semantica proposizionale. Unit 2, Lez 3 e 4 Corso di Logica Semantica proposizionale Unit 2, Lez 3 e 4 Corso di Logica Sommario Semantica dei connettivi Costruzione delle tavole di verità Tautologie, contraddizioni e contingenze Semantica delle forme argomentative

Dettagli

Aspetti Epistemologici dell Informatica

Aspetti Epistemologici dell Informatica Aspetti Epistemologici dell Informatica Prof.ssa Stefania Bandini Dott. Gianluca Colombo Dipartimento di Informatica, Sistemistica e Comunicazione Università di Milano-Bicocca bandini@disco.unimib.it tel.

Dettagli

Filosofia della Medicina

Filosofia della Medicina Filosofia della Medicina Nasce nella seconda metà del '900 Tipo di scientificità che compete al sapere medico La nozione di malattia Il rapporto medico paziente Le implicanze mediche della medicina Filosofia

Dettagli

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1

Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente

Dettagli

DISTINZIONI LOGICO/FILOSOFICHE FONDAMENTALI. T> MT(T) = Si(T) + Se(T) + Pr(T) vero Pr(T) = <L, L, U, u> Pragmatica: il soggetto x afferma che 2+2 = 4

DISTINZIONI LOGICO/FILOSOFICHE FONDAMENTALI. T> MT(T) = Si(T) + Se(T) + Pr(T) vero Pr(T) = <L, L, U, u> Pragmatica: il soggetto x afferma che 2+2 = 4 DISTINZIONI LOGICO/FILOSOFICHE FONDAMENTALI TEORIA E METATEORIA T = MT(T) = T = MT(T) = Si(T) + Se(T) + Pr(T) Si(T) = Se(T) = Sintassi: a+b è un termine Semantica: 2+2 = 4

Dettagli

Estratto da: Yona Friedman, L'ordine complicato. Come costruire un'immagine, traduzione di Paolo Tramannoni, con una nota di Manuel Orazi,

Estratto da: Yona Friedman, L'ordine complicato. Come costruire un'immagine, traduzione di Paolo Tramannoni, con una nota di Manuel Orazi, Estratto da: Yona Friedman, L'ordine complicato. Come costruire un'immagine, traduzione di Paolo Tramannoni, con una nota di Manuel Orazi, Quodlibet-Abitare, Macerata 2011. Ulteriori informazioni: http://www.quodlibet.it/schedap.php?id=1963

Dettagli

Analisi del linguaggio

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:

Dettagli

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

LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema

Dettagli

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

Entrambi gli atteggiamenti forniscono una percezione del mondo distorta che può essere mitigata solo da un pensiero razionale il pensiero critico. La mente umana sebbene abbia la capacità di pensare razionalmente è per sua natura incline ad assumere atteggiamenti: egocentrici tendenza a vedere il mondo solo in relazione a se stessi sociocentrici

Dettagli

Una Breve Introduzione alla Logica

Una Breve Introduzione alla Logica Una Breve Introduzione alla Logica LOGICA La LOGICA è la disciplina che studia le condizioni di correttezza del ragionamento Occorre dire, anzitutto, quale oggetto riguardi ed a quale disciplina spetti

Dettagli

Margherita Benzi Università Vita-Salute San Raffaele Laurea specialistica in neuroscienze cognitive Epistemologia delle scienze umane AA 2005-2006

Margherita Benzi Università Vita-Salute San Raffaele Laurea specialistica in neuroscienze cognitive Epistemologia delle scienze umane AA 2005-2006 Margherita Benzi Università Vita-Salute San Raffaele Laurea specialistica in neuroscienze cognitive Epistemologia delle scienze umane AA 2005-2006 1. INTRODUZIONE AL CORSO Che cos è l epistemologia? -

Dettagli

Prerequisiti Matematici

Prerequisiti Matematici Prerequisiti Matematici Richiami di teoria degli insiemi Relazioni d ordine, d equivalenza Richiami di logica Logica proposizionale, tabelle di verità, calcolo dei predicati Importante: Principio di Induzione

Dettagli

Applicazioni:la traduzione automatica

Applicazioni:la traduzione automatica Applicazioni:la traduzione automatica Il problema di tradurre automaticamente un testo da una lingua all altra è stato affrontato ancora prima della nascita dell IA. Negli anni Cinquanta diversi ricercatori,

Dettagli

CONOSCENZA ED ESPERIENZA

CONOSCENZA ED ESPERIENZA CONOSCENZA ED ESPERIENZA È il FONDAMENTO della conoscenza le idee nascono dall esperienza È il MECCANISMO DI CONTROLLO della conoscenza è il criterio di verità: un idea è vera se corrisponde all esperienza

Dettagli

IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE.

IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE. IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE. PH. ELLIA Indice Introduzione 1 1. Divisori di un numero. 1 2. Il Teorema Fondamentale dell Aritmetica. 2 3. L insieme dei numeri primi è

Dettagli

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

7. INSIEMI APERTI, INSIEMI CHIUSI, INSIEMI NE APERTI NE CHIUSI 7. INSIEMI APERTI, INSIEMI CHIUSI, INSIEMI NE APERTI NE CHIUSI Sia E un insieme numerico, sia cioè. Esempi Si dice che E è un insieme APERTO se tutti i suoi punti sono interni. Ogni intervallo aperto (dove

Dettagli

8. Completamento di uno spazio di misura.

8. Completamento di uno spazio di misura. 8. Completamento di uno spazio di misura. 8.1. Spazi di misura. Spazi di misura completi. Definizione 8.1.1. (Spazio misurabile). Si chiama spazio misurabile ogni coppia ordinata (Ω, A), dove Ω è un insieme

Dettagli

2. I condizionali indicativi

2. I condizionali indicativi 2. I condizionali indicativi 2.1. Da un punto di vista logico La semantica è quella branca della linguistica che si occupa del significato delle espressioni che analizza cioè la relazione tra i segni e

Dettagli

Calcolo proposizionale

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

Dettagli

Schema prove dell esistenza di Dio in Descartes Meditazioni (1642)

Schema prove dell esistenza di Dio in Descartes Meditazioni (1642) Schema prove dell esistenza di Dio in Descartes Meditazioni (1642) In tutte e tre le prove delle Meditazioni Descartes parte dall idea di Dio: III Meditazione: 2 prove a posteriori che procedono dall effetto

Dettagli

FILOSOFIA cos è? perché studiarla? di cosa si occupa il filosofo? prof. Elisabetta Sangalli

FILOSOFIA cos è? perché studiarla? di cosa si occupa il filosofo? prof. Elisabetta Sangalli FILOSOFIA cos è? perché studiarla? di cosa si occupa il filosofo? prof. Elisabetta Sangalli Quali sono natura ruolo e scopo della filosofia? cerchiamo una risposta a questi interrogativi nelle parole degli

Dettagli

Prof.ssa Rosanna Passaretti. - Ricevimento: su appuntamento e comunque alla fine di ogni lezione

Prof.ssa Rosanna Passaretti.  - Ricevimento: su appuntamento e comunque alla fine di ogni lezione Prof.ssa Rosanna Passaretti E-mail- dr.passaretti@hotmail.it Ricevimento: su appuntamento e comunque alla fine di ogni lezione 1 Obiettivo Obiettivo del corso è fornire una panoramica chiara ed attuale

Dettagli

FASI E PROCESSI DELLA RICERCA SOCIALE

FASI E PROCESSI DELLA RICERCA SOCIALE FASI E PROCESSI DELLA RICERCA SOCIALE FASI PROCESSI teoria deduzione: tipo di ragionamento che procede da premesse generali a conclusioni particolari (ex sillogismo aristotelico) ipotesi disegno della

Dettagli

Daniela Tondini Fondamenti di Matematica. Volume zero

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 info@aracneeditrice.it via Raffaele Garofalo, 133/A B 00173 Roma (06) 93781065 ISBN

Dettagli

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 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

Dettagli

BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1

BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 BOOK IN PROGRESS MATEMATICA ALGEBRA PRIMO ANNO TOMO NR. 1 SOMMARIO DEL TOMO 1 CAPITOLO 1: IL LINGUAGGIO DEGLI INSIEMI 1.1 Gli insiemi e la loro rappresentazione pag. 1 1. I sottoinsiemi pag. 6 1.3 Insieme

Dettagli

DI CHE COSA SI OCCUPA LA LOGICA

DI CHE COSA SI OCCUPA LA LOGICA Di Emily Rinaldi DI CHE COSA SI OCCUPA LA LOGICA La logica si occupa dell esattezza dei ragionamenti Nei tempi antichi solo verbale. Nell epoca moderna la logica viene applicata per l ordinamento sistemazione

Dettagli

La scienza e le scienze

La scienza e le scienze La scienza e le scienze Scienza: definizioni Insieme di conoscenze rigorosamente controllate e sistematicamente ordinate che consente di giungere a verità obiettive intorno a un determinato ordine di fenomeni

Dettagli

RELATIVISMO. OPINIONE Doxa. Sensi. Conoscenza. relativa. Molteplice varia nello Spazio RELATIVISMO. Impossibilità verità Universale e Immutabile

RELATIVISMO. OPINIONE Doxa. Sensi. Conoscenza. relativa. Molteplice varia nello Spazio RELATIVISMO. Impossibilità verità Universale e Immutabile RELATIVISMO OPINIONE Doxa Sensi Conoscenza relativa Mutevole varia nel Tempo Molteplice varia nello Spazio Soggettiva varia nei diversi soggetti RELATIVISMO Impossibilità verità Universale e Immutabile

Dettagli

LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA

LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA LA NOZIONE DI INSIEME, PRIME OPERAZIONI TRA INSIEMI, ELEMENTI BASILARI DI LOGICA L impostazione logico-deduttiva propria della matematica affida un importanza basilare alle definizioni. La ricerca, poi,

Dettagli

L'algebra Booleana. Generalità. Definizioni

L'algebra Booleana. Generalità. Definizioni L'algebra Booleana Generalità L algebra booleana è stata sviluppata da George Boole nel 1854, ed è diventata famosa intorno al 1938 poiché permette l analisi delle reti di commutazione, i cui soli stati

Dettagli

Linguaggio e Categorizzazione

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.....................................

Dettagli

Gli Insiemi. Ing. Ivano Coccorullo

Gli Insiemi. Ing. Ivano Coccorullo Gli Ing. Ivano Coccorullo Gli Gli La teoria degli insiemi svolge un ruolo importante per i fondamenti della matematica e si colloca nell'ambito della logica matematica. Prima della metà del sec. XIX la

Dettagli

R. De Leo 9 Febbraio Liceo Scientifico L.B. Alberti. Invito alla Logica Matematica. attraverso gli Indovinelli

R. De Leo 9 Febbraio Liceo Scientifico L.B. Alberti. Invito alla Logica Matematica. attraverso gli Indovinelli Liceo Scientifico L.B. Alberti 9 Febbraio 2010 1 / 40 Outline 2 / 40 La come gioco da tavolo Quali sono gli elementi fondamentali di un gioco da tavolo? I Pezzi 3 / 40 La come gioco da tavolo Quali sono

Dettagli

Temi d Esame Logica II

Temi d Esame Logica II PONTIFICIA UNIVERSITÀ LATERANENSE Facoltà di Filosofia Temi d Esame Logica II Corso50609 Anno Accademico 2007/8 ELENCO TEMI D ESAME L ESAME SARÀ SCRITTO, DURERÀ DUE ORE E SARÀ COMPOSTO DI TRE PARTI. CHI

Dettagli

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

Cenni di logica. Hynek Kovarik. Università di Brescia. Analisi Matematica A Cenni di logica Hynek Kovarik Università di Brescia Analisi Matematica A Hynek Kovarik (Università di Brescia) Cenni di logica Analisi Matematica A 1 / 21 Scopo: introdurre nozioni di logica & terminologia

Dettagli

Significato, riferimento e stereotipi.

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

Dettagli

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

Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA. 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita. Materiale didattico aggiuntivo - Analisi Matematica I CENNI DI LOGICA MATEMATICA 1. Proposizioni. Valori logici. Connettivi logici. Tavole di verita. Intenderemo per PROPOSIZIONE (o ENUNCIATO) una qualunque

Dettagli

Ricordando che: = si ha:

Ricordando che: = si ha: Logica matematica Esempi 1. Stailisci il grado di verità delle seguenti proposizioni logiche: :" è h 2 è " :"5 è 2 3 è 6" :" è h : è è " :" h h " :" h è " :" è, è " F 2. Data la proposizione p:" " la sua

Dettagli

Questioni epistemologiche delle neuroscienze

Questioni epistemologiche delle neuroscienze Questioni epistemologiche delle neuroscienze Ascrivere attributi psicologici al cervello Le neuroscienze cognitive hanno abbracciato quasi universalmente una posizione monistica e riduzionistica. Sembrano

Dettagli

L Enciclopedia delle scienze filosofiche

L Enciclopedia delle scienze filosofiche L Enciclopedia delle scienze filosofiche La logica È la scienza dell Idea pura, cioè dell Idea nell elemento astratto del pensiero. Tesi di fondo: essere = pensiero (identità a partire dall Io puro) Hegel

Dettagli

Montessori e Psicomatematica

Montessori e Psicomatematica Cinisello Balsamo, 29 novembre 2014 Montessori e Psicomatematica Benedetto Scoppola, Opera Nazionale Montessori e Universita di Roma Tor Vergata Sommario - Grazie - Montessori e la matematica: l origine

Dettagli

La filosofia della scienza. Tratto da: L. Guaragna

La filosofia della scienza. Tratto da: L. Guaragna La filosofia della scienza Tratto da: http://www.webalice.it/leone.guaragna/scuola-scuola-scuola/ 2012 - L. Guaragna Rivoluzione copernicana nell astronomia Epistemologia o filosofia della scienza Epistemologia

Dettagli

Logica e fondamenti di matematica

Logica e fondamenti di matematica Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini (giuntini@unica.it) Logica proposizionale Logica e teoria dell argomantazione. Cap. 1: Enunciati. Enunciato: Non ogni discorso è dichiarativo

Dettagli

Informatica, Algoritmi, Linguaggi

Informatica, Algoritmi, Linguaggi Elementi di Informatica e Applicazioni Numeriche T Informatica, Algoritmi, Linguaggi Cos'è l'informatica? Che cos'è l'informatica? Cos'è l'informatica? Che cos'è l'informatica? Dell'informatica possiamo

Dettagli

EDUCARE ALLA RAZIONALITÀ 9-11 giugno 2016, Sestri Levante

EDUCARE ALLA RAZIONALITÀ 9-11 giugno 2016, Sestri Levante IL PARADIGMA DELLA PROGRAMMAZIONE LOGICA E LO SVILUPPO DI ABILITÀ DEDUTTIVE NELLA SCUOLA DEL PRIMO CICLO EDUCARE ALLA RAZIONALITÀ 9-11 giugno 2016, Sestri Levante in ricordo di Paolo Gentilini LAURA LOMBARDI,

Dettagli

Matteo Bonato Bologna, 28/02/2015

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

Dettagli

CARTESIO René Descartes (Francia 1595-Svezia 1650)

CARTESIO René Descartes (Francia 1595-Svezia 1650) CARTESIO René Descartes (Francia 1595-Svezia 1650) FONTI: ABBAGNANO FORNERO MASSARO LA VERGATA TRABATTONI LA FORMAZIONE NOBILE FREQUENTA UN FAMOSO COLLEGIO DI GESUITI UNIVERSITA DI POITIERS DIRITTO CANONICO

Dettagli

04 - Logica delle dimostrazioni

04 - Logica delle dimostrazioni Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,

Dettagli

I numeri esistono? Francesco Paoli. Filosofia della scienza, Francesco Paoli (Filosofia della scienza, ) I numeri esistono?

I numeri esistono? Francesco Paoli. Filosofia della scienza, Francesco Paoli (Filosofia della scienza, ) I numeri esistono? I numeri esistono? Francesco Paoli Filosofia della scienza, 2016-17 Francesco Paoli (Filosofia della scienza, 2016-17) I numeri esistono? 1 / 22 Platonismo vs Nominalismo Platonismo: i numeri sono altrettanto

Dettagli

Appunti di informatica. Lezione 7 anno accademico Mario Verdicchio

Appunti di informatica. Lezione 7 anno accademico Mario Verdicchio Appunti di informatica Lezione 7 anno accademico 2016-2017 Mario Verdicchio L algoritmo di Euclide per l MCD Dati due numeri A e B, per trovare il loro MCD procedere nel seguente modo: 1. dividere il maggiore

Dettagli

Selezione del disegno di ricerca. Quantitativo e qualitativo

Selezione del disegno di ricerca. Quantitativo e qualitativo Selezione del disegno di ricerca Quantitativo e qualitativo Principali differenze tra ricerca quantitativa e qualitativa Quantitativa Natura della realtà Qualitativa Realtà indagabile con modalità obiettive

Dettagli

I.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica

I.2 Logica. Elisabetta Ronchieri. Ottobre 13, Università di Ferrara Dipartimento di Economia e Management. Insegnamento di Informatica I.2 Logica Università di Ferrara Dipartimento di Economia e Management Insegnamento di Informatica Ottobre 13, 2015 Argomenti Logica 1 Logica 2 3 Logica Si occupa dello studio delle strutture e delle regole

Dettagli

Loic Wacquant, Anima e corpo. Le radici del pensiero di Wacquant: M. Mauss ( P. Bourdieu ( )

Loic Wacquant, Anima e corpo. Le radici del pensiero di Wacquant: M. Mauss ( P. Bourdieu ( ) Loic Wacquant, Anima e corpo Le radici del pensiero di Wacquant: M. Mauss (18 1950 P. Bourdieu (1930 2002) L HABITUS DI MAUSS SECONDO MAUSS OGNI SOCIETÀ HA ABITUDINI PROPRIE PER QUANTO RIGUARDA GLI ATTEGGIAMENTI

Dettagli

Filosofia del linguaggio (seconda parte) Alfredo Paternoster

Filosofia del linguaggio (seconda parte) Alfredo Paternoster Filosofia del linguaggio (seconda parte) Alfredo Paternoster Varianti del paradigma dominante - Teoria verificazionista del significato - Teoria del riferimento diretto Alternative al paradigma dominante

Dettagli

Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni

Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve

Dettagli

Galileo Galilei. Pisa, 15 febbraio 1564 Arcetri, 8 gennaio 1642

Galileo Galilei. Pisa, 15 febbraio 1564 Arcetri, 8 gennaio 1642 Galileo Galilei Pisa, 15 febbraio 1564 Arcetri, 8 gennaio 1642 Galileo intende sgomberare la via della scienza dagli ostacoli della tradizione Contro il Mondo di carta di Aristotele Contro l autorità ecclesiastica

Dettagli

Logica proposizionale

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

Dettagli

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

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 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 Analisi del significato in tratti semantici Alcune teorie linguistiche

Dettagli

Hegel. Il sistema hegeliano in sintesi

Hegel. Il sistema hegeliano in sintesi Hegel I capisaldi del pensiero hegeliano 2 Il pensiero di Hegel rappresenta una delle più poderose sintesi filosofiche di tutti i tempi e grande è l influsso che ha esercitato sulla cultura europea dell

Dettagli

La logica modale e la dimostrazione dell esistenza di Dio di Gödel. LOGICA MODALE

La logica modale e la dimostrazione dell esistenza di Dio di Gödel. LOGICA MODALE La logica modale e la dimostrazione dell esistenza di Dio di Gödel. In alcuni giornali ho letto che di recente ci sono stati diversi studi che hanno riportato alla ribalta la dimostrazione dell esistenza

Dettagli

Equazioni lineari con due o più incognite

Equazioni lineari con due o più incognite Equazioni lineari con due o più incognite Siano date le uguaglianze: k 0; x + y = 6; 3a + b c = 8. La prima ha un termine incognito rappresentato dal simbolo letterale k; la seconda ha due termini incogniti

Dettagli

4 Il pensiero è la proposizione munita di senso La totalità delle proposizioni è il linguaggio L uomo possiede la capacità di costruire

4 Il pensiero è la proposizione munita di senso La totalità delle proposizioni è il linguaggio L uomo possiede la capacità di costruire 4 Il pensiero è la proposizione munita di senso. 4.001 La totalità delle proposizioni è il linguaggio. 4.002 L uomo possiede la capacità di costruire lingue, con le quali ogni senso può esprimersi, senza

Dettagli

Epistemologia e metodologia della ricerca qualitativa. Corso di Metodi della ricerca qualitativa - a.a [Eugenio De Gregorio]

Epistemologia e metodologia della ricerca qualitativa. Corso di Metodi della ricerca qualitativa - a.a [Eugenio De Gregorio] Epistemologia e metodologia della ricerca qualitativa Come si giunge a una conoscenza del mondo? Superstizione (irrazionale) Intuizione (esperienza soggettiva) Ragionamento (induzione o deduzione) Autorità

Dettagli

Filosofia del linguaggio (i) (3 cr.)

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:

Dettagli

Si può fare un riassunto in matematica?

Si può fare un riassunto in matematica? Si può fare un riassunto in matematica? Livello scolare: 1 biennio Abilità Esprimersi nel linguaggio naturale con coerenza e proprietà. Usare, in varie situazioni, linguaggi simbolici. Analizzare semplici

Dettagli