This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...) itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike. (shrink)

Non-factive representing is what makes room for truth and falsehood. In the ontologically central aspect of the verb it comes in two forms: allorepresenting (saying-that), and autorepresenting (taking-that). Each form relates thinkers to thinkables in its proprietary way. Autorepresenting invites a certain sort of misunderstanding. It may seem to call for enabling in a particular determinate way. Just here psychologism despite oneself may strike. Allorepresenting rests on capacities of a different sort. It relates itself, and thereby its author, to a (...) thinkable in what seems at first sight a manifestly different way than does autrorepresenting, one perhaps less likely to invite psychologism. In doing this it throws light on autorepresenting which, if rightly understood, I suggest, may undo the compulsion to psychologise this last. Armed with this tool I suggest a better picture of what autorepresenting is. (shrink)

What are the semantic representations that underlie language production? We use structural priming to distinguish between two competing theories. Thematic roles define semantic structure in terms of atomic units that specify event participants and are ordered with respect to each other through a hierarchy of roles. Event structures instead instantiate semantic structure as embedded sub‐predicates that impose an order on verbal arguments based on their relative positioning in these embeddings. Across two experiments, we found that priming for datives depended on (...) the degree of overlap in event structures. Specifically, while all dative structures showed priming, due to common syntax, there was a boost for compositional datives priming other compositional datives. Here, the two syntactic forms have distinct event structures. In contrast, there was no boost in priming for dative light verbs, where the two forms map onto a single event representation. On the thematic roles hypothesis, we would have expected a similar degree of priming for the two cases. Thus, our results support event structural approaches to semantic representation and not thematic roles. (shrink)

This article proposes a four-layer semantic structure for common nouns. Each layer matches up with a semantic entity of a certain type in Montague’s intensional semantics. It is argued that a common noun denotes a sense and a concept, which are functions. For any given context, the sense of a term determines its extensions and the concept denoted by the term specifies its intensions. Intensions are treated as sets of senses. The membership relation between a sense and an intension is (...) a soft kind and is expressed in the form of a generic sentence. Such a layered structure explains various “degrees of publicity” of a language. The result we present clarifies the confusions existing in the ordinary understanding of “sense,” “intension,” and “concept.” It also has promising applications in interpreting metaphors and revealing the relationship between generics and metaphors. (shrink)

In this presentation, I first outline three different notions of concepts: one derives from Leibniz, while the other two derive from Frege. The Leibnizian notion is the subject of his “calculus of concepts” (which is really an algebra). One notion of concept from Frege is what we would call a “property”, so that when Frege says “x falls under the concept F”, we would say “x instantiates F” or “x exemplifies F”. The other notion of concept from Frege is that (...) of the notion of sense, which played various roles within Frege's theory. This notion of concept can be generalized and, as such, accounts for our intuitive talk of “x's concept of …”, where the ellipsis can be filled in with a name for individual, a property, or a relation, etc. After outlining these three notions, I then discuss how (axiomatic) object theory offers a distinct, precise regimentation of each of the three notions. (shrink)

La raccolta di dati nella nostra era dell’”Information Technology” ha generato una rivoluzione nella conoscenza. Nell’era dei “big data”, la conseguente crescita senza precedenti dei dati, ha reso necessari cambiamenti nella scala, nella natura e nello stato dei dati, portando quindi i ricercatori ad adottare nuovi paradigmi e metodologie nella ricerca filosofica. In particolare, l’attenzione teorica della filosofia del linguaggio si è spostata verso la conoscenza cognitiva, con un’enfasi sulla proposizione particolare del “data turn” nella cognizione cognitiva nell’era dei “big (...) data”. Il paper esplora la potenziale portata della ricerca quantitativa del “data turn” nella filosofia del linguaggio, tramite l’analisi della necessità di trasformare i paradigmi della ricerca qualitativa e quantitativa, ricostruendo l’approccio quantitativo della filosofia del linguaggio ed ampliando l’analisi delle relazioni uomo-dati nella filosofia dei “big data”. Il paper conclude affermando che sono necessarie ulteriori ricerche per esaminare in modo ancor più approfondito la relazione tra linguaggio, dati e filosofia. (shrink)

This paper reminds, puts in order, sketches and also initiates some researches from the field of logic and philosophy of language. It lays emphasis on the logical-linguistic and ontological developmental lines originated with Polish researchers. The author discusses two opposite orientations of the former line in the process of formalization of language, called here nominalistic and Platonistic. The paper mentions the author's result (1989; 1991) concerning theoretical equivalence of two axiomatic approaches to language syntax which take into consideration these two (...) different philosophical orientations, respectively. It also introduces certain formal-logical foundations of language semantics, discusses and develops the problem of the syntactic and semantic categorial agreement, i.e. the agreement of the syntactic category of each language expression with the ontological category assigned to the reference of this expression. The author, in particular, gives a solution to this problem for quantifiers. (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)

The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes of tokens). The basic concepts (...) of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language. (shrink)

The paper enriches the conceptual apparatus of the theory of meaning and denotation that was presented in Part I (Section 3). This part concentrates on the notion of interpretation, which is defined as an equivalence class of the relation possessing the same manner of interpreting types. In this part, some relations between meaning and interpretation, as well as one between denotation an interpretational denotation are established. In the theory of meaning and interpretation, the notion of language communication has been formally (...) introduced and some conditions of correctness of communication have been formulated. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

This paper examines the potential for abstracting propositions – an as yet untested way of defending the realist thesis that propositions as abstract entities exist. I motivate why we should want to abstract propositions and make clear, by basing an account on the neo-Fregean programme in arithmetic, what ontological and epistemological advantages a realist can gain from this. I then raise a series of problems for the abstraction that ultimately have serious repercussions for realism about propositions in general. I first (...) identify problems about the number of entities able to be abstracted using these techniques. I then focus on how issues of language relativity result in problems akin to the Caesar problem in arithmetic by exposing circularity and modal concern over the status of the criterion of identity for propositions. (shrink)

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski's theory of truth. Philosophers do not agree on how Tarski's theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science.In this paper I argue that Tarski's chief concern was the following question. Suppose a (...) language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done? (shrink)

In Objectivity, Daston and Galison argue that scientific objectivity has a history. Objectivity emerged as a distinct nineteenth-century “epistemic virtue,” flanked in time by other epistemic virtues. The authors trace the origins of scientific objectivity by identifying changes in images from scientific atlases from different periods, but they emphasize that the same history could be narrated using different sorts of scientific objects. One could, for example, focus on the changing uses of “type specimens” in biological taxonomy. Daston :153–182, 2004) indeed (...) provides a detailed account of the history of the type specimen which purports to show this. I argue that this attempt hinges on a conceptual confusion and therefore fails. I show that the actual history of the type specimen does not reinforce the account of epistemic virtues from Objectivity, but rather threatens to subvert it. (shrink)

John Cook Wilson is increasingly recognised as an important predecessor of ordinary language philosophy. He emphasizes the authority of ordinary language in philosophical theorizing. At the same time, however, he circumscribes the limits of that authority and identifies cases in which it threatens to mislead us. My aim is to consider in detail one case where, according to Cook Wilson, ordinary language has misled philosophical theorizing. Judgement was one of the core notions of the logic, epistemology, and philosophy of mind (...) of Cook Wilson’s time. Cook Wilson rejects this notion, in the form developed by his contemporaries, in part because it is based on a problematic analogy between ordinary language and the thoughts expressed in that language. Cook Wilson’s discussion of judgement also highlights the extent to which Cook Wilson was critical of, but also responsive to, his contemporaries. In addition, variants of the language-thought analogy Cook Wilson opposes continue to feature in 21st century epistemology and philosophy of mind. Cook Wilson’s criticism of the analogy thus raises questions about recent work as well as the theories of his contemporaries. (shrink)

At the center of Gauker's book stands two inter-connected theses: First, that concepts are dependent on language; second, that this requires rejecting the traditional idea that linguistic communication involves a transmission of thoughts. I argue that we cannot afford to reject the traditional conception of communication and that Gauker's alternative ‘cooperative' conception is unsatisfactory. However, I also argue that Gauker is wrong to suggest that the language dependency thesis of concepts is incompatible with the traditional view of communication.

Psychoontology is a philosophical theory of the cognizing subject and various related matters. In this article. I present two approaches to the discipline—the first proposed by Jerzy Perzanowski, the second by Jesse Prinz and Yoram Hazony. I then undertake to bring these into unity using certain ideas from Husserl and Frege. Applying the functor qua, psychoontology can be described as a discipline concerned with: (a) the cognizing subject qua being—this leads to the question: what kind of being is the subject (...) (is it an object?, simple or complex?, a process?) and what makes him/her/it possible; (b) being qua cognized, this leads to the question: under what conditions can we access the world? Since the notion of being qua cognized might seem peculiar, I present its context and discuss it in detail in the last section. (shrink)

According to phenomenal conservatism, seemings can provide prima facie justification for beliefs. In order to fully assess phenomenal conservatism, it is important to understand the nature of seemings. Two views are that (SG) seemings are a sui generis propositional attitude, and that (D2B) seemings are nothing over and above dispositions to believe. Proponents of (SG) reject (D2B) in large part by providing four distinct objections against (D2B). First, seemings have a distinctive phenomenology, but dispositions to believe do not. Second, seemings (...) can provide a non-trivial explanation for dispositions to believe, which wouldn’t be possible if seemings were dispositions to believe. Third, there are some dispositions to believe that are not seemings. Fourth, there are instances of seemings which are not dispositions to believe. I consider and reject each of these objections. The first and third objections rely on a misunderstanding of (D2B). The second objection fails because there are contexts in which an appeal to a previously unknown identity can provide an interesting explanation. The fourth objection overlooks the possibility of finkish and masked dispositions, phenomena which are widely accepted in the dispositions literature. I conclude that (D2B) escapes these common objections unscathed. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

Identity, we're told, is the binary relation that every object bears to itself, and to itself only. But how can a relation be binary if it never relates two objects? This puzzled Russell and led Wittgenstein to declare that identity is not a relation between objects. The now standard view is that Wittgenstein's position is untenable, and that worries regarding the relational status of identity are the result of confusion. I argue that the rejection of identity as a binary relation (...) is perfectly tenable. To this end, I outline and defend a logical framework that is not committed to an objectual identity relation but is nevertheless expressively equivalent to first-order logic with identity. After it has thus been shown that there is no indispensability argument for objectual identity, I argue that we have good reasons for doubting the existence of such a relation, and rebut a number of attempts at discrediting these reasons. (shrink)

ABSTRACT In this paper, I ask whether quantifiers are intensional operators, with variable assignments playing the role of indices. Certain formulations of extensional type theory suggest an affirmative answer, but the most satisfactory among them suffer from a contamination of their semantic ontology with syntactic material. I lay out ‘Fregean’ versions of extensional type theory that are free from syntactic contamination and suggest a negative answer to our question.

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...) be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

In theIliadthe Achaean ships play a prominent role in the narrative; they are foregrounded as Achilles sits by his vessels in anger and threatens to sail home; as the Trojans come close to burning them; and as Hector's body lies by Achilles’ ships until ransomed. Where not in the foreground, the ships remain a consistent background; without them the Achaeans would not have reached Troy; they are an essential component of the Greek encampment; and are the unrealized potential vehicle of (...) the Achaean homecoming. (shrink)

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...) semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

The present paper addresses Molnar’s problem :72–86, 2000): that of finding positive truthmakers for negative truths. The proposed solution, called, is to hold truth and falsity to be primitive and positive features of propositions and to take every literal negative truth to be made true by the falsity of the atomic proposition that it embeds. The solution is shown to be compatible with Maximalism, Necessitarianism and with the Entailment Thesis, as well as with most if not all possible variants of (...) truthmaking theory. Other advantages of are noted: it doesn’t require the inclusion of exotic objects in one’s ontology; it doesn’t require any revision of one’s logic or of one’s theory of modality. The solution also allows one to eschew negative facts, tropes and properties while providing a definition of negativity for certain literal propositions. The paper ends by rebutting several objections that may be levelled against. (shrink)

This paper proposes a social account for the origin of the truth value and the emergence of the first declarative sentence. Such a proposal is based on two assumptions. The first is known as the social intelligence hypothesis: that the cognitive evolution of humans is first and foremost an adaptation to social demands. The second is the function-first approach to explaining the evolution of traits: before a prototype of a new trait develops and the adaptation process begins, something already existing (...) is used for a new purpose. Applied to the emergence of declarative sentences (statements), this suggests something already existing––natural signs (such as indexical objects)––was used for the declarative function and thereby integrated into communication. I show that index display (such as the display of hunting trophies) can imply a conceptual structure similar to that informing the syntax of sentences. The view developed in this paper is broadly consistent with the argumentative theory of Mercier and Sperber, which suggests that reasoning is less adapted to decision making than to social purposes such as winning disputes. In this paper I extend this view to the evaluation of propositions expressed in declarative sentences. According to my proposal, the first declarative sentence emerged as the negation of the (implicit) negation of an implicit statement. Thereby, I suggest that the binary structure of the truth value underlying any declarative sentence is founded on disagreements based on conflicts of interests. (shrink)

That we can learn something from literature, as cognitivists claim, seems to be a commonplace. However, when one considers matters more deeply, it turns out to be a problematic claim. In this paper, by focusing on general revelatory facts about the world and the human spirit, I hold that the cognitivist claim can be vindicated if one takes it as follows. We do not learn such facts from literature, if by “literature” one means the truth-conditional contents that one may ascribe (...) to textual sentences in their fictional use, i.e., in the use in which one makes believe that things unfold in a certain way. What we improperly call learning from literature amounts to knowing actually true conversational implicatures concerning the above facts as meant by literary authors. So, in one and the same shot, we learn both a general revelatory fact and the fact that such a fact is meant via a true conversational implicature by an author. The author draws that implicature from the different truth-conditional content a sentence possesses when the sentence is interpreted in a fictional context, meant as Kaplan’s (1989) narrow context, i.e., a set of circumstantial parameters (agent, space, time, and world). (shrink)

Biosemiotics argues that “sign” and “meaning” are two essential concepts for the explanation of life. Peircean biosemiotics, founded by Tomas Sebeok from Peirce’s semiotics and Jacob von Uexkül’s studies on animal communication, today makes up the mainstream of this discipline. Marcello Barbieri has developed an alternative account of meaning in biology based on the concept of code. Barbieri rejects Peircean biosemiotics on the grounds that this discipline opens the door to nonscientific approaches to biology through its use of the concept (...) of “interpretation.” In this article, it is noted that Barbieri does not adequately distinguish among Peirce’s semiotics, Peircean biosemiotics, and “interpretation-based” biosemiotics. Two key arguments of Barbieri are criticized: his limited view of science and his rejection of “interpretation-based” biosemiotics. My argument is based on tools taken from a different approach: Robert Rosen’s relational biology. Instead of “signs” and “meanings,” the study begins in this case from the “components” and “functions” of the organism. Rosen pursues a new definition of a law of nature, introduces the anticipatory nature of organisms, and defines the living being as a system closed to efficient cause. It is shown that Code Biosemiotics and Peircean biosemiotics can share a common field of study. Additionally, some proposals are suggested to carry out a reading of Rosen’s biology as a biosemiotic theory. (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)

Despite attending Husserl’s classes, participating in the discussions of the Göttingen phenomenological circle, and writing prolifically on phenomenology, Eugen Enyvvari seems to have been virtually ignored by phenomenological scholarship. I use an array of unpublished sources and a survey of his juvenilia to reconstruct Enyvvari’s biography and intellectual formation, including his confrontation with Melchior Palagyi’s critique of Husserl and Bolzano. Based on both his reports and records from the Göttingen University Archives, I attempt to establish the influences to which he (...) could have been exposed in Göttingen. I rely on a careful micro-analysis of the development of Husserl’s notion of noematical meaning at the time of Enyvvari’s stay in Göttingen in order to asses Enyvvari’s specific contribution to phenomenology and his significance from the point of view of the general historiography of phenomenology. (shrink)

The meaning of a declarative sentence and that of an interrogative sentence differ in their aspect of mood. A semantics of mood has to account for the differences in meaning between these sentences, and it also has to explain that sentences in different moods may have a common core. The meaning of the declarative mood is to be explained not in terms of actual force (contra Dummett), but in terms of potential force. The meaning of the declarative sentence (including its (...) mood) is called the assertion-candidate, which is explained by what one must know in order to be entitled to utter the declarative with assertive force. Both a cognitive notion (knowledge) and a pragmatic notion (assertive force) are thus part of the explanation of the assertion-candidate. Davidson’s criticism that such a theory is in need of an account of the distinction between standard and non-standard uses of the declarative is answered: without counter-indications an utterance of a declarative sentence is understood as having assertive force. The meaning of an interrogative sentence, the question-candidate, and that of the other sentence types can ultimately be explained in terms of their specific relations to the assertion-candidate. Martin-Löf’s constructive type theory is used to show the philosophical relevance of a semantics of mood. The constructivist notion of proposition needs to be embedded in a theory of the assertion-candidate, which fulfils the offices of being the meaning of the declarative sentence, the content of judgement and assertion and the bearer of epistemic truth. (shrink)

There are two notions of intentionality: the first contains the thesis that our acts of thinking, judging and loving have a content; the second that our mental acts are about something external to the act. Brentano uses the term ‘intentionality’ only in relation to the first notion; for him, intentionality does not function as a bridge between the mind and the external world. Is it possible for a phenomenologist like Brentano to give an account of the second notion of intentionality? (...) It is argued that this is possible, but not without introducing the notion of judgement. A comparison with Mill’s distinction between connotation and denotation, and with Frege’s distinction between sense and reference shows how original Brentano’s theory is. (shrink)

Assume that water reduces to H2O. If so water is identical to H2O. At the same time, if water reduces to H2O then H2O does not reduce to water–the reduction relation is asymmetric. This generates a puzzle–if water just is H2O it is hard to see how we can account for the asymmetry of the reduction relation. The paper proposes a solution to this puzzle. It is argued that the reduction predicate generates intensional contexts and that in order to account (...) for the asymmetry, we should develop conditions on the meanings of expressions that flank the reduction predicate in true reduction statements. Finally, it is argued that if we adopt this interpretation, we can illuminate the epistemological difference between reduced and reducing item commonly referred to in the literature. (shrink)

How is Frege able to claim that the notion of judgement is essential to his logic without introducing a form of psychologism? I argue first that Frege’s logical notion of judgement is to be distinguished from an empirical notion of judgement, that it cannot be understood as an abstract, idealized notion, and that there are doubts concerning a transcendental reading of Frege’s writings. Then, I explain that the logical notion of judgement has to be understood from a first-person perspective, to (...) be contrasted with a third-person perspective, in which judgement is understood as an empirical, psychological phenomenon. Frege’s logic is essentially a first-person engagement, as each of us can make use of the ideography as a science of logic only if we ourselves have made the relevant judgements. Finally, I claim that the judging agent as conceived by Frege can, after all, be understood as a transcendental ego. (shrink)

Assertion is widely regarded as an act associated with an epistemic position. To assert is to represent oneself as occupying this position and/or to be required to occupy this position. Within this approach, the most common view is that assertion is strong: the associated position is knowledge or certainty. But recent challenges to this common view present new data that are argued to be better explained by assertion being weak. Old data widely taken to support assertion being strong has also (...) been challenged. This paper examines such challenges and finds them wanting. Far from diminishing the case for strong assertion, carefully considering new and old data reveals that assertion is as strong as ever. (shrink)

Analytic philosophy has recently been challenged from a perspective advocated by Richard Rorty: this favours edifying philosophy against systematic philosophy comprising also analytic philosophy. In Rorty's presentation analytic philosophy is one more variant of the Cartesian—Kantian epistemology which, being committed to a permanent framework of inquiry rooted in our human subjectivity, implies the uniqueness of one conceptual scheme.Against this tenet I argue in two ways. First, I show that analytic philosophy of mind and language with the Fregean background and possible (...) world semantics implies the pluralism of conceptual schemes on logical-conventionalist grounds. Secondly, I show that although analytic philosophy shares the claim for legitimation of a conceptual scheme with Kantian epistemology, it is critical of the latter in that the uniqueness-claim is refuted. (shrink)