- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Meaning and Necessity: A Study in Semantics and Modal Logic
Chicago, IL, USA: University of Chicago Press (1947)
Add citations
You must login to add citations.
|
|
|
This paper aims to address the relevance of the natural sciences for transcendental phenomenology, that is, the issue of naturalism. The first section distinguishes three varieties of naturalism and corresponding forms of naturalization: an ontological one, a methodological one, and an epistemological one. In light of these distinctions, in the second section, I examine the main projects aiming to “naturalize phenomenology”: neurophenomenology, front-loaded phenomenology, and formalized approaches to phenomenology. The third section then considers the commitments of Husserl’s transcendental phenomenology with (...) |
|
|
Did the pragmatic turn encompass the linguistic turn in the history of philosophy? Or was the linguistic turn a turn away from pragmatism? Some commentators identify the so-called “eclipse” of pragmatism by analytic philosophy, especially during the Cold War era, as a turn away from pragmatist thinking. However, the historical evidence suggests that this narrative is little more than a myth. Pragmatism persisted, transforming into a more analytic variety under the influence of Quine and Putnam and, more recently, a continental (...) |
|
|
ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) |
|
|
Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the interpretation is kept (...) |
|
|
David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) |
|
|
This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines. |
|
|
Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circumvented by regarding Church’s and Turing’s theses as explications. This move opens up the possibility that (...) |
|
|
The point of this paper is to bring together three topics: non-existent objects, mereology, and nothing. There are important inter-connections, which it is my aim to spell out, in the service of an account of the last of these. |
|
|
This paper criticizes genetic naturalism, namely, the task of explaining how reason emerges from nature. We take into account Donald Davidson’s anomalous monism and his analogy of triangulation. Our aim is to criticize both the metaphysical suppositions of anomalous monism and its consequences for genetic naturalism. We propose that those suppositions and those consequences prevent the genetic question to be appropriately raised and, therefore, mislead the research for a reasonable answer to that. |
|
|
A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and adding an (...) |
|
|
|
|
|
Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) |
|
|
|
|
|
SummaryHempel's Deductive‐Nomological model of explanation is compared to Sellars' brand of essentialism. The source of their differences is shown to lie in their views on the explanatory role of inductively based generalizations. An adequate explanation requires a reasoned account of why an empirical generalization fails. On Sellars' view this entails concentrating on the nature of the things whose behavior is in question. We thereby remove ourselves from the misleading positivist methodology in which one counterinstance renders a generalization uninteresting. It is (...) |
|
|
Many concepts are inadequate for serious inquiry, so theorists often seek to engineer new concepts. The method of explication, which involves replacing concepts with more fruitful alternatives, is a model of this process. In this paper, I develop an account of fruitfulness, the Relevant-Goals Account of Fruitfulness. The account is in the spirit of extant proposals, but develops and extends them in important ways. In particular, while it applies to explications in general, the account allows us to derive substantive details (...) |
|
|
In the course of theorising, it can be appropriate to replace one concept—a folk concept, or one drawn from an earlier stage of theorising—with a more precise counterpart. The best-known account of concept replacement is Rudolf Carnap’s ‘explication’. P.F. Strawson famously critiqued explication as a method in philosophy. As the critique is standardly construed, it amounts to the objection that explication is ‘irrelevant’, fails to be ‘illuminating’, or simply ‘changes the subject’. In this paper, I argue that this is an (...) |
|
|
Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) |
|
|
The phenomenon of quantification into attitude ascriptions has haunted broadly Fregean views, according to which co-referential proper names are not always substitutable salva veritate in attitude ascriptions. Opponents of Fregeanism argue that a belief ascription containing a proper name such as ‘Michael believes that Lindsay is charitable’ is equivalent to a quantified sentence such as ‘there is someone such that Michael believes that she is charitable, and that person is Lindsay’. They conclude that the semantic contribution of a name such (...) |
|
|
Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...) |
|
|
Russell's notion of an incomplete symbol has become a standard against which philosophers compare their views on the relationship between language and the world. But Russell's exact characterization of incomplete symbols and the role they play in his philosophy are still disputed. In this paper, I trace the development of the notion of an incomplete symbol in Russell's philosophy. I suggest – against Kaplan, Evans, and others – that Russell's many characterizations of the notion of an incomplete symbol are compatible. (...) |
|
|
In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...) |
|
|
|
|
|
Kant''s claim that the justification of transcendental philosophy is a priori is puzzling because it should be consistent with (1) his general restriction on the justification of knowledge, that intuitions must play a role in the justification of all nondegenerate knowledge, with (2) the implausibility of a priori intuitions being the only ones on which transcendental philosophy is founded, and with (3) his professed view that transcendental philosophy is not analytic. I argue that this puzzle can be solved, that according (...) |
|
|
The perennial question – What is meaning? – receives many answers. In this paper I present and discuss inferentialism – a recent approach to semantics based on the thesis that to have ( such and such ) a meaning is to be governed by ( such and such ) a cluster of inferential rules . I point out that this thesis presupposes that looking for meaning requires seeing language as a social institution (rather than, say, a psychological reality). I also (...) |
|
|
One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) |
|
|
In this essay I will consider two theses that are associated with Frege,and will investigate the extent to which Frege really believed them.Much of what I have to say will come as no surprise to scholars of thehistorical Frege. But Frege is not only a historical figure; he alsooccupies a site on the philosophical landscape that has allowed hisdoctrines to seep into the subconscious water table. And scholars in a widevariety of different scholarly establishments then sip from thesedoctrines. I believe (...) |
|
|
This paper shows how Peirce's semeiotic could be turned into a powerful science. The New Science of Semiotics provides not only a new paradigm and an empirical justification for all these applications, but also a rational and systematic procedure for carrying them out as well. Thus the New Science of Semiotics transforms the philosophy of law into the science of legal scholarship, the discipline that I call jurisology. |
|
|
|
|
|
|
|
|
According to two-dimensional semantics, primary intension and secondary intension can play the role of reflecting the cognitive aspect of an expression like Fregean sense does. The aim of this paper is to argue that this role is likely a myth. To argue for this, I attempt to show that cognitive aspects of fictional names cannot be explained within the framework of two-dimensional semantics. To be more specific, I consider four ontological theories about fictional characters that two-dimensional semanticists might be tempted (...) |
|
|
In this paper I revisit R. M. Martin’s logic of belief. As with much of Martin’s work, his formal studies into belief and belief reports have gone largely unnoticed. However, in my article I suggest reasons for thinking that these studies warrant revisiting. One reason is that Martin adopted an account of the notion of belief which was more comprehensive than that employed by most rival theorists. Another reason is that Martin couched his theory in a formal pragmatics which utilised (...) |
|
|
Le nominalisme est « le refus d'admettre toute entité autre qu'indivi-duelle ». II doit, pour justifier la simplicité de son ontologie, proposer une théorie de laconnaissance et une théorie sémantique qui ne présupposent ni l'une ni l'autre l'existence réelle des univer-saux. Certaines des voies qui s'ouvrent à cette entreprise délicate ont été systématiquement explorées vers la fin du Moyen Age et il y a tout à parier que, malgré les ruptures épistémologiques, les révolutions scientifiques et autres changements d'epistémè, les nominalistes (...) |
|
|
On what seems to be the best interpretation, what Quine calls 'the problem of synonymy' in Two Dogmas is the problem of approximating the extension of our pretheoretic concept of synonymy by clear and respectable means. Quine thereby identified a problem which he himself did not think had any solution, and so far he has not been proven wrong. Some difficulties for providing a solution are discussed in this paper. |
|
|
It is often assumed that there is a close connection between Quine's criticism of the analytic/synthetic distinction, in 'Two dogmas of empiricism' and onwards, and his thesis of the indeterminacy of translation, in Word and Object and onwards. Often, the claim that the distinction is unsound (in some way or other) is taken to follow from the indeterminacy thesis, and sometimes the indeterminacy thesis is supported by such a claim. However, a careful scrutiny of the indeterminacy thesis as stated by (...) |
|
|
Ordinary semantic compositionality (meaning of whole determined from meanings of parts plus composition) can serve to explain how a hearer manages to assign an appropriate meaning to a new sentence. But it does not serve to explain how the speaker manages to find an appropriate sentence for expressing a new thought. For this we would need a principle of inverse compositionality, by which the expression of a complex content is determined by the expressions of it parts and the mode of (...) |
|
|
This is the first part of a two-part article on semantic compositionality, that is, the principle that the meaning of a complex expression is determined by the meanings of its parts and the way they are put together. Here we provide a brief historical background, a formal framework for syntax and semantics, precise definitions, and a survey of variants of compositionality. Stronger and weaker forms are distinguished, as well as generalized forms that cover extra-linguistic context dependence as well as linguistic (...) |
|
|
My primary goal in this paper is to focus attention on a certain conception of internal access, on the Cartesian conception that a rational subject's capacity to determine sameness and difference in explicit propositional attitudes is independent of knowledge of the external world. This conception of introspection plays a crucial, if unacknowledged, role in numerous arguments and theoretical positions. In particular, it plays a large role in motivating psychological internalism. I argue in favor of rejecting this epistemology and the internalism (...) |
|
|
We all learn about the mistake of treating ‘nothing’ as if it were a term standing for something; but is it a mistake to treat it as an empty term, denoting nothing? We argue not, and we introduce ‘zilch’, defined as ‘the non-self-identical thing’, as a term which is empty as a matter of logical necessity. We contrast its behaviour with that of the quantifier ‘nothing’, and illustrate its uses. We use the same idea to vindicate Locke’s, Descartes’ and Hume’s (...) |
|
|
According to quotational theory, indirect ascriptions of propositional attitudes should be analyzed as direct ascriptions of attitudes towards natural-language sentences specified by quotations. A famous objection to this theory is Church's translation argument. In the literature several objections to the translation argument have been raised, which in this paper are shown to be unsuccessful. This paper offers a new objection. We argue against Church's presupposition that quoted expressions, since they are mentioned, cannot be translated. In many contexts quoted expressions are (...) |
|
|
|
|
|
According to linguistic conventionalism, necessities are to be explained in terms of the conventionally adopted rules that govern the use of linguistic expressions. A number of influential arguments against this view concerns the ‘Truth-Contrast Thesis’. This is the claim that necessary truths are fundamentally different from contingent ones since they are not made true by ‘the facts’. Instead, they are supposed to be something like ‘true in virtue of meaning’. This thesis is widely held to be a core commitment of (...) |
|
|
|
|
|
Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative. |
|
|
The increasingly pluralistic character of modern societies has led to questions, not only about the proper use of ethnic-group terms, but also about the correct semantic analysis of them. Here I argue that ethnic-group terms are analogous to other linguistic expressions whose extension is fixed in the way suggested by a causal theory of reference. My view accommodates precisely those scenarios of communication involving ethnic-group terms that will be seen puzzling to Fregeans. At the same time, it undermines the plausibility (...) |
|
|
Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...) |
|
|
|
|
|
The question of what truths are necessary in the broadest possible sense is a difficult one to answer, as is the question of what the limits are to what is possible. (Most people would see these two questions as different sides of the same coin, of course, since many think the question of what is possible is just the question of what is not necessarily ruled out). We have three general sorts of strategies for determining whether something is necessary (or (...) |
|
|
|
|
|
This essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former. |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-8fb5884b9-srv9n uwo