Logica

"Poeta"

Erano anni di grande intensità di studio,lavoro,scoperte,cultura fisica,conoscienze artistiche e di molte altre cose importanti nel costruirgli i miei pilastri della personalità che rimangono sempre esperienze fresche e indelibili che mi accompagnano in tutti percorsi della vita. E' nata proprio lì l'amore e la poesia l'immensità dei sentimenti pieno di fineze ed esplosione vulcaniche nell'evolversi sul mare delle meravigle ....

Logica:teoria delle condizioni alle quali un ragionamento risulta corretto,qualunque sia l'universo dei discorsi cui esso appartiene.

Logica ha per oggetto l'argomentazione _deduttiva_ ,che è valida se la conclusione è validamente inferita dalle premesse,ed è corretta se le premesse sono vere.

Compito della logica è di fornire un metodo _generale_ per distinguere le _argomentazioni valide_ da quelle invalide in base alla loro forma.

Quanto al metodo, la logica tradizionale (ispirata ad Aristotele) si è basata sulla _classificazione_ delle proposizioni elementari in categorie fondamentali,cui corrispondono _schemi di enunciati_.

La logica attuale si ispira invece a un principio di _generazione ricorsiva_,di tutte le possibili forme di enunciati da un insieme di simboli semplici,mediante applicazione

_reiterata di un insieme finito di operazioni_.

Qui la logica sostituisce alla lingua ordinaria,che è oggetto dell'analisi, _un linguaggio formale_,

cioè un insieme di simboli semplici e di regole per la loro combinazione in enunciati,di cui si rende esplicita la _struttura sintattica_ , cioè il mondo della loro composizione a partire da espressioni non logiche mediante applicazione di operatori logici (i _connettivi_ , come _e_ , _o_, _non_,

_se...allora_ , e i _quantificatori_, come _tutti_,_qualche_).

Nella _formalizzazione _ del linguaggio, la logica stipula:

a)le regole che governano l'uso degli operatori logici nelle inferenze(esistono le regole di inferenza ).

b)le regole che governano l'assegnazione di valori di verità(Vero,Falso) agli enunciati composti per loro mezzo,in funzione dei valori enunciati componenti.

In a) consiste la parte della _sintassi_ e in b) della _semantica_ del sistema in questione,entrambe formulate in un opportuno -..-_metalinguaggio_-..- .

26febbraio2008 ore 12:10