libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

gabbay dov m. (curatore); guenthner franz (curatore) - handbook of philosophical logic

Handbook of Philosophical Logic

;




Disponibilità: Normalmente disponibile in 15 giorni
A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.


PREZZO
162,98 €
NICEPRICE
154,83 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 11/2002
Edizione: 2nd ed. 2002





Trama

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic com- nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organi- tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.




Sommario

Rewriting Logic as a Logical and Semantic Framework.- Logical Frameworks.- Proof Theory and Meaning.- Goal Directed Deductions.- On Negation, Completeness and Consistency.- Logic as General Rationality: A Survey.










Altre Informazioni

ISBN:

9781402006999

Condizione: Nuovo
Collana: Handbook of Philosophical Logic
Dimensioni: 234 x 156 mm
Formato: Copertina rigida
Illustration Notes:XIV, 368 p.
Pagine Arabe: 368
Pagine Romane: xiv


Dicono di noi