Fibring has been shown to be useful for combining logics endowed withtruth-functional semantics. However, the techniques used so far are unableto cope with fibring of logics endowed with non-truth-functional semanticsas, for example, paraconsistent logics. The first main contribution of thepaper is the development of a suitable abstract notion of logic, that mayalso encompass systems with non-truth-functional connectives, and wherefibring can still be dealt with. Furthermore, it is shown that thisextended notion of fibring preserves completeness under (...) certain reasonableconditions. This completeness transfer result, the second main contributionof the paper, generalizes the one established in Zanardo et al. (2001) butis obtained using new techniques that explore the properties of a suitablemeta-logic (conditional equational logic) where the (possibly)non-truth-functional valuations are specified. The modal paraconsistentlogic of da Costa and Carnielli (1988) is studied in the context of this novel notionof fibring and its completeness is so established. (shrink)

Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective.

Jay Newhard (2021) proposes a novel solution to the Liar Paradox, which he calls the alethic indeterminacy solution to the Liar Paradox. Bradley Armour-Garb (2021) raises a pair of objections to the alethic indeterminacy solution. Both objections are based upon the alethic indeterminacy solution’s alleged commitment that the truth conditions for a Liar Sentence are indeterminate, and therefore not true. In this paper, this alleged commitment is shown to be mistaken. The alethic indeterminacy solution is compatible with maintaining that (...) the truth conditions for a Liar Sentence are a non-truth-functional biconditional which is true, and not indeterminate. Logically complex sentences are typically and standardly treated as truth-functional, and the philosophical literature on non-truth-functionality is diffuse. Two independent accounts of non-truth-functional biconditionals are defended. The first account is based on the claim that indicative conditionals express a non-truth-functional dependency relation between consequent and antecedent. The second account is based upon connected sentences having interdependent truth conditions, which can occur with any polyadic connective. These accounts are fully general, not ad hoc measures. Each account solves both of Armour-Garb’s objections. With both objections met, the alethic indeterminacy solution is shown to be a viable solution to the Liar Paradox worth further development. (shrink)

What is the fundamental insight behind truth-functionality ? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truth-functionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely well-known. A clear distinction can be drawn (...) between logics characterizable through: (1) genuinely finite-valued truth-tabular semantics; (2) no finite-valued but only an infinite-valued truthtabular semantics; (3) no truth-tabular semantics at all. Any of those logics, however, can in principle be characterized through non-truth-functional valuation semantics, at least as soon as their associated consequence relations respect the usual tarskian postulates. So, paradoxical as that might seem at first, it turns out that truth-functional logics may be adequately characterized by non-truth-functional semantics . Now, what feature of a given logic would guarantee it to dwell in class (1) or in class (2), irrespective of its circumstantial semantic characterization? (shrink)

I discuss Frege's argument - later called the slingshot - that if a construction is extensional and preserves logical equivalence then it is truth-functional. I consider some simple apparent counterexamples and conclude that they are not sentence-embedding in the required way.

The general fact of the impossibility of a bivalent, truth-functional semantics for the propositional structures determined by quantum mechanics should be more subtly demarcated according to whether the structures are taken to be orthomodular latticesP L or partial-Boolean algebrasP A; according to whether the semantic mappings are required to be truth-functional or truth-functional ; and according to whether two-or-higher dimensional Hilbert spaceP structures or three-or-higher dimensional Hilbert spaceP structures are being considered. If the quantumP (...) structures are taken to be orthomodular latticesP L, then bivalent mappings which preserve the operations and relations of aP L must be truth-functional . Then as suggested by von Neumann and Jauch-Piron and as proven in this paper, the mere presence of incompatible elements in aP L is sufficient to rule out any semantical or hidden-variable proposal which imposes this strong condition, for anytwo-or-higher dimensional Hilbert spaceP L structure. Thus from the orthomodular lattice perspective, the peculiarly non-classical feature of quantum mechanics and the peculiarly non-Boolean feature of the quantum propositional structures is the existence of incompatible magnitudes and propositions. However, the weaker truth-functionality condition can instead be imposed upon the semantic or hidden-variable mappings on theP L structures, although such mappings ignore the lattice meets and joins of incompatibles and preserve only the partial-Boolean algebra structural features of theP L structures. Or alternatively, the quantum propositional structures can be taken to be partial-Boolean algebrasP A, where bivalent mappings which preserve the operations and relations of aP A need only be truth-functional (c). In either case, the Gleason, Kochen-Specker proofs show that any semantical or hidden variable proposal which imposes this truth-functionality (c) condition is impossible for anythree-or-higher dimensional Hilbert spaceP A orP L structures. But such semantical or hidden-variable proposals are possible for any two dimensional Hilbert spaceP A orP L structures, in spite of the presence of incompatibles in these structures, in spite of the fact that Heisenberg's Uncertainty Principle applies to the incompatible elements in these structures, and in spite of the fact that these structures are non-Boolean in the Piron sense. (shrink)

This paper aims to explain how the Tractatus attempts to unify logic by deriving the truth-functionality of logical necessity from the thesis that a proposition shows its sense. I first interpret the Tractarian notion of showing as the displaying of what is intrinsic to an expression (or a symbol). Then I argue that, according to the Tractatus, the thesis that a proposition shows its sense implies the determinacy of sense, the possibility of the complete elimination of non-primitive symbols, the (...) analyticity thesis and the strong analyticity thesis. The picture theory emerges as what provides the only acceptable account of an elementary proposition, subject to the constraint that a proposition must show its sense. The picture theory and the analyticity thesis then entail the contingency thesis (that an elementary proposition is contingent) and the independence thesis (that elementary propositions are mutually logically independent) which, together with the strong analyticity thesis, imply that all logical propositions are tautologies. (shrink)

Many areas of philosophy employ a distinction between factual and non-factual (descriptive/non-descriptive, cognitive/non-cognitive, etc) uses of language. This book examines the various ways in which this distinction is normally drawn, argues that all are unsatisfactory, and suggests that the search for a sharp distinction is misconceived. The book develops an alternative approach, based on a novel theory of the function and origins of the concept of truth. The central hypothesis is that the main role of the normative notion of (...) truth is to encourage speakers to argue, with long-run behavioural advantages. This offers a fresh perspective on many debates about realism in contemporary philosophy. (shrink)

I give a biological account of epistemic normativity. My account explains the sense in which it is true that belief is subject to a standard of correctness, and reduces epistemic norms to there being doxastic strategies which guide how best to meet that standard. Additionally, I give an explanation of the mistakes we make in our epistemic discourse, understood as either taking epistemic properties and norms to be sui generis and irreducible, and/or as failing to recognize the reductive base of (...) epistemic normativity. This explanation will appeal to the claim that the beliefs which constitute our epistemic discourse are false but adaptive, and are the outcome of a non-truth tracking process. The opponents of my position are philosophers who take epistemic normativity not to be reducible in this way, and to involve sui generis properties and norms governing belief. The aim of the paper is to show that epistemic normativity can be explained by appeal to the biological functions of our mechanisms of belief-production. (shrink)

Among truthmaker theorists it is generally thought that we are not able to use the entailment principle to ground negative truths. But these theorists usually only discuss truthmakers for truth-functional complexes, thereby overlooking the fact that there are non-truth-functional complexes whose truth values are not solely determined by the truth or falsity of their atomic propositions. And once we expand the class of truths that require their own bespoke truthmakers to also include these, there (...) is no reason to exempt negative truths from grounding. For given that truthmaking is closed under entailment and every negative truths is entailed by some non-truth-functional complex or other, any resources rich enough to ground the truth of the latter will do the same job for the former. (shrink)

The article is about one of the vital problem for analytic philosophy which is how to define truth value for sentences which include their own truth predicate. The aim of the article is to determine Saul Kripke’s approach to widen epistemological truth to create a systemic model of truth. Despite a lot of work on the subject, the theme of truth is no less relevant to modern philosophy. With the help of S. Kripke’s article “Outline (...) of the Theory of Truth” and R. L. Kirkham’s work “Theories of Truth: A Critical Introduction” the author tried to represent a non-classical approach which is now known as Saul Kripke’s truth value gaps theory. Considering his solving of the Liar Paradox, as well as the Strenghened Liar, it is obvious that there could be the circumstances (or facts) that make sentences have no truth value. In that case the solving of the paradox attracts Kleene’s non-classical three-valued logic which contains the third way and the solution falls into the gap between truth and falsity. Hence there are no relevant and full satisfactory ways to solve the Liar’s Paradox by the language-levels ap- proach. The task consists in an extension of the approach to natural languages and elimination of an ad hoc element as well. Besides that, the language-levels approach refers to the speaker that means that only the last one is allowed to define the hierarchy of the levels and truth value of sentence, but often he does not know what level he is speaking of. As Kripke stated, contingent facts can lead to a paradox which isn’t allowed for a logical point of view. However usage of mathematical apparatus allows the theory in question to be universalized and moreover paves the way to futher epistemological develop- ment of the problem in question. As Kripke’s theory is formalized and presented as a functional series, it gives access to a system model of truth whose elements would be epistemological theories (concepts) of truth. Such a model, for instance, confirms the validity of the deflationary concept of truth. Refs 7. (shrink)

In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some generalizations of it in non-classical logics: many-valued matrix semantics with three and four values, non-truth-functional bivalent semantics, Kripke possible world semantics. • DOI:10.5007/1808-1711.2010v14n1p31.

Dyadic semantics is a sort of non-truth-functional bivalued semantics introduced in Caleiro et al. Logica Universalis, Birkhäuser, Basel, pp 169–189, 2005). Here we introduce an algorithmic procedure for constructing conservative translations of logics characterised by dyadic semantics into classical propositional logic. The procedure uses fresh propositional variables, which we call hidden variables, to represent the indeterminism of dyadic semantics. An alternative algorithmic procedure for constructing conservative translations of any finite-valued logic into classical logic is also introduced. In this (...) alternative procedure hidden variables are also used, but in this case to represent the degree of true or falsehood of propositions. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the (...) paper is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

A semantics of vagueness should reject the principle that every statement has a truth-value yet retain the classical tautologies. A many-value, non-truth-functional semantics and a semantics of super-valuations each have this result. According to the super-valuation approach, 'if a man with n hairs on his head is bald, then a man with n plus one hairs on his head is also bald' is false because it comes out false no matter how the vague predicate 'is bald' is (...) appropriately made precise. But why should a sentence in which components actually remain imprecise be regarded as actually false just because it would be false if its components were precise? On one of the alternative treatments of quantification allowed by the many-value approach, the sentence in question is assigned an intermediate value closer to 'false' than to 'true'. Despite the elegance of the super-valuation approach, there are reasons to prefer the many-value approach. (shrink)

This chapter contains sections titled: Recent Relativism Standard Semantics and Ordinary Truth Relativist Semantics and Ordinary Truth Issues of Commensurability References.

(i) It is propositions, not sentences, that are true or false. It is true ‘Dogs bark’ does not make sense. It is true that dogs bark does. (ii) and (iii) Davidson wrong about ‘that’. (iv) The difference between ‘implies’ and ‘if ... then ...’. (v), (vi), (vii) and (viii) Russell, not Quine, right about the subject matter of logic. (ix) The objectual and substitutional interpretations of quantifiers compatible. (x), (xi), (xii), (xiii), (xiv), (xv) and (xvi) Implications for well-known theories of (...) truth; truth correspondence. (xvii), (xviii) and (xix) and (xx) Implications for the principle of bivalence, the law of excluded middle, and the principle of non-contradiction. (xxi) Recapitulation. (xxii) ‘That’ and entailment. (xxiii) Propositions not entities, subsistent or otherwise. Footnotes1 This article was stimulated by some remarks by J. J. C. Smart in criticism of a piece of work (God, Freedom and Immortality, Ashgate, 1999) that he was kind enough to read for me. I am greatly indebted to my friend David Rees for correcting the manuscript, and making some valuable suggestions concerning its content. (shrink)

This article introduces a non‐cognitivist account of metaphysical explanation according to which the core function of judgements of the form ⌜x because y⌝ is not to state truth‐apt beliefs. Instead, their core function is to express attitudes of commitment to, and recommendation of the acceptance of certain norms governing interventional conduct at contexts.

Meta-ethical non-cognitivism makes two claims—a negative one and a positive one. The negative claim is that moral utterances do not express beliefs which provide the truth-conditions for those utterances. The positive claim is that the primary function of such utterances is to express certain of the speaker's desire-like states of mind. Non-cognitivism is officially a theory about the meanings of moral words, but non-cognitivists also maintain that moral states of mind are themselves at least partially constituted by desire-like states (...) to which moral utterances give voice. Non-cognitivists need a plausible account of what distinguishes whims, addictions and cravings from genuinely moral judgments. For while non-cognitivists maintain that in a suitably broad sense moral judgments just are constituted by desire-like states they also insist that not any old desire constitutes a genuinely moral judgment. Since the challenge is to demarcate what is distinctive about moral attitudes we might usefully call this the demarcation challenge. (shrink)

Hobbes’s interpreters have struggled to find a plausible semantics for evaluative language in his writings. I argue that this search is misguided. Hobbes offers neither an account of the reference of evaluative terms nor a theory of the truth-conditions for evaluative statements. Rather, he sees evaluative language simply as having the non-representational function of prescribing actions and practical attitudes, its superficially representational appearance notwithstanding. I marshal the evidence for this prescriptivist reading of Hobbes on evaluative language and show how (...) it sidesteps various textual and philosophical problems that bedevil the traditional interpretations. (shrink)

In many real-life applications of logic it is useful to interpret a particular sentence as true together with its negation. If we are talking about classical logic, this situation would force all other sentences to be equally interpreted as true. Paraconsistent logics are exactly those logics that escape this explosive effect of the presence of inconsistencies and allow for sensible reasoning still to take effect. To provide reasonably intuitive semantics for paraconsistent logics has traditionally proven to be a challenge. Possible-translations (...) semantics can meet that challenge by allowing for each interpretation to be composed of multiple scenarios. Using that idea, a logic with a complex semantic behavior can be understood as an appropriate combination of ingredient logics with simpler semantic behaviors into which the original logic is given a collection of translations preserving its soundness. Completeness is then achieved through the judicious choice of the admissible translating mappings. The present note provides interpretation by way of possible-translations semantics for a group of fundamental paraconsistent logics extending the positive fragment of classical propositional logic. The logics PI, Cmin, mbC, bC, mCi and Ci, among others, are all initially presented through their non-truth-functional bivaluation semantics and sequent versions and then split by way of possible-translations semantics based on 3-valued ingredients. (shrink)

Consider truth predicates. Minimalist analyses of truth predicates may involve commitment to some of the following claims: (i) truth “predicates” are not genuine predicates -- either because the truth “predicate” disappears under paraphrase or translation into deep structure, or because the truth “predicate” is shown to have a non-predicative function by performative or expressivist analysis, or because truth “predicates” must be traded in for predicates of the form “true-in-L”; (ii) truth predicates express ineligible, (...) non-natural, gerrymandered properties; (iii) truth predicates express metaphysically lightweight properties; (iv) truth predicates have thin conceptual roles; (v) truth predicates express properties with no hidden essence; (vi) truth predicates express properties which have no causal or explanatory role in canonical formulations of fundamental theories. (shrink)

In this paper we study 12 four-valued logics arisen from Belnap's truth and/or knowledge four-valued lattices, with or without constants, by adding one or both or none of two new non-regular operations—classical negation and natural implication. We prove that the secondary connectives of the bilattice four-valued logic with bilattice constants are exactly the regular four-valued operations. Moreover, we prove that its expansion by any non-regular connective (such as, e.g., classical negation or natural implication) is strictly functionally complete. Further, finding (...) axiomatizations of the quasi varieties generated by the 12 logics involved (that prove to be varieties), we find naturell equational axiomatizations of these logics. Finally, applying Pynko's general theory of algebraizable sequential consequence operations, we also find equivalent natural sequentiell axiomatizations of the logics under consideration that expand either of two Pynko's sequential calculi for the constant-free truth-lattice four-valued logic. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 25.2 (2001) 215-232 [Access article in PDF] Eighteenth-Century Print Culture and the "Truth" of Fictional Narrative Lisa Zunshine As a session entitled "Truth" at a recent Modern Language Association of America annual convention has demonstrated, the obsession with the epistemologies of truth is alive and well. Our "familiar ways of thinking and talking about truth," as one of the speakers, Barbara Herrnstein (...) Smith, observed, remain "theoretically elusive, discursively slippery, and hard or perhaps impossible to articulate clearly in relation to other current concepts and ideas" 1 --an irresistible invitation to further thinking and talking on the subject. My essay enters this conversation by attempting to contemplate truth not as a stable attribute but as a ongoing attribution, that is, not as an inherent property but rather as a dynamic process predicated upon functional idiosyncrasies of our evolved cognitive architecture. The broad question posed here is this: What if our never-ending quest for truth is itself cognitively constructed and the various forms that this quest takes manifest the (not necessarily harmonious) interaction between our evolved cognitive capacities and the ever-changing specifics of our cultural environment?Consider just one of the forms of such an interaction, namely, our age-long preoccupation with the "truth" of literary narrative. In many respects, this preoccupation is counterproductive: the most "fantastic" story contains a number of contingently useful "truths" about the world, whereas the most "factual" narrative manipulates facts by virtue of being a narrative or a subjective arrangementof information. Still, we persevere in wanting to put the label "fiction" or "nonfiction" onto any story that comes our way. As I will argue, the bookstore's organization of its sections satisfies this species of "cognitive" craving as well as [End Page 215] reinforces it, making it seem culturally inevitable. Viewed from this perspective, our culture appears to be a multifaceted feedback mechanism engaged in the process of satisfying, reinforcing, struggling with, and manipulating our cognitive predispositions.The cultural manipulation of our cognitive predispositions is the topic of the present essay, which discusses several examples of such manipulation that respond to our desire to assign a certain "truth-value" to a given narrative, i.e., to attach a label to it announcing its "factuality" or "fictionality." "Truth-value" is a loaded term, resisting definition, and liable to lead me into trouble. Imperfect as it is, however, I need it in order to shuffle between two scholarly discourses that do not (yet) have much vocabulary in common: literary criticism and cognitive science. The reason for turning to cognitive science in my discussion of literary narrative is that cognitive anthropologists and psychologists frequently engage the same problems that we do when we ask, What is "Fiction"? How is it different from "History"? How do we decide whether what we are reading is "true?" The key difference between the two approaches is, however, that whereas the literary critic focuses on specific texts produced and read in specific cultural circumstances, the cognitive anthropologist pays attention to the cross-cultural insistence with which people wish to and often claim to distinguish "truth" from "fiction" and inquires into the possible evolutionary history of the cognitive architecture implicated in our never-ending quest for "truth." The latter perspective can thus be useful for literary studies because, by suggesting that our evolved cognitive architecture often "encourages" us to construe the world as a negotiation of "truths" and "nontruths," this perspective begins to account--at least on some level--for the fact that people may approach a complex cultural artifact, such as a novel, with a "truth"/"non-truth" binary in mind that is ultimately not very productive. 2 Evolutionary psychologists and anthropologists frequently point to disjunctions between the tasks that our brain evolved to solve and the tasks that we have to deal with in the modern environment; our vexed insistence on determining the truth-value of the 500-page printed narrative--not an object one would come across in the Pleistocene--can be seen as yet another instance of such a disjunction.Thus, I suggest that, on the... (shrink)

How can a reflective scientist put forward an explanation using a model when they are aware that many of the assumptions used to specify that model are false? This paper addresses this challenge by making two substantial assumptions about explanatory practice. First, many of the propositions deployed in the course of explaining have a non-representational function. In particular, a proposition that a scientist uses and also believes to be false, i.e. an “idealization”, typically has some non-representational function in the practice, (...) such as the interpretation of some model or the specification of the target of the explanation. Second, when an agent puts forward an explanation using a model, they usually aim to remain agnostic about various features of the phenomenon being explained. In this sense, explanations are intended to be autonomous from many of the more fundamental features of such systems. I support these two assumptions by showing how they allow one to address a number of recent concerns raised by Bokulich, Potochnik and Rice. In addition, these assumptions lead to a defense of the view that explanations are wholly true that improves on the accounts developed by Craver, Mäki and Strevens. (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)

Rawlsian political liberalism famously requires a prohibition on truth. This has led to the charge that liberalism embraces non-cognitivism, according to which political claims have the moral status of emotions or expressions of preference. This result would render liberalism a non-starter for liberatory politics, a conclusion that political liberals themselves disavow. This conflict between what liberalism claims and what liberalism does has led critics to charge that the theory is disingenuous and functions as political ideology. In this paper, I (...) explore one way that this charge unfolds: critics charge that liberalism utilizes an individualistic and identity-insensitive social ontology, which in turn yields epistemic deficiencies that render it incapable of detecting oppression. The theory’s claim to freestandingness then shields it from necessary critique. I argue that this objection relies on constructing a conflict between liberalism’s professed non-cognitivism and its actual cognitivist commitments. By demonstrating that Rawlsian political liberalism explicitly endorses substantive moral truths, and that the method of avoidance applies only to public justification for coercive state action, I show that the theory is openly and foundationally cognitivist, and thus that the charge of disingenuousness does not stick. (shrink)

Abstracts The aim of the paper is to propose an alternative model to realist and non-cognitive explanations of the rule-guided use of thick ethical concepts and to examine the implications that may be drawn from this and similar cases for our general understanding of rule-following and the relation between criteria of application, truth and correctness. It addresses McDowell’s non-cognitivism critique and challenges his defence of the entanglement thesis for thick ethical concepts. Contrary to non-cognitivists, however, I propose to view (...) the relation between the two terms of the entanglement as resulting from the satisfaction of a previously applied moral function. This is what I call a “Three-Fold Model”. (shrink)

It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account is to (...) treat quantifiers and λs as monsters in Kaplan’s sense. We argue that this move should be avoided and explore an alternative route based on the idea that there is a variable assignment coordinate in the context and a variable assignment coordinate in the circumstance of evaluation, with the definition of truth in context identifying them. One fundamental challenge that arises in pursuing a unified account is to explain the difference in the way the gender presuppositions of bound and free pronouns project. The proposal that emerges from the attempt to meet this challenge is a non-indexical account of free third person pronouns and a new conception of the role and structure of assignment functions. (shrink)

Dynamic Topological Logic () is a combination of , under its topological interpretation, and the temporal logic interpreted over the natural numbers. is used to reason about properties of dynamical systems based on topological spaces. Semantics are given by dynamic topological models, which are tuples , where is a topological space, f a function on X and V a truth valuation assigning subsets of X to propositional variables. Our main result is that the set of valid formulas of over (...) spaces with continuous functions is recursively enumerable. We show this by defining alternative semantics for . Under standard semantics, is not complete for Kripke frames. However, we introduce the notion of a non-deterministic quasimodel, where the function f is replaced by a binary relation g assigning to each world multiple temporal successors. We place restrictions on the successors so that the logic remains unchanged; under these alternative semantics, becomes Kripke-complete. We then apply model-search techniques to enumerate the set of all valid formulas. (shrink)

The majority of formal accounts attribute to Stoic logicians the classical truth-functional understanding of the material conditional and exclusive disjunction.These interpretations were disputed,...

Belief revision (BR) and truthlikeness (TL) emerged independently as two research programmes in formal methodology in the 1970s. A natural way of connecting BR and TL is to ask under what conditions the revision of a belief system by new input information leads the system towards the truth. It turns out that, for the AGM model of belief revision, the only safe case is the expansion of true beliefs by true input, but this is not very interesting or realistic (...) as a model of theory change in science. The new accounts of non-prioritized belief revision do not seem more promising in this respect, and the alternative BR account of updating by imaging leads to other problems. Still, positive results about increasing truthlikeness by belief revision may be sought by restricting attention to special kinds of theories. Another approach is to link truthlikeness to epistemic matters by an estimation function which calculates expected degrees of truthlikeness relative to evidence. Then we can study how the expected truthlikeness of a theory changes when probabilities are revised by conditionalization or imaging. Again, we can ask under what conditions such changes lead our best theories towards the truth. (shrink)

Every artificial-intelligence research project needs a working definition of "intelligence", on which the deepest goals and assumptions of the research are based. In the project described in the following chapters, "intelligence" is defined as the capacity to adapt under insufficient knowledge and resources. Concretely, an intelligent system should be finite and open, and should work in real time. ;If these criteria are used in the design of a reasoning system, the result is NARS, a non-axiomatic reasoning system. ;NARS uses a (...) term-oriented formal language, characterized by the use of subject-predicate sentences. The language has an experience-grounded semantics, according to which the truth value of a judgment is determined by previous experience, and the meaning of a term is determined by its relations with other terms. Several different types of uncertainty, such as randomness, fuzziness, and ignorance, can be represented in the language in a single way. ;The inference rules of NARS are based on three inheritance relations between terms. With different combinations of premises, revision, deduction, induction, abduction, exemplification, comparison, and analogy can all be carried out in a uniform format, the major difference between these types of inference being that different functions are used to calculate the truth value of the conclusion from the truth values of the premises. ;Since it has insufficient space-time resources, the system needs to distribute them among its tasks very carefully, and to dynamically adjust the distribution as the situation changes. This leads to a "controlled concurrency" control mechanism, and a "bag-based" memory organization. ;A recent implementation of the NARS model, with examples, is discussed. The system has many interesting properties that are shared by human cognition, but are absent from conventional computational models of reasoning. ;This research sheds light on several notions in artificial intelligence and cognitive science, including symbol-grounding, induction, categorization, logic, and computation. These are discussed to show the implications of the new theory of intelligence. ;Finally, the major results of the research are summarized, a preliminary evaluation of the working definition of intelligence is given, and the limitations and future extensions of the research are discussed. (shrink)

The paper offers a critical examination of a prominent, “quasi-deflationist” argument advanced in the contemporary debate on the semantic paradoxes against non-naive and non-transparent theories of truth. The argument claims that truth unrestrictedly fulfils certain expressive functions, and that its so doing requires the unrestricted validity of naivety and transparency principles. The paper criticises the quasi-deflationist argument by considering some kinds of cases in which transparency and naivety arguably fail. In some such cases truth still fulfils the (...) relevant expressive functions without being transparent or naive; in some other such cases, truth does not fulfil the relevant expressive functions and other conceptual resources must be called upon. Thus, in different ways, all such cases belie the quasi-deflationist argument’s insistence that naivety and transparency should be unrestrictedly valid for truth unrestrictedly to fulfil the relevant expressive functions. There might however be other reasons for solving the semantic paradoxes by revising classical logic, and the paper in effect closes by offering versions of the liar paradox that rely on compelling but opacity-friendly truth-theoretic principles. (shrink)

Since last year, major initiatives have been undertaken by the chair of theoretical philosophy at the University of Tübingen in order to enhance the reception of analytic metaphysics in the European landscape. Here we review the 2013 summer workshop, intended to be the first of an annual series, on “Existence, Truth and Fundamentality”, the invited speakers being Graham Priest (Melbourne), Stephan Leuenberger (Glasgow), Dan López de Sa (Barcelona), Francesco Berto (Aberdeen), Friederike Moltmann (Paris – Pantheon Sorbonne) and Jason Turner (...) (Leeds). The workshop’s scope is fairly large, focusing on three different aspects of contemporary research in metaphysics. However, the underlying idea of organizers Thomas Sattig and Alessandro Torza consisted in exploring their interconnections and even new areas which possibly share the same problem spectrum. Also, they thought of bringing together both young and senior protagonists of the contemporary debate. In this sense, the main thread followed by the speakers consisted in enquiring the ideas of fundamentality, dependence and grounding with respect to ontology (Berto, López de Sa, Turner) and the truthmaking debate (Priest, Moltmann, Leuenberger), thus pretty much in line with some latest tendencies in metaphysics, such as, prima inter paria, the works of Kit Fine. When we say that something is more fundamental than something else, we move into a non-conventional (for the standards of 20 th century philosophy) metodological framework, hardly focusing on the question about what there is, and rather tackling the issue of how fundamentally there is what there is, or how the existence of something is required as a ground for the existence of other things. Here is how Jonathan Schaffer explains the methodological transition in his influential “On What Grounds What” (2009): -/- Among the many assumptions Quine and Carnap share is that metaphysical questions are existence questions, such as whether numbers exist. They only disagree on the further issue of whether such questions are meaningful (at least as the metaphysician might pose them). But why think that metaphysical questions are existence question of this sort? Return to Aristotle’s Metaphysics. There are virtually no existence question posed. The whole discussion is about substances (fundamental units of being). At one point Aristotle pauses to ask if numbers exist, and his answer is a brief and dismissive yes. [. . . ] For Aristotle, the question about numbers is whether they are transcendent substances or grounded in concreta. The question is not whether numbers exist, but how. (Schaffer, 2009, p. 347) -/- The conference opened with Graham Priest’s intriguing and peculiar review of Buddhist cornerstone “The Fundamental Verses of the Middle Way” (Mūlamadhyakamakārikā) by Nāgārjuna (ca. 150-ca. 250 AD), seen as a unrecognized forerunner of multi-valued semantics and dialetheism. Priest shows that Nagarjuna’s thought indeed has valuable analytic grip (contrary to the traditional mystical dismiss of his works altogether) and is even in accord to some formal schemas rejecting both the laws of excluded middle and non-contradiction. Dan López de Sa was interested in the topic of grounding, raising concerns about how to explain the kind of “reality” exemplified by what is not fundamental, but rather derivative on something else. He proposes a conceptual and non-primitive analysis of grounding as linked to fundamentality and derivation, and argues that the view can be advocated along with the acceptance that at least something is not fundamental. Subsequently, he illustrates an impressive range of applications linked to contemporary debates in meta-ontology, truthmaking and philosophy of time. Stephan Leuenberger discussed a semantics for “total logic”, a variant of first order logic which is claimed to have several applications with respect to the issue of excluding negative existentials from the scope of theories accounting for a given ’totality’ of facts. For example, materialism is the claim that everything there is can be traced back to physical facts or to truth implied by those facts. What about the claim that “There are no angels”? According to Leuenberger, ordinary logic falls prey of modal arguments (if it is possible that there are angels, by modus tollens, that it is not metaphysically necessary that everything there is is physical). So, there is space for the introduction of a new operator, the totality operator, claiming of what enters its scope that “that’s the whole truth”. Consequently, total logic’s semantics tackles David Chalmers’ well-known conceivability-based argument in favour of zombie’s (subjects producing behaviour but experiencing no qualia) possible existence. Friederike Moltmann presented a massive array of natural language-based examples on the role played by case-constructions, such as “it is the case that Caesar crossed the Rubicon”, “the case of the stolen statue”, “the case in which it might rain”, and so forth. She suggests that we should take surface phenomena of our language very seriously with regard to the determination of ontological categories and truth-makers. Cases are provided by many natural languages with their own existence predicates (“to occur” and “to present itself ”), and these do not apply to other kind of entities, such as objects and events. Trying to derive a substantive thesis on their nature, she claims that they are filtered entities, a structure taking into account some features of the corresponding objects and events and preserving their relational pattern. Jason Turner discussed meta-ontological concerns against the claim that ontological debates are defective. Analysed the structure of a metaphysical theory and identified two different forms of defectiveness that can occur in ontological questions, the defection from without and the defection from within, the author provided an original solution in order to avoid such difficulties. He argued thus in favor of a logical constancy, a translation principle thanks to it would be possible reconceive an ontological defection. Lastly, Francesco Berto’s talk closed the workshop with a sagacious discussion of meinongian quantification. He substains that Meinongians and Quineans experience no conceptual equivocation. Even if the former claims that “There are things that do not exist”, something that the latter contrasts with the interpretation of existential quantifiers as all-including, they still rely upon the same concept of “existence” and they understand each other when they are outside the ontology room, so that it cannot be that they lack competence. Subsequently, Berto deals with the objection that Meinongians commit analytic falsehood in separating the meaning of “to be” from that of “exists”. The Quinean has no independent evidence for analytic equivalence aside from her emphatic stress on the “is” in “there is”. Meinongians, however, can retort to linguistic considerations and claim that existence predicates display fairly different functions. -/- As for what regards our internal division of the “philosophical labor”, Fabio Ceravolo reviewed Moltmann and Berto’s talks; whereas Mattia Cozzi took care of Priest’s and Leuenberger’s, and Mattia Sorgon of those given by López de Sa and Turner. Conclusively, we would like to thank Thomas Sattig and Alessandro Torza for all of their organizational efforts and the kind welcome they reserved to us. We hope we will have further opportunities to collaborate with Tübingen in supporting similarly innovative and valiant european initiatives. (shrink)

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects (...) of classical type-free truth. In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)

This chapter establishes the concept of a “symbolic system of representation“ to make clear how it is possible that humans use not only the language-based system of representation for cognitive contents but also a many layered non-linguistic system, a system which we probably share with other species. A symbolic system of representation denotes a general concept of a performance of which our language is only one single case, but which nevertheless is most easily explained through the case of language. A (...) system of representation should enable us to form and manipulate an idea of a state of affairs or of an event without having the appropriate intuition of it. We usually think that we do this only using linguistic expressions, but this is not the whole truth. Language is one system of representation, but we can in principle conceive of other systems of representation with the same performance. Husserl’s theory of meaning already reveals this possibility. A phenomenological analysis reveals that a non-linguistic system of representation is in fact still functioning in our own consciousness. We simultaneously use different means of representation, the most prominent of which are language, gestures, feelings and scenic images. It is especially fruitful to investigate the scenic mode of daydreaming as a central form of non-linguistic thinking. Through a close comparison of alternative systems of representation, the systematic difference of usual semantics in normal language systems based on convention and the more natural similarity semantics of some non-linguistic systems of representation is revealed. (shrink)

This paper generalises an argument for probabilism due to Lindley [9]. I extend the argument to a number of non-classical logical settings whose truth-values, seen here as ideal aims for belief, are in the set $\{0,1\}$, and where logical consequence $\models $ is given the “no-drop” characterization. First I will show that, in each of these settings, an agent’s credence can only avoid accuracy-domination if its canonical transform is a (possibly non-classical) probability function. In other words, if an agent (...) values accuracy as the fundamental epistemic virtue, it is a necessary requirement for rationality that her credence have some probabilistic structure. Then I show that for a certain class of reasonable measures of inaccuracy, having such a probabilistic structure is sufficient to avoid accuracy-domination in these non-classical settings. (shrink)

I argue that explanations of doxastic transparency which go via an appeal to an aim or norm of belief are problematic. I offer a new explanation which appeals to a biological function of our mechanisms for belief production. I begin by characterizing the phenomenon, and then move to the teleological and normative accounts of belief, advertised by their proponents as able to give an explanation of it. I argue that, at the very least, both accounts face serious difficulties in this (...) endeavour. These difficulties are a function of seeking an explanation of transparency at the agential level, either with the subject aiming at truth, or being guided by a norm of truth. I adopt a motivational account of belief, one which severs the connection between belief and truth, and supplement this with an account of actual world beliefs. My alternative explanation is found at the sub-intentional, non-agential level, secured by biology. This explanation casts transparency not as related to the nature of deliberation over what to believe, but rather as contingently characterizing the beliefs of some believers, namely those with a particular biological history. My explanation thus parts company with what has come before along two dimensions: it moves away from transparency being something related to the agent’s aims or commitments, and it understands it as a contingent phenomenon. I close by considering an objection to my view—that transparency must not be understood as a contingent phenomenon—and a nearby alternative position which avoids this consequence. I respond to this objection and give reasons not to endorse the nearby alternative. I conclude that my explanation does not face the difficulties of those offered by teleologists and normativists, and, that by moving away from agential explanations, and casting transparency as contingent, we can provide a successful explanation of it. (shrink)

ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles (...) of propositional logic; 4. Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)

The advocate of modal logic or relevant logic has traditionally argued that her preferred system offers the best regimentation of the theory of entailment. Essential to the projects of modal and relevant logic is the importation of non-truth-functional expressive resources into the object language on which the logic is defined. The most elegant technique for giving the semantics of such languages is that of frame semantics, a variation on which features the device of partitioned frames that divide 'points (...) of evaluation' into two types: normal points and abnormal points. This essay attempts to provide satisfying philosophical interpretations of the partitioned frame semantics for some weak modal logics and relevant logics. According to the current best interpretation, partitioned frame semantics are a kind of possible worlds semantics that appeal to 'logically impossible worlds' where the laws of logic may fail to hold. This is undermined by the fact that all of the target logics fail to satisfy criteria of expressibility needed to support the thesis that laws of logic fail to hold at abnormal points. This suggests that we should not look for a monistic interpretive paradigm for partitioned frame semantics. (shrink)

This paper investigates the linguistic basis for moral non-cognitivism, the view that sentences containing moral predicates do not have truth conditions. It offers a new argument against this view by pointing out that the view is incompatible with our best empirical theories about the grammatical encoding of illocutionary force potentials. Given that my arguments are based on very general assumptions about the relations between the grammar of natural languages and a sentence's illocutionary function, my arguments are broader in scope (...) than the familiar semantic objections to non-cognitivism relating to the so-called Frege-Geach problem: even if a solution to the Frege-Geach problem has been found, my arguments still stand. (shrink)

This chapter discusses various attempts at deriving metaethical conclusions from claims about the function of morality. In doing so, it will, for the most part, grant the truth of such function claims and focus on what metaethical theses they do and do not support. After briefly surveying various recent proposals that rely on functions claims in an attempt to debunk the possibility of robust moral truth and knowledge, the chapter focusses on the contrary, vindicatory project. The proponents of (...) this project argue that a proper understanding of morality’s function not only supports the idea that there are moral truths that we can gain knowledge of, but also provides us with a better understanding of the grounds of those truths, an understanding, moreover, that reconciles the existence of such truths with a naturalistic worldview. A critical assessment of their proposals reveals that while a promising vindicatory role for a function claim can be found in elaborating a non-representationalist conception of the truth of moral judgments, grounding moral truth in morality’s function in that way allows for naturalizing ethics in a modest sense at the most. (shrink)

This dissertation explores several accounts of the intuitions speakers have concerning the truth values of utterances of sentences containing vague nouns and adjectives. While some semanticists have attempted to account for these intuitions with multi-valued logics and supervaluation theories of truth, I focus on how utterances of vague sentences affect hearers' beliefs. ;Following a critique of the major semantical accounts of vagueness, I propose a formal theory of how beliefs are revised following utterances of sentences of the form (...) X is A, X is A and B, and X is A and not A, where A and B are vague scalar adjectives. Formally, a hearer's beliefs are represented as a set of weighted sentences, and the information conveyed by a speaker's utterance is represented as a set of weighted conditionals. When a speaker utters a sentence, a function on these sets yields the hearer's revised beliefs. I derive from this theory a criterion for proper assertability: a sentence is properly assertable in a given context if the maximum information loss that could obtain between competent discourse participants is less than some threshold. I argue that this criterion often predicts the truth-value judgements competent speakers make which violate the basic rules of logic. I extend these theories to utterances of sentences containing vague non-scalar nouns. ;In the second half of the dissertation, I propose two semantic accounts of vagueness. One incorporates the assertability criterion into its definition of truth. The other is independent of it. The former accounts for a large set of intuitions concerning the truth values of utterances of vague sentences. The latter accounts for only a subset of those intuitions, leaving the rest to be explained independently by the theory of proper assertability. ;I conclude with brief discussions of the Sorites Paradox and the experimental data obtained by Tversky and Kahneman which purport to demonstrate people's poor intuitions concerning the probabilities of conjunctions. (shrink)

We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to the standard approach, while also bringing (...) a new algebraic perspective to logics which are algebraizable using the standard tools of AAL. Furthermore, we pave the way toward a robust behavioral theory of AAL, namely by providing a behavioral version of the Leibniz operator which allows us to generalize the traditional Leibniz hierarchy, as well as several well-known characterization results. A number of meaningful examples will be used to illustrate the novelties and advantages of the approach. (shrink)

The article expresses skepticism on the alleged affinity between Hegel’s theory of conceptuality and conceptual pragmatism. Despite the intriguing philosophical impetus underlying the latter, the author formulates doubts about its compatibility with logical and metaphysical principles of absolute idealism. The criticism is articulated in four theses: (1) pragmatism’s concerns with (ultimately empirical) concept-acquisition and concept-application are largely alien to Hegel’s logical-metaphysical theory of conceptuality; (2) the interchangeability of ‘word’ and ‘concept’ in the pragmatist discussion is incompatible with Hegel’s notion of (...) thinking; (3) the distinction of Vertsandesbestimmung and Vernunftbegriff, while ignored in practice in the pragmatist approach, is pivotal to Hegel’s understanding of the nature of conceptuality; (4) finally, pragmatism’s use of the recognition-thesis from the Phenomenology of Spirit ignores the noncontractarian, non-negotiative function of the same in Hegel’s work. (shrink)