Yablo has argued for an alternative form of if-thenism that is more conducive with his figurative fictionalism. This commentary sets out to challenge whether the remainder, ρ, tends to be an inaccurate representation of the conditions that are supposed to complete the enthymeme from φ to Ψ. Whilst by some accounts the inaccuracies shouldn't set off any alarm bells, the truth of ρ is too inexact. The content of ρ, a partial truth, must display a sensitivity to (...) the contextual background conditions for subtraction to work properly in Yablo's view. Using a toy example, I argue that Yablo's subtraction model tends to yield partial truths as remainders that fail to rule out inaccurate expressions that may prove to be problematic for it. (shrink)

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show (...) that our theory is a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

In 'Aboutness' (MIT Press 2014), Yablo argues for the importance of the notions of partial content and of partial truth. This paper argues that those notions are involved in a much greater range of entities than acknowledged by Yablo. The paper also argues that some of those entities involve a notion of partial satisfaction as well as partial existence (and partial validity).

In this paper, we introduce the basics of what we shall call "partial model theory", which is an extension of traditional model theory to partial structures. These are a specific kind of structure developed within the partial structures approach, which is a view constituting the semantic approach of theories. And together with other related semantical concepts, like the concept of quasi-truth, partial structures have been used in contemporary philosophy of science for several purposes. Nonetheless, those (...) uses presuppose certain technical results, or could be improved by resorting to certain technical notions and results, that have not been put forward so far. Thus, in the present work, we intend to introduce part of this particular technical apparatus that is still lacking especially in logic, throughout the development of partial model theory. We begin by extending traditional notions of model theory for partial structures, like the notions of substructure and homomorphism, and by proving some results concerning the notion of quasi-truth. Posteriorly, we show how the content introduced can be used to improve a particular application of partial structures and quasi-truth in the philosophy of science. (shrink)

ABSTRACT Katherine Dormandy argues that there is no partiality in virtuous faith. Partiality biases and leads to noetic entrenchment. In response, I contend there is an important sense in which virtuous faith is partial towards its object. Namely, it disposes one to perceive the object as more trustworthy and to rely on this partialist evidence in forming beliefs, even when the impartialist evidence points in the other direction. There are, after all, situations in which impartialist evidence is apt to (...) mislead or to fail to bring one to the truth. In such cases, faith attunes one to the subject’s true motivations and intentions. Here the partiality of faith constitutes a kind of social acuity or expertise, not a bias. Indeed, to lack faith in such situations—and to give impartialist evidence equal weight with the partial—might constitute a kind of bias against the subject, casting his or her actions in an overly negative light. (shrink)

Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.

Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue that Næss’ empirical work confirmed Tarski’s semantic conception of truth, among others. In the first part, I lay out the case for believing that Tarski’s T-schema, while not the formal and generalizable Convention-T, provides a partial (...) account of truth that may be buttressed by an examination of the ordinary person’s views of truth. Then, I address a concern raised by Tarski’s contemporaries who saw Næss’ results as refuting Tarski’s semantic conception. Following that, I summarize Næss’ results. Finally, I will contend with a few objections that suggest a strict interpretation of Næss’ results might recommend an overturning of Tarski’s theory. (shrink)

This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of (...) arithmetic and show that the theory is a proof-theoretically conservative extension of the theory PT of positive truth. We construct models for the theory and draw some conclusions for the semantics of conceptualist ground. (shrink)

Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology (...) and that truthmaker monism is not necessary for an appropriate solution to the problem of finding truthmakers for negative truths. I conclude that we should reject truthmaker monism once and for all. (shrink)

Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare (...) that way with other two ways based on Łukasiewicz’s three-valued logic and branching temporal logic. (shrink)

This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference (...) does not do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)

One of the lessons of the COVID-19 pandemic is that the lay public relies immensely on the knowledge of public health officials. At every phase of the pandemic, the testimony of public health officials has been crucial for guiding public policy and individual behavior. The reason is simple: public health officials know a lot more than you and I do about public health. As lay people, we rely on experts. This seems straightforward. But the COVID-19 pandemic has shown that public (...) health officials seem undecided as to what, precisely, their role is; are they providing the public information as it presents itself, or are they informing the public in a way that produces a desired or optimal outcome? In this article, I answer the following question: what are public health officials morally obligated to tell the public? As I see it, these are the main options: (1) public health officials should tell the full truth, regardless of outcome; or (2) they should tell partial truths or lies that are aimed to promote a socially optimal outcome. My answer to this question is that public health officials are only allowed to lie under very narrow and rare conditions. -/- . (shrink)

This paper presents four key results. Firstly, it distinguishes between _partial_ and _consistent_ assertion of a sentence, and introduces the concept of an _equivocal_ sentence, which is both partially asserted and partially denied. Secondly, it proposes a novel definition of truth, stating that _a true sentence is one that is consistently asserted_. This definition is immune from the Liar paradox, does not restrict classical logic, and can be applied to declarative sentences in the language used by any particular person. (...) Thirdly, the paper introduces an epistemic model of language, known as _assertional language_, which is used to formalize the definition of truth. Finally, it provides an argument for the falsity of so-called Liar sentences. The paper also discusses Tarski's solution to the Liar paradox and argues for the abandonment of the Tarski Scheme: _'p' is true if and only if p_, in the context of everyday language. The proposed definition of truth can be viewed as a formal account of the correspondence theory. The epistemic model is a powerful concept on its own that allows for combining different languages in a meaningful way. This model is uniquely capable of reflecting on epistemic inconsistencies, such as logical paradoxes, in a consistent manner. (shrink)

Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic account of partial functions using a three-valued logic decades ago, but there has not been a satisfactory mechanization. Recent years have seen a thorough investigation of the framework of many-valued truth-functional logics. However, strong Kleene logic, where quantification is restricted and therefore not truthfunctional, does not fit the framework directly. (...) We solve this problem by applying recent methods from sorted logics. This paper presents a tableau calculus that combines the proper treatment of partial functions with the efficiency of sorted calculi. (shrink)

Scientific realism is a thesis about the success of science. Most traditionally: science has been so successful at prediction and guiding action because its best theories are true (or approximately true or increasing in their degree of truth). If science is in the business of doing its best to generate true theories, then we should turn to those theories for explanatory knowledge, predictions, and guidance of our actions and decisions. Views that are popular in contemporary philosophy of science about (...) scientific modeling and the centrality of idealization create several challenges for this traditional form of scientific realism. Yet the basic idea behind scientific realism that science has been and will continue to be epistemically successful is deeply appealing. This chapter explores the challenges posed by idealization and scientific modeling to motivate a scientific realism fully divorced from the idea that science is in the business of generating true theories. On the resulting view, the objects of scientific knowledge are causal patterns, so this knowledge only ever provides partial, simplified accounts of a complex reality. This variety of selective realism better accommodates the nature of our present-day scientific successes and offers an interpretation of scientific progress that resists the antirealist’s pessimism. (shrink)

The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention, in relation to its efficacy in a semantic valuation of the EkeGusii proverb: Nda ’indongi ereta morogi ereta moibi which exemplifies a kind of complex sentence that a given system of Semantics is meant to account for. The coverage of Davidsonian truth-conditional notion of T-convention and that of compositionality are considered to have only a partial (...) reach in accounting for the meaning of the proverb by not incorporating pragmatic aspects. The failure of T-convention is not alleviated by the adoption of radical interpretation as posited by Davidson but is extended to consider aspects of pragmatic enrichment and dynamic Semantics. (shrink)

Truth is the degree of accuracy when representing reality. We postulate three cognitive stages: the psychon, produced by perception; the construct, produced by intellection; and the speech act, produced by communication. Truth lies in the second; only constructs are alethic. Truth is a quality which takes place in degrees. Certainty is the unreachable perfect tip of this gradation, so it is an ideal concept. A thesis is deemed true if its alethical degree is acceptably efficacious, otherwise the (...) thesis is deemed false. Put in other words, we deem true any thesis not having enough fails to deem it false. (shrink)

Martin Heidegger devotes extensive discussion to medieval philosophers, particularly to their treatment of Truth and Being. On both these topics, Heidegger accuses them of forgetting the question of Being and of being responsible for subjugating truth to the modern crusade for certainty: ‘truth is denied its own mode of being’ and is subordinated ‘to an intellect that judges correctly’. Though there are some studies that discuss Heidegger’s debt to and criticism of medieval thought, particularly that of Thomas (...) Aquinas, there is no constructive reply to his assertions. As a result, Heidegger’s critique had an unprecedented effect on the credibility of medieval philosophy, whereby great portions of the philosophical community dismiss it altogether as an illegitimate Onto‐Theology. It is the aim of this study to offer a constructive reply that will fundamentally grapple with these allegations. By constructive reply we mean not only a reply that avoids the problems Heidegger raises regarding existence, essence and truth, but more importantly, one that uses Heidegger’s criticism in order to present a more insightful account of these notions. The present study is composed of two parts where the second serves as a sort of addendum. The first part, the core of this study, is an attempt to develop an understanding of the distinction between essence and existence that, on the one hand, accords with Heidegger’s criticism while on the other hand advances our understanding of how we think and understand reality. After presenting Heidegger’s depiction of Aquinas’s distinction between essence and existence (esse) as a real distinction, the study will present several views propounded by scholars of Aquinas regarding the status of this distinction. It will be argued that it is not clear whether the distinction is real, formal or conceptual, and that different types of distinction are applied in different places, particularly in regard to the phantasm that Aquinas considers essential to the human act of thinking. The second part diverges from the first part and focuses on Heidegger’s criticism of Aquinas’s conception of truth as adequation, i.e., what it is that grounds the possibility of truth as adequation. This divergence is necessary in order to present a full metaphysical response to Heidegger’s criticism. Since the aim of the present study is to argue that Aquinas’s philosophical system can contend with Heidegger’s criticism, a partial reply would greatly diminish its effectiveness. (shrink)

In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link has virtually pass unnoticed. In this paper, (...) we briefly survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical (...) two-valued language. Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

Written with a general audience in mind, On Romantic Love offers a new theory of love as a partially unconscious, sometimes rational and always controllable emotion, while explaining some of the neuroscience underlying our wildest passions.

When beliefs are quantified as credences, they are related to each other in terms of closeness and accuracy. The “accuracy first” approach in formal epistemology wants to establish a normative account for credences based entirely on the alethic properties of the credence: how close it is to the truth. To pull off this project, there is a need for a scoring rule. There is widespread agreement about some constraints on this scoring rule, but not whether a unique scoring rule (...) stands above the rest. The Brier score equips credences with a structure similar to metric space and induces a “geometry of reason.” It enjoys great popularity in the current debate. I point out many of its weaknesses in this article. An alternative approach is to reject the geometry of reason and accept information theory in its stead. Information theory comes fully equipped with an axiomatic approach which covers probabilism, standard conditioning, and Jeffrey conditioning. It is not based on an underlying topology of a metric space, but uses a non-commutative divergence instead of a symmetric distance measure. I show that information theory, despite initial promise, also fails to accommodate basic epistemic intuitions; and speculate on its remediation. (shrink)

In this paper we investigate if sentences presented as the result of the application of statistical models and artificial intelligence to large volumes of data – the so-called ‘Big Data’ – can be characterized as semantically true, or as quasi-true, or even if such sentences can only be characterized as probably quasi-false and, in a certain way, post-true; that is, if, in the context of Big Data, the representation of a data domain can be configured as a total structure, or (...) as a partial structure provided with a set of sentences assumed to be true, or if such representation cannot be configured as a partial structure provided with a set of sentences assumed to be true. (shrink)

A theorem due to Shoesmith and Smiley that axiomatizes two-valued multiple-conclusion logics is extended to partial logics.

This paper considers an argument from Rosenberg (Thinking about Knowing, 2002) that truth is not and cannot be the aim of belief. Here, I reconstruct what I take to be the most well worked out version of this idea tracing back to Rorty and Davidson. In response, I also distinguish two things the truth-aim could be: a goal regulating our executable epistemic conduct and an end which determines the types of evaluation, susceptibility to which is partially constitutive of (...) what a belief is. (shrink)

Since the publication of Hartry Field’s influential paper “Tarski’s Theory of Truth” there has been an ongoing discussion about the philosophical import of Tarski’s definition. Most of the arguments have aimed to play down that import, starting with that of Field himself. He interpreted Tarski as trying to provide a physicalistic reduction of semantic concepts like truth, and concluded that Tarski had partially failed. Robert Stalnaker and Scott Soames claimed then that Field should have obtained a stronger conclusion, (...) namely that Tarski’s failure in his allegedly intended physicalistic reduction was total. From another front, Hilary Putnam argued for an even more sweeping thesis: “[a]s a philosophical account of truth, Tarski’s theory fails as badly as it is possible for an account to fail.” Scott Soames followed suit also on this count, endorsing Putnam’s argument in section iii of the aforementioned paper; and John Etchemendy used a very similar argument to contend that “a Tarskian definition of truth [...] cannot possibly illuminate the semantic properties of the object language.” The paper argues that these contentions are based on several misunderstandings about the nature of a definition like Tarski’s. Regarding the Putnam-Soames-Etchemendy argument, we must apply a distinction Frege found natural to draw—and is natural to draw anyway—between what he called “constructive” definitions, definitions properly so called, which are mere stipulations, and what he described as “analytic” definitions, definitions which aim to make explicit the meaning of a term already in use. Regarding the Field-Soames-Stalnaker criticism, the paper contends that the true aims of a Tarskian truth definition are perfectly well fulfilled without Field’s amendments. (shrink)

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an (...) x and a y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

From different angles of science, there has been a growing interest in the abilities of groups to track the truth. The Condorcet Jury Theorem (1785) states that without communication, infinitely big groups will reach a correct majority opinion with certainty. Coughlan (2000), meanwhile formulated a model in which all agents communicate with each other, showing that majorities are only just as good as fully-communicating individuals. In reality, communication is usually between these two extremes: some agents communicate with some of (...) the others, but not with all others. We refer to this as partial communication. This thesis provides a Bayesian framework to study the influence of partial communication on individual as well as group accuracy, thereby generalising Condorcet’s as well as Coughlan’s setting. We obtain results for individual and group accuracy in three type of networks. Firstly, we study the extreme case where there is either no communication or everyone communicates with everyone. Secondly, we determine accuracy for regular networks, in which all agents communicate with equally many other agents. Thirdly, we derive a formula to express the expected accuracy in random networks, in which agents can communicate with various numbers of other agents. The formula enables us to determine the effect of various parameters on the individual and group accuracy in a random network with partial communication. Finally, we show that in random networks, despite correlation between agents, we can still obtain accurate majorities under some constraints. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to (...) make explicit what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

Truthmaker semantics is a recent development in formal and philosophical semantics, with similar motivation and scope to possible worlds semantics. The technical background is rather different, however, and results in a more fine-grained hyperintensional notion of content, allowing us to distinguish between classically equivalent propositions. After briefly introducing the main ideas, this entry will describe the technical apparatus of state spaces and the central notions of content and partial content. It will then outline applications of truthmaker semantics in language, (...) logic, and other areas of philosophy. (shrink)

Scientific realists argue that present theories are more successful than past theories, so present theories will not be superseded by alternatives, even though past theories were superseded by alternatives. Alai (2016) objects that although present theories are more successful than past theories, they will be replaced by future theories, just as past theories were replaced by present theories. He contends, however, that past theories were partly true, and that present theories are largely true. I argue that Alai’s discrimination between past (...) and present theories is subject to his own criticism against realists’ discriminations between past and present theories, and also subject to other criticisms that philosophers have raised against scientific realism and pessimism. (shrink)

Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion (...) of disjunctive parthood in terms of a structural relation of refinement, which stands to disjunctive parthood much as mereological parthood stands to conjunctive parthood. Philosophically, this relation may be modelled on the determinable- determinate relation, or on a fact-to-fact notion of grounding. I discuss its connection to two other Finean notions: vagueness (understood via precisification) and arbitrary objects. I then investigate what a logic of truthmaking with refinement might look like. I argue that (i) parthood naturally gives rise to a relevant conditional; (ii) refinement underlies a relevant notion of disjunction; and so (iii) truthmaker semantics with refinement is a natural home for relevant logic. The resulting formal models draw on Fine’s (1974) semantics for relevant logics. Finally, I use this understanding of relevant semantics to investigate the status of the mingle axiom. (shrink)

Recently, Bourne constructed a system of three-valued logic that he supposed to replace Łukasiewicz’s three-valued logic in view of the problems of future contingents. In this paper, I will show first that Bourne’s system makes no improvement to Łukasiewicz’s system. However, finding some good motivations and lessons in his attempt, next I will suggest a better way of achieving his original goal in some sense. The crucial part of my way lies in reconsidering the significance of the intermediate truth-value (...) so as to reconstruct Łukasiewicz’s three-valued logic as a kind of extensional modal logic based on partial logic. (shrink)

La vérité est le degré d’exactitude d’une représentation de la réalité. Nous postulons trois étapes cognitives : le psychon, produit par la perception ; le construit, produit par intellection; et l’acte de parole, produit par la communication. La vérité se trouve à la seconde étape; seuls les construits sont aléthiques. La vérité est une qualité qui vient en degrés. La certitude est le point d’aboutissement parfait et inaccessible de cette gradation ; il s’agit donc d’un concept idéal. Une thèse est (...) réputée vraie si son degré aléthique est acceptablement efficace, sinon la thèse est considérée comme fausse. En d’autres termes, nous jugeons vraie toute thèse n’ayant pas assez d’échecs pour qu’elle soit considérée fausse. (shrink)

This article has been written about the explanation of the scientific affair. There are the philosophical circles that a philosopher must consider their approaches. Postmodern thinkers generally refuse the universality of the rational affair. They believe that the experience cannot reach general knowledge. They emphasize on the partial and plural knowledge. Any human being has his knowledge and interpretation. The world is always becoming. Diversity is an inclusive epistemological principle. Naturally, in such a state, the scientific activity is a (...) non-sense process. The postmodern world is a post-scientific world. Another collection of approaches to science belongs to the analytical philosophy. The main part of analytical philosophy context centers around language. Language is the center of the world. We can study the world through language. Language is the possibility of knowledge. If we overcome the language games, we can study the world accurately. Generally, at present, it seems that the rational thoughts are marginal points in the sea of irrationality. We can probably talk about an anarchistic epistemological situation. Another issue is the role of observation to form a scientific activity. In this situation, the question is whether the observation is the technique of gathering information or the final reference of original scientific analysis. In relation to this issue, the confrontation of science with the families and the categories of the objects is the main problem. For more than two thousand years, the totalitarian heritage of the Aristotelian logic has been the guideline of categorizations for the human being. In order to reach an inclusive and applicable result, we should categorize everything; but it is not really known that if the method of the world categorization is the same or not. The accordance of the conceptual categories with their extensions in the world is one of the main problems which has malfunctioned the scientific system. It is better to say that it has deactivated science. Moreover, there are many interpretations for each event based on its occurrence conditions. For example, consider a fever; In order to diagnose its cause, the most significant factor is the role of a physician. There is no sense in saying that the observation has diagnosed the cause of the fever. This is the observer that plays a determinative role. Another problem is the disputes between realism and instrumentalism. Instrumentalists believe that to form a theory, the concepts are just the tools of scientific researches. Based on realism, but we confront the concepts in the original way. This chaos causes the scientific system to collapse. Now the question is what the solution is. I would like to propose my scheme that is constructed based on a main principle: there is no occurrence in the world unless we can trace the effect of consciousness back in that occurrence. In other words, there is no accident in the world. One can argue that it is the main problem that the effects of consciousness ---if there is such a concept--- is not traceable in the world. An immediate response to this problem is an inefficient technique . The observation is a technique . It is not the method of interpretation. Some people argue that the empirical approach cannot lead us to an authentic criterion to know the world. Because there is no criterion for truth, and if there is probably such a criterion, we can obtain it via several ways. The solution to the first problem is simple. Any occurrence is a truth; even we suppose it as a partial truth. Therefore we can say we face a multi-facial world. It can be the solution of the second problem: if consciousness is essentially the origin of the world and all occurrences, we face consciousness as a unique truth; even its creations contradict each other. If there is no consciousness as a creator of the world and we cannot trace it back in all existents, then what should we do? If there is consciousness, why its creations contradict each other. Since consciousness is a will, it is able to decide in any situation it intends. The issue of contradictory consciousness intentions has a teleological aspect. We cannot judge its teleological substance at present. If we are able to believe that there is no consciousness at all, it will contradict the main practical principle in our lives. Every action that we take in our lives is conjoined with consciousness. We learn many things from many sources. The substance of our instincts and emotions can be questioned. It is true that, infact we cannot analyze our instincts and emotions, but we can discuss explicitly about the rational elements of the instincts. What are these elements? These elements are the quality of their appearance. The quality of instinct appearance is different among beings. The strength and the depth and length of these irrational qualities are different in all beings. What factors or factor cause the differences among these aspects? There is certainly a determinative factor. The same factor which determines the occurrence of any event. Even if we believe in partial knowledge, we must accept the confrontation of the occurrences. Thus it is not possible to refuse the occurrences as the reference unit of knowledge. In spite of the difference, every occurrence, even as a single occurrence, happens and we can regard it as the reference unit of knowledge. Then we can consider every occurrence as an occurred object. When an occurrence happens, then it is a determined object. Everywhere there is a determination, there is certainly a determiner. Why do not we encounter a multi-determinative consciousness? Because there are a few aspects of the unique super-consciousness. These aspects are motion and growth and the amount of constituent material in every being. In all over the world, the difference in these factors creates all differences. Thus we do not encounter the plural consciousness. Is the world birth accidental? Infact, there is no accident. The accident has no meaning in the world. As explained above, the constructing element of the world is the occurrence. An occurrence can be analyzed. Therefore, we should not talk about the accident until we are not able to analyze all phenomena. We can look at every subject from different points of view at present. Thus there is theoretically no possibility to say that a certain matter is the consequence of the accident. The accident is a popular and inexact concept that has no philosophical content. Moreover, the definition of consciousness versus its contradiction causes the collapse of all epistemological axioms. We can ask why we must not define other logical principles against their contradictions. Thinkers who deny the role of logic usually ignore the role of logic. They have not been able to deny the logical function to form an epistemological system because it is not an easy task. In this article some other issues were discussed, such as the consideration of restriction as a stable and firm foundation of knowledge instead of the Descartes cogito. In addition to these philosophical points some other issues were propounded such as the role of instrumental mechanism to form the new science and the great alterations in philosophy and history of Europe. Many issues threaten human civilization. The only way to deal with such threats is certainly to use scientific facilities. The scientific possibilities undoubtedly come from a complete and inclusive scientific theory. The present article is an attempt to explain the scientific affair in order to develop human achievement, however small. -/- . (shrink)

Edwin Arthur Burtt , who spent the majority of his professional life at Cornell University, is most widely known as the philosopher and author of the works entitled The Metaphysical Foundations of Modern Physical Science and The Teachings of the Compassionate Buddha . These titles reflect the breadth of his philosophical interests, ranging from the philosophy of science to the philosophy of religion. These were recurrent themes in his voluminous publications appearing from the early 1920s to the late 1980s. ;Thus (...) far, no attempt has been made to examine Burtt's life's thought as a whole. This may be due to his eclecticism and penchant for incorporating ideas into Western philosophy from such diverse sources as psychoanalytic theory and Eastern philosophy and religion. Moreover, he was a philosophic activist. He sought to address the serious problems of the twentieth century, in particular the experience of the two World Wars and the threat of annihilation posed by the development of nuclear weapons. Scholars have therefore tended to refer to his works as isolated entities. His influence has been strongest at each end of the spectrum of his philosophic interests, and he is either treated as a philosopher of science or a philosopher of religion. ;This thesis aims to remedy this situation by treating Burtt's work as a whole. Throughout his seventy year philosophic odyssey there is a connecting thread, namely, his determination to develop a post-empiricist metaphysics which would receive its political expression in a world community. In his view, modern science had displaced humanity from its central place and moral significance in the ancient and medieval universe. ;For Burtt science and empiricism can only ever provide partial truth and only speak of partial realities. It was from this starting point that Burtt, after several detours, arrived at his theory of expanding awareness--his most original contribution to philosophy and the cornerstone of his mature thought. The practice of this theory, he believed, would lead to a philosophic regeneration which, in turn, would give rise to a post-scientific, or post-empiricist, metaphysics which could restore humanity to an experience of "at-home-ness" in the universe. He also believed this restoration could help resolve the critical problems facing humanity in the late twentieth century and in the future. (shrink)

This article takes issue with two prominent views in the current debate around epistemic partiality in friendship. Strong views of epistemic partiality hold that friendship may require biased beliefs in direct conflict with epistemic norms. Weak views hold that friendship may place normative expectations on belief formation but in a manner that does not violate these norms. It is argued that neither view succeeds in explaining the relationship between epistemic norms and friendship norms. Weak views inadvertently endorse a form of (...) motivated reasoning, failing to resolve the normative clash they seek to avoid. Strong views turn out to be incoherent once we consider the question of whether the requirement to form an epistemically partial belief is independent of whether the belief in question would be true. It is then argued that an epistemology of friendship should recognise the special role that understanding plays in friendship. On this view, friendship normatively requires understanding the truth about our friends. This entails that epistemic partiality, far from being a requirement, is in fact at odds with good friendship. (shrink)

A analysis of some concepts of logic is proposed, around the work of Edelcio de Souza. Two of his related issues will be emphasized, namely: opposition, and quasi-truth. After a review of opposition between logical systems [2], its extension to many-valuedness is considered following a special semantics including partial operators [13]. Following this semantic framework, the concepts of antilogic and counterlogic are translated into opposition-forming operators [15] and specified as special cases of contradictoriness and contrariety. Then quasi-truth (...) [5] is introduced and equally translated as a product of two partial operators. Finally, the reflections proposed around opposition and quasi-truth lead to a third new logical concept: quasi-opposition, borrowing the central feature of partiality and opening the way to a potential field of new investigations into philosophical logic. (shrink)

In this article I argue that while an attachment to one's country is both natural and even partially justifiable, cultivating loyal patriotism in schools is untenable insofar as it conflicts with the legitimate aims of education. These aims include the epistemological competence necessary for ascertaining important truths germane to the various disciplines; the cultivation of critical thinking skills ; and developing the capacity for economic self‐reliance. I argue that loyal patriotism may result in a myopic understanding of history, an unhealthy (...) attitude of superiority relative to other cultures, and a coerced sense of attachment to one's homeland. (shrink)

Le réalisme scientifique occupe une place centrale dans le système philosophique de Mario Bunge. Au cœur de cette thèse, on trouve l’affirmation selon laquelle nous pouvons connaître le monde partiellement. Il s’ensuit que les théories scientifiques ne sont pas totalement vraies ou totalement fausses, mais plutôt partiellement vraies et partiellement fausses. Ces énoncés sur la connaissance scientifique, à première vue plausible pour quiconque est familier avec la pratique scientifique, demandent néanmoins à être clarifiés, précisés et, ultimement, à être inclus dans (...) un cadre théorique plus large et rigoureux. Depuis ses toutes premières publications sur ces questions et jusqu’à récemment, Mario Bunge n’a cessé d’interpeller les philosophes afin qu’ils développent une théorie, au sens propre du terme, de la vérité partielle afin de clarifier les enjeux épistémologiques liés au réalisme scientifique. Bunge a lui-même proposé plusieurs parties de cette théorie au fil des années, mais aucune de ces propositions ne l’a satisfait pleinement et la construction de cette théorie demeure un problème entier. Dans ce texte, nous passerons rapidement en revue certaines des approches proposées par Bunge dans ses publications et nous esquisserons certaines pistes qui devraient servir à tout le moins de desiderata pour la construction d’une théorie de la vérité partielle. (shrink)

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as (...) ordered and structured objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that (...) such objections show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) mathematical truths are (...) not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

We care not only about how people treat us, but also what they believe of us. If I believe that you’re a bad tipper given your race, I’ve wronged you. But, what if you are a bad tipper? It is commonly argued that the way racist beliefs wrong is that the racist believer either misrepresents reality, organizes facts in a misleading way that distorts the truth, or engages in fallacious reasoning. In this paper, I present a case that challenges (...) this orthodoxy: the case of the supposedly rational racist. We live in a world that has been, and continues to be, structured by racist attitudes and institutions. As a result, the evidence might be stacked in favour of racist beliefs. But, if there are racist beliefs that reflect reality and are rationally justified, what could be wrong with them? Moreover, how do I wrong you by believing what I epistemically ought believe given the evidence? To address this challenge, we must recognize that there are not only epistemic norms governing belief, but moral ones as well. This view, however, is at odds with the assumption that moral obligation requires a kind of voluntary control that we lack with regard to our beliefs. This background assumption motivates many philosophers to try to explain away the appearance that beliefs can wrong by locating the wrong elsewhere, e.g., in an agent’s actions. Further, even accounts that accept the thesis that racist beliefs can wrong restrict the class of beliefs that wrong to beliefs that are either false or the result of hot irrationality, e.g., the racist belief is a result of ill-will. In this paper I argue that although the these accounts will capture many of the wrongs associated with racist beliefs, they will be only partial explanations because they cannot explain the wrong committed by the supposedly rational racist. The challenge posed by the supposedly rational racist concerns our epistemic practices in a non-ideal world. The world is an unjust place, and there may be many morally objectionable beliefs it justifies. To address this challenge, we must seriously consider the thesis people wrong others in virtue of what they believe about them, and not just in virtue of what they do. (shrink)

Intelligent Design integrates the work of Ilexa Yardley and Stridjom van der Merwe to demonstrate and prove Conservation of the Circle is the Only Dynamic in Nature (The Circular Theory) (Quantum Mechanics) (Metaphysical Naturalism).

This paper is a partial defence of presentism against the argument from cross-time relations. It is argued, first, that the Aristotelian view of causation and persistence does not really depict these phenomena in terms of relations between entities existing at different times, and indeed excludes the possibility of such cross-time relations obtaining. Second, it is argued that to reject the existence of the past—and thereby be unable to ground the truth of claims about the past—does not lead to (...) any absurd consequences. (shrink)

The analytical understanding cannot deal with integral wholes and therefore cannot understand the soul or God. The material body is illusory in the sense that it cannot be understood in its true identity without knowing its relationship to God. Analyzing its composition in terms of separated molecules or neurons is also illusory. To understand how to go from an untrue or partially true part to its truth in the whole a method developed by Hegel called conceptual thinking is required. (...) Reproduction is not merely concerned with individuals, it involves the genus or genus process. The universal that determines the species is not changed when particulars under the universal change, die, reproduce according to their “own kind” or species. Without connecting the individual organisms with their species we may wrongly think they can evolve into any species by chance. But this is not how individual and species are related to each other. The species determines how the individuals will appear and controls their reproduction, growth, and so on. They are not independent to become what they want by choice or by chance. Everyone calls themselves “I” so “I” is a universal, although each means only oneself. In the same way each organism is identified with its species, although we mean its own particular organism – for example, a dog and not canine in general. Thus the universal and particular cannot be separated from each other. Similarly individuals who identify only personal reason independent of universal Reason are misconceiving their true identity. At the same time universal and particular are related, they are not the same but a unity in difference. The universal by itself is as abstract as the particular by itself. At the same time their relation can only be comprehended within a higher unity, the higher Self or Supreme Individual. (shrink)

ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be (...) equivalent; but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

It is argued that colour name strategy, object name strategy, and chunking strategy in memory are all aspects of the same general phenomena, called stereotyping, and this in turn is an example of a know-how representation. Such representations are argued to have their origin in a principle called the minimum duplication of resources. For most the subsequent discussions existence of colour name strategy suffices. It is pointed out that the BerlinA- KayA universal partial ordering of colours and the frequency (...) of traffic accidents classified by colour are surprisingly similar; a detailed analysis is not carried out as the specific colours recorded are not identical. Some consequences of the existence of a name strategy for the philosophy of language and mathematics are discussed: specifically it is argued that in accounts of truth and meaning it is necessary throughout to use real numbers as opposed to bi-valent quantities; and also that the concomitant label associated with sentences should not be of unconditional truth, but rather several real-valued quantities associated with visual communication. The implication of real-valued truth quantities is that the Continuum Hypothesis of pure mathematics is side-stepped, because real valued quantities occur ab initio. The existence of name strategy shows that thought/sememes and talk/phonemes can be separate, and this vindicates the assumption of thought occurring before talk used in psycho-linguistic speech production models. (shrink)