Since the publication of The verb “be” in Ancient Greek by Charles Kahn, people have put a lot of emphasis and invested too much labor in all kinds of historico-philological analyses in order to resolve philosophical questions regarding the concept of existence in Greek thought. Useful as these analyses might be, they cannot provide us with conclusive answers to the specific philosophical questions under scrutiny, and, perhaps, it is time for us to abandon the overwhelming optimist motivating the pioneers behind (...) these attempts. I use the Sophist as a case study. I conclude that whether the Form of Being represents existence or predication cannot be settled on speculation regarding the syntax of the verb εἶναι; absolute εἶναι need not be existential in meaning, and complemented εἶναι may be existential in meaning. (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)

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)

In the explanations of logical laws and inference rules of the mature version of Begriffsschrift in Grundgesetze, Frege uses the predicate “… is the True.” Scholars like Greimann maintain that this predicate is a metalinguistic truth-predicate for Frege. This paper examines an argument for this claim that is based on the “nominal reading” of Frege’s conception of sentences—the claim that for Frege a sentence “p” is equivalent to a nonsentential phrase like “the truth-value of the thought that p.” In particular, (...) this paper attempts to establish two points concerning this argument based on the nominal reading. First, the argument implies a claim about the nature of assertion which Frege repeatedly denies in his mature works. Secondly, the nominal reading on which the argument depends is false. A sentence “p” is not equivalent to a nonsentential phrase like “the truth-value of the thought that p” for Frege. Our discussion will lead to an important lesson about Frege’s conception of sentences and of assertion. (shrink)

Cities are mysteriously attractive. The more we get used to being citizens of the world, the more we feel the need to identify ourselves with a city. Moreover, this need seems in no way distressed by the fact that the urban landscape around us changes continuously: new buildings rise, new restaurants open, new stores, new parks, new infrastructures… Cities seem to vindicate Heraclitus’s dictum: you cannot step twice into the same river; you cannot walk twice through the same city. But, (...) as with the river, we want and need to say that it is the same city we are walking through every day. It is always different, but numerically self-identical. How is that possible? What sort of mysterious thing is a city? The answer, I submit, is that cities aren’t things. They are processes. Like rivers, cities unfold in time just as they extend in space, by having different temporal parts for each time at which they exist. And walking though one part and then again through another is, literally, walking through the same whole. (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...) theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

John Hyman insists that Frege-style cases for depiction show that any sound theory of depiction must distinguish between the ‘sense’ and the ‘reference’ of a picture. I argue that this rests on a mistake. Making sense of the cases does not require the distinction.

A provision of the Hungarian constitution, adopted in 2011, has renamed the state. The name changed from the Republic of Hungary to Hungary, while the form of the state has remained “republic”. The purpose of this study is to explore the meaning, significance, and several consequences of this provision. The analysis consists of three main parts. The first one gives a general overview of the functions of the names of states. It claims that not only names but also changing or (...) modifying names of states—taking place either by name-giving or by shaping convention—can serve certain functions. The second part focuses on the historical and constitutional details of renaming the Hungarian state, and summarizes the legal context that provided the framework for the 2011 renaming. The third part outlines the arguments for the change, takes a look at the official justification and actual reasons, and reveals some of the consequences of the name change in the past decade. The main contention of the paper is that the renaming of the Hungarian state that took place in 2011 lacked any overt and reasonable justification, and is best explained as an expression of anti-republican sentiment, which indicated, and partly paved the way for the transition into a kind of an authoritarian regime. Finally, the study raises a possible interpretation of the renaming of the Hungarian state in 2011, the point of which is that it adumbrated many later changes in public law and political systems. (shrink)

I argue that common nouns should be analyzed as variables, rather than as predicates which take variables as arguments. This necessitates several unusual features to the analysis, such as allowing variables to be modally non-rigid, and assigning their values compositionally. However, treating common nouns as variables offers a variety of theoretical and empirical advantages over a more traditional analysis: It predicts the conservativity of nominal quantification, simplifies the analysis of articleless languages, derives the weak reading of sentences with donkey anaphora, (...) solves the proportion problem presented by quantifiers like ‘most’, improves the analysis of the temperature paradox, allows a more unified analysis of bare plurals, and regularizes the correspondence between syntactic categories and semantic types. (shrink)

There is a line of thought, neglected in recent philosophy, according to which a priori knowable truths such as those of logic and mathematics have their special epistemic status in virtue of a certain tight connection between their meaning and their truth. Historical associations notwithstanding, this view does not mandate any kind of problematic deflationism about meaning, modality or essence. On the contrary, we should be upfront about it being a highly debatable metaphysical idea, while nonetheless insisting that it be (...) given due consideration. From this standpoint, I suggest that the Finean distinction between essence and modality allows us to refine the view. While liberal about meaning, modality and essence, the view is not without bite: it is reasonable to suppose that it is able to ward off philosophical confusions stemming from the undue assimilation of a priori to empirical knowledge. (shrink)

In “Real Patterns” Daniel Dennett developed an argument about the reality of beliefs on the basis of an analogy with patterns and noise. Here I develop Dennett’s analogy into an argument for descriptivism, the view that belief reports do no specify belief contents but merely describe what someone believes, and show that this view is also supported by empirical evidence. No description can do justice to the richness and specificity or “noisiness” of what someone believes, and the same belief can (...) be described by different sentences or propositions (which is illustrated by Dennett’s analogy, some Gettier cases, and Frege’s puzzle), but in some contexts some of these competing descriptions are misleading or even false. Faithful (or truthful) description must be guided by a principle (or principles) related to the principle of charity: belief descriptions should not attribute irrationality to the believer or have other kinds of “deviant” implications. (shrink)

L’objectiu d’aquest article és el de defensar, per mitjà de l’exemple de l’obra de Francis Ponge, la viabilitat referencial del llenguatge poètic, supòsit tot sovint rebatut a causa d’una radicalització del tòpic de l’autoreferencialitat poètica i per un planteig en suma restringit del concepte de la referencialitat. Que un poema es constitueixi en tant que específica configuració significant, però, no hauria pas d’implicar un menyscabament de la seva capacitat de referència, perquè si la poesia és creació mitjançant el llenguatge, tot (...) allò que jutgem poètic no dimana, de fet, sinó de la mateixa idiosincràsia de l’expressió verbal. I el verb de Ponge n’és el clar exemple. (shrink)

Kant’s account of cognitive judgment is sophisticated, sound and philosophically far more illuminating than is often appreciated. Key features of Kant’s account of cognitive judgment are widely dispersed amongst various sections of the Critique of Pure Reason, whilst common philosophical proclivities have confounded these interpretive difficulties. This paper characterises Kant’s account of causal-perceptual judgment concisely to highlight one central philosophical achievement: Kant’s finding that, to understand and investigate empirical knowledge we must distinguish between predication as a grammatical form of sentences, (...) statements or judgments, and predication as a cognitive act of ascribing some characteristic to some localised particular. With Kant’s finding in view, I then elucidate how we have occluded his achievement. My results are not merely interpretive, but philosophical, because they show that Kant’s account of perceptual judgment accords with – and indeed justifies – a central and sound point regarding language, thought and reference advocated by apparently unlikely philosophical comrades. These finding highlight some methodological cautions which require re-emphasis today. (shrink)

In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than predicates (...) of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (shrink)

One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

We propose an extension of Discourse Respresentation Theory (DRT) for analyzing pictorial narratives. We test drive our PicDRT framework by analyzing the way authors represent characters’ mental states and perception in comics. Our investigation goes beyond Abusch and Rooth (2017) in handling not just free perception sequences, but also a form of apparent perspective blending somewhat reminiscent of free indirect discourse.

In the section “Validity and Existence in Logik, Book III,” I explain Lotze’s famous distinction between existence and validity in Book III of Logik. In the following section, “Lotze’s Platonism,” I put this famous distinction in the context of Lotze’s attempt to distinguish his own position from hypostatic Platonism and consider one way of drawing the distinction: the hypostatic Platonist accepts that there are propositions, whereas Lotze rejects this. In the section “Two Perspectives on Frege’s Platonism,” I argue that this (...) is an unsatisfactory way of reading Lotze’s Platonism and that the Ricketts-Reck reading of Frege is in fact the correct way of thinking about Lotze’s Platonism. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

It is argued that the slingshot argument does not soundly challenge the truth-maker correspondence theory of truth, by which at least some distinct true propositions are expected to have distinct truth- makers. Objections are presented to possible exact interpretations of the essential slingshot assumption, in which no fully acceptable reconstruction is discovered. A streamlined version of the slingshot is evaluated, in which explicit contradiction results, on the assumption that identity and nonidentity contexts are purely extensional relations, effectively establishing the intensionality (...) of identity. (shrink)

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The result (...) is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

Intentionality may be dealt with in two different ways: either ontologically, as an ordinary relation to some extraordinary objects, or epistemologically, as an extraordinary relation to some ordinary objects. This paper endorses the epistemological view in order to provide a model of semiotic intentionality defined as the meaning-and-cognizing process that constitutes to power of the mind to be about something on the basis of a semiotic system. After a short introduction that presents the components of semiotic intentionality (viz. sign, act, (...) content, referent) along with their division into an intending and a fulfilling side (Sect. 1), the first main part of the paper analyzes semiotic intentionality at its primary level (a.k.a. 'concrete intentionality') as a real and subjective relation between meaning-intending and meaning-fulfilling acts grounded in the manipulation of some semiotic system (Sect. 2). Then, building on such concrete intentionality, the second main part of the paper analyzes semiotic intentionality at its secondary level (a.k.a. 'abstract intentionality') as an ideal and objective relation between intentional and fulfillment contents, which in turn: (i) proceed from an abstraction performed on the intending and fulfilling acts, respectively, and (ii) retroactively categorize the intending and fulfilling acts, respectively (Sect. 3). Finally, from this combination of an act-based conception of content with a presentationalist account of intentionality, the conclusion of this paper produces the intended model of semiotic intentionality in such a way that knowledge and truth are then respectively defined in it as the subjective correspondence between the two acts of concrete intentionality and as the objective correspondence between the two contents of abstract intentionality (Sect. 4). (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts revealing (...) the development of his views in the forties have recently begun to be published, as well as careful philosophical studies of, for instance, the evolution of his key doctrine that mathematical and logical truth are continuous with, not divorced from, the truths of natural science. But one central text has remained unexplored: Quine's Portuguese-language book on logic, his 'farewell for now' to the discipline as he embarked on an assignment in the Navy in WWII. Anglophone philosophers have neglected this book because they could not read it. Jointly with colleagues, I have completed the first full English translation of this book. In this accompanying paper I draw out the main philosophical contributions Quine made in the book, placing them in their historical context and relating them to Quine's overall philosophical development during the period. Besides significant developments in the evolution of Quine's views on meaning and analyticity, I argue, this book is also driven by Quine's indebtedness to Russell and Whitehead, Tarski, and Frege, and contains crucial developments in his thinking on philosophy of logic and ontology. This includes early versions of some arguments from 'On What There Is', four-dimensionalism, and virtual set theory. (shrink)

In the following article I intend to examine the problem of the unity of the proposition in Russell, Frege, and Wittgenstein. My chief aim will be to draw attention to the distinction between Russell’s conception of propositional constituents, on the one hand, with Frege and Wittgenstein’s on the other. My focus will be on Russell’s view of terms as independent, propositions being built up out of these building blocks, compared with Frege and Wittgenstein’s ‘top down’ approach. Furthermore, I will argue (...) that, contra certain other commentators, Frege’s metaphor of saturation and unsaturation does not serve as a solution to the problem of unity, and that the extension of this metaphorical language to Wittgenstein is, therefore, inappropriate. (shrink)

I argue, in this thesis, that proper name reference is a wholly pragmatic phenomenon. The reference of a proper name is neither constitutive of, nor determined by, the semantic content of that name, but is determined, on an occasion of use, by pragmatic factors. The majority of views in the literature on proper name reference claim that reference is in some way determined by the semantics of the name, either because their reference simply constitutes their semantics (which generally requires a (...) very fine-grained individuation of names), or because names have an indexical-like semantics that returns a referent given certain specific contextual parameters. I discuss and criticize these views in detail, arguing, essentially, in both cases, that there can be no determinate criteria for reference determination—a claim required by both types of semantic view. I also consider a less common view on proper name reference: that it is determined wholly by speakers’ intentions. I argue that the most plausible version of this view—a strong neo-Gricean position whereby all utterance content is determined by the communicative intentions of the speaker—is implausible in light of psychological data. In the positive part of my thesis, I develop a pragmatic view of proper name reference that is influenced primarily by the work of Charles Travis. I argue that the reference of proper names can only be satisfactorily accounted for by claiming that reference occurs not at the level of word meaning, but at the pragmatic level, on an occasion of utterance. I claim that the contextual mechanisms that determine the reference of a name on an occasion are the same kinds of thing that determine the truth-values of utterances according to Travis. Thus, names are, effectively, occasion sensitive in the way that Travis claims predicates and sentences (amongst other expressions) are. Finally, I discuss how further research might address how my pragmatic view of reference affects traditional issues in the literature on names, and the consequences of the view for the semantics of names. (shrink)

In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its (...) cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L: syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science. (shrink)

There is a fundamental disagreement about which norm regulates assertion. Proponents of factive accounts argue that only true propositions are assertable, whereas proponents of non-factive accounts insist that at least some false propositions are. Puzzlingly, both views are supported by equally plausible (but apparently incompatible) linguistic data. This paper delineates an alternative solution: to understand truth as the aim of assertion, and pair this view with a non-factive rule. The resulting account is able to explain all the relevant linguistic data, (...) and finds independent support from general considerations about the differences between rules and aims. (shrink)

In this paper we focuse on how the first Heidegger changed the essential idea of phenomenology: if the terms of intentionality, pure consciousness, transcendental subject, noema and noesis radically disappear from Heidegger’s conceptuality, what does it mean exactly? Does Heidegger preserve anything from the idea of intentionality, from Husserl’s task of clarifying the aprioristic correlation between consciousness and object, and from Husserl’s relation of foundation of intentional modalities of higher level on modalities of lower level? We want here to emphasize (...) some essential changes concerning the idea of phenomenology: the holistic structure of experience, the task of clarifying the structure of transcendance as a foundation of intentionality, and the inversion of Husserl’s relation of foundation. On the contrary, we show how Husserl’s concept of sense is essentially different from that of ideal signification. (shrink)

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (shrink)

Taking a lead from Eva Picardi’s work and influence, I investigate the significance of Frege’s context principle for the philosophy of language. I argue that there are some interpretive problems with recent meta-semantic interpretations of the principle. Instead, I offer a somewhat weaker alternative: the context principle is a tool to license certain definitions. Moreover, I claim that it merely lays out one of many possible ways of licensing a definition. This means, among other things, that despite Frege’s imperative injunctions, (...) the context principle formulates a permission—not a requirement. (shrink)

It is popular to hold that emotions are evaluative. On the standard account, the evaluative character of emotion is understood in epistemic terms: emotions apprehend or make us aware of value properties. As this account is commonly elaborated, emotions are experiences with evaluative intentional content. In this paper, I am concerned with a recent alternative proposal on how emotions afford awareness of value. This proposal does not ascribe evaluative content to emotions, but instead conceives of them as evaluative at the (...) level of intentional mode or attitude. I first argue that this proposal fails to make emotions intelligible as value apprehensions. There are reasons to suppose that emotions do not apprehend value to begin with, but are related to values in a different, non-epistemic sense. I then go on to show that the notion of an evaluative intentional mode can still help elucidate the evaluative character of emotion. I argue that there is a plausible non-epistemic understanding of the view that emotions are evaluative modes. On this account, emotions are not ways of apprehending values, but ways of acknowledging values. (shrink)

The research presented in this article is motivated by the increasing importance of complex human relations in linked data, either extracted from social networks, or found in existing databases. The FOAF vocabulary, targeted in our research, plays a central role in those data, and is a model for lightweight ontologies largely used in linked data, such as the DBpedia ontology and schema-org. We provide an overview of FOAF and other approaches for describing human relations, followed by a detailed analysis and (...) critique of the FOAF Relationship Vocabulary, the most important FOAF extension. We propose an explicit formal axiomatization of this vocabulary, and an ontological analysis concerning the properties used to describe human relationships. We analyze the distribution of human relations based on their epistemological status, and define an ontoepistemic meta-property as characteristic of some of these predicates. Our analysis is generalizable to semantic modeling of social networks. Additionally, the modeling patterns used in other relevant linked data vocabularies are analyzed for comparison. (shrink)

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

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)

This dissertation is devoted to empirically contrasting the Suppositional Theory of conditionals, which holds that indicative conditionals serve the purpose of engaging in hypothetical thought, and Inferentialism, which holds that indicative conditionals express reason relations. Throughout a series of experiments, probabilistic and truth-conditional variants of Inferentialism are investigated using new stimulus materials, which manipulate previously overlooked relevance conditions. These studies are some of the first published studies to directly investigate the central claims of Inferentialism empirically. In contrast, the Suppositional Theory (...) of conditionals has an impressive track record through more than a decade of intensive testing. The evidence for the Suppositional Theory encompasses three sources. Firstly, direct investigations of the probability of indicative conditionals, which substantiate “the Equation” (P(if A, then C) = P(C|A)). Secondly, the pattern of results known as “the defective truth table” effect, which corroborates the de Finetti truth table. And thirdly, indirect evidence from the uncertain and-to-if inference task. Through four studies each of these sources of evidence are scrutinized anew under the application of novel stimulus materials that factorially combine all permutations of prior and relevance levels of two conjoined sentences. The results indicate that the Equation only holds under positive relevance (P(C|A) – P(C|¬A) > 0) for indicative conditionals. In the case of irrelevance (P(C|A) – P(C|¬A) = 0), or negative relevance (P(C|A) – P(C|¬A) < 0), the strong relationship between P(if A, then C) and P(C|A) is disrupted. This finding suggests that participants tend to view natural language conditionals as defective under irrelevance and negative relevance (Chapter 2). Furthermore, most of the participants turn out only to be probabilistically coherent above chance levels for the uncertain and-to-if inference in the positive relevance condition, when applying the Equation (Chapter 3). Finally, the results on the truth table task indicate that the de Finetti truth table is at most descriptive for about a third of the participants (Chapter 4). Conversely, strong evidence for a probabilistic implementation of Inferentialism could be obtained from assessments of P(if A, then C) across relevance levels (Chapter 2) and the participants’ performance on the uncertain-and-to-if inference task (Chapter 3). Yet the results from the truth table task suggest that these findings could not be extended to truth-conditional Inferentialism (Chapter 4). On the contrary, strong dissociations could be found between the presence of an effect of the reason relation reading on the probability and acceptability evaluations of indicative conditionals (and connate sentences), and the lack of an effect of the reason relation reading on the truth evaluation of the same sentences. A bird’s eye view on these surprising results is taken in the final chapter and it is discussed which perspectives these results open up for future research. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

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)

Lying and fiction both involve the deliberate production of statements that fail to obey Grice’s first Maxim of Quality (“do not say what you believe to be false”). The question thus arises if we can provide a uniform analysis for fiction and lies. In this chapter I discuss the similarities, but also some fundamental differences between lying and fiction. I argue that there’s little hope for a satisfying account within a traditional truth conditional semantic framework. Rather than immediately moving to (...) a fully pragmatic analysis involving distinct speech acts of fiction-making and lying, I will first explore how far we get with the assumption that both are simply assertions, analyzed in a Stalnakerian framework, i.e. as proposals to update the common ground. (shrink)

Susanne Langer is mainly known as the American philosopher who, starting from her famous Philosophy in a New Key, worked in aesthetics and famously saw art as the product of the human mind’s most important, distinctive and remarkable ability, i.e., the ability to symbolise. But Langer’s later consideration of the connection between art and symbol is propagated by an early interest in the logic of symbols themselves. This rather neglected early part of Langer’s thought and her early interests and lines (...) of reasoning, which she somehow abandoned later on to dedicate herself exclusively to the study of art, are the topic of this paper. (shrink)

Richard Heck, Jr has recently argued against Russellianism about proper names not in the usual way—by appeal to “intuitions” about the truth conditions of “that”-clause belief ascriptions—but by appeal to our need to specify beliefs in a way that reflects their individuation. Since beliefs are individuated by their psychological roles and not their Russellian contents, he argues, Russellianism is precluded in principle from accounting for our ability to specify beliefs in ordinary language. I argue that Heck thus makes things easier (...) for the Russellian. For by framing the issue as one concerning the specificatory powers of ordinary language in general, rather than just of “that”-clause ascriptions, Heck weakens the implications of any claim about the semantics of that one type of belief-specifying locution. I augment this diagnosis with a positive account of the specificatory usefulness, and attested commonness, of (partly or wholly) quotational belief ascriptions, e.g. “Lois believes that ‘Superman’ is at the meeting.” This proposal is not of the usual sort concerning such locutions since it does not involve the (dubious) claim that they are in some way equivalent to “that”-clause ascriptions. (shrink)

According to neo-Russellianism, in a sentence such as John believes that Mont Blanc is 4000 m high, any other proper name co-referring with Mont Blanc can be substituted for it without any change in the proposition expressed. Prima facie, our practice of translation shows that this cannot be correct. We will then show that neo-Russellians have a way out of this problem, which consists in holding that actual translations are not a matter of semantics, but also make an attempt at (...) preserving some pragmatic features of the sentences to be translated. We then turn to translations that only preserve the semantic characteristics of the sentences and we argue that, although these translations are unable to show that neo-Russellianism is incorrect, they still show that it relies on some theses that seem to have no justification, apart from saving neo-Russellianism itself. (shrink)