DEFINIZIONE. La logica è lo studio del ragionamento e
|
|
|
- Francesca Cecchini
- 9 anni fa
- Просмотров:
Транскрипт
1 DEFINIZIONE La logica è lo studio del ragionamento e dell'argomentazione e, in particolare, dei procedimenti inferenziali, rivolto a chiarire quali procedimenti di pensiero siano validi e quali non validi.
2 migliorare la capacità di trovare buone ragioni a sostegno di un asserzione è diverso da migliorare la capacità di decidere di argomentare a sostegno di un asserzione solo quando si hanno buone ragioni e diverso da migliorare la capacità di discernere le buone dalle cattive ragioni Di quest ultimo aspetto si occupa la teoria dell argomentazione e della logica
3 non ogni uso del linguaggio è un ragionamento ragionare equivale a utilizzare il linguaggio in modo organizzato Il ragionamento serve nella risoluzione dei problemi CHE COS E UN RAGION NAMENTO?
4 Un ragionamento (o processo inferenziale) è l insieme dei processi attraverso cui vengono elaborate nuove conoscenze a partire da conoscenze date. Quando facciamo un inferenza, la nostra mente compie un percorso: 1. parte da un oggetto noto; 2. transita per un passaggio intermedio; 3. arriva a conoscere un oggetto prima ignoto.
5 INFERENZE A seconda della natura dell oggetto di partenza, e soprattutto di quello di arrivo, abbiamo tre tipi di inferenza: L induzione: quando si va verso qualcosa (in-duzione). Prepara la teoria. La conclusione è una sintesi che mette insieme dati della realtà La deduzione: quando da questo qualcosa si proviene (de-duzione). La conclusione è una tesi L abduzione : quando il pensiero compie un movimento laterale (ab-duzione), oppure anche quando si procede a ritroso (e in tal caso è anche chiamata retroduzione). La conclusione è un ipotesi che anticipa e prevede la teoria. Muove da un fatto sorprendente
6 INDUZIONE-SINTESI Ho più volte osservato che, ogni volta che piove (Premessa), dopo, il terreno si bagna (Conclusione), da cui derivo la legge tale per cui se piove allora il terreno si bagna (probabile fino a prova contaria) P C Caratteristiche: osservazione, sperimentazione, prova/verifica
7 DEDUZIONE-TESI La deduzione inizia là dove si conclude l induzione: il suo punto di partenza, l oggetto già conosciuto, è infatti una regola o legge, dalla quale far discendere conseguenze e conclusioni. Queste derivano necessariamente dalla legge di implicazione e secondo modalità di connessione obbligate. se piove, allora il terreno si bagna (è certo e non probabile perché già conosco la legge tale per cui quando piove il terreno si bagna)
8 ABDUZIONE-IPOTESI Esco di casa trovo il cortile bagnato. Dico: Ecco, stanotte ha piovuto. Ma non ne sono certa. Non abbiamo compiuto una deduzione, né abbiamo la possibilità di osservare, sperimentare e provare che ha piovuto. E un ipotesi né vera né probabile: solo possibile. lasciando il cortile alle nostre spalle noto che le strade sono del tutto asciutte. Qualcuno avrà innaffiato e lavato il cortile, penso. È una seconda ipotesi, anch essa solo possibile
9 OPINIONE La validità deduttiva è una questione di sì e no. (apre la strada alla conoscenza? all abilità? Alla teoria?) La definizione induttiva di verità si basa sulla nozione di probabilità, cioè una proprietà che ammette gradi e che è suscettibile di giudizi comparativi. (apre la strada alla domanda, alla problematizzazione, alla competenza?). Prepara alla teoria. L abduzione è l inferenza che apre lo spazio all invenzione (l azzardo? la responsabilità della scelta?)
10 La conoscenza procede per osservazioni e sintesi induttive o, assai più spesso, per il lampo di genio di ipotesi abduttive. Solo in un secondo momento i risultati positivi di Solo in un secondo momento i risultati positivi di queste mosse vengono fissate in una teoria, una procedura deduttiva
11 La logica è strumento di conoscenza, la conoscenza è strumento per agire e capire la realtà. Allora, la logica è strumento per agire e capire la realtà. Quale tipo di ragionamento è?
12 Se dico: ogni A è B, ogni B è C x è un A, allora x è un C ho sviluppato un ragionamento dimostrativo. Non ho argomentato: ho ragionato senza contesto,usando la capacità di fare inferenze, codificata dalla logica
13 Se invece affermo: Antonio è amico di Bruno Bruno è amico di Carlo allora Antonio è amico di Carlo ho condotto un ragionamento formalmente simile, ma sostanzialmente diverso. Questo ragionamento, propriamente un'argomentazione, si sviluppa assumendo la premessa generale che "gli amici degli amici sono amici tra loro". E, com'è ovvio, tale premessa non vale sempre.
14 QUANDO SI ARGOMENTA SI PRETENDE CHE: le premesse siano vere condizione di verità la verità della conclusione possa, a buon diritto, essere ricavata dalla verità delle premesse Validità dell argomento
15 Se le due pretese sono fondate è un buon argomento cioè corretto.
16 INDIPENDENZA DI VERITÀ E VALIDITÀ Sia la premessa che le conclusioni sono vere, ma la premessa non fornisce effettivamente supporto alla conclusione. E formalmente buono per la logica, corretto formalmente, ma non per il nostro modo di concepire un argomento Es. La neve è bianca Le balene sono mammiferi. Le premesse possono essere vere, ma non necessariamente l argomentazione è valida la terra è piatta (non valido) perché è rotonda (V) È rotonda(v) è piatta (non valido perché non a buon diritto ) Un argomento può essere valido, ma avere premesse false La terra non è a forma di piramide (V) perché è piatta (F) È piatta(f) non è a forma di piramide (valido)
17 INDICATORI INFERENZIALI Di conclusione Quindi Dunque Perciò Pertanto Così Ragion per cui Di conseguenza Stando così le cose Ne segue che Questo significa che Se ne deduce che In conclusione Di premessa Infatti Poiché Perché Siccome In quanto Dato che Visto che Posto che Dal momento che Assumendo che Considerato che Come mostrato dal fatto che
18 PREMESSA O CONCLUSIONE? ARGOMENTAZIONE SEMPLICE Luca non è a casa;. è andato al cinema. Quindi Premessa/conclusione Luca non è a casa Luca è andato al cinema Infatti conclusione/premessa Luca è andato al cinema Luca non è a casa
19 ARGOMENTAZIONI COMPLESSE Procedono per stadi: Insieme di premesse iniziali conclusione intermedia/nuova premessa ulteriore conclusione/ulteriore premessa... Matteo ha detto che andrà alla festa, questo significa che ci andrà anche Giulia. Così Giulia non potrà venire al cinema con noi. Matteo ha detto che andrà alla festa ci andrà anche Giulia Giulia non potrà venire al cinema con noi.
20 ARGOMENTAZIONI CONVERGENTI Argomentazione che contiene diversi passi del ragionamento che sostengono la stessa conclusione Bisognerebbe smettere di fumare. E molto dannoso per la salute e dà fastidio alle persone che stanno intorno.
21 ARGOMENTAZIONI INCOMPLETE ASSERZIONI IMPLICITE I giocatori di scacchi sono persone intelligenti. Quindi Ada non avrà problemi a frequentare il corso di logica Premessa implicita: Ada è una giocatrice di scacchi Uno di noi due verrà escluso dalla competizione finale e non sarò certo io: finora ho ottenuto ottimi risultati Conclusione implicita: sarai escluso tu
22 PARATASSI E IPOTASSI 1Non occorre che tu venga a casa mia. So che 2 stasera vedrai Sara e 3 io devo incontrarla nel pomeriggio, quindi 4 potrei dare a lei la busta che ho per te. Attività: individua premesse, gerarchie e conclusione
23 1I Rossi devono essere a casa. 2La porta d ingresso è aperta, 3l auto è in garage e 4la televisione è accesa, dato che 5se ne intravede il bagliore dalla finestra.
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.
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
Elementi di logica. SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni.
Elementi di logica SCOPO: introdurre nozioni di logica & vocabolario per una corretta interpretazione delle dimostrazioni. Quantificatori: elementi fondamentali del linguaggio matematico. quantificatore
Analisi dell argomentazione
Analisi dell argomentazione Analisi dell argomentazione Si ha un argomento quando un affermazione (o tesi) viene sostenuta fornendo una o più ragioni a suo supporto. Ciò equivale a affermare una o più
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
La 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
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
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
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
Tortura la natura per i suoi segreti!
Tortura la natura per i suoi segreti! Francis Bacon Il pane mi ha sempre nutrito nel passato; ciò che si è sempre ottenuto nel passato si otterrà nel futuro; quindi il pane continuerà a nutrirmi David
I TEST DI LOGICA. Alberto Zanardo Dipartimento di Matematica Università di Padova. Liceo Giorgione, Castelfranco Veneto 5 aprile 2016
I TEST DI LOGICA Alberto Zanardo Dipartimento di Matematica Università di Padova Liceo Giorgione, Castelfranco Veneto 5 aprile 2016 1 RUOLO DEI TEST Valutazione di: Conoscenze di base (syllabus) Capacità
10. IL TEST D INGRESSO: SOLUZIONI
0. IL TEST D INGRESSO: SOLUZIONI 0. LE RISPOSTE ESATTE ED I PROCEDIMENTI RISOLUTIVI CORRETTI ATTENZIONE Non limitarti a leggere il risultato. A volte si può arrivare ad una risposta corretta seguendo un
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
CALCOLO PROPOSIZIONALE. Corso di Logica per la Programmazione Andrea Corradini
CALCOLO PROPOSIZIONALE Corso di Logica per la Programmazione Andrea Corradini [email protected] UN PROBLEMA DI DEDUZIONE LOGICA (da un test d ingresso) Tre amici, Antonio, Bruno e Corrado, sono incerti
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
Management sistemico vitale
Management sistemico vitale Scelte e decisioni in ambito complesso Corso di Management Prof. Sergio Barile Prof. Giuseppe Sancetta 10/10/2016 Lezione numero 4 1 Entropia ed informazione Abduzione: primo
ANSELMO 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
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
IL TESTO ARGOMENTATIVO
IL TESTO ARGOMENTATIVO ? COSA SIGNIFICA ARGOMENTATIVO? ARGOMENTARE DERIVA DAL TERMINE LATINO ARGUMENTOR CHE SIGNIFICA RAGIONARE, DIMOSTRARE, PORTANDO DELLE PROVE NEL TESTO ARGOMENTATIVO SI SCRIVE LA PROPRIA
Ragionamenti e metodi di dimostrazione. Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica
Ragionamenti e metodi di dimostrazione Liceo Scientifico Statale S. Cannizzaro Prof.re E. Modica Proposizioni Si definisce proposizione una frase alla quale è possibile attribuire uno e un solo valore
Cosa dobbiamo già conoscere?
Cosa dobbiamo già conoscere? Come opera la matematica: dagli ai teoremi. Che cosa è una funzione, il suo dominio e il suo codominio. Che cosa significa n j=1 A j dove A j sono insiemi. Che cosa significa
Russell e gli universali. appunti per Filosofia della scienza
Russell e gli universali appunti per Filosofia della scienza Perché gli universali esistono? (cap. 9) 1. Le relazioni come in, su tra e prima di non esistono come cose particolari, e sono appunti universali
Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva
Sesto modulo: Logica Obiettivi 1. individuare dei "calcoli logici" che consentano di meccanizzare l attività deduttiva 2. stabilire quali ragionamenti sono corretti e quali no 3. distinguere tra condizione
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
METODI MATEMATICI PER L INFORMATICA
METODI MATEMATICI PER L INFORMATICA Tutorato Lezione 5 05/05/2016 Corso per matricole congrue a 1 Docente: Margherita Napoli Tutor: Amedeo Leo Dimostrazioni e prove Esercizio 7 pagina 91 Utilizzare una
Dal male il bene? L errore secondo alcuni concorrenti delle Olimpiadi della Matematica
Dal male il bene? L errore secondo alcuni concorrenti delle Olimpiadi della Matematica Ludovico Pernazza Livorno, 16 ottobre 2014 Lo scopo dell indagine Una delle caratteristiche della matematica che rende
Esercizi di Logica Matematica (parte 2)
Luca Costabile Esercizio 317 Esercizi di Logica Matematica (parte 2) Dimostro per induzione sulla costruzione del termine : - Supponiamo che sia una variabile :, - Supponiamo che sia una variabile diversa
La Teoria (epistemica) della conferma bayesiana
La Teoria (epistemica) della conferma bayesiana Introduzione La teoria della probabilità fornisce alcuni strumenti potenti anche in senso epistemico, per valutare argomentazioni e decisioni in cui sono
Ragionamento LOGICA E PENSIERO COMUNE. Fondamenti di Psicologia Generale Cap. 20. Dott.ssa Stefania Pighin -
Ragionamento LOGICA E PENSIERO COMUNE Fondamenti di Psicologia Generale Cap. 20 Dott.ssa Stefania Pighin - [email protected] Due fratelli, Paolo e Francesco, vanno a fare la spesa al mercato. La
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,
Esercizi di Riepilogo e Autovalutazione Modulo 2
Esercizi di Riepilogo e Autovalutazione Modulo 2 Marcello D Agostino Istituzioni di Logica 2016-2017 Copyright c 2013 Marcello D Agostino Classificazione delle domande * = difficoltà bassa ** = difficoltà
PARMENIDE-ZENONE LA SCUOLA ELEATICA
PARMENIDE-ZENONE LA SCUOLA ELEATICA Antonia D Aria Dispensa ad uso degli studenti del Liceo Natta di Milano BIBLIOGRAFIA: MASSARO Il pensiero che conta SINI I filosofi e le opere ALTRO MATERIALE SCARICATO
Il processo inferenziale consente di generalizzare, con un certo grado di sicurezza, i risultati ottenuti osservando uno o più campioni
La statistica inferenziale Il processo inferenziale consente di generalizzare, con un certo grado di sicurezza, i risultati ottenuti osservando uno o più campioni E necessario però anche aggiungere con
LA CRITICA DI POPPER ALL INDUTTIVISMO
LA CRITICA DI POPPER ALL INDUTTIVISMO L induttivista pensa che la scienza parta da una iniziale raccolta di osservazioni in assenza di uno sfondo teorico Popper argomenta che non è possibile compiere osservazioni
Comunitaà di ricerca Capitoli quarto-quinto. Il bambino non diventa sociale perché apprende; apprende perché diventa sociale (G.
Il bambino non diventa sociale perché apprende; apprende perché diventa sociale (G. Mead) La didattica è intrinsecamente dialogica: Gli strumenti didattici devono essere costruiti in modo da Favorire la
Logica per la Programmazione
Logica per la Programmazione Lezione 2 Dimostrazione di tautologie Proof System pag. 1 Un Problema di Deduzione Logica [da un test di ingresso] Tre amici, Antonio, Bruno e Corrado, sono incerti se andare
Continua la serie di minitesti di avvio al pensiero scientifico.
[email protected] PROGETTO 3.1.4 TITOLO Cerco di capire (2) AREA Scientifica (Pensiero scientifico) SCUOLA Elementare: classi 3-4 - 5 Media: 1-2 - 3 OBIETTIVO Riflettere sul concetto di comprensione
Verifica delle ipotesi
Statistica inferenziale Stima dei parametri Verifica delle ipotesi Concetti fondamentali POPOLAZIONE o UNIVERSO Insieme degli elementi cui si rivolge il ricercatore per la sua indagine CAMPIONE Un sottoinsieme
Lezione 1. La Statistica Inferenziale
Lezione 1 La Statistica Inferenziale Filosofia della scienza Secondo Aristotele, vi sono due vie attraverso le quali riusciamo a formare le nostre conoscenze: (1) la deduzione (2) l induzione. Lezione
Attività 1. Presentazione di un problema reale di stimolo (Il giardiniere e l aiuola)
LA RETTA 1 Attività 1 Presentazione di un problema reale di stimolo (Il giardiniere e l aiuola) Un giardiniere vuole mettere alla prova il suo nuovo apprendista. Posiziona sul terreno 3 sassi e gli chiede
DIETRO LE QUINTE DELLA MATEMATICA
DIETRO LE QUINTE DELLA MATEMATICA TEKNOTRE Anno Accademico 2016-2017 Lezione n. 6 (10-2-2017) PERUCCO Pieraldo Dalla Logica alla Geometria Da regole empiriche a una rigorosa costruzione fondata sulla sistematica
3 Domande e Risposte sul Libro Obiettivo Ipertrofia!
3 Domande e Risposte sul Libro Obiettivo Ipertrofia! ******************************************* By Andrea Spadoni BodyBuilding-Natural.com Info Sull Autore: Sono Andrea Spadoni e sono quello che trovi
GIOVANNI 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 (
