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)|
References found in this work BETA
No references found.
Citations of this work BETA
Logic for Physical Space.Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko - 2012 - Synthese 186 (3):619-632.
Similar books and articles
Programmers, Professors, and Parasites: Credit and Co-Authorship in Computer Science.Justin Solomon - 2009 - Science and Engineering Ethics 15 (4):467-489.
Axioms for Determinateness and Truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.
Some Current Problems in Metamathematics1.Alfred Tarski, Jan Tarski & Jan Woleński - 1995 - History and Philosophy of Logic 16 (2):159-168.
On Teaching Computer Ethics Within a Computer Science Department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Tarski on “Essentially Richer” Metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
Rudolf Carnap's 'Theoretical Concepts in Science'.Stathos Psillos - 2000 - Studies in History and Philosophy of Science Part A 31 (1):151-172.
Added to index2010-12-22
Total downloads25 ( #201,839 of 2,163,685 )
Recent downloads (6 months)2 ( #188,897 of 2,163,685 )
How can I increase my downloads?