Logica 13-14 Lezz. 23-24 2 Dicembre 2013. Il linguaggio (iii) (1) ci sono cose sia mentali che fisiche (1a)  x(Mx & Fx) (2) tutte le cose sono o fisiche.

Slides:



Advertisements
Presentazioni simili
Sommario Nella lezione precedente abbiamo visto che un enunciato è vero se rappresenta uno stato di cose che sussiste nel mondo del discorso Ora affronteremo.
Advertisements

“ LAUREE SCIENTIFICHE ”
Sommario Nelle lezioni precedenti abbiamo introdotto tutti gli elementi che formano un particolare tipo di linguaggio logico, denominato linguaggio predicativo.
EQUAZIONI DI 2° GRADO.
Fasci di rette propri e impropri
Intelligenza Artificiale 1 Gestione della conoscenza lezione 8
LA PROPAGAZIONE DEGLI ERRORI:
Dipartimento di Matematica P. A.
FONDAMENTI DI INFORMATICA III A3A1-1 Realtà e Modello MODELLI E METODOLOGIE PER LA PROGETTAZIONE LOGICA DI SISTEMI INFORMATIVI PER LUFFICIO Argomento 3.
Teoria della pertinenza Sperber-Wilson Prima teoria cognitiva della comunicazione Entrano nellambito della discussione tra comunicazione e psicologia vs.
Formule (linguaggi elementari). PRIMA Occorre sapere che cosè un termine.
Linguaggi elementari p. 14.
Semantica di Tarski.
Prof. Marina BARTOLINI . “Liceo Maccari” Frosinone
Vita Aristotele diviene allievo di Platone a 17 anni.
MODULO:ARCHITETTO IN ERBA RIDURRE DIVERTENDOSI
Logica Matematica Seconda lezione.
Riassunto delle puntate precedenti:
Marcello pedoneAsse matematico Matematica Informatica TIC.
Pierdaniele Giaretta Linguaggio della logica predicativa
Pierdaniele Giaretta Linguaggio della logica predicativa
Metodologia come logica della ricerca
Il metodo SCIENTIFICO Il piano inclinato di Galileo Galilei.
Jonassen: l’identificazione del problema
Corso di logica matematica
Intelligenza Artificiale 2 Metodologie di ragionamento Prof. M.T. PAZIENZA a.a
Fil Ling
F. Orilia Logica F. Orilia
Logica Lezione ESAME FINALE Si svolgerà dalle 10 alle 11 Mercoledì 18 Dicembre in AULA A Si raccomanda di venire con il libretto.
Logica Lezioni Lunedì 18 Nov. Annuncio E' possibile che dovrò rinviare delle lezioni della prossima settimana. Tenete d'occhio gli annunci.
Fil. Ling. Lezz /3/14. La risposta di Frege – Distinzione tra senso e referente – il senso determina il referente – senso di "=": una relazione.
Logica Lezz /12/13. Predicato di identità Utilizziamo la "infix notation" Nuove formule atomiche: a = b, c = d, ecc. Nuove fbf:  x x =
Lezz. 4-6 Filosofia del linguaggio Semestre II Prof. F. Orilia.
Fil Ling Russell e Frege sui nomi propri I nomi propri sono visti come abbreviazioni di descrizioni definite "Apollo" = "il dio del sole" "Socrate"
Logica A.A Francesco orilia
Logica A.A Francesco orilia
Accumulazione di capitale e crescita
Filosofia analitica del linguaggio: mod. ontologia esistenza e identità Francesco Orilia A.A I Semestre.
Intelligenza Artificiale Metodologie di ragionamento Prof. M.T. PAZIENZA a.a
Logica Lezz Nov Reiterazione (RE) P |- P 1 P A 2 P & P 1,1, &I 3 P 2, & E.
Logica Orilia. Lezz Nov Ancora sugli alberi di refutazione verifica dello statuto logico di una singola fbf con gli alberi di refutazione:
Logica Lezione Nov
1 Linguaggi di Programmazione Cenni di logica proposizionale.
Il riferimento dell’enunciato il tono emotivo e la forza convenzionale dell’enunciato il contesto linguistico dell’enunciato la rappresentazione soggettiva.
public class volume { public static void main (String[] args) { final double bott_vol =2.0; final double latt_vol = 0.355; int bott_num = 4; int latt_num.
Intelligenza Artificiale Metodologie di ragionamento Prof. M.T. PAZIENZA a.a
AOT Lab Dipartimento di Ingegneria dell’Informazione Università degli Studi di Parma Intelligenza Artificiale Rappresentazione della Conoscenza e Ragionamento.
Logica Lez Dicembre Regola  E  xFx è come una disgiunzione infinita e quindi questa regola è analoga a vE Guardare insieme regola a p. 202.
9. Studio di funzioni (I) Asintoti.
Fil. Ling Lezione 4 12/10/15 per l’insegnamento di F. del linguaggio mercoledì ore 15 (invece di 17) ha prenotata fino al 28 ottobre l’aula D,
Fil Ling Lezioni 11-12, 9/3/15. Annunci Non si terranno le lezioni di Lunedì 16 Marzo Non si terrà la lezione di Mercoledì 1 Aprile.
Fil Ling Lez. 7, 19 Ott (sulla logica tenuta da Michele Paolini Paoletti)
Logica Lez. 28, 27 aprile AVVISI ultimo compito per casa: Consegnarlo entro lunedì 4 maggio. Le soluzioni saranno nel sito il 5 maggio esame finale.
Logica Lezione 8, DISTRIBUIRE COMPITO 1.
Integrali indefiniti.
Lezione marzo nota su "a meno che" A meno che (non) = oppure Il dolce lo porto io (I) a meno che (non) lo porti Mario (M) I  M   I  M.
Logica Lezione 19, Distribuire compito 3 DATA esame in classe intermedio: Lunedì 20 aprile.
Logica Lezione 11, Annuncio Non si terrà la lezione di Lunedì 16 Marzo.
Piaget i 4 fattori permettono il costituirsi di strutture cognitive o sistemi cognitivi che sono di tipo: Sensomotorio (0-18/24 mesi circa) Preoperatorio.
INSIEMI E LOGICA PARTE QUARTA.
Logica Lezione 25, 20/4/15: ESAME INTERMEDIO IN CLASSE.
Fil Ling Lezz /2/15.
Fil Log Lezioni 7-9.
Logica Lezioni
Ontologia Lezz
Logica Lezioni
Logica Lezioni
Logica Lezioni
Logica Lezioni
Logica lezioni
Transcript della presentazione:

Logica Lezz Dicembre 2013

Il linguaggio (iii) (1) ci sono cose sia mentali che fisiche (1a)  x(Mx & Fx) (2) tutte le cose sono o fisiche o non mentali (2a)  x(Fx v  Bx)

tipici enunciati della sillogistica (1) Tutti gli uomini sono mortali (2) alcuni uomini sono mortali (3) nessun uomo è mortale (4) alcuni uomini non sono mortali

(1) Tutti gli uomini sono mortali (1a)  x(Ux  Mx) (2) alcuni uomini sono mortali (2a)  x(Ux & Mx) (3) nessun uomo è mortale (3a)  x(Ux   Mx) (4) alcuni uomini non sono mortali (4a)  x(Ux &  Mx)

Regole di formazione Guardiamo insieme le regole, p. 163, §6.3

Cap. 7 il libro dice "calcolo" dei predicati In realtà non abbiamo una procedura di decisione Operiamo con la deduzione naturale

Regola  E Guardare insieme la regola a p. 194 Guardare insieme l'esercizio 7.2, p. 194

Regola  I Guardare insieme la regola a p. 199 Guardare insieme l'esercizio 7.10, p. 199

Regola  I Guardare insieme la regola a p. 195 Guardare insieme l'esercizio 7.5, p. 196 NB1: La "costante arbitraria" non deve comparire in assunzioni o ipotesi in vigore NB2: la variabile introdotto non deve essere già presente nella formula NB3: Tutte le occorrenze della costante arbitraria devono essere rimpiazzate dalla variabile