The problem of the unity of the proposition—what distinguishes a proposition from a mere list of constituents, so that the former is able to say something while the latter is not?—is as old as philosophy. It is evoked at the end of Plato’s Sophist, where the Stranger affirms that when one makes a statement “he does not merely give names, but he reaches a conclusion by combining verbs with nouns” ; and it is discussed by Aristotle in De Interpretatione, where (...) it is said that since “falsity and truth have to do with combination and separation”, then “the first single statementmaking sentence is the affirmation, next is the negation” ; but “every statement-making.. (shrink)

In the earliest phase of his logical investigations, Peirce adopts Mill's doctrine of real Kinds as discussed in the System of Logic and adapts it to the logical conceptions he was then developing. In Peirce's definition of natural class, a crucial role is played by the notion of information: a natural class is a class of which some non-analytical proposition is true. In Peirce's hands, Mill's distinction between connotative and non-connotative terms becomes a distinction between symbolic and informative and pseudo-symbolic (...) and non-informative forms of representation. A symbol is for Peirce a representation which has information. Just as for Mill all names of Kind connote their being such, so for Peirce all symbols profess to correspond to a natural class. (shrink)

Peirce seems to maintain two incompatible theses: that a sentence is multiply analyzable into subject and predicate, and that a sentence is uniquely analyzable as a combination of rhemata of first intention and rhemata of second intention. In this paper it is argued that the incompatibility disappears as soon as we distinguish, following Dummett’s work on Frege, two distinct notions of analysis: ‘analysis’ proper, whose purpose is to display the manner in which the sense of a sentence is determined by (...) the senses of its constituent parts, and ‘decomposition’, which is the process of dividing a sentence into a predicate and a subject, and whose purpose is to both to explain how quantified sentences are constructed and to evidence a pattern within a sentence which it shares with other sentences. (shrink)

It is often claimed that scientists can obtain new knowledge about nature by running computer simulations. How is this possible? I answer this question by arguing that computer simulations are arguments. This view parallels Norton’s argument view about thought experiments. I show that computer simulations can be reconstructed as arguments that fully capture the epistemic power of the simulations. Assuming the extended mind hypothesis, I furthermore argue that running the computer simulation is to execute the reconstructing argument. I discuss some (...) objections and reject the view that computer simulations produce knowledge because they are experiments. I conclude by comparing thought experiments and computer simulations, assuming that both are arguments. (shrink)

In this paper it is shown how a partial semantics for presuppositions can be given which is empirically more satisfactory than its predecessors, and how this semantics can be integrated with a technically sound, compositional grammar in the Montagovian fashion. Additionally, it is argued that the classical objection to partial accounts of presupposition projection, namely that they lack “flexibility,” is based on a misconception. Partial logics can give rise to flexible predictions without postulating any ad hoc ambiguities. Finally, it is (...) shown how the partial foundation can be combined with a dynamic system of common-ground maintenance to account for accommodation. (shrink)

According to the standard opinions in the literature, blocking the unacceptable consequences of the notorious slingshot argument requires imposing constraints on the metaphysics of facts or on theories of definite descriptions (or class abstracts). This paper argues that both of these well-known strategies to rebut the slingshot overshoot the mark. The slingshot, first and foremost, raises the question as to the adequate logical formalization of statements about facts, i.e. of factual contexts. It will be shown that a rigorous application of (...) Quine’s maxim of shallow analysis to formalizations of factual contexts paves the way for an account of formalizing such contexts which blocks the slingshot without ramifications for theories of facts or definite descriptions. (shrink)

This paper argues that proper names may have literal non-referential truth-conditional values, thereby undermining the notion of semantic reference.

A widely accepted thesis in the philosophy of language is that natural language proper names are rigid designators, and that they are so de jure, or as a matter of the “semantic rules of the language.” This paper questions this claim, arguing that rigidity cannot be plausibly construed as a property of name types and that the alternative, rigidity construed as a property of tokens, means that they cannot be considered rigid de jure; rigidity in this case must be viewed (...) as a pragmatic and not a semantic property. (shrink)

This paper provides an interpretation and evaluation of Spinoza's highly original version of the ontological proof in terms of the concept of substance instead of the concept of perfection in the first book of his Ethics. Taking the lead from Kant'€™s critique of ontological arguments in the Critique of Pure Reason, the paper explores the underlying ontological and epistemological presuppositions of Spinoza'€™s proof. The main topics of consideration are the nature of Spinoza's definitions, the way he conceives of the relation (...) between a substance and its essence, and his conception of existence. Once clarity is shed upon these fundamental issues, it becomes possible to address the proof in its own terms. It is then easy to see that Kant's objections miss their target and that the same is true of those advanced by another of the ontological argument'€™s most famous critics, Bertrand Russell. Finally, several interpretations of Spinoza'€™s proof are proposed and critically evaluated; on all of them, the argument turns out to be either invalid or question-begging. (shrink)

In this paper, we present some experimental findings whose best explanation, first of all, provides a positive answer to a philosophical question in ontology as to whether, in the overall domain of beings, there are fictional characters (_ficta_) over and above concrete individuals. Moreover, since such findings arise out of different comparisons between fictional characters and concrete individuals on the one hand and fictional characters again and non-items that do not belong at all to such an overall domain on the (...) other hand, they also suggest that _ficta_ are allowed as inhabiting a particular subrealm of that domain distinct from the one inhabited by concrete individuals, as previous findings in cognitive psychology had suggested. (shrink)

In this paper I defend the “Standard View” of the semantics of ‘I’—according to which ‘I’ is a pure, automatic indexical—from a challenge posed by “deferred reference” cases, in which occurrences of ‘I’ are (allegedly) not speaker-referential, and thus non-automatic. In reply, I offer an alternative account of the cases in question, which I call the “Description Analysis” (DA). According to DA, seemingly deferred-referential occurrences of the first person pronoun are interpreted as constituents of a definite description, whose operator scopes (...) over an open sentence Rxy—where R is a contextually selected relation ranging over pairs of people and objects. The role of intentions is thus limited to the determination of R, which is posterior to the fixation of the reference of ‘I’. In support of the DA I present evidence that, in the cases in question, the (Determiner) phrase containing ‘I’ behaves in relevant ways like a description. I show that the DA can account for the problematic examples, while preserving the simplicity of the standard semantics of ‘I’. Finally, I examine a rival account of the data, offered by Nunberg (Linguist Philos 16:1–43, 1993), and argue for the superiority of the DA. (shrink)

Departing from the dominant theories of Frege, Russell and Mill, Kit Fine has sketched a novel solution to Frege’s puzzle in his book Semantic Relationism. In this article, I briefly discuss the puzzle in its various forms and the attempted solutions of Frege and Russell. I then explicate the essential features of the new theory and critically appraise the mechanism suggested by Fine to solve the puzzle. I show that Semantic Relationism fails to address the concerns raised in the puzzle.

Quine’s philosophy comprises a bewildering set of views whose integrating principle is his "confirmed extensionalism". The paper offers a historical as well as an intellectual reconstruction of extensionalism. Traditional extensionalism (Boole) freed logic from Aristotelian essentialism that had inhibited the development of logic. Quine’s confirmed extensionalism is the acceptance, as a matter of course, of the validity of Frege’s criticism of [Boole’s] extensionalism. His confirmed extensionalism is a generalized version of the philosophy of science known as conventionalism. As such, it (...) places the advancement of science outside the province of science proper. It is, thus, at odds with Quine’s repeated expressions of alliance with the Popperian (hypothetico-deductive) model of science. (shrink)

Quine’s philosophy comprises a bewildering set of views whose integrating principle is his “confirmed extensionalism”. The paper offers a historical as well as an intellectual reconstruction of extensionalism. Traditional extensionalism freed logic from Aristotelian essentialism that had inhibited the development of logic. Quine’s confirmed extensionalism is the acceptance, as a matter of course, of the validity of Frege’s criticism of [Boole’s] extensionalism. His confirmed extensionalism is a generalized version of the philosophy of science known as conventionalism. As such, it places (...) the advancement of science outside the province of science proper. It is, thus, at odds with Quine’s repeated expressions of alliance with the Popperian model of science. (shrink)

Let us call dispositional monism the view that all natural properties have their identities fixed purely by their dispositional features, that is, by the patterns of stimulus and response in which they participate. DM implies that natural properties are pure powers: things whose natures are fully identified by their roles in determining the potentialities of events to cause or be caused. As pure powers, properties are meant to lack quiddities in Black's sense. A property possesses a quiddity just in case (...) its identity is fixed by something independent of the causal–nomological roles it may enter into. Paradigmatically, a categorical property is thought of as a property whose identity is fixed by a quiddity .The key question about the viability of DM as a theory of properties is how properties can be pure powers devoid of any quiddity. Bird provides an answer. According to Bird , ‘all there is to a property is a matter of second-order relations to other properties’. The second-order relation is just the relation that a disposition, its stimulus condition, and a manifestation condition bear to each other. Call this relation SR. SR is not causation or physical necessitation. The latter relations are first-order relations between concrete events. SR is a second-order relation. Its possession by properties explains why events featuring those properties can enter into certain first-order relations of causation or necessitation.Bird's thought then is this: the sense in which properties have their identities fixed purely by their causal–nomological roles is that they are relationally constituted, where the relation doing the constituting is SR. 1 This thesis of relational constitution does not imply that natural properties are themselves relations. Nothing prevents the identity …. (shrink)

All concepts, methods, and techniques of the philosophy of language arise from its conceptions of language. Conceptions of language have determined the character of the philosophy of language and the direction of its philosophical research. Various schools and currents within the philosophy of language differ from each other, mainly in the way they understand the referential character of the sign—that is, the relationship between the meaning of a word and its referential object.

We argue in favor of merely disjunctive effects, namely cases in which an event or fact, C, is not a cause of an effect, E1, and is also not a cause of a distinct effect, E2, and yet C is a cause of the disjunctive effect (E1 orE2). Disjunctive effects let us retain the additivity and the distributivity of causation. According to additivity, if C is a cause of E1 and C is a cause of E2, then C is a (...) cause of E1 and E2. According to distributivity, if C is a cause of E1 and E2, then C is a cause of E1 and C is a cause of E2. We draw an analogy between causation and intensional notions like believing, wanting, and owing, which also admit of merely disjunctive cases. We argue that both the Lewisian counterfactual account of causation (including its recent emendation by Sartorio) and the contrastive account of causation fail to properly account for this phenomenon. (shrink)

_ Source: _Volume 95, Issue 2, pp 245 - 264 In the last few decades, the interest in Brentano’s philosophical psychology, especially in his theory of judgment, has been steadily growing. What, however, has remained relatively unexplored are the modifications that have been introduced over the years into this theory by Brentano himself and by his student Anton Marty. These amendments constitute the focus of the present paper. As will be argued, only by making such changes can the weaknesses of (...) the first formulation of the theory be overcome. Moreover, as the final section of the paper attempts to show, these modifications may even trigger further steps towards what we might label a new Brentanian theory of judgment. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

In every introductory course on logic, students learn that expressions like ‘somebody’, ‘nothing’ or ‘every woman’ are not names or referring expressions, but quantifiers, and that, owing to this,...

The present paper is a continuation of a previous one by the same title, the content of which faced the issue concerning the relations of coreference and qualification in compliance with the Navya-Nyāya theoretical framework, although prompted by the Advaita-Vedānta enquiry regarding non-difference. In a complementary manner, by means of a formal analysis of equivalence, equality, and identity, this section closes the loop by assessing the extent to which non-difference, the main issue here, cannot be reduced to any of the (...) former. The following sections of this study will focus on the assessment of the eventual possibility of causation and transformation in non-difference. (shrink)

This article shows that there are square circles in the sense that there are mathematical objects that are at the same time both perfectly circular and perfectly square. The philosophical significance of this is discussed, especially in view of philosophy's widespread use of “square circle” as a typical example of an impossibility. In particular, the focus is on what the existence of square circles means for the possibility of conceptual analysis, and more generally what we can learn about the nature (...) of non-formal concepts and their use in philosophy. (shrink)

My purpose here is purely historical. It is not an attempt to resolve the question as to whether Russell did or did not countenance nonclassical logics, and if so, which nonclassical logics, and still less to demonstrate whether he himself contributed, in any manner, to the development of nonclassical logic. Rather, I want merely to explore and insofar as possible document, whether, and to what extent, if any, Russell interacted with the various, either the various candidates or their, ideas that (...) Dejnožka and others have proposed as potentially influential in Russell’s intellectual reactions to nonclassical logic or to the philosophical concepts that might contribute to his reactions to nonclassical logics. (shrink)

This paper is concerned with connections between scientific and metaphysical realism. It is not difficult to show that scientific realism, as expounded by Psillos (1999) clearly qualifies as a kind of metaphysical realism in the sense of Putnam (1980). The statement of scientific realism therefore must not only deal with underdetermination and the dynamics of scientific theories but also answer the semantic challenges to metaphysical realism. As will be argued, the common core of these challenges is the proposition that a (...) (metaphysical) realist semantics leads to semantic agnosticism in the sense that we are unable to grasp the proper meanings and referents of our linguistic expressions. Having established this, I will focus more specifically on the question of whether scientific realism—in its state-of-the-art account—has the resources to make reference to scientific concepts intelligible such that the semantic challenges can be answered. (shrink)

§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical (...) observations of the first importance.Many of the less formal philosophical contributions center around questions concerning meaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.1.1. The logistic method. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the “logistic method”. The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians and logically-oriented philosophers that they are simply taken for granted. But they deserve to be celebrated and re-emphasized, for there are philosophers who seriously underestimate and even consciously reject these techniques. (shrink)

Subjective language has attracted substantial attention in the recent literature in formal semantics and philosophy of language Subjective meaning: alternatives to relativism, De Gruyter, Berlin, pp 1–19, 2016; Lasersohn in Subjectivity and perspective in truth-theoretic semantics, Oxford University Press, Oxford, 2017; Vardomskaya in Sources of subjectivity, Ph.D. thesis, University of Chicago, IL, 2018; Zakkou in Faultless disagreement: a defense of contextualism in the realm of personal taste, Vittorio Klostermann, Frankfurt a. M., 2019b). Most current theories argue that Subjective Predicates, which (...) express matters of opinion, semantically differ from ordinary predicates, which express matters of fact. We will call this view “SP exceptionalism”. This paper addresses SP exceptionalism by scrutinizing the behavior of SPs in attitude reports, which, as we will argue, significantly constrains the space of analytical options and rules out some of the existing theories. As first noticed by Stephenson :487–525, 2007a; Towards a theory of subjective meaning, Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, 2007b), the most prominent reading of embedded SPs is one where they talk about the attitude holder’s subjective judgment. As is remarked sometimes :327–352, 2009; Pearson in J Semant 30:103–154, 2013a), this reading is not the only one: embedded SPs may also talk about someone else’s, non-local, judgment. We concentrate specifically on such cases and show that non-local judgment is possible if and only if SPs are used within a DP that is outside main predicate position and that entire DP is read de re. We demonstrate that the behavior of SPs in attitude reports does not differ from that of ordinary predicates: it follows from general constraints on intersective modification and intensional quantification Ways of scope taking, Springer, Dordrecht, pp 183–215, 1997; Musan in On the temporal interpretation of noun phrases, Garland, New York, 1997; Percus in Nat Lang Semant 8:173–229, 2000; Keshet in Good intensions: paving two roads to a theory of the de re/de dicto distinction, Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA, 2008). We argue that this unexceptional behavior of SPs in fact has unexpected consequences for SP exceptionalism. Precisely because SPs have been argued to be semantically different from ordinary predicates, not all theories correctly predict these less-studied data: some overgenerate :691–706, 2007; Sæbø 2009) and some undergenerate Proceedings of Sinn und Bedeutung, vol 11, pp 433–447, 2007; Pearson 2013a). Out of the currently available theories, only relativist accounts :643–686, 2005; MacFarlane 2014; Bylinina in J Semant 34, 291–331, 2017; Coppock in Linguist Philos 41:125–164, 2018) predict the right interpretation, and only that interpretation. We thus present a novel empirical argument for relativism, and, more generally, formulate a constraint that has to be taken into consideration by any view that advocates SP exceptionalism. (shrink)

In this paper, I argue that viewing Frege’s puzzle through a semantic lens results in the rejection of solutions to it on irrelevant grounds. As a result, I develop a solution to it that rests on a non-semantic sense of context-sensitivity. And I apply this picture to Frege’s puzzle when it arises through the use of identity statements designed to establish that distinct speakers are talking about the same thing.

When Husserl speaks of the so-called ‘transcendental reduction’ or ‘phenomenological epochē’ many believe that he is eschewing the question of truth or existence. Two reasons are given for this: First, Husserl explicitly states that when we perform the reduction, we should no longer naively ‘accept [the world] as it presents itself to me as factually existing’ (Id I §30, p. 53) and should suspend our judgement with regard to ‘the positing of its actual being’ (Id I §88, p. 182). Second, (...) Husserl seems to have no problem in referring to an ‘object’ of thought even when we refer to non-existent, hallucinatory or indeed impossible objects. This seems to suggest that he is not interested in the question whether or not there is a corresponding ‘ordinary’ object. The paper seeks to question this and will show that his inquiry never loses sight of the questions of truth and existence but rather brings them into the foreground. (shrink)

There is a strong consensus among analytic philosophers that Husserl is an internalist and that his internalism must be understood in conjunction with his methodological solipsism. This paper focuses on Husserl's early work the, Logical Investigations , and explores whether such a reading is justified. It shows that Husserl is not a methodological solipsist: He neither believes that meaning can be reduced to the individual, nor does he assign an explanatory role for meaning to the subject. Explanatory priority is assigned (...) to objects which have an intrinsic property independently of any access or attitude we may have to them. Although not a methodological solipsist, there are nonetheless internalist elements to Husserl's thought: He believes that we can think of non-existent objects and his account of indexicals and demonstratives shows that there are two kinds of meaning: one is context independent and internally individuated, the other is partly determined by context and so externally individuated. The paper leaves it open whether this is sufficient to mark Husserl out as an internalist. However, even if he were considered as such, we can be sure of one thing, namely, that his internalism would not be a species of methodological solipsism. (shrink)

The article deals with the interpretation of propositional attitudes in the framework of modal predicate logic. The first part discusses the classical puzzles arising from the interplay between propositional attitudes, quantifiers and the notion of identity. After comparing different reactions to these puzzles it argues in favor of an analysis in which evaluations of de re attitudes may vary relative to the ways of identifying objects used in the context of use. The second part of the article gives this analysis (...) a precise formalization from a model-and proof-theoretic perspective. (shrink)

The main aim in the forthcoming discussion is to contrast theistic modal realism and theistic actualist realism. Actualist realism is the dominant view among theists and presents the most serious challenge to theistic modal realism. I discuss various prominent forms of theistic actualist realism. I offer reasons for rejecting the view of metaphysical reality that actualist realism affords. I discuss theistic modal realism and show that the traditional conception of God is perfectly consistent with the metaphysics of genuine modal realism. (...) Indeed theistic modal realism is more suited to traditional theism than is any version of actualist realism. (shrink)

At first russell thought (p) that whatever a proposition is about must be a constituent of it. Then, Around 1900, He discovered denoting concepts and realized that a proposition could be about something and have only its denoting concept as constituent. However, A number of remarks that he made through the years can only be understood as inspired by (p). In particular, The arguments offered in "on denoting" against the doctrine of denotation of "principles" are grounded on (p).

The question of who exactly is responsible for an organization’s actions cannot be too carefully considered, as a clear understanding of this point is crucial from ethical, moral, managerial, and public perspectives. This article discusses how to justify a non-participant member’s responsibility for the actions of other group members, establishing collective responsibility. The article develops a novel context-depended framework that solves this problem by supplying good grounds for perceiving organizations as organic entities, which is adequate for establishing collective responsibility. I (...) suggest that to be responsible for the actions of an organization, one has to belong to that organization, even if one has not taken any part at any level in group actions. The more regular concept of causal responsibility is not applicable here since it cannot account for the responsibility of non-participant members. (shrink)

This paper introduces Richard Montague's theory of determiner phrases to the philosophically oriented readers who are familiar with Russell's traditional treatment. Determiner phrases include not only quantifier phrases in the narrow sense, such as every man, some woman, and nothing, but also DP conjunctions such as Adam and Betty and Adam or Betty, and even proper names such as Adam and Betty. Montague treats all determiner phrases as belonging to type t, i.e., the type of functions from properties of individuals (...) to truth values. This paper also introduces the simply typed lambda-calculus for the explication of Montague's theory. Two major problems with Montague's theory, one more philosophical and the other more linguistic, are discussed. (shrink)

This paper sets forth a new theory of quantifiers and term connectives, called shadow theory , which should help simplify various semantic theories of natural language by greatly reducing the need of Montagovian proper names, type-shifting, and λ-conversion. According to shadow theory, conjunctive, disjunctive, and negative noun phrases such as John and Mary , John or Mary , and not both John and Mary , as well as determiner phrases such as every man , some woman , and the boys (...) , are all of semantic type e and denote individual-like objects, called shadows — conjunctive , disjunctive , or negative shadows, such as John-and-Mary, John-or-Mary, and not-(John-and-Mary). There is no essential difference between quantification and denotation: quantification is nothing but denotation of shadows. Individuals and shadows constitute a Boolean structure. Formal language LSD (Language for Shadows with Distributivity), which takes compound terms to denote shadows, is investigated. Expansions and enrichments of LSD are also considered toward the end of the paper. (shrink)

This article argues that, in order to understand Peter Winch's view of philosophy, it is profitable to read him together with R. G. Collingwood's philosophy of history. Collingwood was both an important source for Winch and a thinker engaged in a closely parallel philosophical pursuit. Collingwood and Winch shared the view that philosophy is an effort to understand the various ways in which human beings make reality intelligible. For both, this called for rapprochement between philosophy and the humanities. Like Collingwood, (...) Winch wanted to reformulate philosophy as a form of human science. Both thinkers advanced a conception of logic where the validity of judgements, propositions, and thought are dependent on their function as instruments in human dialogue. In their treatments of logic, Winch and Collingwood were fleshing out their idea that questions concerning human meaningful behaviour also tie back to the question of what philosophical analysis is about. There is a deep connection between two main issues in both Collingwood's and Winch's writings: on the one hand, the need for ‘internal’ understanding of how human beings relate to reality, and on the other hand, their critique of the idea of logic as a self-sufficient system, external to historically embedded forms of life. At the core of their shared vision there was a comprehensive critique of metaphysical realism. (shrink)

I argue that predicativism, the view that proper names are predicates, is a viable theory of the semantics of proper names given a certain hypothesis about the grammar of definiteness. Extant versions of predicativism hold that a singular name in argument position constitutes the predicative component of a covert definite description. I show that these versions cannot accommodate semantic and typological data, specifically: syntactic and semantic disparities between bare and non-bare occurrences of such names in English, the distinctive modal rigidity (...) displayed by names, as opposed to common noun definite descriptions, and cross-linguistic data that feature seemingly distinct determiners for names in argument position. I propose that predicativism needs to embrace a view of definite marking as complex, consisting of a definite article and a bindable, familiarity-tracking constituent, which I call _index_. I show that this view is empirically motivated and typologically attested. The resulting version of predicativism can accommodate elegantly the observed semantic data when coupled with language-specific morpho-phonological generalizations. I finally address criticisms of and alternatives to my version of predicativism. (shrink)