Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our (...) analysis has important consequences for our understanding of truth. In this paper, we can only touch on one of them: we will argue that the insubstantiality of truth does not imply a conservativity requirement on our best theories of truth. (shrink)

An examination of conditionals in di¤erent languages leads to a distinction of three types of conditionals instead of the usual two (indicative and subjunctive). The three types can be explained by the degree of acceptance or as-if acceptance of the truth of the antecedent. The labels subjunctive and indicative are shown to be inadequate. So-called indicative conditionals comprise two classes, the very frequent uncertain-fact conditionals and the quite rare accepted-fact conditionals. Uncertain-fact conditionals may have a time shift (...) in contemporary English and the future subjunctive in Portuguese (though not all of them do). Moreover, paraphrases of if with in case or supposing are usually possible with approximately the same meaning. Accepted-fact conditionals never have these features. (shrink)

This paper presents a conception of corruption informed by epistemic democratic theory. I first explain the view of corruption as a disease of the political body. Following this view, we have to consider the type of actions that debase a political entity of its constitutive principal in order to assess corruption. Accordingly, we need to consider what the constitutive principle of democracy is. This is the task I undertake in the second section where I explicate democratic legitimacy. I present democracy (...) as a procedure of social inquiry about what ought to be done that includes epistemic and practical considerations. In the third section, I argue that the problem of corruption for a procedural conception of democracy is that the epistemic value of the procedure is diminished by corrupted agents’ lack of concern for truth. Corruption, according to this view, consists in two deformities of truth: lying and bullshit. These deformities corrupt since they conceal private interests under the guise of a concern for truth. In the fourth section, I discuss the difficulties a procedural account may face in formulating solutions to the problem of corruption. (shrink)

In this paper, we introduce the concepts of Pythagorean fuzzy valued neutrosophic set (PFVNS) and Pythagorean fuzzy valued neutrosophic (PFVNV) constructed by considering Pythagorean fuzzy values (PFVs) instead of numbers for the degrees of the truth, the indeterminacy and the falsity, which is a new extension of intuitionistic fuzzy valued neutrosophic set (IFVNS). By means of PFVNSs, the degrees of the truth, the indeterminacy and the falsity can be given in Pythagorean fuzzy environment and more sensitive evaluations are (...) made by a decision maker in decision making problems compared to IFVNSs. In other words, such sets enable a decision maker to evaluate the degrees of the truth, the indeterminacy and the falsity as PFVs to model the uncertainty in the evaluations. (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)

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)

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 HEBREW SCRIPTURES, in rabbinic literature and for most Jewish thinkers, "truth" (emet) is a character of personal relationships. Truth is fidelity to one's word, keeping promises, saying with the lips what one says in one's heart, bearing witness to what one has seen. Truth is the bond of trust between persons and between God and Humanity. In Western philosophic tradition, however, truth is a character of the claims people make about the world they experience: the (...) correspondence between a statement and the object it describes, or the coherence of a statement with what we already know about the world. As if divided by their dual allegiance to the traditions of Jerusalem and of Athens, Jewish philosophers often believe themselves forced to choose between the two meanings of truth, producing what we may call objectivist and personalist trends in Jewish thought. I suggest that, for a type of scripturally grounded Jewish philosophy, truth names the end of a process of inquiry that passes through several stages of trusting, reexamining, yearning, witnessing, critically testing, and re-sourcing. I suggest that this process bears analogy to Charles Peirce's pragmatic account of the stages of problem solving. -/- . (shrink)

We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.

Truthmaking non-maximalism usually assumes that some truths do not have truthmakers. I suggest, however, that non-maximalism can be understood more specifically, and that different types of non-maximalism can be distinguished. To do so, I refer to two positions. The first is deflationary truthmaking, some of whose proponents assume that no truths have truthmakers. The second distinguishes between truths that do not have truthmakers but depend on being, and truths that do not have truthmakers and moreover do not depend on (...) being. Given the combinations of these positions, I propose a new classification indicating the positions available to a non-maximalist. I argue that one of these positions is particularly worth adopting because of its advantages over the other options. (shrink)

In developing a theory of truth, as the main condition of knowledge, four issues are usually examined: definition or analysis of truth, truth bearer, truth-maker, and relation (in correspondence and coherence theories). A proper theory of truth is the one that affords the explanation of the truth of all types of propositions, and, at the same time, resists the liar paradox. The aim of this inquiry is to analyze Nasīr al-Dīn al-Tūsī’s theory of (...) truth one who is involved both in the liar paradox and in the explanation of the truth of the verity propositions and propositions that are made of intelligibles that have no instance in external world. This inquiry shows, with an analytical approach mostly systematic analysis, that he regards, against the difficulty of the lair paradox, propositions that are other than what they are about as the bearers of truth. Further, it shows that he, against the other difficulty, has two attitudes: first, he desists from the correspondence theory of truth and defines it as “ascription of an ideational thing to what, with its characteristic, is proper for it”; second, he considers the agent intellect to be the truth-maker. Although he regards the correspondence relation as an intentional relation, he does not discuss it much. One explanation could be that the issue of the correspondence relation does not play a serious part in the aforementioned difficulties. (shrink)

In recent years, Nietzsche’s views on (natural) science attracted a considerable amount of scholarly attention. Overall, his attitude towards science tends to be one of suspicion, or ambivalence at least. My article addresses the “Nietzsche and science” theme from a slightly different perspective, raising a somewhat different type of question, more pragmatic if you like, namely: how to be a Nietzschean philosopher of science today? What would the methodological contours of a Nietzschean approach to present-day research areas (such as neuroscience, (...) astrophysics, synthetic biology or climate studies) amount to? In other words, my paper reflects a shift of focus from author studies to extrapolation. The design of my article is as follows. I will start with the question (already widely discussed in the expert literature) to what extent Friedrich Nietzsche (a classical philologist by training) managed to familiarise himself with the natural sciences of his epoch. Subsequently, I will outline some basic methodological and conceptual ingredients of Nietzsche’s philosophy of science, focussing on core issues such as “genealogy”, “interpretation”, “enhancement” and “truth”. Next, I will elucidate Nietzsche’s genealogical methodology with the help of three case studies (three representative samples if you will) taken from Nietzsche’s writings and dealing with physiology, astronomy and neuro-psychology respectively. Finally, I will present the methodological contours of a Nietzschean understanding of contemporary technoscience. (shrink)

Logical Probability (LP) is strictly distinguished from Statistical Probability (SP). To measure semantic information or confirm hypotheses, we need to use sampling distribution (conditional SP function) to test or confirm fuzzy truth function (conditional LP function). The Semantic Information Measure (SIM) proposed is compatible with Shannon’s information theory and Fisher’s likelihood method. It can ensure that the less the LP of a predicate is and the larger the true value of the proposition is, the more information there is. So (...) the SIM can be used as Popper's information criterion for falsification or test. The SIM also allows us to optimize the true-value of counterexamples or degrees of disbelief in a hypothesis to get the optimized degree of belief, i. e. Degree of Confirmation (DOC). To explain confirmation, this paper 1) provides the calculation method of the DOC of universal hypotheses; 2) discusses how to resolve Raven Paradox with new DOC and its increment; 3) derives the DOC of rapid HIV tests: DOC of “+” =1-(1-specificity)/sensitivity, which is similar to Likelihood Ratio (=sensitivity/(1-specificity)) but has the upper limit 1; 4) discusses negative DOC for excessive affirmations, wrong hypotheses, or lies; and 5) discusses the DOC of general hypotheses with GPS as example. (shrink)

Ronald de Sousa has vindicated the importance of emotions in our lives. This transpires clearly through his emphasis on “emotional truth”. Like true beliefs, emotions can reflect the evaluative landscape and be true to ourselves. This article develops his insights on emotional truth by exploring the analogous phenomenon regarding desire: “desiderative truth”. According to the dominant view championed by de Sousa, goodness is the formal object of desire: a desire is fitting when its content is good. Desiderative (...) truth is evaluative. I propose an alternative, deontic approach: a desire is accurate when its content ought to be. I contrast these two accounts by examining one type of flawed desire that has eluded philosophers’ attention: caprice. Capricious desires – as the desires expressed in children’s tantrums – are fascinating yet unfitting. What is wrong with them? I argue that evaluative truth fails to explain their inadequacy. Surprisingly, capricious desires can be about good states; in fact, this is often where the culprit lies: the object of desire is too good to be worth desiring. By contrast, the deontic account nicely captures what goes wrong with capricious desires. Although they can be good, the states desired are not such that they ought to be for one to be happy. Capricious people are too demanding and misunderstand the boundaries of happiness. As the flaw in caprice is deontic, desiderative truth is deontic truth. (shrink)

This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.

According to Kierkegaard, truth is superimposed on the objective character that encompasses from a historical investigation to a speculative exercise, keeping a correspondence with subjectivity in a movement that implies the limit-condition of interiority. Focusing on such existential-hermeneutic principle, the article points out spirituality as an epistemic-existential experience involving truth as a paradox in Kierkegaard, that overlaps the logical-discursive mediation and implies a dialectical-subjective construction that transcends reason historical-objective (or finite). In this way, characterizing spirituality as an epistemic-existential (...) experience thatconverges to the borders that contain non-rational evidence as the only type of evidence, the article resorts to Rudolf Otto's phenomenological perspective, that emphasizes the sacred and its absolute distinction in relation to natural reality and its perceptible character in a construction that emphasizes the non-rational element and its supra-rational nature and implies the numinous, which escapes logical-rational processes and, emerging as a priori, converges to the apprehension of the rational and the non-rational in the notion of Divinity. Thus, if the relationship with God overlaps the borders that enclose subjectivity and objectivity, converging to overcome the aforementioned epistemic structural scheme, the article, based on Paul Tillich's theological-philosophical perspective, focuses on the concept of Spiritual Presence that, characterizing life without ambiguity, implies a transcendent unión, correlatingagape and gnosis as an epistemic-existential experience involving the relationship with the sacred as the presence of God through an ecstatic-religious movement that converges to self-manifestation, self-revelation and the self-communication of the Absolute and Transcendent as God. (shrink)

While we typically think of culture as defined by geography or ethnicity (e.g., American culture, Mayan culture), the term also applies to the practices and expectations of smaller groups of people. Though embedded in the larger culture surrounding them, such subcultures have their own sets of rules like those that scientists do. Philosophy of science has as its main object of studio the scientific activity. A way in which we have tried to explain these scientific practices is from the actual (...) ontological commitments that scientists do through their scientific theories. Certainly, we know scientific theories through some specific scientific language, which is, in its turn, a subset of the natural language developed by a particular culture. This study is conducted to explore and evaluate some of the most important epistemological consequences of these ontological commitments, specially the so-called ‘truth-commitment’ and its relation with a linguistic-cultural framework. There is an interesting debate between advocates and opponents of scientific realistic view of the natural world. Some lines of scientific realism argumentation assure that: (i) Mature scientific theories are approximately true. (ii) There are entities and organisms in the world that correspond with the ontology presupposed by the best scientific theories within a specific domain of scientific research and (iii) The new acceptable scientific theories should explain why past theories were successful predecessors (Colyvan 2008, Cocchiarella 2007 & Laudan 1981). Contrary, anti- realist positions ensure against the realist’s true - claim that is a semantic commitment - that the purpose of scientific theories to found the truth it is simple an unattainable goal, especially if the kind of truth they are looking for is a corresponding relation between scientific theories and the ontology of the world. Anti-realist positions held that this relation could be circular and unknowable. I do believe that there is a deep confusion between the way in which we accede to the knowledge of the constitutive structures, entities and organisms of the world (which is an epistemological matter) and the way these structures, entities and organisms are (which is an ontological matter). It seems that there is a bridge between the epistemological and ontological aspect in need for conceptual clarification. I do propose that the type of link between the two extremes have to be linguistic in nature. (shrink)

There are several types of truths. In this paper I focus on semantic truths, and within these on factual truths. These truths are attributed to statements. I review the theory of the truth proposed by Bunge and discuss some problems that it presents. I suggest that a theory of truth of factual statements should be complemented by a theory of relevance, and propose the basic tenets of it. Finally, I briefly discuss the nature of propositions and the (...) problem of scientific truth in the light of the presented semantic theory. (shrink)

The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., (...) collective truth. A semantics is developed (formalized in the appendix) which embodies the notion of collective truth, and which thereby, it is argued, has various advantages over standard intensional semantics. For example, it avoids a commitment to certain impossible entities. (shrink)

Granting that there could be true subjunctive conditionals of libertarian freedom (SCLs), I argue (roughly) that there could be such conditionals only in connection with individual "possible creatures" (in contrast to types). This implies that Molinism depends on the view that, prior to creation, God grasps possible creatures in their individuality. In making my case, I explore the notions of counterfactual implication (that relationship between antecedent and consequent of an SCL which consists in its truth) and counterfactual relevance (...) (that feature of an antecedent in virtue of which it counterfactually implies something or other). (shrink)

There is strong disagreement about whether indicative conditionals have truth values. In this paper, I present a new argument for the conclusion that indicative conditionals have truth values based on the claim that some true statements entail indicative conditionals. I then address four arguments that conclude that indicative conditionals lack truth values, showing them to be inadequate. Finally, I present further benefits to having a worldly view of conditionals, which supports the assignment of truth values to (...) indicative conditionals. I conclude that certain types of account of indicative conditionals, which have been ignored in the literature partly on the basis of assigning truth values to indicative conditionals, deserve consideration. (shrink)

Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there is a small class (...) of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

Truth pluralism offers the latest extension in the tradition of substantive theorizing about truth. While various forms of this thesis are available, most frameworks commit to domain reliance. According to domain reliance, various ways of being true, such as coherence and correspondence, are tied to discourse domains rather than individual sentences. From this follows that the truth of different types of sentences is accounted for by their domain membership. For example, sentences addressing ethical matters are true (...) if they cohere and those addressing extensional states of affairs if they correspond. By tying distinct truth-grounding properties to domains rather than individual sentences, truth pluralists avoid certain issues with definitional ambiguity and indeterminacy. I argue that contrary to the ideal situation, domains fail to provide the sought-after benefits of achieving definitional unambiguity and determinacy in the standard domain reliant pluralist frameworks. The reason is that, when combined with the inherently ambiguous nature of certain truth-relevant terms of sentences, fringe cases emerge, causing some of them to count as members of multiple domains. Consequently, some sentences end up being both true and false in the standard domain reliant pluralist frameworks, thus conflicting with both standard laws of non-contradiction and identity. Finally, I argue that truth pluralists should pay closer attention to the hitherto neglected question of inherent natural language ambiguity. (shrink)

The paper discusses what kind of truth bearer, or truth-ascription, a deflationist should take as primary. I first present number of arguments against a sententialist view. I then present a deflationary theory which takes propositions as primary, and try to show that it deals neatly with a wide range of linguistic data. Next, I consider both the view that there is no primary truth bearer, and the most common account of sentence truth given by deflationists who (...) take propositions as primary, and argue that they both attribute an implausible type of ambiguity to “true”. This can be avoided, however, if truth-ascriptions to sentences are taken as a certain form of pragmatic ellipses. I end by showing how this hypothesis accommodates a number of intuitions involving truth-ascriptions to sentences. (shrink)

I investigate why Frege rejected the theory of types, as Russell presented it to him in their correspondence. Frege claims that it commits one to violations of the law of excluded middle, but this complaint seems to rest on a dogmatic refusal to take Russell’s proposal seriously on its own terms. What is at stake is not so much the truth of a law of logic, but the structure of the hierarchy of the logical categories, something Frege seems (...) to neglect. To come to a better understanding of Frege’s response, I proceed to investigate his conception of the nature of the logical categories, and how it differs from Russell’s. I argue that, for Frege, our grasp of the logical categories cannot be severed from our grasp of the Begriffsschrift notation itself. Russell, on the other hand, attaches no such importance to notation. From Frege’s point of view, Russell has not succeeded in presenting an alternative conception of the logical hierarchy, since such a conception must go in tandem with the development of a notation. Moreover, Frege has good reasons to think that Russell’s proposal does not admit of a suitable notation. (shrink)

Language was central to Hobbes's understanding of human beings and their mental abilities, and criticism of other philosophers' uses of language became a favorite critical tool for him. This paper connects Hobbes's theories about language to his criticisms of others' language, examining Hobbes's theories of propositions and truth, and how they relate to his claims that various sorts of proposition are absurd. It considers whether Hobbes in fact means anything more by 'absurd' than 'false'. And it pays particular attention (...) to Hobbes's categorization of causes of absurdity and of types of incoherent proposition, arguing that Hobbes's approach is only loosely related to later discussions of category mistakes. (shrink)

Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non-classical logical treatment.

Abstract The present paper examines the role of epistemic virtues in the formation of intellectual identity and its impact on improving our truth-seeking behaviors. A epistemic virtue is a special faculty or trait of a person whose operation makes that person a thinker, believer, learner, scholar, knower, cognizer, perceiver, etc., or causes his intellectual development and perfection, and improves his truth-seeking and knowledge-acquiring behaviours and places him on the path to attain understanding, perception and wisdom. Virtue epistemology is (...) a set of approaches in contemporary epistemology that regards knowledge as "a true belief arising from humans epistemic virtues." Virtue responsibilism and Virtue reliabilism are two important approaches to virtue epistemology that differ together in their attitude to the nature of epistemic virtue. Responsibilisms regards epistemic virtues as an acquired character traits that must be attained through practice and training with plenty of effort from the agent who possesses the will. In contrast, virtue reliabilisms considers epistemic virtues as reliable and innate cognitive faculties, and believes that this natural faculties has been placed in the human being from the very beginning and, if used in the appropriate condition and in a proper environment, is reliably truth-conducive. So virtue epistemology, which is distinguished from belief-based analytical epistemology by focusing on the cognitive character of the agent rather than the belief, regards epistemic virtues as the constructive factor of the epistemic agent and the condition of reaching the truth. From the two approaches of virtue reliabilism and virtue responsibilism, this paper focuses on the second approach and with using of the nine-fold virtues, that Jason Baehr posed, shows how to make epistemically good and thinker human by utilizing these virtues and avoiding the corresponding vices and through this, gained the truth in various epistemic areas. After explaining these virtues and their role in the two mentioned domains based on the virtue epistemology, the significance of this relationship in the view of Mulla Sadra as an example of Islamic philosophy is examined, For the reason that he sees knowledge as the produce of some factors that epistemic virtues is considered part of them. In the view of Sadra, epistemic virtues is the specific attributes and traits of reason faculty that their function causes man to be a very good and strong perciever, and their actual possesion or their gradual acquisition leads to the perfection of the soul and the dignity of human existence. In a new theory of soul-  Ph.D. Student of Islamic Philosophy and Theology, Qom University, Qom, Iran (Responsible author) [email protected]  Associate Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected]  Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected] 2/ Comparative Theology, Vol: 9, No: 19, Spring & Summer 2018 knowledge, he considers the journey of the soul from the outset as evolutionary journey, and, on the other hand, he considers all human activities directly as an activity of the soul (epistemic agent), which he performs through his own faculties. As a result, the soul is a increasing and evolving being, while at the same time acquiring knowledge is also from its own activities, and therefore the factors that make up the soul are also influential in its products. Now, as knowledge comes from soul exposure to the outside world, the more this soul is refined from pollutions and adorned to virtues, the better reflection from reality will be. Undoubtedly, the desire to engage in the process of truth-seeking and the responsible use of cognitive virtues and skills lead man to a desirable goal (recognition of truth) and forms his true intellectual identity. In the end, the paper suggests that because of the importance of epistemic virtues in the improvement of truth-seeking behaviors, educating and cultivating of these types of virtues should be part of the spoken and written course content of universities and schools, and must be proper critical thinking is institutionalized and strengthened in the spirit of community members. Educational resources contain a wide range of information that can deeply influence our epistemic behaviors and actions. Hence, it is necessary to include praised cognitive skills and epistemic virtues training in them. Teachers play an important role in educating and developing epistemic virtues as part of the formal curriculum content of educational centers, perhaps as part of critical thinking and logic courses. The formal education of epistemic virtues and the creation of opportunities for practicing and exercising them will be a good starting point for institutionalizing and developing admired cognitive skills among members of the community. In a society where individuals in their epistemic processes use their own cognitive virtues and organize their beliefs on their basis, the community itself and the social relations will also be virtuous, because the necessity of such an virtues is that individuals interact with their peers and In these interactions, rule virtue. Observing fairness towards others, intellectual humility, intellectual generosity, courage against miscreant and one who has weak arguments, observance of neutrality and other epistemic virtues, if it is to be found in societies as a habit and praised skill, then that society will be virtuous and its relations will be healthier and with the cultivating of those virtues, Intellectual and moral development will also become easier and more common. Intellectual virtues (or praised cognitive skills) should be taught to the community members, so that they display such characteristics when engaging in social activities, whean expressing opinions, when doing research, and so on. It is important to change our education policies, because the decay of praised cognitive skills leads to devastating consequences for intellectual identity and the truth-seeking and knowledgeacquiring behavior of the community members. (shrink)

The majority of physicalists are type-B physicalists – believing that the phenomenal-physical truths are only knowable a posteriori. This paper aims to show why this view is misguided. The strategy is to design an agent who (1) has full general physical knowledge, (2) has phenomenal concepts, and yet (3) is wired such that she would be in a position to immediately work out the phenomenal-physical truths. I argue that this derivation yields a priori knowledge. The possibility of such a creature (...) entails that – contrary to type-B physicalism – there is not an ideal epistemic gap between the phenomenal and the physical truths. Out of this argument against type-B physicalism emerges a positive result: a new and compelling version of type-A physicalism, roughly a type-A phenomenal concept strategy. (shrink)

In this paper, I ask whether we should see different logical systems as appropriate for different domains (or perhaps in different contexts) and whether this would amount to a form of logical pluralism. One, though not the only, route to this type of position, is via pluralism about truth. Given that truth is central to validity, the commitment the typical truth pluralist has to different notions of truth for different domains may suggest differences regarding validity in (...) those different domains. Indeed, as we’ll see, the differences between the proposed multiple notions of truth are often of a type that is clearly significant in relation to logical features, such as whether or not a constructive notion of truth is at issue. I criticise domain-based logical pluralism. Having done so I introduce a context-based framework that operates with a context-relative notion of validity. I show that this context-based framework can be employed by the domain-specific logical pluralist, but that framework also allows for logical pluralism that does not involve several domains. Different contexts may demand rules of classical logic, where others only justify intuitionistic rules, even when the same domain (e.g. mathematics) is at issue. (shrink)

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a (...) charge that the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

If political decision-making aims at getting a particular result, like identifying just laws or policies that truly promote the common good, then political institutions can also be evaluated in terms of how often they achieve these results. Epistemic defenses of democracy argue that democracies have the upper hand when it comes to truth, identifying the laws and policies that are truly just or conducive to the common good. A number of epistemic democrats claim that democracies have this beneficial connection (...) to truth because of the type of deliberative environment created by democratic political institutions. Democratic political cultures make it easier to exchange and give reasons, ultimately improving the justification that citizens have for their political beliefs. With this improved justification comes a better chance at truth, or so the story goes. In this paper, I show that attempts to forge a connection between justification and truth in epistemology have encountered numerous difficulties, making the case that this causes trouble for deliberative epistemic defenses of democracy as well. If there is no well-defined connection between truth and justification, then increasing the justification that citizens have for their beliefs may not also increase the likelihood that those beliefs are true, revealing a serious flaw in charting a connection between political justification and political truth. (shrink)

Permissivism is the view that, sometimes, there is more than one doxastic attitude that is perfectly rationalised by the evidence. Impermissivism is the denial of Permissivism. Several philosophers, with the aim to defend either Impermissivism or Permissivism, have recently discussed the value of (im)permissive rationality. This paper focuses on one kind of value-conferring considerations, stemming from the so-called “truth-connection” enjoyed by rational doxastic attitudes. The paper vindicates the truth-connected value of permissive rationality by pursuing a novel strategy which (...) rests on two main planks: first, there is a distinction between a fine-grained and a coarse-grained type-individuation of belief-forming methods. Secondly, different kinds of decision-theoretic reasoning, i.e. expected-accuracy reasoning and accuracy-domination reasoning, must be paired with a fine-grained and a coarse-grained type-individuation of methods, respectively. I argue that while the first pair is wholly irrelevant to the question of the truth-connection, the second affords the means to a permissivist explanation of the truth-connected value of rationality. (shrink)

Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to each other (in 2D space) when this expression is formalized using a directed acyclic graph (DAG). This provides substantially greater expressiveness than the 1D space of FOPL syntax. -/- The increase in expressiveness over other formal systems of logic shows the Pathological Self-Reference Error of expressions previously considered to be sentences of formal systems. MTT shows that these expressions were never truth bearers, (...) thus never sentences of any formal logic system. (shrink)

The meaning that expressions take on particular occasions often depends on the context in ways which seem to transcend its direct effect on context-sensitive parameters. ‘Truth-conditional pragmatics’ is the project of trying to model such semantic flexibility within a compositional truth-conditional framework. Most proposals proceed by radically ‘freeing up’ the compositional operations of language. I argue, however, that the resulting theories are too unconstrained, and predict flexibility in cases where it is not observed. These accounts fall into this (...) position because they rarely, if ever, take advantage of the rich information made available by lexical items. I hold, instead, that lexical items encode both extension and non-extension determining information. Under certain conditions, the non-extension determining information of an expression e can enter into the compositional processes that determine the meaning of more complex expressions which contain e. This paper presents and motivates a set of type-driven compositional operations that can access non-extension determining information and introduce bits of it into the meaning of complex expressions. The resulting multidimensional semantics has the tools to deal with key cases of semantic flexibility in appropriately constrained ways, making it a promising framework to pursue the project of truth-conditional pragmatics. (shrink)

This paper argues that a certain type of self-referential sentence falsifies the widespread assumption that a declarative sentence's meaning is identical to its truth condition. It then argues that this problem cannot be assimilated to certain other problems that the assumption in question is independently known to face.

This article is devoted to the philosophical study of the conditions under which knowledge can become a component or tool of education. The presentation of the contribution of epistemology to human development and education is based on addressing issues such as the nature of knowledge, sources of knowledge, theories, and criteria of truth. We proceed from the idea that knowledge is a condition of education. Particular attention is paid to the issue of distinguishing between such types of knowledge (...) as 'knowing how’ and ‘knowing that'. Educational practices open a common foundation that unites the life world of people, types of sociality, and hermeneutical practices. The epistemological approach to the question of the essence of knowledge assumes that knowledge meets three requirements, namely, knowledge must be objective, subjective, and evidentiary. Epistemology includes subjectivity as the basis of human existence in the natural world and the world with others. Intersubjectivity is considered a criterion for the reliability of knowledge about the world, which allows asserting the relationship of the objective with the subjective. (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 paper argues that the critique of depoliticization in Mouffe’s agonistic political theory needs to be revised. This is because her account of the political does not succeed in filtering out undesirable forms of politicization such as science denialism and other types of post-truth politics. Mouffe's conception of the common symbolic space does not accomplish the task of limiting extreme pluralism in the absence of certain standards about how to correctly apply the fundamental notions of this space. By (...) drawing on a quasi-Wittgensteinian reading of linguistic normativity, I develop principled but non-universalist limits on politicization that are needed for a healthy, well-functioning democracy. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such (...) as Cognitive Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

In his seminal work “The Concept of Truth in Formalized Languages”, Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been accepted and applauded by philosophers and logicians nearly in unison. Its Postscript, written two years later, however, has given rise to a considerable amount of controversy. There is an ongoing debate on what Tarski really said in the postscript. These discussions often regard Tarski (...) as putatively changing his logical framework from type theory to set theory. In what follows, we will compare the original results with those presented two years later. After a brief outline of Carnap’s program in The Logical Syntax of Language we will determine its significance for Tarski’s final results. (shrink)

The discourse on nihilism in the German-speaking world continues to take its orientation primarily from Friedrich Nietzsche’s understanding of nihilism as a historical movement of the decline of values. This means that the aspects of nihilism that are not tied to specific epochs and cultures are not accorded due importance (I). In order to make a reappraisal of nihilism that does justice to these objective contents, I will present a classification of types of nihilism and of arguments that support (...) it. The discussion of the typology of the principal meanings of nihilism points to a loss in relevance of conceptions that take their orientation from Nietzsche (II). The discussion of the arguments testifies to the importance of objective knowledge in the justification of nihilism (III). (shrink)

Dual-process theories of higher order cognition (DPTs) have been enjoying much success, particularly since Kahneman’s 2002 Nobel prize address and recent book Thinking, Fast and Slow (2009). Historically, DPTs have attempted to provide a conceptual framework that helps classify and predict differences in patterns of behavior found under some circumstances and not others in a host of reasoning, judgment, and decision-making tasks. As evidence has changed and techniques for examining behavior have moved on, so too have DPTs. Killing two birds (...) with one stone, Evans and Stanovich (2013, this issue) respond to five main criticisms of DPTs. Along with addressing each criticism in turn, they set out to clarify the essential defining characteristics that distinguish one form of higher order cognition from the other. The aim of this commentary is to consider the defining characteristics of Type 1 and Type 2 processing that have been proposed and to suggest that the evidence can be taken to support quantitative differences rather than qualitatively distinct processes. (shrink)

Selective scientific realists disagree on which theoretical posits should be regarded as essential to the empirical success of a scientific theory. A satisfactory account of essentialness will show that the (approximate) truth of the selected posits adequately explains the success of the theory. Therefore, (a) the essential elements must be discernible prospectively; (b) there cannot be a priori criteria regarding which type of posit is essential; and (c) the overall success of a theory, or ‘cluster’ of propositions, not only (...) individual derivations, should be explicable. Given these desiderata, I propose a “unification criterion” for identifying essential elements. (shrink)

Despite the recent increase in interest in philosophy about ignorance, little attention has been paid to the question of what makes it possible for a being to become aware of their own ignorance. In this paper, I try to provide such an account by arguing that, for a being to become aware of their own ignorance, they must have the mental capacity to represent something as being unknown to them. For normal adult humans who have mastered a language, mental representation (...) of an unknown is enabled by forming linguistic expressions whose content is grasped, but whose referent is unknown. I provide a neo-Fregean, a neo-Russellian, and then a unified account of this. On that basis, I then argue further that the content of ignorance can always be captured by a question. I then distinguish between propositional ignorance and non-propositional ignorance and argue that propositional ignorance attributions can be of three types, that-ignorance, whether-ignorance, and fact-ignorance. I conclude by arguing that the acquisition of truths, even when it yields knowledge that is certain, does not always eliminate one’s ignorance and that there is a degree of ignorance in almost everything we claim to know. (shrink)

We present experimental evidence that people's modes of social interaction influence their construal of truth. Participants who engaged in cooperative interactions were less inclined to agree that there was an objective truth about that topic than were those who engaged in a competitive interaction. Follow-up experiments ruled out alternative explanations and indicated that the changes in objectivity are explained by argumentative mindsets: When people are in cooperative arguments, they see the truth as more subjective. These findings can (...) help inform research on moral objectivism and, more broadly, on the distinctive cognitive consequences of different types of social interaction. (shrink)

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .

One main kind of etiological challenge to the well-foundedness of someone’s belief is the consideration that if you had a different education/upbringing, you would very likely accept different beliefs than you actually do. Although a person’s religious identity and attendant religious beliefs are usually the ones singled out as targets of such “contingency” or “epistemic location” arguments, it is clear that a person’s place and time has a conditioning effect in all domains of controversial views, and over all of what (...) in the epistemology of disagreement are termed our nurtured beliefs. Still, given the absolutism that has often attended religious truth claims, together with the great contrariety of teachings based upon purported divine revelation, arguments from contingency have often been presented as having special force against religious ‘enthusiasts.’ Chapter Two argues that if we are to explicate the force of problems of religious luck, we need to think more carefully about the scope and force of skeptical arguments of this general type. Contingency problems are not often considered serious objections to faith, since there are narrative theological explanations about differences between “home” and “alien” religious traditions, which any adherent of a particular tradition might appeal to. But what I term the New Problem tries to present a qualified and re-focused set of concerns, rather than a sweeping sort of skepticism. First, I carefully delimit the scope of the de jure challenge which the contingency and insensitivity of belief suggests. In general terms, a de jure challenge implicates dereliction of epistemic duty, intellectual viciousness, or some other sense of epistemic unacceptability to some target class of religious belief, narrow or broad (Plantinga 1995). Next, I redirect that challenge through a new thought experiment aimed at clarifying how the mind-set of religious exclusivism is enabled only through counter-inductive or “pattern-breaking” thinking. Much more focused than any overbroad argument from continency, the New Problem of religious luck is presented as a strong de jure challenge to the reasonableness of religious exclusivist a) conceptions of faith and b) responses to religious multiplicity. (shrink)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the instantiation of the grounding relation that connects the various entities within the layered structure of reality. More precisely, I seek to utilise the explanatory framework of Richard Swinburne within a specific metaphysical context, a ground-theoretic context, which will enable me to develop a true fundamental explanation for the existence of grounding. And thus, given (...) the truth of this type of explanation, we will have a further reason to believe in the existence of God. (shrink)

The main goal of this paper is to show that there are many phenomena that pertain to the construction of truth-conditional compounds that follow characteristic patterns, and whose explanation requires appealing to knowledge structures organized in specific ways. We review a number of phenomena, ranging from non-homogenous modification and privative modification to polysemy and co-predication that indicate that knowledge structures do play a role in obtaining truth-conditions. After that, we show that several extant accounts that invoke rich lexical (...) meanings to explain such phenomena face problems related to inflexibility and lack of predictive power. We review different ways in which one might react to such problems as regards lexical meanings: go richer, go moderately richer, go thinner, and go moderately thinner. On the face of it, it looks like moderate positions are unstable, given the apparent lack of a clear cutoff point between the semantic and the conceptual, but also that a very thin view and a very rich view may turn out to be indistinguishable in the long run. As far as we can see, the most pressing open questions concern this last issue: can there be a principled semantic/world knowledge distinction? Where could it be drawn: at some upper level (e.g. enriched qualia structures) or at some basic level (e.g. constraints)? How do parsimony considerations affect these two different approaches? A thin meanings approach postulates intermediate representations whose role is not clear in the interpretive process, while a rich meanings approach to lexical meaning seems to duplicate representations: the same representations that are stored in the lexicon would form part of conceptual representations. Both types of parsimony problems would be solved by assuming a direct relation between word forms and (parts of) conceptual or world knowledge, leading to a view that has been attributed to Chomsky (e.g. by Katz 1980) in which there is just syntax and encyclopedic knowledge. (shrink)