Tonk – Implosione dei Sistemi Logici

Tonk – Implosione dei Sistemi Logici

[pdf height="780em"]http://www.glocaluniversitynetwork.eu/wp-content/uploads/2015/04/106808303-Elvio-Ceci-Tonk.pdf[/pdf]

Informazioni:

Prawitz, nella terza delle “Sei lezioni sulla Conseguenza Logica” tenutasi a Bologna nel 2007, si chiede come mai è la nozione di conseguenza logica (?D, ?(??Ded )), nella concezione standard nella logica, che da significato agli operatori logici. Il significato non è dato dalla teoria della dimostrazione, ma è la “sintassi che ci dà i linguaggi formali e ci dice quali sono le formule di questi linguaggi e quali sono le dimostrazioni e le regole d’inferenza, e poi c’è una semantica che ci dice cosa significhino queste formule e quand’è che sono vere” .
.
Autore: Elvio Ceci
Glocal Book: Nr.10 - Tonk - Implosione dei Sistemi Logici
Categorie: Pubblicazione
Pubblicato da: Glocal University Network il Settembre, 2012
Copyright: Traditional Copyright: All rights reserved

Disponibilità:

Dimensione:  1 MB
Nome File: 106808303-Elvio-Ceci-Tonk.pdf
Download GLOCAL BOOKS

No Comments

Post a Reply