-
30How Far Can We Formalize Language Games?Vienna Circle Institute Yearbook 3 89-100. 1995.I want to start by giving some quotes from Wittgenstein. It is part of his conception of what the foundations of Mathematics are about, a conception which many people have found peculiar and one of my defects is that I am not able to find it peculiar anymore, but find it perfectly sensible
-
127Conditional Probability and Defeasible InferenceJournal of Philosophical Logic 34 (1). 2005.We offer a probabilistic model of rational consequence relations (Lehmann and Magidor, 1990) by appealing to the extension of the classical Ramsey-Adams test proposed by Vann McGee in (McGee, 1994). Previous and influential models of nonmonotonic consequence relations have been produced in terms of the dynamics of expectations (Gärdenfors and Makinson, 1994; Gärdenfors, 1993).'Expectation' is a term of art in these models, which should not be confused with the notion of expected utility. The exp…Read more
-
131Game Logic - An OverviewStudia Logica 75 (2): 165-182. 2003.Game Logic is a modal logic which extends Propositional Dynamic Logic by generalising its semantics and adding a new operator to the language. The logic can be used to reason about determined 2-player games. We present an overview of meta-theoretic results regarding this logic, also covering the algebraic version of the logic known as Game Algebra.
-
24Meeting of the Association for Symbolic Logic, New York City, May 1987Journal of Symbolic Logic 53 (4): 1270-1274. 1988.
-
14Sock Sorting: An Example of a Vague AlgorithmLogic Journal of the IGPL 9 (5): 687-692. 2001.We give an example of a polynomial time algorithm for a particular algorithmic problem involving vagueness and visual indiscriminability, namely sock sorting
-
7Review: Robert Goldblatt, Logics of Time and Computation (review)Journal of Symbolic Logic 56 (4): 1495-1496. 1991.
-
Modal Logic and Possible WorldsIn Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg, Uppsala Philosophical Studies 53. pp. 53--339. 2006.
-
12Goldblatt Robert. Logics of time and computation. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1987, also distributed by the University of Chicago Press, Chicago, ix + 131 pp (review)Journal of Symbolic Logic 56 (4): 1495-1496. 1991.
-
22It is a sunny autumn day, and our protagonists have taken their meals outside, to enjoy the mild rays of the September sun. The NIAS cook Paul Nolte, as always glowing with pride while serving out his delicious food, has prepared a traditional Dutch meal today with sausage, red cabbage and pieces of apple
-
33Vague Predicates and Language GamesTheoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 11 (3): 97-107. 1996.Attempts to give a Logic or Semantics for vague predicates and to defuse the Sorites paradoxes have been largely a failure. We point out yet another problem with these predicates which has not been remarked on before,namely that different people do and must use these predicates in individually different ways. Thus even if there were a semantics for vague predicates, people would not be able to share it. To explain the occurrence nonetheless of these troublesome predicates in language, we propose…Read more
-
139Journal of Philosophical Logic 34, 97-119, 2005.
-
Some Reminiscences of KreiselIn Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel, A K Peters. pp. 89. 1996.
-
24Review of “Epistemology, A Contemporary Introduction to the Theory of Knowledge” (review)Essays in Philosophy 9 (2): 6. 2008.
-
30Meeting of the association for symbolic logic: New York city, may 1987Journal of Symbolic Logic 53 (4): 1270-1274. 1988.
-
Uwe Schoning and Randall Pruim, Gems of Theoretical Computer ScienceJournal of Logic Language and Information 9 (1): 131-132. 2000.
-
2Review: Robert Goldblatt, Logics of Time and Computation (review)Journal of Symbolic Logic 60 (1): 347-347. 1995.
-
43On Kripke's Puzzle about Time and ThoughtIn Kamal Lodaya (ed.), Logic and its Applications, Springer. pp. 121--126. 2013.
-
17Goldblatt Robert. Logics of time and computation. Second edition of LVI 1495. CSLI lecture notes, no. 7. Center for the Study of Language and Information, Stanford 1992, also distributed by the University of Chicago Press, Chicago, ix + 180 pp (review)Journal of Symbolic Logic 60 (1): 347-347. 1995.
-
40Completeness of Certain Bimodal Logics for Subset SpacesStudia Logica 71 (1): 1-30. 2002.Subset Spaces were introduced by L. Moss and R. Parikh in [8]. These spaces model the reasoning about knowledge of changing states.In [2] a kind of subset space called intersection space was considered and the question about the existence of a set of axioms that is complete for the logic of intersection spaces was addressed. In [9] the first author introduced the class of directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces.We give here a c…Read more
-
79A knowledge based semantics of messagesJournal of Logic, Language and Information 12 (4): 453-467. 2003.We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, impl…Read more
-
81997-1998 Winter Meeting of the Association for Symbolic LogicBulletin of Symbolic Logic 4 (2): 217-224. 1998.
-
Some Remarks on Knowledge, Games and SocietyJournal of the Indian Council of Philosophical Research 27 (1). 2010.
-
17Review of “If P, then Q; Conditionals and the Foundations of Reasoning” (review)Essays in Philosophy 7 (1): 12. 2006.
New York City, New York, United States of America
Areas of Specialization
Philosophy of Language |
Logic and Philosophy of Logic |