David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Dov M. Gabbay (ed.)
Oxford University Press (1994)
This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics.
|Keywords||Logic, Symbolic and mathematical Computer science|
|Categories||categorize this paper)|
|Buy the book||$27.61 used (87% off) $49.50 new (76% off) $200.00 direct from Amazon Amazon page|
|Call number||QA9.2.W48 1994|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Colin Howson (2007). Logic with Numbers. Synthese 156 (3):491-512.
Similar books and articles
Roy Dowsing (1986). A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) (1995). Conditionals: From Philosophy to Computer Science. Oxford University Press.
John Venn (1894/1971). Symbolic Logic. New York,B. Franklin.
Dov M. Gabbay (1999). Fibring Logics. Clarendon Press.
Richard Bornat (2005). Proof and Disproof in Formal Logic: An Introduction for Programmers. New Yorkoxford University Press.
J. P. Cleave (1991). A Study of Logics. Oxford University Press.
Added to index2009-01-28
Total downloads25 ( #82,173 of 1,692,449 )
Recent downloads (6 months)5 ( #47,729 of 1,692,449 )
How can I increase my downloads?