Seminario: Etica, metaetica, etica applicata. (L inuizionismo metaetico di) G.E. Moore e il realismo morale non naturalistico di W. D.
|
|
- Renato Meloni
- 6 anni fa
- Visualizzazioni
Transcript
1 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 G. Bongiovanni (a cura di), Oggettività e morale: 1. A. Viggiano e M. Galletti, George Edward Moore e il dibattito sul naturalismo 2. S. Vida, Realismo morale non naturalistico e oggettività. L intuizionismo etico del Novecento
2 ATTENZIONE: questi appunti si riferiscono esclusivamente alla parte della lezione dedicata a G.E. Moore. Non sono per ora disponibili appunti relativi all intuizionismo di W.D. Ross. Etica e metaetica G.E. Moore ( ) opera la distinzione classica, per l etica del Novecento, tra due livelli della ricerca etica: primo livello : domande su ciò che è buono (moralmente), o su quali sono le azioni giuste, o quali le virtù di un agente morale; secondo livello : domande sulla natura delle domande di primo livello (se hanno risposte oggettive, se tali risposte possono essere giustificate, cosa significano i termini o predicati morali che compaiono in esse, ecc.). Moore ritiene che le questioni semantiche ed epistemologiche sollevate dalla ricerca di secondo livello sono propedeutiche per la ricerca di primo livello, e sono neutrali rispetto a queste. Queste idee trapasseranno nella riflessione etica successiva a Moore e verranno codificate nella distinzione standard tra etica sostantiva (di primo livello), e metaetica (di secondo livello). Naturalismo e non naturalismo etico Per George Edward Moore la domanda etica fondamentale è Quali sono le cose buone? Un altra importante domanda cui la riflessione etica deve rispondere è Quali sono le azioni giuste?. Ma poiché il fatto che un azione sia giusta o meno dipende dal bene che viene prodotto mediante il suo compimento, Moore ritiene la prima domanda più fondamentale della seconda. Le risposta più sistematica alla domanda Quali sono le cose buone? si trova formulata nell opera Principia Ethica (1903) che rappresenta anche una critica al cosiddetto naturalismo etico che fino alla fine dell Ottocento definiva buono
3 come proprietà naturale cioè dello stesso tipo delle proprietà studiate dalle scienze empiriche. In sostanza, per i naturalisti che una cosa sia buona moralmente è un fatto del mondo naturale, esattamente come il fatto che una cosa è piacevole o desiderata (o rossa, gialla ). Queso non è vero per Moore, secondo il quale, come vedremo, la proprietà morale buono è non naturale e indefinibile. Ciò di cui non si parla in questo seminario: Del fatto che rispondere alla domanda Quali sono le cose buone? significa, secondo Moore, risolvere (anche) un altro problema, ovvero fornire una tesi sui principi etici fondamentali veri. In sostanza, non parleremo della morale sostantiva di Moore, che è CONSEQUNZIALISTICA (si veda lezione del Prof. Rotolo), ma solo della sua metaetica, che invece è INTUIZIONISTICA. L argomento contro il naturalismo etico Il naturalista etico sostiene che vi sono enunciati veri della forma La proprietà buono è identica alla proprietà N (dove N = proprietà naturale) Da ciò seguirebbe che esiste un solo principio etico fondamentale vero formulabile come Tutti gli N sono buoni Da ciò segue anche che, se N è una proprietà naturale con cui identifichiamo la bontà morale, allora buono e N sono sinonimi. Tutti gli N sono buoni è quindi vero in virtù del significato dei termini usati (si tratta di un enunciato necessario, o analitico, nel senso specificato dal Prof. Artosi).
4 Ma questo, sostiene Moore, è l errore dei naturalisti etici: pensare che si possa fare appello al significato dei termini morali per rispondere alla domanda fondamentale dell etica (i.e., Cos è buono?, o Quali cose sono buone? ) Se il naturalista crede che buono equivalga a desiderato, allora il giudizio Tutte le cose desiderate sono buone dovrebbe poter essere espresso come Tutte le cose desiderate sono desiderate Il che sarebbe plausibile se stessimo parlando di proposizioni necessarie (tautologie logiche), e non di quelle etiche. OPEN QUESTION Infatti, dice Moore, quando il naturalita etico dice Tutte le cose N sono buone, non sta dicendo Tutte le cose N sono N (dove N sta per la proprietà naturale essere desiderato ), perché, di fatto, rimane sempre lo spazio per un ulteriore domanda aperta formulabile come segue: Ma davvero tutte le cose N sono anche buone? (x è desiderabile. Ma è anche buono?) Dice infatti Moore che, qualunque sia la proprietà naturale N, alla domanda fondamentale dell etica non si risponde basandosi sull analisi del significato di buono. In sostanza negli enunciati morali NON È POSSIBILE SOSTITUIRE il predicato buono con una definizione in termini di proprietà naturale N. Infatti, quando pensiamo tutte le cose N sono buone non pensiamo che tutte le cose N sono N (analogamente: quando diciamo tutte le azioni altruistiche sono buone non stiamo dicendo che tutte le azioni altruistiche sono azioni altruistiche ). Riassumendo: l argomento dell open question dimostra che 1. E SBAGLIATO pensare che si possa rispondere alla domanda fondamentale dell etica mediante un analisi del significato dei termini etici; 2. E SBAGLIATO pensare che si possa dare al predicato morale buono il significato di una qualche proprietà naturale.
5 Fallacia naturalistica Un altra conseguenza dell argomento dell open question di Moore è l argomento della fallacia naturalistica contro il passaggio indebito dal discorso (piano) descrittivo a quello prescrittivo. Si commette una fallacia naturalistica tutte le volte che si tenta di definire buono mediante qualche proprietà, naturale o non naturale. Se non ammettiamo l indefinibilità di buono non siamo in grado di rispettare quella che Moore chiama la grande divisione tra fatti e valori (is e ought), la dicotomia tra due piani nettamente distinti. L indefinibilità di buono comporta che si conosca tale proprietà non per mezzo di un analisi semantica, ma in base all ammissione che ogni oggetto morale possiede un valore intrinseco, ossia una qualità non naturale che non può essere dimostrata, ma che può essere solamente oggetto di INTUIZIONE. L intuizione ha la sua genesi nell impossibilità di una prova dimostrativa per ciò che ha intrinseco valore morale, il che significa, in sostanza, l irriducibilità dei giudizi morali al piano descrittivo. Conseguenza: Moore difende una concezione epistemologica non naturalistica, e in particolare INTUIZIONISTICA, secondo cui le proprietà morali sono sui generis e non sono conoscibili come quelle naturali, bensì esclusivamente mediante INTUIZIONE (lezione precedente). La bontà morale è infatti una proprietà distinguibile da ogni proprietà naturale, della quale possiamo INTUIRE la presenza in cose, situazioni o fatti morali. Ne segue che anche i principi etici fondamentali non sono conoscibili sulla base del significato dei termini che contengono, bensì mediante un ATTO INTUITIVO che li mostra come AUTOEVIDENTI, cioè come CONOSCIBILI DIRETTAMENTE, senza prova o dimostrazione (o argomentazione). Tuttavia, solo un insieme ristretto di giudizi etici è di questo tipo. Pertanto è possibile avere credenze morali fallibili. Da qui parte la riflessione dell intuizionista William D. Ross ( ). Prima di cominciare a parlarne, però, occorre ricordare un argomento della lezione precedente (prof. Artosi), vale a dire la critica mossa al realismo morale intuizionistico da parte di uno dei teorici dello scetticismo morale contemporaneo.
6 John L. Mackie ( ), filosofo australiano, circa 70 anni dopo Moore se la prende con la metaetica intuizionistica in un opera intitolata Ethics. Inventing Right and Wrong (1977), e formula contro di essa due argomenti (lezione precedente del Prof. Artosi). 1. argomento a partire dalla relatività 2. argomento a partire dalla stranezza L attacco di Mackie è al REALISMO MORALE intuizionistico (Moore, Ross) secondo cui i predicati morali sono indefinibili, non possono essere spiegati mediante altri termini descrittivi, e possono essere conosciuti solo attraverso l intuizione morale, che rende i fatti morali (=valori) indipendenti da quelli naturali, e rende la conoscenza dei primi autonoma rispetto a quella dei secondi (l intuizionismo è COGNITIVISMO) L intuizionismo è anche una forma di OGGETTIVISMO etico: esistono proprietà (e fatti) morali oggettive, conoscibili mediante intuizione, e indipendenti da ogni conoscenza che possiamo avere di esse. Ma lo scetticista Mackie non può essere d accordo. Contro l oggettivsmo/realismo/cognitivismo intuizionista egli usa infatti i due seguenti argomenti: Argomento della relatività: esistono diversi sistemi di valori in conflitto tra loro. Quindi l intuizionismo non è una teoria morale plausibile (vedremo perché) Argomento della stranezza: se esistessero valori (proprietà morali) oggettivi sarebbero entità molto strane, completamente diverse da qualsiasi altra entità presente nell universo, entità conoscibili solo attraverso una altrettanto strana facoltà dell intuizione.
LE ETICHE CONSEQUENZIALISTE: L UTILITARISMO
SEMINARIO ETICA, META-ETICA ED ETICA APPLICATA LE ETICHE CONSEQUENZIALISTE: L UTILITARISMO Antonino Rotolo antonino.rotolo@unibo.it 13 novembre 2009 1 CAPITOLO DI RIFERIMENTO Antonino Rotolo, Naturalismo
DettagliFilosofia 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:
DettagliMetodologia delle teorie morali
Metodologia delle teorie morali Una volta riconosciuti i requisiti minimi che devono caratterizzare certi enunciati perché questi possano avere valore morale e aver definito quindi le regole essenziali
DettagliMaiuscole 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
DettagliQuale relazione possibile tra etica ed economia sanitaria?
Quale relazione possibile tra etica ed economia sanitaria? 1 Prima che in sanità: è possibile un rapporto sostanziale tra dimensione economica e dimensione etica? 2 Ancora prima: Che cos è l economia?
DettagliJohann Gottlieb Fichte (Rammenau, 19 maggio 1762 Berlino, 27 gennaio 1814)
Johann Gottlieb Fichte (Rammenau, 19 maggio 1762 Berlino, 27 gennaio 1814) a cura di Pietro Gavagnin www.pgava.net Kant aveva voluto costruire una filosofia del finito. Fichte vuol costruire una filosofia
DettagliBREVE 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
DettagliQuine. 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
DettagliKripke. 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
DettagliFilosofia 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
DettagliLa Teoria (epistemica) della conferma bayesiana
La Teoria (epistemica) della conferma bayesiana La teoria della probabilità fornisce alcuni strumenti potenti anche in senso epistemico, per valutare argomentazioni e decisioni in cui sono usati dei metodi
DettagliProposizioni 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à...............................................
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 1 Calcolo Proposizionale: sintassi e semantica Tautologie Esempi di Formalizzazione di Enunciati pag.
Dettagli1 IL PROBLEMA DELLA VAGHEZZA
1 IL PROBLEMA DELLA VAGHEZZA DEFINIZIONI PRELIMINARI: Predicato: un espressione che, applicata ad un soggetto, e opportunamente declinata, produce un enunciato. Estensione del predicato: l insieme degli
DettagliETICA GENERALE ETICA
ETICA GENERALE Master di Bioetica 2016/17 ETICA La prassi umana: l uomo che agisce è il primo soggetto etico. La libertà come premessa al discorso morale: non si offre agire etico senza la libertà. Atti
Dettagli401 PREDICATI RICORSIVI PRIMITIVI
401 PREDICATI RICORSIVI PRIMITIVI Corso di Informatica Teorica - modulo 2 Prof. Settimo Termini 1 Breve richiamo Un predicato su un insieme S è una funzione totale P su S tale che a S si ha: P(a) = VERO
DettagliPercorsi logici. Prima lezione: Gli insiemi. A cura di Luigi Boscaino
Percorsi logici Prima lezione: Gli insiemi A cura di Luigi Boscaino Prima provocazione Alunno: Un giovane ha davanti a se sei maglie diverse per colore e modello ma tutte della sua taglia. Quante possibili
Dettagli2. Che cosa significa che due insiemi sono uguali? La parola uguale e il simbolo = hanno un unico significato in matematica? 13
Indice Parte I Teoria degli insiemi e Logica matematica 1. Qual è, o quale dovrebbe essere, il ruolo della teoria degli insiemi nell insegnamento della matematica? 3 1.1 La teoria degli insiemi e la matematica
DettagliCALCOLO PROPOSIZIONALE
CALCOLO PROPOSIZIONALE UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti se andare al cinema. Si sa che: Se Corrado va al cinema, allora ci va anche
DettagliChe 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
Dettagli1. equivalenze e implicazioni logiche. Esercizio 1.2. Trovare le implicazioni che legano i seguenti enunciati (x, y R):
. equivalenze e implicazioni logiche Esercizio.. Trovare le implicazioni che legano i seguenti enunciati (x, y R): () x < y, () x = y, () x y, () x y, () (x y) > 0. Osserviamo subito che (x y) > 0 equivale
Dettagli04 - 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,
DettagliL etica e la business ethics
L etica e la business ethics Responsabilità Sociale delle Organizzazioni Prof.ssa Michela Floris Morale ed etica Spesso il termine etica e morale vengono utilizzati come sinonimi! In realtà non lo sono
DettagliDISTINZIONI 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
DettagliIl principio di universalizzabilità. Alcune critiche a Richard Hare
Il principio di universalizzabilità 25 Il principio di universalizzabilità. Alcune critiche a Richard Hare LUCIANA CERI The universalizability thesis plays a central role in Richard Hare s theory of moral
DettagliPercorso su LIM da Kant all idealismo
Percorso su LIM da Kant all idealismo CRITICA DELLA RAGION (PURA) PRATICA NON EMPIRICA VOLONTA Massime «SE.. Devi> Imperativi Imperativi ipotetici Imperativo categorico «Tu devi» Formulazioni dell imperativo
DettagliQuestioni 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
Dettagli02 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 0 - Logica delle dimostrazioni Anno Accademico 015/016
DettagliFilosofia 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:
DettagliJohann Gottlieb Fichte
ADESIONE A KANT Il primo Fichte riteneva che la prospettiva emersa con Kant fosse, in ambito filosofico, insuperabile. -1- Oggetto proprio della Filosofia non è l Essere (quindi l ontologia) ma il sapere
DettagliAlcune nozioni preliminari di teoria elementare di insiemi e funzioni
Alcune nozioni preliminari di teoria elementare di insiemi e funzioni Alberto Pinto Corso Propedeutico - METS A.A. 2013/2014 1 Insiemi 1.1 Generalità Diamo la definizione di insieme secondo Georg Cantor,
DettagliPRESENTAZIONE DEL CORSO
FACOLTÀ DI LETTERE E FILOSOFIA Teoria generale dello Stato PRESENTAZIONE DEL CORSO Prof. Pasquale Luigi Di Viggiano A.A. 2011 2012 Presentazione del Corso 1. Struttura del Corso Settore disciplinare: IUS/20
DettagliTemi 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
Dettaglik=0 a k k=0 a k, quando si voglia precisare qual è l indice iniziale: si possono infatti considerare anche serie del tipo k=1 a k, k=50 a k,
2.2 Serie Le serie numeriche sono semplicemente successioni reali o complesse di tipo particolare, che però, per la loro importanza pratica e teorica, meritano una trattazione a parte. Data una successione
DettagliTes Te t Ver Ve o o o F o a F l a so
Test Vero o Falso 10 0do domande desuacu alcuni concetti cett base di Comunicazione Avanti 1 Una buona comunicazione dipende da ciò che si dice 2 1 Una buona comunicazione dipende da ciò che si dice Assolutamente
DettagliUNIVERSITÀ DELLA CALABRIA FACOLTÀ DI LETTERE E FILOSOFIA. Corso di laurea in FILOSOFIE E SCIENZE DELLA COMUNICAZIONE E DELLA CONOSCENZA
1 UNIVERSITÀ DELLA CALABRIA FACOLTÀ DI LETTERE E FILOSOFIA Corso di laurea in FILOSOFIE E SCIENZE DELLA COMUNICAZIONE E DELLA CONOSCENZA Elaborato finale QUANDO IL FARE È UN DIRE. La performance artistica
DettagliIntroduzione ad alcuni sistemi di logica modale
Introduzione ad alcuni sistemi di logica modale Laura Porro 16 maggio 2008 1 Il calcolo proposizionale Prendiamo come primitivi i simboli del Calcolo Proposizionale (PC) tradizionale a due valori 1 : un
DettagliUn 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
DettagliFrege. 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
DettagliFilosofia 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:
DettagliUna 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
DettagliI paradigmi fondativi della ricerca psico-sociale. Metodologia della ricerca psicosociale
I paradigmi fondativi della ricerca psico-sociale 1 Paradigma: storia recente del concetto Kuhn : La struttura delle rivoluzioni scientifiche (1962) - La scienza normale accumulazione - Rivoluzioni scientifiche
DettagliLa matematica intuizionista
La matematica intuizionista Francesco Paoli Filosofia della scienza, 2016-17 Francesco Paoli (Filosofia della scienza, 2016-17) La matematica intuizionista 1 / 14 Henri Poincaré (1854-1912) Francesco Paoli
DettagliTeoria dei giochi ed etica naturalistica. Commento a Roberto Festa
Etica & Politica / Ethics & Politics, IX, 2007, 2, pp. 182-187 Teoria dei giochi ed etica naturalistica. Commento a Roberto Festa GIANFRANCO PELLEGRINO Centro di ricerca e studi sui diritti umani LUISS
DettagliAlcune nozioni preliminari di teoria elementare di insiemi e funzioni
Alcune nozioni preliminari di teoria elementare di insiemi e funzioni Alberto Pinto L.U.de.S., Giugno 2012 1 Insiemi 1.1 Generalità Diamo la definizione di insieme secondo Georg Cantor, matematico tedesco
DettagliLOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 3 Sommario. Introduciamo il Calcolo dei Predicati del I ordine e ne dimostriamo le proprietà fondamentali. Discutiamo il trattamento dell identità
DettagliEs. 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
DettagliDIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE. Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini
DIMOSTRAZIONI E TAUTOLOGIE, IPOTESI NON TAUTOLOGICHE Corso di Logica per la Programmazione A.A. 2013/14 Andrea Corradini INFERENZE CORRETTE E TAUTOLOGIE Il Calcolo Proposizionale permette di formalizzare
DettagliLuca 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
DettagliANSELMO D AOSTA
Prova ontologica (argomento a priori ) Lo stolto afferma: Qualcun altro, invece, afferma: DIO NON ESISTE (proposizione A) DIO È CIÒ DI CUI NON SI PUÒ PENSARE IL MAGGIORE (proposizione B) A questo punto
Dettagli1 Richiami di logica matematica
Geometria e Topologia I 7 marzo 2005 1 1 Richiami di logica matematica Definire cos è un enunciato, una proposizione (elemento primitivo della logica delle proposizioni). La definizione è data in termini
DettagliLogica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17
Logica per la Programmazione Corso di Laurea in INFORMATICA a.a. 2016/17 Andrea Corradini e Francesca Levi Dipartimento di Informatica E-mail: andrea@di.unipi.it, francesca.levi@unipi.it A. Corradini e
DettagliQuale 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
DettagliBENEDETTO SPINOZA a cura di Pietro Gavagnin con il contributo degli alunni di 4AOL as
BENEDETTO SPINOZA 1632-1677 a cura di Pietro Gavagnin www.pgava.net con il contributo degli alunni di 4AOL as 2014-2015 OPERE: TRATTATO TEOLOGICO - POLITICO (1670) Scopo fondamentale del trattato è la
DettagliOra sono keynesiano. Non è importante che si chiami gatto, ma che prenda il topo.
Ora sono keynesiano R. Nixon, 1972 Non è importante che si chiami gatto, ma che prenda il topo. Mao Tse Tung, 1964 LO STRUMENTALISMO DI FRIEDMAN Corso di Dottorato di Ricerca Lezioni di Filosofia e Metodologia
DettagliLE TECNICHE INTERPRETATIVE DI PRIMA CLASSE
LE TECNICHE INTERPRETATIVE DI PRIMA CLASSE PROF. FRANCESCO PETRILLO Indice 1 LE TECNICHE INTERPRETATIVE DI PRIMA CLASSE ---------------------------------------------------------- 3 2.1. L ARGUMENTUM A
DettagliLogica per la Programmazione
Logica del Primo Ordine: Motivazioni, Sintassi e Interpretazioni Logica per la Programmazione Lezione 8 Modelli, Formule Valide, Conseguenza Logica Proof Systems Regole di inferenza per Calcolo Proposizionale
DettagliLogica proposizionale
Fondamenti di Informatica per la Sicurezza a.a. 2008/09 Logica proposizionale Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università degli
DettagliImmanuel Kant. L estetica trascendentale. Prof. Marco Lombardi Liceo Scientifico Statale Emilio Segrè
Immanuel Kant L estetica trascendentale Prof. Marco Lombardi Liceo Scientifico Statale Emilio Segrè La teoria dello spazio e del tempo Nell Estetica Kant studia la sensibilità e le sue forme a priori;
DettagliLEZIONE 12. v = α 1 v α n v n =
LEZIONE 12 12.1. Combinazioni lineari. Definizione 12.1.1. Sia V uno spazio vettoriale su k = R, C e v 1,..., v n V vettori fissati. Un vettore v V si dice combinazione lineare di v 1,..., v n se esistono
DettagliLogica. 7: Conseguenza ed equivalenza logica in logica classica proposizionale. Claudio Sacerdoti Coen. Universitá di Bologna
Logica 7: Conseguenza ed equivalenza logica in logica classica proposizionale Universitá di Bologna 30/11/2016 Outline Conseguenza logica per la logica proposizionale Wikipedia:
DettagliSchema 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
DettagliCALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini
CALCOLO PROPOSIZIONALE Corso di Logica per la Programmazione Andrea Corradini andrea@di.unipi.it UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti
DettagliFilosofia 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:
DettagliL'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
Dettaglila struttura di una teoria
DIAGNOSTICA PSICOLOGICA lezione! Paola Magnano paola.magnano@unikore.it la struttura di una teoria la struttura di una teoria modello di Bagozzi (1994) I livello./.. un esempio Linguaggio: della matematica
DettagliFilosofia 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:
DettagliLOGICA MATEMATICA PER INFORMATICA
LOGICA MATEMATICA PER INFORMATICA A.A. 12/13, DISPENSA N. 6 Sommario. Il Teorema di Compattezza e alcune sue applicazioni: assiomatizzabilità e non-assiomatizzabilità di proprietà di strutture, e modelli
DettagliPrincipio di induzione: esempi ed esercizi
Principio di induzione: esempi ed esercizi Principio di induzione: Se una proprietà P n dipendente da una variabile intera n vale per n e se, per ogni n N vale P n P n + allora P vale su tutto N Variante
DettagliCertezza 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
DettagliFILOSOFIA DEL DIRITTO M - Q
DIPARTIMENTO DI GIURISPRUDENZA Corso di laurea magistrale in Giurisprudenza Anno accademico 2016/2017-1 anno FILOSOFIA DEL DIRITTO M - Q 10 CFU - 2 semestre Docente titolare dell'insegnamento ALBERTO ANDRONICO
DettagliLEZIONE Equazioni matriciali. Negli Esempi e si sono studiati più sistemi diversi AX 1 = B 1, AX 2 = R m,n, B = (b i,h ) 1 i m
LEZIONE 4 41 Equazioni matriciali Negli Esempi 336 e 337 si sono studiati più sistemi diversi AX 1 = B 1, AX 2 = B 2,, AX p = B p aventi la stessa matrice incompleta A Tale tipo di problema si presenta
DettagliAlle origini del concetto di linguaggio morale
Etica & Politica / Ethics & Politics, 2005, 1 http://www.units.it/etica/2005_1/donatelli.htm Alle origini del concetto di linguaggio morale Piergiorgio Donatelli Dipartimento di studi filosofici ed epistemologici
DettagliFondamenti di Informatica 2
Fondamenti di Informatica 2 Linguaggi e Complessità : Lezione 1 Corso Fondamenti di Informatica 2 Marco Schaerf, 2009-2010 Linguaggi e Complessità : Lezione 1 1 Logica proposizionale Linguaggio matematico
DettagliLogica. 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
DettagliDavidson. 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
DettagliCapitolo II: UNA MAPPA DELLE TEORIE METAETICHE
Capitolo II: UNA MAPPA DELLE TEORIE METAETICHE 1.1 Cognitivismo vs Non-Cognitivismo Tenendo conto degli strumenti presentati nel capitolo I, possiamo ora tracciare una mappa delle teorie metaetiche, che
DettagliMetodologia della ricerca 1
Metodologia della ricerca 1 METODOLOGIA Riflessione critica sulle regole, i principi, le condizioni formali che sono alla base della ricerca scientifica e che consentono di ordinare, sistemare e accrescere
DettagliLogica: 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
DettagliLogica 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
DettagliLogica, teoria della conoscenza, filosofia della scienza. Gianluigi Bellin
Logica, teoria della conoscenza, filosofia della scienza. Gianluigi Bellin October 8, 2013 0.1. La filosofia della scienza esamina le strutture concettuali e le argomentazioni in uso nelle varie scienze;
DettagliLOGICA 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
DettagliRELATIVISMO. 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
DettagliLogica 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
DettagliEconomia ed Etica. Giacomo Degli Antoni Ricevimento: orario su pagina web del docente
Economia ed Etica Giacomo Degli Antoni giacomo.degliantoni@unipr Ricevimento: orario su pagina web del docente Obiettivi del corso 1. Introdurre le principali teorie morali o etiche e, sulla base di queste,
DettagliRichiami di logica matematica
Richiami di logica matematica Gli oggetti elementari dei discorsi matematici sono le proposizioni logiche = enunciati di cui si possa stabilire inequivocabilmente se sono veri o falsi. Sono proposizioni
DettagliINDICE SAGGI CONTRIBUTI. Gli Autori. Il rigore intellettuale come forma di impegno civile 1. Norberto Bobbio: gli insegnamenti del Novecento 13
Indice V INDICE Gli Autori IX INTRODUZIONE Il rigore intellettuale come forma di impegno civile 1 Michele Saporiti SAGGI Norberto Bobbio: gli insegnamenti del Novecento 13 Alfonso Ruiz Miguel Bobbio filosofo
DettagliSchopenhauer 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à?
DettagliCorso di elettrotecnica Materiale didattico: i grafi
Corso di elettrotecnica Materiale didattico: i grafi A. Laudani 12 ottobre 2005 I grafi costituiscono uno strumento matematico che permette di descrivere e schematizzare una grande varietà di problemi
DettagliIndicali. Le relazioni di coppia sono difficili Le relazioni della nostra coppia sono difficili
Indicali Sono espressioni usate per riferirci a elementi del contesto: ci riferiamo a oggetti, persone, istanti o luoghi in quanto sono in relazione con chi parla o scrive Le relazioni di coppia sono difficili
DettagliL emotivismo etico: fine o rinascita della morale?
L emotivismo etico: fine o rinascita della morale? Giuseppe Barreca L emotivismo etico rappresenta un momento significativo nel percorso, peculiare della filosofia morale anglosassone del Novecento, che
Dettagli3. 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
DettagliCongettura di Goldbach: Se N è un numero intero, pari e maggiore di 2, allora si possono trovare numeri primi P e Q con N = P + Q
Congettura di Goldbach: Se N è un numero intero, pari e maggiore di 2, allora si possono trovare numeri primi P e Q con N = P + Q Fu proposta da Christian Goldbach ad Eulero nel 1742, ed è tuttora indimostrata.
DettagliPRESENTAZIONE DEL CORSO CHE DIMOSTRAZIONE
PRESENTAZIONE DEL CORSO CHE DIMOSTRAZIONE Chiara Andrà & Rosa Iaderosa 21 ottobre 2016 PERCHÈ LA DIMOSTRAZIONE? La matematica è costituita da enunciati in cui sono coinvolti continuamente due aspetti:
DettagliLEZIONE 5. AX = 0 m,1.
LEZIONE 5 5 isoluzione di sistemi Supponiamo che AX = B sia un sistema di equazioni lineari Ad esso associamo la sua matrice completa (A B Per quanto visto nella precedente lezione, sappiamo di poter trasformare,
DettagliComprensione - Analisi - Contestualizzazione
Appunti Italiano Tipologia A: analisi del testo - Narrativo - Poetico - Teatrale Tipologia B: saggio breve/articoli di giornale - Artistico letterari - Socio-economico - Storico politico - Tecnico scientifico
DettagliCap. 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é
DettagliGuido Alliney Trento, 4 dicembre Libera volontà. Il fondamento metafisico della libertà del volere in Giovanni Duns Scoto
Guido Alliney Trento, 4 dicembre 2013 Libera volontà Il fondamento metafisico della libertà del volere in Giovanni Duns Scoto Concezioni tardo antiche della libertà La libertà implica adesione all ordine
DettagliAspetti 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.
DettagliGIOVANNI FUSCHINO COMPLETEZZA E RAGIONAMENTO PER DEFAULT
GIOVANNI FUSCHINO COMPLETEZZA E RAGIONAMENTO PER DEFAULT La completezza logica si esprime nel modo seguente: M α M α che si legge: da M 1 segue logicamente ( ) α se e solo se ( ) da M si può dedurre (
Dettagli