-
33Vassar college, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or (review)Bulletin of Symbolic Logic 15 (4). 2009.
-
32Vindicating the verifiability criterionPhilosophical Studies 181 (1): 223-245. 2024.The aim of this paper is to argue for a revised and precisified version of the infamous Verifiability Criterion for the meaningfulness of declarative sentences. The argument is based on independently plausible premises concerning probabilistic confirmation and meaning as context-change potential, it is shown to be logically valid, and its ramifications for potential applications of the criterion are being discussed. Although the paper is not historical but systematic, the criterion thus vindicat…Read more
-
32On formal and informal provabilityIn Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics, . pp. 263--299. 2009.
-
24College, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or (review)Bulletin of Symbolic Logic 17 (1). 2011.
-
23Metaworlds: A Possible-Worlds Semantics for TruthIn Leon Horsten & Volker Halbach (eds.), Principles of Truth, De Gruyter. pp. 129-152. 2003.
-
20Neural Network Models of ConditionalsIn Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy, Springer. pp. 147-176. 2012.This chapter explains how artificial neural networks may be used as models for reasoning, conditionals, and conditional logic. It starts with the historical overlap between neural network research and logic, it discusses connectionism as a paradigm in cognitive science that opposes the traditional paradigm of symbolic computationalism, it mentions some recent accounts of how logic and neural networks may be combined, and it ends with a couple of open questions concerning the future of this area …Read more
-
191. Not a Sure Thing: Fitness, Probability, and Causation Not a Sure Thing: Fitness, Probability, and Causation (pp. 147-171) (review)Philosophy of Science 77 (2): 172-200. 2010.Hierarchical Bayesian models provide an account of Bayesian inference in a hierarchically structured hypothesis space. Scientific theories are plausibly regarded as organized into hierarchies in many cases, with higher levels sometimes called ‘paradigms’ and lower levels encoding more specific or concrete hypotheses. Therefore, HBMs provide a useful model for scientific theory change, showing how higher-level theory change may be driven by the impact of evidence on lower levels. HBMs capture fea…Read more
-
18College, 124 Raymond avenue, poughkeepsie, ny 12604, usa. In a review, a reference “jsl xliii 148,” for example, refers either to the publication reviewed on page 148 of volume 43 of the journal, or to the review itself (which contains full bibliographical information for the reviewed publication). Analogously, a reference “bsl VII 376” refers to the review beginning on page 376 in volume 7 of this bulletin, or (review)Bulletin of Symbolic Logic 16 (3). 2010.
-
18Towards a logic 0f type-free modality and truthIn Costas Dimitracopoulos (ed.), Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005, Cambridge University Press. pp. 28--68. 2008.
-
16Truth as Translation – Part BJournal of Philosophical Logic 30 (4): 309-328. 2001.This is the second part of a paper dealing with truth and translation. In Part A a revised version of Tarski's Convention T has been presented, which explicitly refers to a translation mapping from the object language to the metalanguage; the vague notion of a translation has been replaced by a precise definition. At the end of Part A it has been shown that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate - this is possi…Read more
-
16Reduction, abstraction, analysis: proceedings of the 31th International Ludwig Wittgenstein-Symposium in Kirchberg, 2008 (edited book)de Gruyter. 2009.Philosophers often have tried to either reduce "disagreeable" objects or concepts to (more) acceptable objects or concepts. Reduction is regarded attractive by those who subscribe to an ideal of ontological parsimony. But the topic is not just restricted to traditional metaphysics or ontology. In the philosophy of mathematics, abstraction principles, such as Hume's principle, have been suggested to support a reconstruction of mathematics by logical means only. In the philosophy of language and t…Read more
-
12The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor), John Baldwin, John (review)Bulletin of Symbolic Logic 16 (1). 2010.
-
9Nonmonotonic reasoning by inhibition nets☆☆This paper has been supported by the Austrian Research Fund FWF (SFB F012)Artificial Intelligence 128 (1-2): 161-201. 2001.
-
7How Abstraction WorksIn Alexander Hieke & Hannes Leitgeb (eds.), Reduction, abstraction, analysis: proceedings of the 31th International Ludwig Wittgenstein-Symposium in Kirchberg, 2008, De Gruyter. pp. 217-226. 2009.
-
5Metaphysical Modalities in Scientific Language: A Roadmap of (Im-)PossibilitiesIn Hans Rott & Vitezslav Horak (eds.), Possibility and Reality, Walter De Gruyter. pp. 187-220. 2003.
-
4Vincent F. Hendricks and John Symons, eds. Formal Philosophy Reviewed byPhilosophy in Review 27 (4): 266-268. 2007.
-
2What is a self-referential sentence? Critical remarks on the alleged mbox(non-)circularity of Yablo's paradoxLogique and Analyse 177 (178): 3-14. 2002.
-
2A class of n-valued statement calculi: Many universes statement calculusKriterion - Journal of Philosophy 1 (11): 3-15. 1997.
-
Reduction and Elimination in Philosophy and the Sciences. Papers of the 31st International Wittgenstein Symposium (edited book)Austrian Ludwig Wittgenstein Society. 2008.
-
How Similarities ComposeIn Markus Werning, Edouard Machery & Gerhard Schurz (eds.), The Compositionality of Meaning and Content. Volume I - Foundational Issues,, De Gruyter. pp. 147-168. 2005.
-
Vincent F. Hendricks and John Symons, eds. Formal Philosophy (review)Philosophy in Review 27 266-268. 2007.
-
The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor). John Baldwin, John (review)Bulletin of Symbolic Logic 15 (2). 2009.
-
Logic and Philosophy of MathematicsJournal of the Indian Council of Philosophical Research 27 (2). 2010.
-
Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of CognitionJournal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 38 (2): 393-395. 2007.
-
Mechanizing InductionIn Dov Gabby, Hartmann M., Woods Stephan & John (eds.), Handbook of the History of Logic: Inductive Logic, Elsevier: Amsterdam. pp. 719--772. 2009.
-
On the metatheory of Field's `Solving the paradoxes, escaping revenge'In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox, Oxford University Press. 2007.