Cargando…

Handbook of Philosophical Logic Volume 14 /

theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: • a chapter on non-monotonic logic • a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re-...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Gabbay, Dov M. (Editor ), Guenthner, Franz (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Handbook of Philosophical Logic ; 14
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-1-4020-6324-4
003 DE-He213
005 20220118040548.0
007 cr nn 008mamaa
008 100301s2007 ne | s |||| 0|eng d
020 |a 9781402063244  |9 978-1-4020-6324-4 
024 7 |a 10.1007/978-1-4020-6324-4  |2 doi 
050 4 |a QA1-939 
072 7 |a PB  |2 bicssc 
072 7 |a MAT000000  |2 bisacsh 
072 7 |a PB  |2 thema 
082 0 4 |a 510  |2 23 
245 1 0 |a Handbook of Philosophical Logic  |h [electronic resource] :  |b Volume 14 /  |c edited by Dov M. Gabbay, Franz Guenthner. 
250 |a 1st ed. 2007. 
264 1 |a Dordrecht :  |b Springer Netherlands :  |b Imprint: Springer,  |c 2007. 
300 |a XIV, 345 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Handbook of Philosophical Logic ;  |v 14 
505 0 |a Editorial Preface; D.M. Gabbay -- Logics of Formal Inconsistency; W. Carnielli, M.E. Coniglio, J. Marcos -- Causality; J. Williamson -- On Conditionals; D. Edgington -- Quantifiers in Formal and Natural Languages; D. Westerståhl -- Index. 
520 |a theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: • a chapter on non-monotonic logic • a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights, including at time decision procedures and equivalence with non-classical systems. Perhaps the most impressive achievement of philosophical logic as arising inthepastdecadehasbeenthee?ectivenegotiationofresearchpartnerships with fallacy theory, informal logic and argumentation theory, attested to by the Amsterdam Conference in Logic and Argumentation in 1995, and the two Bonn Conferences in Practical Reasoning in 1996 and 1997. These subjects are becoming more and more useful in agent theory and intelligent and reactive databases. Finally, ?fteen years after the start of the Handbook project, I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics and arti?cial intelligence. In the early 1980s the perception of the role of logic in computer science was that of a speci?cation and reasoning tool and that of a basis for possibly neat computer languages. The computer scientist was manipulating data structures and the use of logic was one of his options. 
650 0 |a Mathematics. 
650 0 |a Logic. 
650 0 |a Language and languages-Philosophy. 
650 0 |a Science-Philosophy. 
650 0 |a Computer science. 
650 0 |a Machine theory. 
650 1 4 |a Mathematics. 
650 2 4 |a Logic. 
650 2 4 |a Philosophy of Language. 
650 2 4 |a Philosophy of Science. 
650 2 4 |a Computer Science Logic and Foundations of Programming. 
650 2 4 |a Formal Languages and Automata Theory. 
700 1 |a Gabbay, Dov M.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Guenthner, Franz.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9789048114474 
776 0 8 |i Printed edition:  |z 9789048176083 
776 0 8 |i Printed edition:  |z 9781402063237 
830 0 |a Handbook of Philosophical Logic ;  |v 14 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-1-4020-6324-4  |z Texto Completo 
912 |a ZDB-2-SMA 
912 |a ZDB-2-SXMS 
950 |a Mathematics and Statistics (SpringerNature-11649) 
950 |a Mathematics and Statistics (R0) (SpringerNature-43713)