David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
The following is the text of an invited lecture for the LICS 2005 meeting held in Chicago June 26-29, 2005.1 Except for the addition of references, footnotes, corrections of a few points and stylistic changes, the text is essentially as delivered. Subsequent to the lecture I received interesting comments from several colleagues that would have led me to expand on some of the topics as well as the list of references, had I had the time to do so.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
References found in this work BETA
No references found.
Citations of this work BETA
Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko (2012). Logic for Physical Space. Synthese 186 (3):619-632.
Similar books and articles
Luca Bellotti (2003). Tarski on Logical Notions. Synthese 135 (3):401 - 413.
Justin Solomon (2009). Programmers, Professors, and Parasites: Credit and Co-Authorship in Computer Science. Science and Engineering Ethics 15 (4):467-489.
Greg Ray (2005). On the Matter of Essential Richness. Journal of Philosophical Logic 34 (4):433 - 457.
Solomon Feferman (2008). Axioms for Determinateness and Truth. Review of Symbolic Logic 1 (2):204-217.
William J. Rapaport (2005). Philosophy of Computer Science. Teaching Philosophy 28 (4):319-341.
Timothy Bays (2001). On Tarski on Models. Journal of Symbolic Logic 66 (4):1701-1726.
Alfred Tarski, Jan Tarski & Jan Woleński (1995). Some Current Problems in Metamathematics1. History and Philosophy of Logic 16 (2):159-168.
Michael J. Quinn (2006). On Teaching Computer Ethics Within a Computer Science Department. Science and Engineering Ethics 12 (2):335-343.
David DeVidi & Graham Solomon (1999). Tarski on “Essentially Richer” Metalanguages. Journal of Philosophical Logic 28 (1):1-28.
Stathos Psillos (2000). Rudolf Carnap's 'Theoretical Concepts in Science'. Studies in History and Philosophy of Science Part A 31 (1):151-172.
Chris Hankin (1994). Lambda Calculi: A Guide for the Perplexed. Oxford University Press.
Added to index2010-12-22
Total downloads3 ( #224,045 of 1,088,831 )
Recent downloads (6 months)1 ( #69,665 of 1,088,831 )
How can I increase my downloads?