Simple finite axiomatizations are given for versions of the modal logics K and K4 with non-contingency (or contingency) as the sole modal primitive. This answers two questions of I. L. Humberstone.

Montague, Prior, von Wright and others drew attention to resemblances between modal operators and quantifiers. In this paper we show that classical quantifiers can, in fact, be regarded as S5-like operators in a purely propositional modal logic. This logic is axiomatized and some interesting fragments of it are investigated.

Applications of game theory to moral philosophy are impededby foundational issues and troublesome examples. In the first part of this paper,questions are raised about the appropriate game-theoretical frameworks for applications to moralphilosophy and about the proper interpretations of the theoretical devices employed inthese frameworks. In the second part, five examples that should be of particular interest to thoseinterested in the connections between ethics and game theory are delineated and discussed. Thefirst example comprises games in which there is an outcome unanimously (...) preferred to the``solution'' of the game, appropriately defined. The second comprises games whose solution callsfor different players to employ different strategies. The third comprises games whosesolution calls for players to adopt mixed strategies. The fourth comprises games whose solutionrequires players to cycle among a variety of strategies. The fifth comprises games whose solutionrequires players to discriminate in morally inappropriate ways. (shrink)

The semantics of tense has received a great deal of attention in the contemporary linguistics, philosophy and logic literatures. This is probably due partly to a renewed appreciation for the fact that issues involving tense touch on certain issues of philosophical importance (viz., determinism, causality, and the nature of events, of time and of change). It may also be due partly to neglect. Tense was noticeably omitted from the theories of meaning advanced in previous generations. In the writings of both (...) Russell and Frege there is the suggestion that tense would be absent altogether from an ideal or scientifically adequate language. (Tense was not the only blemish of natural language to be removed, of course, but tense is a more serious omission than, say, pronouns because it is present in every sentence of the language.) Finally, in recent years there has been a greater recognition of the important role that all of the so-called “indexical” expressions must play in an explanation of mental states and human behavior. Tense is no exception. Knowing that our friend died is cause for mourning, knowing that he dies is just another confirmation of a familiar syllogism. (shrink)

The prisoner 's dilemma game has acquired large literatures in several disciplines. It is surprising, therefore, that a good definition of the game is hard to find. Typically an author relates a story about captured criminals or military rivals, provides a particular payoff matrix and asserts that the PD is characterized, or illustrated, by that matrix. In the few cases in which characterizing conditions are given, the conditions, and the motivations for them, do not always agree with each other or (...) with the paradigm examples elsewhere. In this paper we describe several varieties of PD's. In particular, we suggest there are two distinctions among PD's with philosophical significance, the pure/impure and the utilitarian/nonutilitarian distinctions. In the first section, we explain and characterize the two distinctions. In the second, we discuss an issue of moral philosophy that illustrates the significance of the former. (shrink)

A notable early result of David Makinson establishes that every monotone modal logic can be extended to LI, LV, or LF, and every antitone logic can be extended to LN, LV, or LF, where LI, LN, LV, and LF are logics axiomatized, respectively, by the schemas □α↔α, □α↔¬α, □α↔⊤, and □α↔⊥. We investigate logics that are both monotone and antitone (hereafter amphitone). There are exactly three: LV, LF, and the minimum amphitone logic AM axiomatized by the schema □α→□β. These logics, (...) along with LI, LN, and a wider class of “extensional” logics, bear close affinities to classical propositional logic. Characterizing those affinities reveals differences among several accounts of equivalence between logics. Some results about amphitone logics do not carry over when logics are construed as consequence or generalized (“multiple-conclusion”) consequence relations on languages that may lack some or all of the nonmodal connectives. We close by discussing these divergences and conditions under which our results do carry over. (shrink)

BACKGROUND: Reasoning biases have been suggested as risk factors for delusional ideation in both patients and non-clinical individuals. Still, it is unclear how these biases are longitudinally related to delusions in the general population. We hence aimed to investigate longitudinal associations between reasoning biases and delusional ideation in the general population. METHODS: We conducted an online cohort study with 1184 adults from the German and Swiss general population. Participants completed measures on reasoning biases (jumping-to-conclusion bias JTC, liberal acceptance bias LA, (...) bias against disconfirmatory evidence BADE, possibility of being mistaken PM) and delusional ideation at baseline, and delusional ideation 7 to 8 months later. RESULTS: A greater JTC bias was associated with a greater increase in delusional ideation over the following months. This association was better described by a positive quadratic relationship. Neither BADE, LA nor PM were associated with subsequent changes in delusional ideation. CONCLUSIONS: This study suggests that jumping-to-conclusions predicts delusional ideation in the general population but that this association may follow a quadratic trajectory. While no other associations turned significant, future studies with shorter temporal distances may shed further light on the role of reasoning biases as risk factors for delusional ideation in non-clinical samples. (shrink)

This chapter contains sections titled: Introduction Don't Laugh at “Slow” Sailing: Average Versus Instantaneous Motion Motion Relative to What? – Galilean Relativity But There are No Fixed Reference Frames – Special Relativity General Relativity – Can it Really Matter?

The system obtained by adding full propositional quantification to S5 is known to be decidable, while that obtained by doing so for T is known to be recursively intertranslatable with full second-order logic. Recently it was shown that the system with two S5 operators and full propositional quantification is also recursively intertranslatable with second-order logic. This note establishes that the map assigning [1][2]p to \squarep provides a validity and satisfaction preserving translation between the T system and the double S5 system, (...) thus providing an easier proof of the recent result. (shrink)

Ricoeur developed a very elaborated philosophy of religion. At the same time, he always moved along interdisciplinary borders of philosophy, theology, exegesis, historical and language sciences. His religious concerns are in this sense related to pre-philosophical experiences that within certain fields lend themselves to hermeneutical articulation. His analysis of the Scriptures in terms of narrativity deals with biblical texts. However, he doesn’t speak as a theologian,but as a philosopher, since the question of a philosophical and theological hermeneutics is from his (...) own point of view closely related to the fundamentaltension between autonomy and heteronomy. This paper regards his work as a new form of French philosophy of religion, and as a result of this includes a criticalconsideration of the pre-textual sphere understood as an absolute “priority”. This absolute “priority” should be presupposed by any hermeneutics of the written revelation, even when it is not able to provide a final response to its radical-phenomenological implications. (shrink)

The demise of the Superconducting Supercollider is often explained in terms of the strain that it placed on the federal budget of the United States, and change in national security interests with the end of the Cold War. Recent work by Steve Fuller provides a framework to re-examine this episode in epistemological terms using the work of Kuhn and Popper. Using this framework, it is tempting to explain the demise as resulting from the overly Kuhnian character of its proponents, who (...) supposedly argued for its construction by appealing to the importance of testing the predictions of a specific paradigm. On this reading, the SSC case appears as an example of how Kuhn’s paradigm-driven view of science was invoked to keep science closed and autonomous from society. I argue that the SSC episode should not be viewed as giving support to the displacement of Kuhn’s view of science for Popper’s, and that such a displacement is detrimental to the project of integrating discussion on science into the public sphere. Drawing upon Rouse and Wimsatt, I argue that understanding paradigms as practices blunts some criticisms against Kuhn’s model, and that his model should play an important epistemological role in the aforementioned project.Keywords: Thomas S. Kuhn; Karl Popper; Steve Fuller; Big Science; Superconducting Supercollider. (shrink)

Puzzle-solving, like several other everyday activities, appears in a more sophisticated and ramified form in the realm of natural science. Improving on Thomas Kuhn's rudimentary account of puzzles in science, this paper formulates logical and functional criteria for the occurrence of scientific puzzles, and examines the two-fold nature of their solutions. Then, with the aid of erotetic logic, puzzle-posing questions are identified, their presuppositional relations to scientific theory and explanations are explored, and a new tool for history of science research (...) is developed. (shrink)

Ranging from Joseph Bellamy to Hilary Putnam, and from early New England Divinity Schools to contemporary university philosophy departments, historian Bruce Kuklick recounts the story of the growth of philosophical thinking in the United States. Readers will explore the thought of early American philosphers such as Jonathan Edwards and John Witherspoon and will see how the political ideas of Benjamin Franklin, Thomas Paine and Thomas Jefferson influenced philosophy in colonial America. Kuklick discusses The Transcendental Club (members Henry David Thoreau, Ralph (...) Waldo Emerson) and describes the rise of pragmatism centered on Metaphysical Club of Cambridge (and members William James, Oliver Wendell Holmes, and Charles Peirce). He examines the profound impact Darwinism had on American philosophy and looks at Idealists such as the Kantian Josiah Royce and the Hegelian John Dewey. The book shows how, in the twentieth century, the Nazi conquest of Europe unleashed a flood of European intellectuals onto these shores, including such major thinkers as Theodore Adorno, Erich Fromm, Rudolph Carnap, and Alfred Tarski. Finally, Kuklick examines the contributions of such contemporary philosophers as Sidney Hook and Willard Quine and such books as John Rawl's A Theory of Justice and Herbert Marcuse's One Dimensional Man. Kuklick pulls no punches in portraying the state of American philosophy today and its contested role in the intellectual life of the nation and the world. The range of philosophical thought in our nation's history has been great, from Edwards's Religious Affections to Kuhn's The Structure of Scientific Revolutions, and Bruce Kuklick has captured it all in a book that blends intricate details with sweeping vision. (shrink)