Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That (...) is, a justification should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

In his paper “There It Is” and his précis “There It Was,” Benj Hellie develops a sophisticated semantics for perceptual justification according to which perceptions in good cases can be explained by intentional psychology and can justify beliefs, whereas bad cases of perception are defective and so cannot justify beliefs. Importantly, Hellie also affords consciousness a central role in rationality insofar as only those good cases of perception within consciousness can play a justificatory function. In this commentary, I reserve (...) judgment regarding Hellie’s treatment of the rational difference between good and bad cases, but I argue there can be what he views as good cases of perceptual justification outside of consciousness. (shrink)

My paper examines the popular idea, defended by Kripke, that meaning is an essentially normative notion. I consider four common versions of this idea and suggest that none of them can be supported, either because the alleged normativity has nothing to do with normativity or because it cannot plausibly be said that meaning is normative in the sense suggested. I argue that contrary to received opinion, we don’t need normativity to secure the possibility of meaning. I conclude by considering the (...) repercussions of rejecting semantic normativity on three central issues: justification, communication, and naturalism. (shrink)

According to deontological approaches to justification, we can analyze justification in deontic terms. In this paper, I try to advance the discussion of deontological approaches by applying recent insights in the semantics of deontic modals. Specifically, I use the distinction between weak necessity modals and strong necessity modals to make progress on a question that has received surprisingly little discussion in the literature, namely: ‘What’s the best version of a deontological approach?’ The two most obvious hypotheses are the (...) Permissive View, according to which justified expresses permission, and the Obligatory View, according to which justified expresses some species of obligation. I raise difficulties for both of these hypotheses. In light of these difficulties, I propose a new position, according to which justified expresses a property I call faultlessness, defined as the dual of weak necessity modals. According to this view, an agent is justified in phi-ing iff it’s not the case that she should [/ought] not phi. I argue that this ‘Faultlessness View’ gives us precisely what’s needed to avoid the problems facing the Permissive and Obligatory Views. (shrink)

The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems (...) concerning its interpretation. In the second section, three new systems of justification logic are introduced and characterised with respect to an appropriate semantics. The final section shows why the highlighted problems do not afflict the new systems and how it is possible to interpret LJ in the new framework. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think that all (...) we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

This article offers an explanation of perhaps Wittgenstein’s strangest and least intuitive thesis – the semantical mutation thesis – according to which one can never answer a mathematical conjecture because the new proof alters the very meanings of the terms involved in the original question. Instead of basing our justification on the distinction between mere calculation and proofs of isolated propositions, characteristic of Wittgenstein’s intermediary period, we generalize it to include conjectures involving effective procedures as well.

Buddhist semantic realists assert that reality is always non-linguistic, beyond the domain of conceptual thought. Anything that is conceptual and linguistic, they maintain, cannot be reality and therefore cannot function as reality.The Pra¯san˙gika however rejects the realist theory and argues that all realities are purely linguistic—just names and concepts—and that only linguistic reality can have any causal function. This paper seeks to understand the Pra¯san˙gika’s radical semantic nominalism and its philosophical justifications by comparing and contrasting it with the (...) realistic semantic theories. (shrink)

We examine the proof-theoretic verificationist justification procedure proposed by Dummett. After some scrutiny, two distinct interpretations with respect to bases are advanced: the independent and the dependent interpretation. We argue that both are unacceptable as a semantics for propositional intuitionistic logic.

Writing strategic documents is a major practice of many actors striving to see their educational ideas realised in the curriculum. In these documents, arguments are systematically developed to create the legitimacy of a new educational goal and competence to make claims about it. Through a qualitative analysis of the writing strategies used in these texts, I show how two of the main actors in the Czech educational discourse have developed a proof that a new educational goal is needed. I draw (...) on the connection of the relational approach in the sociology of education with Lyotard’s analytical semantics of instances in the event. The comparison of the writing strategies in the two documents reveals differences in the formation of a particular pattern of justification. In one case the texts function as a herald of pure reality, and in the other case as a messenger of other witnesses. This reveals different regimens of proof, although both of them were written as prescriptive directives – normative models of the educational world. (shrink)

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.

Adviser: Professor Stefan Baumrin In the first chapter I introduce the distinction between metaethics and normative ethics and argue that metaethics, properly conceived, is a part of cognitive science. For example, the debate between rationalism and sentimentalism can be informed by recent empirical work in psychology and the neurosciences. In the second chapter I argue that the traditional view that one’s theory of semantics determines what one’s theory of justification must be is mistaken. Though it has been the case (...) that there are ‘typical’ combinations of semantic and justificational theories this is by no means forced on one. In the third chapter I examine two current kinds of expressivism; that of Blackburn and Copp. Each gives us an example of different combinations of semantic and justificatory theory. In Blackburn’s case he combines a use theory of meaning with a classic emotivist theory of justification, In Copp’s case it is a neo-Gricean philosophy of language with a realist’s theory of justification. I find both of these wanting as they ultimately collapse into relativistic subjectivism. In the fourth and fifth chapter I turn to developing Emotive Realism. The basic idea behind this view is that when someone says ‘x is wrong/right’ that person has (a) expressed a moral emotion about x and at the same time (b) expressed the belief that the emotion in (a) is the correct one to have. The belief expressed in (b) will be true or false depending on one’s theory of justification. In the fourth chapter I argue that we need separate semantic theories for thoughts and sentences. In the fifth chapter I fill in the details of Emotive Realism as I see it. (shrink)

In artificial intelligence (AI), responses generated by machine-learning models (most often large language models) may be unfactual information presented as a fact. For example, a chatbot might state that the Mona Lisa was painted in 1815. Such phenomenon is called AI hallucinations, seeking inspiration from human psychology, with a great difference of AI ones being connected to unjustified beliefs (that is, AI “beliefs”) rather than perceptual failures). -/- AI hallucinations may have their source in the data itself, that is, the (...) source content, or in the training procedure, i.e. the way the knowledge was encoded in the model’s parameters, so that errors in encoding and decoding textual and non-textual representations can cause hallucinations. In this paper, we will observe how such errors come to life and how they might be mitigated. For this purpose, we will analyze the usability of justification logics, to behave as a proof checker for validating the correctness of large language models’ (LLM) responses. Justification logic was developed by S. Artemov, and later on mostly by Artemov and M. Fitting, deriving its main idea from the logic of proofs (LP): knowledge and belief modalities are seen as justification terms, i.e. t:X stands for t is a (proper) justification for X. Justification logic originated from attempts to create semantics for intuitionistic logic where proofs were the most proper justifications, but in further development, justification logic could be applied to different kinds of justifications). With the recent attempts to mitigate incorrect LLM responses, we will analyze various guardrails that are currently used for LLM responses, and see how the logic of justification may provide its benefits as an AI safety layer against false data. (shrink)

ABSTRACT This essay defends a qualified version of Quine's thesis of universal revisability against Chalmers's recent conditionalization-based criticisms of it. It is argued that an embodied view of cognitive processing undermines Chalmers's account of nonrevisable a priori justification, which presupposes that concepts prefigure the confirmation-relations into which they enter, so as to make such relations rationally accessible to anyone who possesses those concepts. On the view developed here, bodily interaction with the world and the accompanying subconscious processing can change (...) subjects' dispositions to apply their concepts, in ways that are not rationally accessible to them, even given a complete description of that interaction, and do not constitute a change in the content of the concepts involved. Thus a subject who treats a proposition as indefeasibly justified a priori might nevertheless significantly lower her credence in that proposition, in ways that are not accessible to the subject on the basis of her grasp of the content of the relevant concepts. This discussion has further implications concerning the role of the a priori in the philosophical enterprise. (shrink)

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS and (...) show that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)

With his distinction between the "context of discovery" and the "context of justification", Hans Reichenbach gave the traditional difference between genesis and validity a modern standard formulation. Reichenbach's distinction is one of the well-known ways in which the expression "context" is used in the theory of science. My argument is that Reichenbach's concept is unsuitable and leads to contradictions in the semantic fields of genesis and validity. I would like to demonstrate this by examining the different meanings of (...) Reichenbach's context distinction. My investigation also shows how the difference between genesis and validity precedes Reichenbach's context distinction and indicates approaches for meaningful applications of the concept of context to the phenomena designated by Reichenbach. I will begin by reconstructing the way in which Reichenbach introduces the distinction between discovery and justification as a difference of contexts (I). Drawing on the numerous meanings of the term "context", I will then emphasize some chief characteristics and review, through exemplification, the usage of this term. First of all, I turn to the context of discovery as the nonrational part of all scientific knowledge and show that this meaning cannot be defined consistently (la). For the context of justification, one can distinguish two main cases: the context of justification is either contrasted with the context of discovery, or it forms a unit there with. In the first case, the use of the context term becomes paradoxical, insofar as justification separated from scientific practice does not represent a field of reference which could be specifically contrasted with another field of reference (I b). In the second case, the unifying definitions contradict the contextual meaning of discovery and justification (1 c). In the last section, I point to a useful application of the concept of context which can be found in Reichenbach's argumentation and which refers to the practical conditions of justification(2). (shrink)

This article discusses Harvey Siegel’s general justification of the epistemological theory of argumentation in his seminal essay “Arguing with Arguments." On the one hand, the achievements of this essay are honoured—in particular, a thorough differentiation of the different meanings of ‘argument’ and ‘argumentation,’ the semantic justification of the fundamentality of arguments as sequences of propositions, and the detailed critiques of alternative theories of argumentation. On the other hand, suggestions for strengthening the theory are added to Siegel's expositions, (...) which make different perspectives within the epistemological theory of argumentation recognisable. (shrink)

This article discusses Harvey Siegel’s general justification of the epistemological theory of argumentation in his seminal essay “Arguing with Arguments." On the one hand, the achievements of this essay are honoured—in particular, a thorough differentiation of the different meanings of ‘argument’ and ‘argumentation,’ the semantic justification of the fundamentality of arguments as sequences of propositions, and the detailed critiques of alternative theories of argumentation. On the other hand, suggestions for strengthening the theory are added to Siegel's expositions, (...) which make different perspectives within the epistemological theory of argumentation recognisable. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

Semantic holists view what one's terms mean as function of all of one's usage. Holists will thus be coherentists about semantic justification: showing that one's usage of a term is semantically justified involves showing how it coheres with the rest of one's usage. Semantic atomists, by contrast, understand semantic justification in a foundationalist fashion. Saul Kripke has, on Wittgenstein's behalf, famously argued for a type of skepticism about meaning and semantic justification. However, (...) Kripke's argument has bite only if one understands semantic justification in foundationalist terms. Consequently, Kripke's arguments lead not to a type of skepticism about meaning, but rather to the conclusion that one should be a coherentist about semantic justification, and thus a holist about semantic facts. (shrink)

This paper offers a critical interpretation and evaluation of Wilfrid Sellars’s treatment of skepticism about empirical justification. It defends three central claims. First, against the suggestion that Sellars’s work simply bypasses traditional skeptical problems, I make the novel interpretive claim that Sellars not only addresses skepticism about empirical justification, but offers two independent (albeit sketchy) arguments against it: a transcendental argument that the likely truth of our perceptual beliefs is a necessary condition of the possibility of empirical content, (...) and a pragmatic argument that we’re warranted in accepting their likely truth in virtue of our aim of being effective agents. To the extent these have previously been distinctly formulated by commentators, the transcendental argument has been regarded as forceful, while the pragmatic argument has been dismissed as non-responsive. My second and third claims challenge this understanding. I argue, second, that examination of the literature relating to transcendental arguments from semantic externalism like Sellars’s (especially concerning the McKinsey paradox) suggests that such arguments are unpromising, while, third, a modified version of his pragmatic argument represents a powerful skeptical solution to skepticism about empirical justification, one that answers the worry that such skepticism would undermine the rationality of all our practical commitments. (shrink)

The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as sequences proofs constructed from that (...) set of axioms. In the second section, a basic system of justification logic for implicit and explicit justifiers is analyzed and some significant facts about it are proved. In the final section, an adequate semantics is proposed, and the system is proved to be sound and complete whit respect to it. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

Twin-earth thought experiments, standardly construed, support the externalist doctrine that the content of propositional attitudes involving natural-kind terms supervenes upon properties external to those who entertain them. But this doctrine in conjunction with a common view of self-knowledge might have the intolerable consequence that substantial propositions concerning the environment could be knowable a priori. Since both doctrines, externalism and privileged self-knowledge, appear independently plausible, there is then a paradox facing the attempt to hold them concurrently. I shall argue, however, that (...) externalist claims about the dependence of content on environmental factors presuppose certain theses about the semantics of natural-kind terms that, if sound, would make those claims eligible for empirical justification instead. In fact, that is the only interpretation of their epistemic status that could square with the standard conclusion from twin-earth cases. Furthermore, it can be shown to solve the paradox of externalism and self-knowledge in a more doxastically conservative way--accommodating precisely each of the well-accepted intuitions about knowledge, closure and the individuation of content given up by available competitors. (shrink)

The Cartesian thesis that some justifications are infallible faces a gradation puzzle. On the one hand, infallible justification tolerates absolutely no possibility for error. On the other hand, infallible justifications can vary in evidential force: e.g. two persons can both be infallible regarding their pains while the one with stronger pain is nevertheless more justified. However, if a type of justification is gradable in strength, why can it always be absolute? This paper explores the potential of this gradation (...) challenge by rejecting Fumerton's recent ‘semantic decision' solution. On Fumerton's suggestion, the putative gradation of infallible justifications is essentially semantic. It concerns only how we use the relevant term but not how well we perceive the truth. Regardless of its intuitive appeal, Fumerton's solution does not cover all the related situations. There is an irreducibly epistemic sense in which infallible justifications vary in degrees. (shrink)

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of (...) every science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

A priori theories of justification of logic based on meaning often lead to trouble, in particular to issues concerning circularity. First, I present Boghossian’s a prioriview. Boghossian maintains the rule-circular justifications from a conceptual role semantics. However, rule-circular justifications are problematic. Recently, Boghossian (Boghossian, 2015) has claimed that rules should be thought of as contents and contents as abstract objects. In this paper, I discuss Boghossian’s view. My argumentation consists of three main parts. First, I analyse several arguments to (...) show that in fact, Boghossian’s inferentialist solution is not fully satisfying. Second, I discuss the matter further, if one accepts that basic logical rules are constitutive of meaning, that is, they constitute the logical concepts and the content of a rule is an abstract object, then abstract objects — like, for example, rules — could be constitutive of meaning. The question is whether conceptual priority is in the judgment or in the object and what theory of content is pursued. Grasping content as a matter of knowing how a word or concept behaves in inferences is not completely explicative. Finally, I contend that rules come to exist as a result of certain kinds of mental action. These actions function as constitutive norms. Logical rules are not abstract objects but ideal. What one construes as norms or rules of content may involve idealization, but this is because we share a language. (shrink)

This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in “Sect. 1” I (...) argue that the paradox raises a more fundamental epistemic problem, and in “Sects.1 and 2” I argue that semantic proposals—even ones designed to capture the Fregean link between meaning and epistemic significance—fail to resolve that problem. Seeing our way towards a real solution to the paradox requires more than semantics; we also need to understand how the process of analysis can yield justification for accepting a candidate conceptual analysis. I present an account of this process, and explain how it resolves the paradox, in “Sect. 3”. I conclude in “Sect. 4” by considering the implications for the present account concerning the goal of conceptual analysis, and by arguing that the apparent scarcity of short and finite illuminating analyses in philosophically interesting cases provides no grounds for pessimism concerning the possibility of philosophical progress through conceptual analysis. (shrink)

Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common to see its treatment among those less connected to computer science within the logical-philosophical community. In this paper we propose to bring to that audience a proof-theory for argument justification based on tableaux, very similar to those the Logic students are familiar with. The tableaux enable to calculate whether an argument (...) or subset of arguments are accepted or rejected in accordance to Dung’s preferred and grounded extension-based semantics. Soundness and completeness results regarding those semantics are provided. (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)

This paper develops a new class of justification logic, the logic of epistemic entitlement. The logic of epistemic entitlement invokes the notion of epistemic entitlement in epistemology, and interprets a justification formula in the form of???? ∶???? as follows: the warrant???? entitles the agent to believe????. In the logic of epistemic entitlement, the formula???? ∶???? is true if and only if???? is true in all possible worlds entitled to be conceived by????. In contrast to the standard epistemic semantics (...) of justification logic, the formula???? ∶???? in Fitting’s model is true if and only if???? is true in all possible worlds that can be conceived of and satisfies the evidential condition: the epistemic state???? ∈ ℰ(????,????) that the epistemic agent is in. Thus, if???? is not a dead point in the model, the point model of???? cannot satisfy both formulas of the form???? ∶???? and????′∶ ¬????. Thus standard justification logic cannot characterize the conflicting beliefs of agents for different warrants. Instead, the logic of epistemic entitlement solves this problem by entitling agents to believe???? and ¬???? on two disjoint sets of possible worlds on????,???? and????′, respectively. ℳ,???? ⊩???? ∶???? if and only if ℳ,???? ⊩???? for every???? ∈????????????(????,????) with????????????. Such an epistemic entitlement in the paper is axiomatized into the logic J_???????????? and the validity of its axioms is verified. And a canonical model of J_???????????? is established to prove its completeness. Finally, extensions of J_???????????? are attempted to explore the logic of entitlement of belief J_EntD4 and logic of entitlement of knowledge J_EntT4. (shrink)

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an (...) unusual solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

According to Brandom’s conceptual role semantics, to grasp a concept involves a commitment to drawing certain inferences. This is a consequence of the inferentialist thesis that the meaning of a term is given by its justification through assertibility conditions. Inferential commitments come out from a material notion of inference which underwrites human rational discourse and activity. In this paper I discuss a problem of Brandom’s semantics allegedly exposed in an argument by Paul Boghossian against Dummett’s and Brandom’s substantive conception (...) of meaning. I contend that Boghossian’s analysis is dubious because it overlooks an important difference between Dummett’s and Brandom’s positions related respectively to a monotonic and a non-monotonic view of the norm underwriting meaning. (shrink)

There is a common assumption in the semantics of modal auxiliaries in natural language; in utterances of MOD φ , where MOD is a modal and φ is the prejacent, context determines the particular flavor of modality expressed by the modal. Such is the standard contextualist semantics of Kratzer and related proposals. This winds up being a problem, because there is a significant class of modals which have constraints on the admissible modal flavor that are not traceable to context. For (...) example, in MUST φ , subsentential properties of φ, like the aspectual class of the predicate in the prejacent, can affect the flavor of MUST. By encoding the above assumption into the semantics, such contextualist accounts fail to be able to explain, much less to predict, this pattern. Worse yet, attempts to exploit the resources of the theory in service of an explanation run afoul of important commitments of the view, like the hypothesis that modals have a uniform semantics. Given these circumstances, these data might seem like a justification for dispensing with the uniformity hypothesis. The present paper lays out the above problem in detail. Against the pessimistic view, I argue that the the contextualist account can in fact explain and predict these patterns while preserving the uniformity hypothesis. This requires adopting an amendment to the semantics of modals based on the work of Valentine Hacquard. Aside from maintaining the contextualist paradigm and preserving uniformity, the proposal also clarifies the role of context in the interpretation of modals. As it will turn out, the role of context ought to be circumscribed in its flavor-determining role for modals. (shrink)

Memory has eluded a unified philosophical analysis for millennia because memory isn’t a single type of mental state. On a standard classification, procedural memory is memory of how to do things, semantic memory is memory of facts or fact-like propositions and episodic memory is memory of events in which you partook. Autobiographical memory is memory of what happened in your past in real-life cases. Empirical studies suggest that autobiographical memory is a construction of pieces of past experiences. This points (...) to a view of memory according to which we have no direct awareness of what happened in the past and hence no internal justification of what we seem to remember happened. Here I argue that a version of phenomenal dogmatism, the view that seemings can justify higher-order mental states immediately and fully in the absence of defeaters, is plausible for memories and that it bypasses a common route from a constructionist view of memory to skepticism about the past. (shrink)

The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, (...) each corresponding to a wide variety of epistemic norms. After comparing the different norms of justification involved in these logical systems, two hexagons expressing Aristotelian relations of opposition will be gathered in order to clarify how (a fragment of) pragmatic formulas can be interpreted in a fuzzy-based question-answer semantics. (shrink)

This paper defends pro-realism, the view that it is better if moral realism is true rather than any of its rivals. After offering an account of philosophical angst, I make three general arguments. The first targets nihilism: in securing the possibility of moral justification and vindication in objecting to certain harms, moral realism secures something that is non-morally valuable and even essential to the meaning and intelligibility of our lives. The second argument targets antirealism: moral realism secures a desirable (...) independence for moral justification that is qualitatively different from the anti-realistic construal of independence that is only explicable in terms of degrees of distance from our subjective responses and attitudes. Finally, I argue that while the pan-expressivist semantic program of quasi-realism has significant effects on what can be appropriately said in meta-ethical discourse, it provides no comfort to the pro-realist who is already angsty about anti-realism. (shrink)

I discuss the role of translatability in philosophical justification. I begin by discussing and defending Thomas Reid’s account of the role that facts about comparative linguistics can play in philosophical justification. Reid believes that common sense offers a reliable but defeasible form of justification. We cannot know by introspection, however, which of our judgments belong to common sense. Judgments of common sense are universal, and so he argues that the strongest evidence that a judgment is a part (...) of common sense is that it is to be found in all languages. For Reid, then, evidence that a certain distinction is to be found in all languages is evidence that the distinction is part of common sense rather than being a common local prejudice. From such a perspective, empirical work in comparative linguistics can play a defeasible justificatory role in philosophical arguments. I contrast Reid’s position with the more radical position of defenders of the Natural Semantic Metalanguage approach, such as Anna Wierzbicka, who argues that only judgments that are translatable into all natural languages are justifiable. I show how such a position is rooted in an implausible view, although one common among cognitive scientists and linguistics, about the nature of concepts, which does not allow for novel concepts. (shrink)

It is clear that beliefs can be assessed both as to their justification and their rationality. What is not as clear, however, is how the rationality and justification of belief relate to one another. Stewart Cohen has stumped for the popular proposal that rationality and justification come to the same thing, that rational beliefs just are justified beliefs, supporting his view by arguing that ‘justified belief’ and ‘rational belief’ are synonymous. In this paper, I will give reason (...) to think that Cohen’s argument is spurious. I will show that ‘rational’ and ‘justified’ occupy two distinct semantic categories – ‘rational’ is an absolute gradable adjective and ‘justified’ is a relative gradable adjective – telling against the thought that ‘rational belief’ and ‘justified belief’ are synonymous. I will then argue that the burden of proof is on those who would equate rationality and justification, making the case that those who hold this prominent position face the difficulty of explaining how rationality and justification come to the same thing even though ‘rational’ and ‘justified’ are not synonymous. (shrink)

The aim of this paper is to argue that there is no unproblematic way of delineating perceptual beliefs from non-perceptual beliefs. The concept of perceptual belief is one of the central concepts not only of philosophy of perception but also of epistemology in a broad foundationalist tradition. Philosophers of perception talk about perceptual belief as the interface between perception and cognition and foundationalist epistemologists understand perceptual justification as a relation between perceptual states and perceptual beliefs. We consider three ways (...) of cashing out the difference between perceptual and non-perceptual beliefs (semantic, justificatory, and etiological) and argue that none of them works. Finally, we explore the possibility of understanding perceptual justification without relying on the concept of perceptual beliefs. (shrink)

Naïve realism, often overlooked among philosophical theories of perception, has in recent years attracted a surge of interest. Broadly speaking, the central commitment of naïve realism is that mind-independent objects are essential to the fundamental analysis of perceptual experience. Since the claims of naïve realism concern the essential metaphysical structure of conscious perception, its truth or falsity is of central importance to a wide range of topics, including the explanation of semantic reference and representational content, the nature of phenomenal (...) consciousness, and the basis of perceptual justification and knowledge. One of the greatest difficulties surrounding discussions of naïve realism, however, has been lack of clarity concerning exactly what affirming or denying it entails. In particular, it is sometimes unclear how naïve realism is related to the claim that perceptual experience is in some sense direct or unmediated, and also to what extent the view is compatible with another widely discussed thesis in the philosophy of perception, the claim that perceptual experiences are states with representational content. In this essay, I discuss how recent work on these issues helps to clarify both the central commitments of naïve realism, as well as its relation to representationalist theories of perception. Along the way, I will attempt to shed light on the different ways in which each approach tries to address the various theoretical challenges facing a philosophical theory of perception, and also to assess the prospects for views that attempts to combine features of each approach. (shrink)

According to the inferential view of language comprehension, we hear a speaker’s utterance and infer what was said, drawing on our competence in the syntax and semantics of the language together with background information. On the alternative perceptual view, fluent speakers have a non-inferential capacity to perceive the content of speech. On this view, when we hear a speaker’s utterance, the experience confers some degree of justification on our beliefs about what was said in the absence of defeaters. So, (...) in the absence of defeaters, we can come to know what was said merely on the basis of hearing the utterance. Several arguments have been offered against a pure perceptual view of language comprehension, among others, arguments pointing to its alleged difficulties accounting for homophones and the context-sensitivity of ordinary language. After responding to the arguments against the perceptual view of language comprehension, I provide a new argument in favor of the perceptual view by looking closer at the dependence of the justificatory qualities of experience on the notion of a defeater as well as the perceptual nature of language learning and language processing. (shrink)

This article discusses a relation between the formal science of logical semantics and some monotheistic, polytheistic and Trinitarian Christian notions. This relation appears in the use of the existential quantifier and of logical-modal notions when some monotheistic and polytheistic concepts and, principally, the concept of Trinity Dogma are analyzed. Thus, some presupposed modal notions will appear in some monotheistic propositions, such as the notion of “logically necessary”. From this, it will be shown how the term “God” is a polysemic term (...) and is often treated as both subject and predicate. This will make it clear that there is no plausible intellectual justification for believing that the term “God” can only be used as a name and never as a predicate, and vice versa. After that analysis, I will show that the conjunction of the “Trinity Dogma” with some type of “monotheistic position” would necessarily imply some class of absurdity and/or semantic “oddity”. (shrink)

This paper considers some puzzling knowledge ascriptions and argues that they present prima facie counterexamples to credence, belief, and justification conditions on knowledge, as well as to many of the standard meta-semantic assumptions about the context-sensitivity of ‘know’. It argues that these ascriptions provide new evidence in favor of contextualist theories of knowledge—in particular those that take the interpretation of ‘know’ to be sensitive to the mechanisms of constraint.

Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, be (...) external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

Phenomenal conservatives claim that seemings are sui generis mental states and can thus provide foundational non-doxastic justification for beliefs. Many of their critics deny this, claiming, instead, that seemings can be reductively analyzed in terms of other mental states—either beliefs, inclinations to believe, or beliefs about one’s evidence—that cannot provide foundational non-doxastic justification. In this paper, I argue that no tenable semantic reduction of ‘seems’ can be formulated in terms of the three reductive analyses that have been (...) proposed by critics of phenomenal conservatism. This is because Moore-paradoxical statements are generated when each of the reductive analyses is substituted for ‘seems’ in statements like ‘The stick is straight, but it does not seem to me that it’s straight.’ Since the latter statement is not Moore-paradoxical, the three proposed reductive analyses of ‘seems’ are unsuccessful. Absent a successful semantic reduction, however, there is no good reason to think a successful metaphysical reduction of seemings is forthcoming. Thus, there is an additional reason, unnoticed in the existing literature, to think that seemings are sui generis mental states. (shrink)

Epistemic infinitism is the view that infinite series of inferential relations are productive of epistemic justification. Peirce is explicitly infinitist in his early work, namely his 1868 series of articles. Further, Peirce's semiotic categories of firsts, seconds, and thirds favors a mixed theory of justification. The conclusion is that Peirce was an infinitist, and particularly, what I will term an impure infinitist. However, the prospects for Peirce's infinitism depend entirely on the prospects for Peirce's early semantics, which are (...) not good. Peirce himself revised the semantic theory later, and in so doing, it seems also his epistemic infinitism. (shrink)

Ever since John Locke, philosophers have discussed the possibility of a normative epistemology: are there epistemic obligations binding the cognitive economy of belief and disbelief? Locke's influential answer was evidentialist: we have an epistemic obligation to believe in accordance with our evidence. In this dissertation, I place the contemporary literature on agency and reasons at the service of some such normative epistemology. I discuss the semantics of obligations, the connection between obligations and reasons to believe, the implausibility of Lockean evidentialism, (...) and some of the alleged connections between agency and justification. (shrink)

Statements containing epistemic modals (e.g., “by spring 2023 most European countries may have the Covid-19 pandemic under control”) are common expressions of epistemic uncertainty. In this paper, previous published findings (Knobe & Yalcin, 2014; Khoo & Phillips, 2018) on the opposition between Contextualism and Relativism for epistemic modals are re-examined. It is found that these findings contain a substantial degree of individual variation. To investigate whether participants differ in their interpretation of epistemic modals, an experiment with multiple phases and sessions (...) is used to classify participants according to the three semantic theories of Relativism, Contextualism, and Objectivism. Through this study, some of the first empirical evidence for the kind of truth-value shifts postulated by semantic Relativism is presented. It is furthermore found that participants’ disagreement judgments match their truth evaluations and that participants are capable of distinguishing between truth and justification. In a second experimental session, it is investigated whether participants thus classified follow the norm of retraction which Relativism uses to account for argumentation with epistemic modals. Here the results are less favorable for Relativism. In a second experiment, these results are replicated and the normative beliefs of participants concerning the norm of retraction are investigated following work on measuring norms by Bicchieri (2017). Again, it is found that on average participants show no strong preferences concerning the norm of retraction for epistemic modals. Yet, it was found that participants who had committed to Objectivism and had training in logics applied the norm of retraction to might-statements. These results present a substantial challenge to the account of argumentation with epistemic modals presented in MacFarlane (2014), as discussed. Keywords: Epistemic Modals, Relativism, Norm Conflicts, Retraction, Semantics, Truth Conditions, Argumentation. (shrink)

I distinguish three primary notions of objectivity that may be applied to the sciences. There is an ontological sense of objectivity which relates to the way in which the natural world exists independently of human thought. There is a semantic form of objectivity which relates to the nature of truth. There is an epistemic notion of objectivity which relates to the methodological norms and procedures which are employed in the sciences, and the epistemic justification of beliefs and theories (...) which are licensed by those norms and procedures. These three forms of objectivity may be brought into conjunction. It is because we employ methods of scientific inquiry which function to exclude subjective factors and to incorporate only genuinely epistemic factors that the results and theories of the sciences should be accepted. They should be accepted because by employing such methods we have the best chance of arriving at true beliefs about the nature of reality. In short, it is the epistemic objectivity of the methods of science that leads us to the objective truth about the objective world. (shrink)