In this article, I examine the reconstruction that Peirce does on analytic/synthetic Kantian division, supported by his phenomenology, semiotic and pragmatism. The analysis of Peirce’s writings on mathematic suggests a notion of a posteriori and necessary analytical truths, that is, propositions that express one belief justified in experience, but whose generalization is valid for all the possible worlds. This was a new idea the time that Peirce formulated it, in 19th Century, and it contrasts with semantic-analytical tradition from Frege and (...) was contested by Quine in 1950’s. Peirce’s notion of analyticity is a result of his discovery of the logic of relatives, which led the philosopher to revise the deductive reasoning, dividing it into corollarial and theorematic, which in turn allow us to understand why mathematics is, simultaneously, deductive and non-trivial. (shrink)

En los últimos años, el interés por la semántica de términos ficticios ha crecido considerablemente en el marco de la tradición analítica. De forma general, es posible distinguir dos grandes tipos de propuestas semánticas: las propuestas ontológicamente comprometidas con entidades ficticias y las que evitan dicho compromiso . Entre estas últimas, se destaca la propuesta inscripcionalista de Nelson Goodman y Catherine Elgin, que constituye el eje de análisis del presente artículo. Su objetivo principal es mostrar algunas de las ventajas de (...) la propuesta inscripcionalista frente a las propuestas realistas. En la segunda sección, analizo algunas de las dificultades que conllevan las propuestas realistas y luego muestro que estas no tienen lugar en la propuesta de Goodman y Elgin. En la tercera sección, presento la propuesta inscripcionalista, centrándome en su ampliación, la noción de referencia y sus diversas modalidades, y también analizo una serie de enunciados problemáticos utilizando los modos referenciales anteriormente presentados. (shrink)

A survey of innateness in cognitive science, focusing on (1) what innateness might be, and (2) whether concepts might be innate.

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

Linguistic representations are taken by some to be representations of something, specifically of Standard Linguistic Entities, such as phonemes, clauses, noun phrases etc. This perspective takes them to be intentional. Rey (2021) further argues that the SLEs themselves are inexistent. Here I argue that linguistic representations are simply structures, abstractions of brain states, and hence not intentional, and show how they nevertheless connect to the systems that use them.

The extensions of Goodman’s ‘grue’ predicate and Kripke’s ‘quus’ are constructed from the extensions of more familiar terms via a reinterpretation that permutes assignments of reference. Since this manoeuvre is at the heart of Putnam’s model-theoretic and permutation arguments against metaphysical realism (‘Putnam’s Paradox’), both Goodman’s New Riddle of Induction and the paradox about meaning that Kripke attributes to Wittgenstein are instances of Putnam’s. Evidence cannot selectively confirm the green-hypothesis and disconfirm the grue-hypothesis, because the theory of which the green-hypothesis (...) is a part has an unintended model in which the grue-hypothesis is equally confirmed; and there are no meaning-facts that determine reference, because the objects referred to by the referring terms of any language or set of intentional mental states are permutable in a way that is consistent with the truth-values of all other sentences in that language or beliefs in that set. The upshot is that the three paradoxes need to be solved in a unified way. (shrink)

Synonymy, at its most basic, is sameness of meaning. A token-reflexive expression is an expression whose meaning assigns a referent to its tokens by relating each particular token of that particular expression to its referent. In doing so, the formulation of its meaning mentions the particular expression whose meaning it is. This seems to entail that no two token-reflexive expressions are synonymous, which would constitute a strong objection against token-reflexive semantics. In this paper, I propose and defend a notion of (...) synonymy for token-reflexive expressions that allows such expressions to be synonymous, while being a fairly conservative extension of the customary notion of synonymy. (shrink)

The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such as of (...) The Morning Star and The Evening Star (section 1). Given the second members of the pairs, the modes of presentation, it is quite natural to allow exportation everywhere. There is no need for essentialism. (One also can have non-essentialistic modal logic if one grants analyticity or the like.) (section 2). Given that the second member of the pair need only be one that is satisfied by the entity that is the first member (and need not be specificative), the method has no difficulties when one is concerned only with discriminations (and not specifications) (section 3). When this method is combined with the Frege-Carnap method of descriptions, fictional entities can be accommodated; Goodman''s unicorn-picture and the like can be brought within a Tarskian semantics; and Geach''s difficulties with intentional identity appear to be handled (section 4). Given the author''s ordered pair construals, there appears to be no additional need for notional construals; i.e., the author''s one unified method appears satisfactory for dealing with both traditionalde re (relational) andde dicto (notional) construals. The Paradox of the Knower and the like do not appear formulatable against the author''s approach. (section 5). The author also argues against the basic principles behind the Church-Langford translation argument (section 6). (shrink)

A sentence like every circle is blue might be understood in terms of individuals and their properties or in terms of a relation between groups. Relatedly, theorists can specify the contents of universally quantified sentences in first-order or second-order terms. We offer new evidence that this logical first-order vs. second-order distinction corresponds to a psychologically robust individual vs. group distinction that has behavioral repercussions. Participants were shown displays of dots and asked to evaluate sentences with each, every, or all combined (...) with a predicate. We find that participants are better at estimating how many things the predicate applied to after evaluating sentences in which universal quantification is indicated with every or all, as opposed to each. We argue that every and all are understood in second-order terms that encourage group representation, while each is understood in first-order terms that encourage individual representation. Since the sentences that participants evaluate are truth-conditionally equivalent, our results also bear on questions concerning how meanings are related to truth-conditions. (shrink)

The very idea of informative analysis gives rise to a well-known paradox. Yet a parallel puzzle, herein called the paradox of synonymy, arises for statements which do not express analyses. The paradox of synonymy has a straightforward metalinguistic solution: certain words are referring to themselves. Likewise, the paradox of analysis can be solved by recognizing that certain expressions in an analysis statement are referring to their own semantic structures.

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)

Quine claims that holism (i.e., the Quine-Duhem thesis) prevents us from defining synonymy and analyticity (section 2). In Word and Object, he dismisses a notion of synonymy which works well even if holism is true. The notion goes back to a proposal from Grice and Strawson and runs thus: R and S are synonymous iff for all sentences T we have that the logical conjunction of R and T is stimulus-synonymous to that of S and T. Whereas Grice and Strawson (...) did not attempt to defend this definition, I try to show that it indeed gives us a satisfactory account of synonymy. Contrary to Quine, the notion is tighter than stimulus-synonymy – particularly when applied to sentences with less than critical semantic mass (section 3). Now according to Quine, analyticity could be defined in terms of synonymy, if synonymy were to make sense: A sentence is analytic iff synonymous to self-conditionals. This leads us to the following notion of analyticity: S is analytic iff, for all sentences T, the logical conjunction of S and T is stimulus-synonymous to T; an analytic sentence does not change the semantic mass of any theory to which it may be conjoined (section 4). This notion is tighter than Quine's stimulus-analyticity; unlike stimulus-analyticity, it does not apply to those sentences from the very center of our theories which can be assented to come what may, even though they are not synthetic in the intuitive sense (section 5). Conclusion: We can have well-defined notions of synonymy and analyticity even if we embrace Quine's holism, naturalism, behaviorism, and radical translation. Quine's meaning skepticism is to be repudiated on Quinean grounds. (shrink)

Nelson Goodman was one of the soaring figures of twentieth century philosophy. His work radically reshaped the subject, forcing fundamental reconceptions of philosophy’s problems, ends, and means. Goodman not only contributed to diverse fields, from philosophy of language to aesthetics, from philosophy of science to mereology, his works cut across these and other fields, revealing shared features and connecting links that narrowly focused philosophers overlook. That the author of The Structure of Appearance also wrote Languages of Art is not in (...) the end surprising. (shrink)

I explore three points about the relationship between C.I. Lewis’s conceptual pragmatism and W.V. Quine’s naturalized epistemology inspired by Robert Sinclair’s Quine, Conceptual Pragmatism, and the Analytic-Synthetic Distinction. First, I highlight Lewis’s long-standing commitment to Platonism about meaning and its connection to his reflective philosophical method and rejection of a linguistic account of analyticity. Second, I consider Sinclair’s claim that “Lewis’s epistemology provides no indication concerning how, despite different sensory experiences, we still come to agree on what we are talking (...) about and what counts as evidence” (2022, 113). I find more hints, especially in Lewis’s account of how we verify that two people share meaning in common. However, some of the pragmatic and broadly empirical factors Lewis appeals to are not part of Quine’s naturalized epistemology. Finally, I relate these points to Quine’s (1953/1980) claim to advance a more “thorough pragmatism” than Lewis. Quine does not say much about action, value, and ethics, but these are central parts of Lewis’s conceptual pragmatism and a source of his reluctance to abandon those parts of his epistemology that Sinclair argues Quine found dispensable. (shrink)

This essay argues that post-analytic philosophy finds its origins not only in an invented tradition—that of ‘analytic philosophy’—but also in an invented dilemma: namely, the response to the allegedly overweening dominance of ‘positivism’ in American philosophy. I begin by surveying the problems with the folk wisdom about positivism and analytic philosophy. This pervasive narrative locates the emergence of post-analytic philosophy after a period of hegemony for logical positivism and cognate philosophical subfields. Taking seriously evidence indicating a distinct overlap in the (...) construction of the analytic and post-analytic traditions, I return to the founding moment of American analytic philosophy in the years immediately following World War II. What we see, I suggest, is not a reaction against a clearly defined and powerful logical positivist mainstream, but the careful, piecewise co-ordination of what would become characteristic ‘analytic’ modes of argument, problematics, and tool kits. Willard Van Orman Quine played a central role in this process, and for this reason I focus on the circumstances in which his field-defining 1951 article, ‘Two Dogmas of Empiricism’ was written and received. I conclude with the claim that both analytic and post-analytic philosophers relied on a peculiar image of the failure of logical positivism, and of the opportunities that failure presented. (shrink)

To understand a term or other symbol, I argue that it is generally neither necessary nor sufficient to assign it a unique determinate reference. Independent of and prior to investigation, it is frequently indeterminate not only whether a sentence is true, but also what its truth conditions are. Nelson Goodman's discussions of likeness of meaning are deployed to explain how this can be so.

This paper (in Finnish) concerns the ontological status of categories of entities. I argue that categories are not be considered as further entities. Rather, it is suffcient for entities belonging to the same category that they are in exactly the same formal ontological relations and have the same general category features.

There is a relatively recent trend in treating negation as a modal operator. One such reason is that doing so provides a uniform semantics for the negations of a wide variety of logics and arguably speaks to a longstanding challenge of Quine put to non-classical logics. One might be tempted to draw the conclusion that negation is a modal operator, a claim Francesco Berto, 761–793, 2015) defends at length in a recent paper. According to one such modal account, the negation (...) of a sentence is true at a world x just in case all the worlds at which the sentence is true are incompatible with x. Incompatibility is taken to be the key notion in the account, and what minimal properties a negation has comes down to which minimal conditions incompatibility satisfies. Our aims in this paper are twofold. First, we wish to point out problems for the modal account that make us question its tenability on a fundamental level. Second, in its place we propose an alternative, non-modal, account of negation as a contradictory-forming operator that we argue is superior to, and more natural than, the modal account. (shrink)

Nelson Goodman's proposal for a reconception of meaning consists in replacing the absolute notion ofsameness of meaning by that oflikeness of meaning (with respect to pertinent contexts). According to this view, synonymy is a matter of degree (of interreplaceability) with identity of expression as a limiting case. Goodman's demonstration that no two expressions are exactly alike in meaning is shown to be unsuccessful. Although it does not make use of quotational contexts for the test of interreplaceability, it is tantamount to (...) their acceptance. Goodman rejects quotational contexts; I argue that they should be accepted. This move offers two advantages.Firstly, and mainly, it allows interlinguistic comparison of meaning, something that has not been deemed possible in the received version of Goodman's account.Secondly, it restores the full scale of likeness of meaning damaged by the renunciation of those contexts that guarantee difference in meaning for diverse expressions. (shrink)

Resumen:En este artículo delineamos una propuesta para elaborar una lógica de las ficciones desde el enfoque lúdico del pragmatismo dialógico. En efecto, centrados en una de las críticas mayores al enfoque clásico de la lógica: la esquizofrenia estructural de su semántica (Lambert 2004: 142-143; 160), recorremos los compromisos ontológicos de las dos tradiciones mayores de la lógica (Aristóteles y Frege) para establecer sus posibilidades y límites en el análisis del discurso ficcional, y la superación desde una perspectiva lúdico pragmática.Palabras clave: (...) lógica; dialógica; cuadro de oposición; esquizofrenia; semántica lúdica; cuantificador existencial; nombres propios; intuicionismo; tercero excluido; doble negación; ficciones. (shrink)

Nelson Goodman claims to have given us a criterion for likeness of meaning that is more stringent than simple coextensiveness and yet that avoids the familiar extentionalist objections. The notion of a nominal compound plays a key role in his account. I show that Goodman's comments concerning this notion are inadequate, that his comments concerning expressions like unicorn-picture are subject to two serious objections: they don't support his claims about likeness of meaning and they make English an unlearnable language.

We investigate synonymy in the strong sense of content identity. This notion is central in the philosophy of language and in applications of logic. We motivate, uniformly axiomatize, and characterize several “benchmark” notions of synonymy in the messy class of all possible notions of synonymy. This class is divided by two intuitive principles that are governed by a no-go result. We use the notion of a scenario to get a logic of synonymy which is the canonical representative of one division. (...) In the other division, the so-called conceptivist logics, we find, e.g., the well-known system of analytic containment. We axiomatize four logics of synonymy extending AC, relate them semantically and proof-theoretically to SF, and characterize them in terms of weak/strong subject matter preservation and weak/strong logical equivalence. This yields ways out of the no-go result and novel arguments—independent of a particular semantic framework—for each notion of synonymy discussed. This points to pluralism about meaning and a certain non-compositionality of truth in logic programs and neural networks. And it unveils an impossibility for synonymy: if it is to preserve subject matter, then either conjunction and disjunction lose an essential property or a very weak absorption law is violated. (shrink)