In this study we investigate the influence of reason-relation readings of indicative conditionals and ‘and’/‘but’/‘therefore’ sentences on various cognitive assessments. According to the Frege-Grice tradition, a dissociation is expected. Specifically, differences in the reason-relation reading of these sentences should affect participants’ evaluations of their acceptability but not of their truth value. In two experiments we tested this assumption by introducing a relevance manipulation into the truth-table task as well as in other tasks assessing the participants’ acceptability and probability evaluations. Across (...) the two experiments a strong dissociation was found. The reason-relation reading of all four sentences strongly affected their probability and acceptability evaluations, but hardly affected their respective truth evaluations. Implications of this result for recent work on indicative conditionals are discussed. (shrink)

The bare theory is a no-collapse version of quantum mechanics which predicts certain puzzling results for the introspective beliefs of human observers of superpositions. The bare theory can be interpreted to claim that an observer can form false beliefs about the outcome of an experiment which produces a superpositional result. It is argued that, when careful consideration is given to the observer’s belief states and their evolution, the observer does not end up with the beliefs claimed. This result leads to (...) questions about whether there can be any allure for no-collapse theories as austere as the bare theory. (shrink)

According to Frege, expressions shift their reference when they occur in indirect contexts: in “Anna believes that Plato is wise” the expression “Plato” no longer refers to Plato but to what is ordinarily its sense. Many philosophers, including Carnap, Davidson, Burge, Parsons, Kripke and Künne, believe that on Frege's view the iteration of indirect context creating operators gives rise to an infinite hierarchy of senses. While the former two take this to be problematic, the latter four welcome the hierarchy with (...) open arms. In this paper I argue that the hierarchy should be avoided and that it can be avoided. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

This article focuses on the interweaving of constructive praxis with communication inontogenesis, inphylogenesisand in biocultural niche evolution (ecogenesis), within anEvoDevoSocioframework. I begin by discussing the nature of symbolization, its evolution from communicative signaling and its elaboration into semantic systems. I distinguish between thesymbol-readyand thelanguage-readybrain, leading to a discussion of linguistic conceptualization and itsdual groundingin organism and language system. There follows an outline account of the interpenetration in the human biocultural niche-complex ofsemiosphereandtechnosphere,mediated by the evolution of the niche of infancy. Symbolization (...) (the foundation of the semiosphere) is by definition normative; the normative character of the technosphere is demonstrated by the interrelations in human development between affordance, action schema and canonical functional object schema. A model of the neuro-computational implementation of dual grounding is proposed. (shrink)

ABSTRACT There is more than one way to kill a cat. What are ways? Very little has been written about them in general, but they appear at crucial places in many philosophical discussions. Clarity over the ontology of ways could help in several areas of philosophy. After indicating where ways have been mentioned, I discuss briefly the corresponding linguistic feature, adverbs of manner, before outlining three theories: a Platonistic one making ways a complex kind of function, a Davidsonian one in (...) which ways are (mainly) properties of events, and finally the theory I prefer, a particularist one based on the concept of a higher-order trope. The latter is connected with the theory of truth-makers and avoids ontological commitment to corresponding general objects. (shrink)

The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false . In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim that the (...) slingshot argument is in fact circular and presupposes what it intends to prove. We show that this claim is untenable. Nevertheless, the language of non-Fregean logic can serve as a useful tool for representing the slingshot argument, and several versions of the slingshot argument in non-Fregean logics are presented. In particular, a new version of the slingshot argument is presented, which can be circumvented neither by an appeal to a Russellian theory of definite descriptions nor by resorting to an analogous “Russellian” theory of λ–terms. (shrink)

In this paper I reject the normative interpretation of logic and give reasons for a realistic account based on the ontological treatment of logical values.

Recently, a number of epistemologists have argued that there are no non-conceptual elements in representational content. On their view, the only sort of non-conceptual elements are components of sub-personal organic hardware that, because they enjoy no veridical role, must be construed epistemologically irrelevant. By reviewing a 35-year-old debate initiated by Dagfinn F.

H.P. Stapp has proposed a number of demonstrations of a Bell-type theorem which dispensed with an assumption of hidden variables, but relied only upon locality together with an assumption that experimenters can choose freely which of several incompatible observables to measure. In recent papers his strategy has centered upon counterfactual conditionals. Stapp’s paper in American Journal of Physics, 2004, replies to objections raised against earlier expositions of this strategy and proposes a simplified demonstration. The new demonstration is criticized, several subtleties (...) in the logic of counterfactuals are pointed out, and the proofs of J.S. Bell and his followers are advocated. (shrink)

Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is (...) considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leaking O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute the effects of U-restriction. (shrink)

A central objection to McDowell’s conceptualism about empirical content concerns the fine-grained phenomenology of experience, which supposedly entails that the actual content of experience cannot be matched in its particularity by our concepts. While McDowell himself has answered this objection in recourse to the possibility of demonstrative concepts, his reply has engendered a plethora of further objections and is widely considered inadequate. I believe that McDowell’s critics underestimate the true force of his reply because they tend to read unrecognized empiricist (...) presuppositions into his account of experience. To show this, I introduce a new hylomorphic reading of McDowell’s account of experience and argue that the objections to his reply all rest on a specific empiricist assumption, which is untenable because it conflates the form of experience with its content. Consequently, conceptualism so understood can resist all of these objections, as I attempt to show by systematizing and answering them. (shrink)

It has been noted before in the history of logic that some of Frege's logical and semantic views were anticipated in Stoicism. In particular, there seems to be a parallel between Frege's Gedanke (thought) and Stoic lekton; and the distinction between complete and incomplete lekta has an equivalent in Frege's logic. However, nobody has so far claimed that Frege was actually influenced by Stoic logic; and there has until now been no indication of such a causal connection. In this essay, (...) we attempt, for the first time, to provide detailed evidence for the existence of this connection. In the course of our argumentation, further analogies between the positions of Frege and the Stoics will be revealed. The classical philologist Rudolf Hirzel will be brought into play as the one who links Frege with Stoicism. The renowned expert on Stoic philosophy was Frege's tenant and lived in the same house as the logician for many years. In der Geschichte der Logik ist häufig bemerkt worden, dass einige der logischen und semantischen Auffassungen Freges in der Stoa antizipiert worden sind. Genannt wurden insbesondere die Parallelen zwischen dem Fregeschen Gedanken und dem stoischen Lekton sowie die Unterscheidung zwischen vollständigen und unvollständigen Lekta, die bei Frege ihre Entsprechung hat. Ein Wirkungszusammenhang ist allerdings nicht behauptet worden. Dazu gab es bislang auch keinen Anlass. Der vorliegende Beitrag versucht erstmalig, einen detaillierten Indizienbeweis für das Bestehen eines solchen Zusammenhangs vorzulegen. Dabei werden weitere charakteristische Übereinstimmungen zwischen Frege und der Stoa aufgewiesen. Als Mittelsmann wird der Altphilologe Rudolf Hirzel vorgestellt. Er wohnte lange Jahre als Mieter zusammen mit Frege im selben Haus und war ein anerkannter Experte der stoischen Philosophie. (shrink)

This paper develops a criterion for sameness of Fregean senses. I consider three criteria: logical equivalence, intensional isomorphism, and epistemic equipollence. I reject the first two and argue for a version of the third.

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (shrink)

Saul Kripke in his revolutionary and influential series of lectures from the early 1970s (later published as the book Naming and Necessity) famously resurrected John Stuart Mill's theory of proper names. Kripke at the same time rejected Mill's theory of general terms. According to Kripke, many natural kind terms do not fit Mill's account of general terms and are closer to proper names. Unfortunately, Kripke and his followers ignored key passages in Mill's A System of Logic in which Mill enunciates (...) a sophisticated and detailed theory of natural kind terms that anticipates and is in some ways superior to Kripke's. (shrink)

Kaplan claims in Demonstratives that no operator may manipulate the context of evaluation of natural language indexicals. We show that this is not so. In fact, attitude reports always manipulate a context parameter (or, rather, a context variable). This is shown by (i) the existence of De Se readings of attitude reports in English (which Kaplan has no account for), and (ii) the existence of a variety of indexicals across languages whose point of evaluation can be shifted, but only in (...) attitude reports. We develop an alternative account within an extensional framework with overt quantification over times, worlds and contexts. Various typological facts are discussed, esp. the distinction between English, Amharic and Ewe pronouns, and that between English and Russian tenses. (shrink)

In 'The Grasshopper' Suits proposes that ‘playing a game’ can be captured as an attempt to achieve a specific state of affairs (prelusory goal), using only means permitted by rules (lusory means). These rules prohibit more efficient means, and are accepted because they make the activity possible (lusory attitude). I argue these conditions are not jointly sufficient. The starting point for the argument is the idea that goals, means and attitudes can pick out their content in different ways. They can (...) involve a direct reference (‘crossing this specific finish line’), or a description that picks out something (‘crossing a line on the track after running 100 m’). I provide cases in which one’s attitudes, accepted goals or accepted means pick out their content by a description such that the person does not play a game, even if Suits’s conditions are satisfied. I show that this demands an epistemic condition for playing a game that also applies to commitment based accounts. Finally, I discuss what such an epistemic condition could be. I argue that the condition does not require personal knowledge of all goals and means, but merely enough epistemic access that the goal and permissible means can guide one’s behavior safely enough. This might be satisfied by social extensions, such as access to tools (e.g. a rulebook) or other people (e.g. referees). (shrink)

Why did Frege offer only proper names as examples of presupposition triggers? Some scholars claim that Frege simply did not care about the full range of presuppositional phenomena. This paper argues, in contrast, that he had good reasons for employing an extremely narrow notion of ‘Voraussetzung’. On Frege’s view, many devices that are now construed as presupposition triggers either express several thoughts at once or merely ‘illuminate’ a thought in a particular way. Fregean presuppositions, in contrast, are essentially tied to (...) names. (shrink)

Many scholars claim that Frege's theory of colouring is committed to a radical form of subjectivism or emotivism. Some other scholars claim that Frege's concept of colouring is a precursor to Grice's notion of conventional implicature. I argue that both of these claims are mistaken. Finally, I propose a taxonomy of Fregean colourings: for Frege, there are purely aesthetic colourings, communicative colourings or hints, non-communicative colourings.

Quite a few scholars claim that many implicata are propositions about the speaker's epistemic or doxastic states. I argue, on the contrary, that implicata are generally non-epistemic. Some alleged cases of epistemic implicature are not implicatures in the first place because they do not meet Grice's non-triviality requirement, and epistemic implicata in general would infringe on the maxim of quantity. Epistemic implicatures ought to be construed as members of a larger family of implicature-like phenomena.

This paper is partly exegetical, partly systematic. I argue that Frege's account of what he called “colouring” contains some important insights on how communication is related to mental states such as mental images or emotions. I also show that the Fregean perspective is supported by current research in psycholinguistics and that a full understanding of some linguistic phenomena that scholars have accounted for in terms of either semantics or pragmatics need involve psycholinguistic elements.

Some use the need to explain communication, agreement, and disagreement to argue for two-dimensional conceptions of belief content. One prominent defender of an account of this sort is David Chalmers. Chalmers claims that beliefs have two kinds of content. The second dimension of belief content, which is tied to what beliefs pick out in the actual world, is supposed to help explain communication, agreement, and disagreement. I argue that it does not. Since the need to explain these phenomena is the (...) main stated motivation for the addition of the second dimension of belief content, my arguments also undermine the motivation for Chalmers’ two-dimensional account of belief content and theories like it. (shrink)

What, exactly, is the difference between words such as ‘dead’ and ‘deceased’? In this paper, I argue that such differences in register, or style, ought to be construed as genuine differences in non-truth-conditional meaning. I also show that register cannot plausibly accounted for in terms of either presupposition or conventional implicature. Register is, rather, an instance of what I call pure use-conditional meaning. In the case of register, a difference in meaning does not correspond to a difference in the contents (...) speakers intend to convey. (shrink)

A detailed interpretation is provided of the ‘Gray's Elegy’ passage in Russell's ‘On Denoting’. The passage is suffciently obscure that its principal lessons have been independently rediscovered. Russell attempts to demonstrate that the thesis that definite descriptions are singular terms is untenable. The thesis demands a distinction be drawn between content and designation, but the attempt to form a proposition directly about the content (as by using an appropriate form of quotation) inevitably results in a proposition about the thing designated (...) instead of the content expressed. In light of this collapse, argues Russell, the thesis that definite descriptions are singular terms must accept that all propositions about a description's content represent it by means of a higher-level descriptive content, so that knowledge of a description's content is always ‘by description’, not ‘by acquaintance’. This, according to Russell, renders our cognitive grip on definite descriptions inexplicable. Separate responses on behalf of Fregeans and Millians are offered. (shrink)

A sequel to the author’s book /Frege’s Puzzle/ (1986).

This essay assesses the account of truth presented in Wiggins's 2002 paper ‘An indefinibilist cum normative view of truth and the marks of truth'. I agree with Wiggins that we should seek, not to define truth, but to elucidate it by unfolding its connections with other basic notions. However, I give reasons for preferring an elucidation based on Ramsey's account of truth to Wiggins's Tarski-inspired approach. I also cast doubt on Wiggins's thesis that convergence is a mark of truth, arguing (...) instead that a claim which is up for assessment as true or false must be one to which different speakers/hearers can attach, and know that they are attaching, the same sense. I use this principle to rule out an account of indicative conditionals, and bring some considerations to bear on the question of whether those conditionals have truth values. An appendix revisits a debate about the determinateness of distinctness. (shrink)

Should we explicate truth in terms of meaning, or meaning in terms of truth? Ramsey, Prior and Strawson all favoured the former approach: a statement is true if and only if things are as the speaker, in making the statement, states them to be; similarly, a belief is true if and only if things are as a thinker with that belief thereby believes them to be. I defend this explication of truth against a range of objections.Ramsey formalized this account of (...) truth as follows: B is true =df ∃P; in §i, I defend this formula against the late Peter Geach's objection that its right‐hand side is ill‐formed. Davidson held that Ramsey and co. had the whole matter back to front: on his view, we should explicate meaning in terms of truth, not vice versa. In §ii, I argue that Ramsey's approach opens the way to a more promising approach to semantic theorizing than Davidson's. Ramsey presents his formula as a definition of truth, apparently contradicting Tarski's theorem that truth is indefinable. In §iii, I show that the contradiction is only apparent: Tarski assumes that the Liar‐like inscription he uses to prove his theorem has a content, but Ramsey can and should reject that assumption. As I explain in §iv, versions of the Liar Paradox may be generated without making any assumptions about truth: paradox arises when the impredicativity that is found when a statement's content depends on the contents of a collection of statements to which it belongs turns pathological. Since they do not succeed in saying anything, such pathological utterances or inscriptions pose no threat to the laws of logic, when these are understood as universal principles about the ways things may be said or thought to be. There is, though, a call for rules by following which we can be sure that any conclusion deduced from true premisses is true, and hence says something. Such rules cannot be purely formal, but in §v I propose a system of them: this opens the way to the construction of deductive theories even in circumstances where producing a well‐formed formula is no guarantee of saying anything. (shrink)

This critical notice provides an overview of Harry Frankfurt’s On Inequality and assesses whether Frankfurt is right to argue that equality is merely formal and empty. I counter-argue that egalitarianism, properly tweaked and circumscribed, can be defended against Frankfurt’s repudiation. After surveying the main arguments in Frankfurt’s book, I argue that whatever plausibility the ‘doctrine of sufficiency’ defended by Frankfurt may have, it does not strike a fatal blow against egalitarianism. There is nothing in egalitarianism that forbids acceptance of the (...) moral platitude expressed in sufficientarianism's positive thesis,. Nor is there anything in egalitarianism as such that makes it impossible to recognize the banal truth that there are many important things besides equality, and that many dimensions of human affairs are improperly appraised from a relational or comparative point of view. The fact that a relational or comparative point o... (shrink)

This paper aims to show that Frege’s and Hilbert’s mutual disagreement results from different notions of Anschauung and their relation to axioms. In the first section of the paper, evidence is provided to support that Frege and Hilbert were influenced by the same developments of 19th-century geometry, in particular the work of Gauss, Plücker, and von Staudt. The second section of the paper shows that Frege and Hilbert take different approaches to deal with the problems that the developments in 19th-century (...) geometry posed for the traditional Kantian philosophy of mathematics. Frege maintains that Anschauung is a source of knowledge by which we acknowledge geometrical axioms as true. For Hilbert, in contrast, axioms provide one of several correct “pictures” of reality. Hilbert’s position is thereby deeply influenced by epistemological ideas from Hertz and Helmholtz, and, in turn, influenced the neo-Kantian Cassirer. (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.

This paper proposes an outline for a typology of the different forms that scientific objects can take in the life sciences. The first section discusses preparations (or specimens)—a form of scientific object that accompanied the development of modern biology in different guises from the seventeenth century to the present: as anatomical–morphological specimens, as microscopic cuts, and as biochemical preparations. In the second section, the characteristics of models in biology are discussed. They became prominent from the end of the nineteenth century (...) onwards. Some remarks on the role of simulations—characterising the life sciences of the turn from the twentieth to the twenty-first century—conclude the paper. -/- . (shrink)

This paper examines four arguments in support of Frege's theory of incomplete entities, the heart of his semantics and ontology. Two of these arguments are based upon Frege's contributions to the foundations of mathematics. These are shown to be question-begging. Two are based upon Frege's solution to the problem of the relation of language to thought and reality. They are metaphysical in nature and they force Frege to maintain a theory of types. The latter puts his theory of incomplete entities (...) in the paradoxical position of maintaining that it is no theory at all. Moreover, his metaphysics rules out well-known suggestions for avoiding this difficulty. (shrink)

Both Dummett and Tugendhat seem to conclude that Frege's thesis that truth values are objects which are signified by certain sentences is an assumption which was unjustified even for Frege. In this paper I wish to show that Frege's thesis was one of several assumptions which led Frege to a complex semantic theory for the first order predicate calculus which is surpassed only by Tarski's truth and satisfaction definitions. As such, this thesis receives its justification by being an essential part (...) of a theory which as far as Frege knew was an adequate semantic theory for his version of the first order predicate calculus. This justification, now, of course, would not support the view that there are these objects. The reason for this is that Tarski's truth definition gives us a way of providing a semantics for a class of sentences which properly includes the class of sentences for which Frege's semantics is adequate without the need to assume the existence of truth values as objects. (shrink)

Predictive processing framework has found wide applications in cognitive science and philosophy. It is an attractive candidate for a unified account of the mind in which perception, action, and cognition fit together in a single model. However, PP cannot claim this role if it fails to accommodate an essential part of cognition—conceptual thought. Recently, Williams argued that PP struggles to address at least two of thought’s core properties—generality and rich compositionality. In this paper, I show that neither necessarily presents a (...) problem for PP. In particular, I argue that because we do not have access to cognitive processes but only to their conscious manifestations, compositionality may be a manifest property of thought, rather than a feature of the thinking process, and result from the interplay of thinking and language. Pace Williams, both of these capacities, constituting parts of a complex and multifarious cognitive system, may be fully based on the architectural principles of PP. Under the assumption that language presents a subsystem separate from conceptual thought, I sketch out one possible way for PP to accommodate both generality and rich compositionality. (shrink)

This paper explores the connective ‘because’, based on the idea that ‘CbecauseA’ implies the acceptance/truth of the antecedentAas well as of the consequentC, and additionally that the antecedent makes a difference for the consequent. To capture this idea of difference-making a ‘relevantized’ version of the Ramsey Test for conditionals is employed that takes the antecedent to be relevant to the consequent in the following sense: a conditional is true/accepted in a state$$\sigma $$σjust in case (i) the consequent is true/accepted when$$\sigma (...) $$σis revised by the antecedentand(ii) the consequent fails to be true/accepted when$$\sigma $$σis revised by the antecedent’s negation. To extend this to a semantics for ‘because’, we add that (iii) the antecedent and (iv) the consequent are accepted/true in the state$$\sigma $$σ. We get metaphysical or doxastic interpretations of these clauses, depending on what we mean by a model and a state. We introduce several semantics known from suppositional conditionals, which we reinterpret for difference-making conditionals and ‘because’. We present a minimal logic for ‘because’ sentences and show how it can be extended in ways that parallel the hierarchy of extensions of the logic of suppositional conditionals. We establish correspondence results between axioms for ‘because’ and properties of states, and prove that the specified logics are sound with respect to the semantics. (shrink)

According to Millianism about proper names, what a proper name semantically contributes to the sentence in which it figures is simply its referent; therefore, co-referring proper names are intercheangable salva veritate and salva significatione. In their 2019 paper published in Topoi, Felappi and Santambrogio formulate a thought-provoking argument against Millianism. Their argument aims at establishing that our normal practice of translation shows that Millianism cannot be correct. I argue that Millians can successfully reply. I will address in turn two versions (...) of Felappi and Santambrogio’s argument, focusing especially on the second one, which apparently raises a more challenging problem for Millianism. Finally, I will consider two objections against my own strategy, and I will reply to them. (shrink)

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or are they definite descriptions (...) with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (shrink)

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 (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

Neurons repeatedly exposed to similar perceptual experiences fire together and wire together to form ‘meaning kernels’ of concepts. Pulvermueller argues that abstract concepts may be devoid of meaning kernels, because the perceptual experiences that construct abstract concepts are subject to great variation and share few common features. Abstract concept are therefore grounded in the brain through features that belong to ‘meaning halos’, rather than to ‘meaning kernels’.

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature (...) of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories. (shrink)