Anderson-like ontological proofs, studied in this paper, employ contingent identity, free principles of quantification of the 1st order variables and classical principles of quantification of the 2nd order variables. All these theories are strongly complete wrt. classes of modal structures containing families of world-varying objectual domains of the 1st order and constant conceptual domains of the 2nd order. In such structures, terms of the 1st order receive only rigid extensions, which are elements of the union of all 1st order domains. (...) Terms of the 2nd order receive extensions and intensions. Given a family of preselected world-varying objectual domains of the 2nd order, non-rigid extensions of the 2nd order terms belong always to a preselected domain connected with a given world. Rigid intensions of the 2nd order terms are chosen from among members of a conceptual domain of the 2nd order, which is the set of all functions from the set of worlds to the union of all 2nd order preselected domains such that values of these functions at a given world belong to a preselected domain connected with this world. (shrink)

A‐theorists of time postulate a deep distinction between the present, past and future. Settling on an appropriate logic for such a view is no easy matter. This Philosophy Compass article describes one of the most vexing formal problems facing A‐theorists. It is commonly thought that A‐theories can only be formally expressed in a tense logic: a logic with operators like P and F . And it seems natural to think that we live in a world where objects come to exist (...) and cease to exist as time passes. Indeed, this is typically a key component of the most prominent kind of A‐theory, presentism. But the temporary existence assumption cannot be upheld in any tense logic with a standard quantification theory. I will explain the problem and outline the philosophical and logical considerations that generate it. I will then consider two possible solutions to the problem – one that targets our logic of quantification and one that targets our assumptions about change. I survey the costs of each solution. (shrink)

We discuss O&C's probabilistic approach from a probability logical point of view. Specifically, we comment on subjective probability, the indispensability of logic, the Ramsey test, the consequence relation, human nonmonotonic reasoning, intervals, generalized quantifiers, and rational analysis.

The essays collected in this volume are all concerned with the connection between fiction and truth. This question is of utmost importance to metaphysics, philosophy of language, philosophical logic and epistemology, raising in each of these areas and at their intersections a large number of issues related to creation, existence, reference, identity, modality, belief, assertion, imagination, pretense, etc. All these topics and many more are addressed in this collection, which brings together original essays written from various points of view by (...) philosophers of diverse trends. These essays constitute major contributions to the current debates that the connection between truth and fiction continually enlivens, and give a sense of the directions in which research on this question is heading. Contributors: Fred Adams, Frederick Kroon, Robert Howell, Brendan Murday, Terence Parsons, Graham Priest, Erich Rast, Manuel Rebuschi, Marion Renauld, R.M. Sainsbury, Grant Tavinor, Alberto Voltolini. (shrink)

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically equivalent (...) statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails. (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...) to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

An elementary exercise in symbolizing an existential to universal relation reveals expressive limitations in standard first-order predicate-quantificational logic. Alternative translations of a sample some-every sentence are considered and rejected after criticism, leaving as the best choice a particular structure that demonstrably does not serve for all predicates available to the ordinary language to which the sample sentence belongs. We explain the difficulties encountered in trying to arrive at an adequate translation of the sentence in classical logic, as background to examining (...) five alternative nonclassical logics to resolve the problem. We settle finally if only provisionally in the process on a version of intensional logic that permits reference and true predication of constitutive properties to nonexistent as well as existent objects. (shrink)

Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (shrink)

The Modal Predicate Calculus gives rise to issues surrounding the Barcan formulas, their converses, and necessary existence. I examine these issues by means of the Quantified Argument Calculus, a recently developed, powerful formal logic system. Quarc is closer in syntax and logical properties to Natural Language than is the Predicate Calculus, a fact that lends additional interest to this examination, as Quarc might offer a better representation of our modal concepts. The validity of the Barcan formulas and their converses is (...) shown by Quarc to be a result of the specific incorporation of quantification in the Predicate Calculus, and not as reflecting a feature of the interaction of quantification and modality more generally. Necessary existence is shown to follow from the identification, in the Predicate Calculus on its canonical interpretation, of particular quantification, ascription of existence and the ‘there is’ construction, three constructions which are distinguished in both Quarc and Natural Language. The issues surrounding the Barcan formulas, their converses and necessary existence are thus shown to be an artefact of a specific logic system, not an essential feature of our relevant modal concepts or of formal logic. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

Provides a certain conception of the target of a theory of intentionality in terms of five properties (aboutness, non-existence, aspectuality, generality, and semantic normativity) and provides a guided tour of how different styles of theories of intentionality can meet up these requirements.

Philosophical theories of evidence have been on offer, but they are mostly evaluated in terms of all-or-none desiderata — if they fail to meet one of the desiderata, they are not a satisfactory theory. In this thesis, I aim to accomplish three missions. Firstly, I construct a new way of evaluating theories of evidence, which I call a tool-based view. Secondly, I analyse the nature of what I will call the various relevance-mediating vehicles that each theory of evidence employs. Thirdly, (...) I articulate the comparative core of evidential reasoning in the historical sciences, one which is overlooked in major theories of evidence. On the first mission, I endorse a meta-thesis of pluralism on theories of evidence, namely a tool-based view. I regard a theory of evidence as a purpose-specific and setting-sensitive tool which has its own strengths, difficulties and limitations. Among the major theories of evidence I have reviewed, I focus on Achinstein’s explanationist theory, Cartwright’s argument theory and Reiss’s inferentialist account, scrutinising and evaluating them against the purposes they set out and the scope of their applications. On the second mission, I note that there is no such thing as intrinsically ‘being evidence’. Rather, I hold that relevance-mediating vehicles configure data, materials or claims in such ways that some of them are labelled evidence. I identify the relevance-mediating vehicles that the theories of evidence employ. On the final mission, I argue that the likelihoodist account is an appropriate tool for explaining the evidential reasoning in poorly specified settings where likelihoods can be only imprecisely compared. Such settings, I believe, are typical in the historical sciences. Using the reconstruction of proto-sounds in historical linguistics as a case study, I formalise the rationale behind it by means of the law of likelihood. (shrink)