We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

In the first chapter, we discuss Dummett’s idea that the notion of truth arises from the one of the correctness of an assertion. We argue that, in a first-order language, the need of defining truth in terms of the notion of satisfaction, which is yielded by the presence of quantifiers, is structurally analogous to the need of a notion of truth as distinct from the one of correctness of an assertion. In the light of the analogy between predicates in Frege (...) and open formulas in Tarksi, we concentrate on the semantic status of predicates. We register a dual attitude of Dummett towards Frege’s ascription of reference to predicates. On the one it is needed to endow quantifiers with their appropriate meaning. On the other hand, the introduction of concepts, as semantic correlate of predicates, smuggles a realist flavor in the overall semantic picture. In concluding the excursus (and with it the chapter), we stress Dummett’s will of developing a semantic picture free from this realist trait. In the second chapter, we present the idea of a proof-theoretic semantics. As for Frege true sentences denotes the truth-value True, so here closed' (i.e. categorical) valid argumentations denotes proofs. If a language contains implication-like operators, in order to characterize the condition of validity of a closed argumentation one has to introduce a notion of validity applying to ‘open’ (i.e. hypothetical) argumentations. We argue that this problem is analogous to the one posed by quantifiers in Frege-Tarksi’s style semantics. That is, implication forces one to introduce notion of validity for argumentations, which is more substantial than the correctness of the assertion of their conclusions. As we saw, the corresponding claim in the truth-based approach—that quantifiers require one to introduce a notion of truth, which is more substantial than the one of an assertion being correct—was the source of realism. Hence, Dummett proposes to reduce the semantic contribution of open argumentations to the one of their ‘closed instances’. In the truth-based perspective, this would correspond to the denial of the need of introducing concepts as the semantic correlates of predicates. We argue that Dummett’s fear, that an irreducible notion of function (represented by the need of ascribing validity to open argumentations) would lead to realism, turns out to be ill-founded. In the third chapter, we discuss the role played by the notion of truth in the anti-realist account. The notion of truth is what the anti-realist needs to cope with the so-called paradox of deduction. The analysis of the paradox yields to distinguishing between the truth of a sentence and the truth of a sentence being recognized. In terms of these conceptual couple, we reconsider the relationship between truth and assertion in an anti-realist perspective. Grounds are provided for a thesis (which was already advanced in chapter two), according to which the notion of the assertion of a sentence being correct is primarily connected only with the canonical means of establishing a sentence. The possibility of establishing a sentence by indirect means is conceptually dependent on the practice of establishing logical relationship of dependence among sentences. That is, the notion of a closed valid non-canonical argumentation is of any theoretical relevance only in presence of a notion of validity applying to open argumentations. In the fourth chapter, we discuss the possibility of characterizing in the proof-theoretic-semantics a notion of refutation. We develop an original characterization of refutations starting from an informal inductive specification of the condition of refutations of logically complex sentences. A sub-structural logic, called dual-intuitionistic logic, stands to this notion in the same relationship in which intuitionistic logic stands to the notion of proof so far consdered. All notions developed in chapter 2 have their corresponding (dual) ones in the framework developed. In particular, the distinctions canonical/non-canonical and closed/open argumentations. In the refutation based perspective, elimination rules have priority over introductions and the (only) assumption over the (many) conclusions. In the conclusions, we indicate the ingredients that an anti-realist approach to meaning should incorporate, in order to avoid the difficulties we registered. The core of an alternative view is a different conception of the relationship between categorical and hypothetical notions, in which the validity of open argumentations is not reduced to that of their instances, but rather it is directly defined. As a limit case, one would get a notion of validity applying to closed argumentations. (shrink)

An introduction to relativism about truth.

I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.

Che cosa vuol dire per le espressioni del nostro linguaggio avere un significato? Secondo un approccio oggi sostanzialmente standard in semantica, avere significato vuol dire prima di tutto avere un contenuto rappresentazionale, cioè poter rappresentare qualcosa. Secondo un inferenzialista come Robert Brandom, invece, le espressioni del nostro linguaggio hanno contenuto perché sono inserite in una rete di relazioni inferenziali, rispetto alla quale possono essere utilizzate per dare e richiedere ragioni. Il libro di Pietro Salis, Pratiche discorsive razionali, presenta e discute (...) alcuni degli aspetti più interessanti dell'inferenzialismo normativo di Brandom. Si tratta della seconda monografia in lingua italiana dedicata alla filosofia del linguaggio brandomiana dopo quella di Giovagnoli (2004). Per trovare elementi di paragone con il lavoro di Salis occorre allora guardare alle pubblicazioni in lingua inglese. Tra queste ci sono le raccolte di saggi curate da Stekeler-Weithofer (2008), Prien e Schweikard (2008), e Weiss e Wanderer (2010). Ma anche le introduzioni monografiche di Wanderer (2008) e Turbanti (2017). La prima di queste introduzioni, in particolare, è quella più simile al libro di Salis, soprattutto dal punto di vista tematico. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

El presente trabajo busca defender la tesis de la subdeterminación semántica de las emisiones lingüísticas. Se argumenta a favor de esta tesis al tratar las aserciones suboracionales como casos paradigmáticos de la existencia de constituyentes no articulados. Se defiende la existencia de aserciones suboracionales genuinas frente a análisis alternativos que se han desarrollado para dar cuenta de este tipo de emisiones y se muestra cómo tiene lugar la interpretación pragmática de este tipo de emisiones. In this paper, I defend the (...) semantic underdetermination thesis for linguistic utterances. I argue in favor of this thesis by treating subsentential assertions as paradigmatic cases of the existence of unarticulated constituents. I defend the existence of genuine subsentential assertions against alternative analyses that have been developed to cope with this kind of utterances, and I explain how the pragmatic interpretation of this kind of utterances goes. (shrink)

This thesis investigates the continuity of Wittgenstein’s approach to, and conception of, philosophy. Part One examines the rule-following passages of the Philosophical Investigations. I argue that Wittgenstein’s remarks can only be read as interesting and coherent if we see him, as urged by prominent commentators, resisting the possibility of a certain ‘sideways-on’ perspective. There is real difficulty, however, in ascertaining what the resulting Wittgensteinian position is: whether it is position structurally analogous with Kant’s distinction between empirical realism and transcendental idealism, (...) or whether philosophical ‘therapy’ is meant to dissolve any drive towards such idealism. I argue that both of these readings of Wittgenstein are found in the work of McDowell. Part Two argues that related issues arise in respect to the Tractatus Logico-Philosophicus and the question of realism. In the Tractatus Wittgenstein rejects the possibility of a certain ‘sideways-on’ perspective. Again, I argue, it is unclear whether Wittgenstein embraces a form of transcendental idealism or, on the contrary, ultimately reveals the idealist position to be empty. Part Three connects ‘sideways-on’ glances with the threat of idealism by introducing a philosophical ‘measure’. I argue that the measure is a useful tool in assessment of the Tractatus, and shows that Wittgenstein was no idealist, but is less useful as an assessment of the Investigations. It yields the result that Wittgenstein succumbed to idealism, but in doing so may overlook the ‘therapeutic’ nature of Wittgenstein’s later philosophy. (shrink)

The purpose of this paper is to examine the status of logic from a metaphysical point of view – what is logic grounded in and what is its relationship with metaphysics. There are three general lines that we can take. 1) Logic and metaphysics are not continuous, neither discipline has no bearing on the other one. This seems to be a rather popular approach, at least implicitly, as philosophers often skip the question altogether and go about their business, be it (...) logic or metaphysics. However, it is not a particularly plausible view and it is very hard to maintain consistently, as we will see. 2) Logic is prior to metaphysics and has metaphysical implications. The extreme example of this kind of approach is the Dummettian one, according to which metaphysical questions are reducible to the question of which logic to adopt. 3) Metaphysics is prior to logic, and your logic should be compatible with your metaphysics. This approach suggests an answer to the question of what logic is grounded in, namely, metaphysics. Here I will defend the third option. (shrink)

We argue for a compositional semantics grounded in a strongly typed ontology that reflects our commonsense view of the world and the way we talk about it. Assuming such a structure we show that the semantics of various natural language phenomena may become nearly trivial.

In this essay I consider the relationship between Heidegger’s famous “turn” and realism. I begin with Heidegger’s critique of the problem of an external world, and I describe how this critique anticipates New Realism. I then provide a reconstruction of Heidegger’s self-critique of Being and Time, showing how this work exhibits a higher-order antirealism. Next, I show how Heidegger’s turn is motivated by the inadequacy of this earlier anti-realism. In his philosophy of the event he moves towards a realist ontology (...) by developing concepts such as “destiny”, which he understands to be independent of human attitudes. Nevertheless, Heidegger ultimately falls back into an anti-realism, because Being still remains dependent upon the involvement of human beings. I therefore conclude this essay by briefly arguing for my own version of New Realism, according to which objects are meaningful in a way that is independent of our attitudes towards them. (shrink)

This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox of semantic holism, as discussed in philosophy of language: if meaning is holistic there is no possibility to share any meaning. In the second part I present the different answers to this paradox, from atomism to different forms of holism. In the third part I give a criticism of the traditional interpretation of Wittgenstein (...) as a supporter of global holism. I stress some similarities between Wittgenstein's thought and Multi Context theories in artificial inteligence. In the last part I give some argument against a rigid interpretation of "local holism": I claim the need to give restrictions to local holim and to develop a study of the connections between "default" properties and high level rules which are studied in Multi−Context theories. (shrink)

This paper aims to unite two seemingly disparate themes in the philosophy of mathematics and language respectively, namely ante rem structuralism and inferentialism. My analysis begins with describing both frameworks in accordance with their genesis in the work of Hilbert. I then draw comparisons between these philosophical views in terms of their similar motivations and similar objections to the referential orthodoxy. I specifically home in on two points of comparison, namely the role of norms and the relation of ontological dependence (...) in both accounts. Lastly, I show that insights from this purported connection can address certain objections to both theories respectively. (shrink)

O objetivo geral da pesquisa da qual esse artigo faz parte é investigar o sistema metafísico que emerge dos trabalhos de David Lewis. Esse sistema pode ser decomposto em pelo menos duas teorias. A primeira nomeada como realismo modal genuíno (RMG) e a segunda como mosaico neo-humeano. O RMG é, sem dúvida, mais popular e defende a hipótese metafísica da existência de uma pluralidade de mundos possíveis. A principal razão em favor dessa hipótese é a sua aplicabilidade na discussão de (...) problemas losó cos, esse motivo não será diretamente abordado neste artigo. Pois, o foco está em compreender o mosaico neo-humea- no e como ele relaciona-se com a metafísica de mundos possíveis. Em outras palavras, o meu objetivo é entender as bases losó cas que sus- tentam o realismo modal genuíno. (shrink)

forthcoming in S. Lindström, E. Palmgren, K. Segerberg, and V. Stoltenberg-Hansen (eds) Logicism, Intuitionism, and Formalism — What has Become of Them?, Synthese Library, Springer. Pdf file.

Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

This article offers an overview of inferential role semantics. We aim to provide a map of the terrain as well as challenging some of the inferentialist’s standard commitments. We begin by introducing inferentialism and placing it into the wider context of contemporary philosophy of language. §2 focuses on what is standardly considered both the most important test case for and the most natural application of inferential role semantics: the case of the logical constants. We discuss some of the (alleged) benefits (...) of logical inferentialism, chiefly with regards to the epistemology of logic, and consider a number of objections. §3 introduces and critically examines the most influential and most fully developed form of global inferentialism: Robert Brandom’s inferentialism about linguistic and conceptual content in general. Finally, in §4 we consider a number of general objections to IRS and consider possible responses on the inferentialist’s behalf. (shrink)

I argue that there are two ways of construing Wittgenstein’s slogan that meaning is use. One accepts the view that the notion of meaning must be explained in terms of truth-theoretic notions and is committed to the epistemic conception of truth. The other keeps the notion of meaning and the truth-theoretic notions apart and is not committed to the epistemic conception of truth. I argue that Dummett endorses the first way of construing Wittgenstein’s slogan. I address the issue by discussing (...) two of Dummett’s arguments against the realist truth-theoretic conception of meaning: the manifestation argument and the argument for the unintelligibility of classical logic. I examine the dialectic of those arguments and show that they rest on the assumption that meaning needs to be explained in terms of truth-theoretic notions.Tvrdim da postoje dva načina shvaćanja Wittgensteinova slogana da je značenje upotreba. Jedno prihvaća gledište da se pojam značenja mora objasniti na osnovi istinitosnoteoretskih pojmova te je obvezano na epistemičku koncepciju istine. Drugo pojam značenja i istinitosnoteoretske pojmove drži odvojenima te nije obvezano na epistemičku koncepciju istine. Tvrdim da Dummett prihvaća prvo shvaćanje Wittgensteinova slogana. Problemu pristupam tako što raspravljam o dvama Dummettovim argumentima protiv realističke istinitosnoteoretske koncepcije značenja: o argumentu iz manifestacije i argumentu za neshvatljivost klasične logike. Ispitujem dijalektiku tih argumenata i pokazujem da počivaju na pretpostavci da se značenje mora objasniti na osnovi istinitosnoteoretskih pojmova. (shrink)

In this thesis I argue that we should break with the dominant Kripkean tradition concerning natural kind terms and theoretical identity. I claim that there is just no interesting connection between the metaphysics and semantics of natural kind terms, and demonstrate this by constructing a version of descriptivism that is combined with the same metaphysics – that is, a nontrivial version of essentialism – found in Kripke, but which effectively avoids all of the standard criticisms. With my version of descriptivism (...) in place, I present what I take to be the most reasonable version of metaphysical essentialism, positing only what I call 'thin' essences. I claim that thin essences are perfectly adequate to underpin scientific realism, and moreover that they are sufficient to support the version of descriptivism developed here. In effect, what I offer here is an error theory of the Kripkean tradition: Kripke is right to think that there are interesting things to say about meaning and essence, but just wrong about what those things are. Thus whilst Kripke thinks that it is possible to make discoveries about the meanings of natural kind terms, I think, rather, that we make empirical discoveries that lead to revisions in meaning. Furthermore, whilst Kripke thinks there is a dichotomy between de re and de dicto necessity, and that theoretical identities are necessary de re, I think this distinction is both misleading and inaccurate, and that the necessity of theoretical identities is neither entirely de re nor entirely de dicto. By separating and insulating questions concerning meaning from questions concerning essence I show that whilst scientific discoveries are contingent and a posteriori, the definition of scientific terms are both necessary and a priori. (shrink)

In recent discussions concerning the definition of argument, it has been maintained that the word ‘argument’ exhibits the process-product ambiguity, or an act/object ambi-guity. Drawing on literature on lexical ambiguity we argue that ‘argument’ is not ambiguous. The term ‘argument’ refers to an object, not to a speech act. We also examine some of the important implications of our argument by considering the question: what sort of abstract objects are arguments?

One of the important discussions in the philosophy of mathematics, is that centered on Benacerraf’s Dilemma. Benacerraf’s dilemma challenges theorists to provide an epistemology and semantics for mathematics, based on their favourite ontology. This challenge is the point on which all philosophies of mathematics are judged, and clarifying how we might acquire mathematical knowledge is one of the main occupations of philosophers of mathematics. In this thesis I argue that this discussion has overlooked an important part of mathematics, namely mathematics (...) as it is exercised by ordinary people. I do so by looking at the different theories that have been put forward in the recent debate, and showing for each of these that they are unable to account for the mathematical practices of ordinary people. In order to show that these practices do need to be accounted for, I also argue that ordinary people are doing mathematics, i.e. that they engage in properly mathematical practices. Because these practices are properly mathematical, they should be accounted for by any philosophy of mathematics. The conclusion of my thesis, then, is that current theories fail to do something that they should do, while remaining neutral on how well they perform when it comes to accounting for the practices of professional mathematicians. (shrink)

What is the best way to understand 'applies to' when it is said of a linguistic theory that it applies to a particular language-user? We can answer by saying that a linguistic theory is applicable to an individual language-user just in case that individual tacitly-knows the theory. But this is an uninformative answer until we are told how to understand 'tacit-knowledge'. The end goal of this thesis is to defend the claim that we should take tacit-knowledge to be, simply, knowledge. (...) Towards this end I argue against the satisfactoriness of competing ways of understanding 'tacit-knowledge'. For example, the instrumentalist position is neutral on whether linguistic theories are actually known by the ordinary language-users who tacitly-know them; instead, linguistic theories are to be such that knowing them would enable someone to do whatever it is that the tacit-knower can do. Other competing positions hold that, though tacit-knowledge is a psychological relation of some sort, it is not genuine knowledge. I also attempt to meet specific objections to the claim that a typical language-user could plausibly be said to know a linguistic theory. An objection on which I focus is based on the claim that typical language-users do not possess the requisite concepts for having genuine knowledge of a linguistic theory. The aim in attempting to meet these objections is to open up the way for the linguistic theorist to exploit a paradigm of explanation: explanation of behaviour by knowledge attribution. Attributing knowledge of linguistic theories would be potentially explanatory of linguistic behaviour in exactly the same way that attributions of knowledge in non-linguistic spheres are potentially explanatory of behaviour. Finally, because my emphasis is specifically on semantic theories, I attempt to explicate and defend the claim that a semantic theory could and should have the form of a theory of truth. (shrink)

Metaphysics has had a long history of debate over its viability, and substantivity. This thesis explores issues connected to the realism question within the domain of metaphysics, ultimately aiming to defend a realist, substantive metaphysics by responding to so-called deflationary approaches, which have become prominent, and well supported within the recent metametaphysical and metaontological literature. To this end, I begin by examining the changing nature of the realism question. I argue that characterising realism and anti-realism through theories of truth unduly (...) places epistemology prior to ontology, and is unwarranted in assuming a non-neutrality between theories of truth and positions within the realism debate. I therefore propose a characterisation of realism and anti-realism understood through truthmaking. This produces a suitable working characterisation of realism that will be used within the remainder of this project. In the second section, I trace the historical influences upon current deflationary approaches to metaphysics, most prominently those of Carnap, and Putnam. I argue that Quine’s supposed attack on Carnap’s anti-metaphysical thought fails, and show how current deflationary thought, most prominently exhibited by Hirsch, came to focus on linguistically derived concerns over the substantivity of metaphysics. In the third section, I outline a number of issues for the deflationist, and defend the coherency and legitimacy of the unrestricted existential quantifier. Focusing on the linguistic aspect of deflationism, I argue that the conception of language that the deflationist relies upon lacks suitable empirical and theoretical support within linguistics and other related domains. Furthermore, I suggest that linguistic analysis in fact supports the claim that the quantifier carries no inherent restrictions. This restores our ability to suitably posit the unrestricted existential quantifier, as a quantifier wherein the domain is only restricted by metaphysically substantive restrictions. Through this, I argue that metaphysics is a substantive domain of discourse. Lastly, I sketch a positive account of how, under an empirically and theoretically justified conception of language, metaphysics can be coherently held to be a realist, substantive enterprise, contra claims that hold that the nature of language inherently prevents metaphysics being considered to be a substantive domain of discourse. (shrink)

In this paper I will compare some of Dummett and Davidson’s claims on the problem of communication and idiolects: how can we understand each other if we use different idiolects? First I define the problem, giving the alternative theses of (I) the priority of language over idiolects and (II) the priority of idiolects over language. I then present Dummett's claims supporting (I) and Davidson's claims supporting (II).

Inferentialism is the conviction that to be meaningful in the distinctively human way, or to have a 'conceptual content', is to be governed by a certain kind of inferential rules. The term was coined by Robert Brandom as a label for his theory of language; however, it is also naturally applicable (and is growing increasingly common) within the philosophy of logic.

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)

In this paper, we will discuss what is called the “Manifestation Challenge” to semantic realism, which was originally developed by Michael Dummett and has been further refined by Crispin Wright. According to this challenge, semantic realism has to meet the requirement that knowledge of meaning must be publically manifested in linguistic behaviour. In this regard, we will introduce and evaluate John McDowell’s response to this anti-realistic challenge, which was put forward to show that the challenge cannot undermine realism. According to (...) McDowell, knowledge of undecidable sentences’ truth-conditions can be properly manifested in our ordinary practice of asserting such sentences under certain circumstances, and any further requirement will be redundant. Wright’s further objection to McDowell’s response will be also discussed and it will be argued that this objection fails to raise any serious problem for McDowell’s response and that it is an implausible objection in general. (shrink)

Kniha, jako je tato, nemůže být tak docela dílem jediného člověka. Dovést ji do podoby koherentního celku bych nedokázal bez pomoci svých kolegů, kteří po mně text četli a upozornili mě na spoustu chyb a nedůsledností, které se v něm vyskytovaly. Můj dík v tomto směru patří zejména Vojtěchu Kolmanovi, Liboru Běhounkovi a Martě Bílkové. Za připomínky k různým částem rukopisu jsem vděčen i Pavlu Maternovi, Milanu Matouškovi, Prokopu Sousedíkovi, Vladimíru Svobodovi, Petru Hájkovi a Grahamu Priestovi. Kniha vznikla v rámci (...) projektu podpořeného grantem AV ČR číslo A0009001/00. (shrink)

With the advancement of bio-science and bio-technology come nasty new bioethical dilemmas, and some bioethicists have resorted to metaphysics, in particular, the notion of personal identity, to resolve them. I claim, however, that metaphysical accounts of personal identity at present are incapable of withstanding the impact of bioethical dilemmas. Bioethical issues such as criteria of death, brain transplantation, and dementia with/without advance directives invite us to deconstruct three shaky metaphysical notions concerning personal identity so that we can tackle ethical problems (...) more freely and properly. Furthermore, policy makers are advised to be more concerned with a norm or contract that guarantees the long-term welfare of a society of individuals rather than with the pinning down of the identity of a person at the margin of life. In this way, the public can be relieved of a guilt that has been unduly haunting them — when their loved ones were in many ways gone already. (shrink)

Brandom's book Making It Explicit defends Davidson's claim that conceptual thought can arise only on the background of a practice of mutual interpretation, without endorsing the further view that one can be a thinker only if one has the concept of a concept. This involves giving an account of conceptual content in terms of what Brandom calls practical deontic attitudes. In this paper, I make a plea for the conclusion that these practical attitudes are best seen as intentional, but non-conceptually (...) contentful. In particular, I argue that the hypothesis that Brandom's practical deontic attitudes are non-conceptually contentful wouldn't conflict with his view that non-conceptual intentionality is merely derivative. I then explore some of the implications which this hypothesis might have with respect to various forms of «intentional ascent». (shrink)

This Thesis reconsiders the prospects for an approach to global justice centring on the proposal that every human being should possess a certain bundle of goods, which would include certain members of a distinctive category: the category of capabilities. My overall aim is to present a clarified and well-developed framework, within which such claims can be made. To do this, I visit a number of regions of normative and metanormative theorising. I begin by introducing the motivations for the capability approach, (...) and clarifying some of its most distinctive features. Next, I focus on Martha Nussbaum's version of the approach, and identify several problems therein. The most important concerns epistemology, and especially the challenges that constructivist theories pose. The middle part of the Thesis presents an alternative, based on the work of John McDowell, which I argue has superior prospects. Then, I turn to two further problems: that of making sense of the universalistic aspirations of cosmopolitanism, and that of integrating the microscopic prescriptions of ethics with the macroscopic analyses of political philosophy. Using the Aristotelian interpretation of its core framework that I have developed, I conclude that the capability approach can provide compelling answers to important questions about global justice. (shrink)

In this chapter, I shall be examining an argument for the language of thought hypothesis.

This paper concentrates on how to capture harmony in sequent calculi. It starts by considering a proposal made by Tennant and some objections to it which have been presented by Steinberger. Then it proposes a different analysis which makes use of a double-line presentation of sequent calculi in the style of Dosen and it shows that this proposal is able to dismiss disharmonious operators without thereby adopting any global criterion.

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

A central tenet of cognitivism is that knowing how is to be explained in terms of tacitly knowing that a theory is true. By critically examining canonical anti-behaviorist arguments and contemporary appeals to tacit knowledge, I have devised a more explicit characterization in which tacitly known theories must act as justifiers for claims that the tacit knower is capable of explicitly endorsing. In this manner the new account is specifically tied to verbal behavior. In addition, if the analysis is correct (...) then it follows that the scope and nature of cognitivist appeals to tacit knowledge are largely mistaken. (shrink)

We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in our logical semantics of (...) a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated. (shrink)

Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT-rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope that the (...) following paper will contribute to a better understanding of the dialogical notion of meaning. (shrink)

There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...) from the bilateralist perspective. Price gives an informal argument for classical negation based on a pragmatic notion of belief, characterised in terms of the differences they make to speakers' actions. The main part of this paper puts Price's argument under close scrutiny by regimenting it and isolating principles Price is committed to. It is shown that Price should draw a distinction between A or ¬A making a difference. According to Price, if A makes a difference to us, we treat it as decidable. This material allows the intuitionist to block Price's argument. Abandoning classical logic also brings advantages, as within intuitionist logic there is a precise meaning to what it might mean to treat A as decidable: it is to assume A ∨ ¬A. (shrink)

Primarily a response to Paul Horwich's "Composition of Meanings", the paper attempts to refute his claim that compositionality—roughly, the idea that the meaning of a sentence is determined by the meanings of its parts and how they are there combined—imposes no substantial constraints on semantic theory or on our conception of the meanings of words or sentences. Show Abstract.

Dummett’s justification procedures are revisited. They are used as background for the discussion of some conceptual and technical issues in proof-theoretic semantics, especially the role played by assumptions in proof-theoretic definitions of validity.