The notion of more truth, or of more truth and less falsehood, is central to epistemology. Yet, I argue, we have no idea what this consists in, as the most natural or obvious thing to say—that more truth is a matter of a greater number of truths, and less falsehood is a matter of a lesser number of falsehoods—is ultimately implausible. The issue is important not merely because the notion of more truth and less falsehood is (...) central to epistemology, but because an implicit, false picture of what this consists in underpins and gives shape to much contemporary epistemology. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual (...) semantic connection of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

On an evidentialist position, it is epistemically rational for us to believe propositions that are (stably) supported by our total evidence. We are epistemically permitted to believe such propositions, and perhaps even ought to do so. Epistemic rationality is normative. One popular way to explain the normativity appeals to epistemic teleology. The primary aim of this paper is to argue that appeals to epistemic teleology do not support that we ought to believe what is rational to believe, only that we (...) are permitted to do so. In arguing for that, I defend an epistemic teleological position that is radical in nature. It involves no commitment to aiming at the truth. I conclude by dispelling some worries that have been raised about my position. (shrink)

We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those (...) who state propositions they believe to be false. Not all lies are statements of false propositions—some lies are true; some have no truth-value. People who only occasionally lie are not liars: roughly, liars repeatedly and habitually lie. Some half-truths are statements intended to mislead even though the speakers “interpret” the sentences used as expressing true propositions. Others are statements of propositions believed by the speakers to be questionable but without revealing their supposed problematic nature. The two “formulations” of “the antinomy of the liar” in [1], pp.157–8 and 161–2, have nothing to do with lying or liars. The first focuses on an “expression” Tarski calls ‘c’, namely the following. -/- c is not a true sentence -/- The second focuses on another “expression”, also called ‘c’, namely the following. -/- for all p, if c is identical with the sentence ‘p’, then not p -/- Without argumentation or even discussion, Tarski implies that these strange “expressions” are English sentences. [1] Alfred Tarski, The concept of truth in formalized languages, pp. 152–278, Logic, Semantics, Metamathematics, papers from 1923 to 1938, ed. John Corcoran, Hackett, Indianapolis 1983. -/- https://www.academia.edu/12525833/Sentence_Proposition_Judgment_Statement_and_Fact_Speaking_about_th e_Written_English_Used_in_Logic. (shrink)

Truths will be defined as an agreement on uncertainties, the consensus over matters of empirical and social nature such as mathematics, physics or economics. As illustrated by Dennis Lindley , ‘individuals tend to know things to be true and false but the extent of this truth and falsity would always remain unknown’. Leading individuals to a permanent state of stress, uncertainty becomes a risk for the social community. Problems could not be presumed to be solvable as any kind of (...) solution would be perceived as uncertain. The struggle for solutions would develop into a state of insecurity and conflict where no individual could trust the answers given by any other member of the community. To prevent a ‘war of all against all’ that would cause anxiety and permanent conflict, it will become an essential duty for the social community to diminish uncertainty by imposing truths. With those, individuals can be reassured about the certainty of their knowledge and use truths as a resolution tool for any dispute that might occur within the social space. For the purpose of social peace, truths will therefore be every outcome of the process through which uncertainty is transformed into an agreed form of knowledge. “Gravity”, “Death” and “God” will all be considered truths as they represent a form of agreement over different domains of the human and social life. It is not the intention of this essay to examine each of the truths separately but rather, to analyse them all together in order to formulate a hypothesis for all empirical and social matters. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to (...) cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

In this article I argue that the value of epistemic justification cannot be adequately explained as being instrumental to truth. I intend to show that false belief, which is no means to truth, can nevertheless still be of epistemic value. This in turn will make a good prima facie case that justification is valuable for its own sake. If this is right, we will have also found reason to think that truth value monism is (...) false: assuming that true belief does have value, there is more of final epistemic value than mere true belief. (shrink)

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evidence in favor of a factive norm from six studies. In these studies, an assertion’s truth value dramatically affects whether people think it (...) should be made. Whereas nearly everyone agreed that a true assertion supported by good evidence should be made, most people judged that a false assertion supported by good evidence should not be made. The studies also suggest that people are consciously aware of criteria that guide their evaluation of assertions. Evidence is also presented that some intuitive support for a non-factive norm of assertion comes from a surprising tendency people have to misdescribe cases of blameless rule-breaking as cases where no rule is broken. (shrink)

According to one version of objectivism about value, ethical and other evaluative claims have a fixed truth-value independently of who makes them or the society in which they happen to live (c.f. Davidson 2004, 42). Subjectivists about value deny this claim. According to subjectivism so understood, ethical and other evaluative claims have no fixed truth-value, either because their truth-value is dependent on who makes them, or because they have no truth-value (...) at all. (shrink)

Cardinal Bessarion (1408–1472), in the second chapter of the first book of his influential work In calumniatorem Platonis, attempted to reply to Georgios Trapezuntios’ (1396–1474) criticism against Plato in the Comparatio Philosophorum Platonis et Aristotelis. Bessarion investigates why the Athenian philosopher maintained, in several dialogues, that the sacred truths should not be communicated to the general public and argued in favor of the value of oral transmission of knowledge, largely based on his theory about the cognitive processes. Recently, Fr. (...) Bessarion Kouotsis has argued that Cardinal Bessarion’s reasoning draws primarily on the “Disciplina Arcani”, i.e., the rule of secrecy, which was an established practice of the Early Christian Church, aimed at protecting and preserving the core elements of the religion from outsiders. While I find Kouotsis’ approach interesting and thought-provoking—for instance, the idea that Bessarion’s argumentation was likely influenced by Eastern Christian views on the rule of secrecy—I intend, first of all, to discuss why Bessarion did not explicitly mention it. Moreover, I would like to argue that Bessarion’s good knowledge of the long Platonic tradition and Eastern mysticism, encompassing both pagan and Christian elements, should also be considered a significant source. Furthermore, I would like to question Kouotsis’ implicit argument that Bessarion’s views were dominated by his training in Orthodox theology and discuss the possibility that Pletho’s (1355–1454) teaching was the obvious influence for Bessarion’s defense of secrecy. After all, we should bear in mind that Anastos has already pointed out Pletho’s reverence for the rule of secrecy. Finally, I would like to support that Bessarion, in the specific text, focused predominantly on the epistemological and cognitive aspects of oral teaching, resorting to the rule of secrecy only to enhance his views. (shrink)

Many scholars claimed that, according to Immanuel Kant, some judgements lack a truth-value: analytic judgements, judgements about items of which humans cannot have experience, judgements of perception, and non-assertoric judgements. However, no one has undertaken an extensive examination of the textual evidence for those claims. Based on an analysis of Kant's texts, I argue that: (1) according to Kant, only judgements of perception are not truth-apt. All other judgements are truth-apt, including analytic judgements and judgements about (...) items of which humans cannot have experience. (2) Kant sometimes states that truth-apt judgements are actual bearers of truth or falsity only when they are taken to state what is actually the case. Kant calls these judgements assertoric. Other texts ascribe truth and falsity to judgements, regardless of whether they are assertoric. Kant's views on truth-aptness raise challenges for correspondentist and coherentist interpretations of Kant's theory of truth; they rule out the identification of Kant's crucial notion of objective validity with truth-aptness; and they imply that Kant was not a verificationist about truth or meaning. (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- (...) class='Hi'>value so as to reconstruct Łukasiewicz’s three-valued logic as a kind of extensional modal logic based on partial logic. (shrink)

A prevalent political narrative is that we are facing an epistemological crisis, where many citizens no longer care about truth and facts. Yet the view that we are living in a post-truth era relies on some implicit questionable empirical and normative assumptions. The post-truth rhetoric converts epistemic issues into motivational issues, treating people with whom we disagree as if they no longer believe in or care about truth. This narrative is also dubious on epistemic, moral, and (...) political grounds. It is epistemically dubious in being largely insensitive to the problem of complexity in politics; it is morally dubious because “post-truth” is often a derogatory label for individuals or groups that are deemed stupid, irrational, or morally compromised; and it is a politically toxic neologism because it purports to use the language of ‘truth’ as a weapon against power, yet these truth-claims are often themselves attempts to exert power over others by delegitimizing their perspectives. While it may seem as if truth and democracy are on especially bad terms lately, politics and truth have long had a vexed relationship, and moral panics about the value of truthfulness in politics are as old as politics itself. (shrink)

The truth-functional hypothesis states that indicative conditional sentences and the material implication have the same truth conditions. Haze (2011) has rejected this hypothesis. He claims that a self-referential conditional, coupled with a plausible assumption about its truth-values and the assumption that the truth-functional hypothesis is true, lead to a liar’s paradox. Given that neither the self-referential conditional nor the assumption about its truth-values are problematic, the culprit of the paradox must be the truth-functional hypothesis. (...) Therefore, we should reject it. In this paper I argue that, contrary to what Haze thinks, the truth-functional hypothesis is not to blame. In fact, no liar’s paradox emerges when the truth-functional hypothesis is true; it emerges only if it is false. (shrink)

This paper interrogates the idea of a virtue-first approach to the question of what has fundamental epistemic value. It has been suggested that a virtue-first approach is needed to strengthen the view known as veritism, according to which only truth has fundamental epistemic value. I distinguish between an ontological and a methodological virtue-first approach, and suggest that only the latter is an attractive option for a veritist. I then argue that the methodological virtue-first approach is incompatible with (...) the idea that the epistemic domain is insulated, in the sense that being of epistemic value does not entail being of value. But insulationism is arguably an important tool for veritists in meeting various objections to their view, aside from being considered generally attractive by many. Veritists thus face a dilemma that requires them to give up one of two arguably attractive tools in their kit: either the virtue-first motivation of their view, or the insulationist conception of epistemic value. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence (...) at a context is (or determines) a function from worlds to truth values. (shrink)

There are sentences that express the same temporally fully specified proposition at all contexts--call them 'context-insensitive, temporally specific sentences.' Sentence (1) 'Obama was born in 1961' is a case in point: at all contexts, it expresses the proposition ascribing to the year 1961 the property of being a time in which Obama was born. Suppose that someone uttered (1) in a context located on Christmas 2000 in our world. In this context, (1) is a true sentence about the past. Moreover, (...) it seems impossible that (1) will be false in a successive context (one located, say, on Christmas 2020 in our world). More generally, one might be tempted to endorse the following principle: if a context-insensitive, temporally specific sentence is uttered in a context in which it is about the past and takes a certain truth value in this context, it cannot be the case that it takes a different truth value in a successive context located in the same world. In this paper, we present linguistic evidence that shows that this principle fails. On this basis, we draw an apparently crazy conclusion: the past can change. We then explain why this conclusion is not that crazy, after all. (shrink)

Post-truth has become a commonplace strategy. No longer are objective facts viewed as having evidentiary value; scientific knowledge is on a par with emotions or personal beliefs. We intend to show that in the context of post-truth, those proffering and receiving an assertion do not care about the truth-value of the assertion or about the best way to gather evidence concerning it. Such attitudes raise several questions about how relativism can be a corrupting influence in (...) contemporary democracies. We will analyse Steve Fuller’s use of the term «post-truth» – especially, the political connotations about epistemic democracy that he highlights. Instead, we offer a pragmatist defence of the truth and an alternative meaning of epistemic democracy. (shrink)

In this essay I argue for the need to restore our recognition of the importance of philosophical truth in our endeavor to understand our world and our selves. In particular, I note that the physical sciences have no way of examining the axiological dimension of being - i.e., that dimension from which values spring - whereas an appreciation for, and understanding of, our values is crucial to the conduct of our personal, interpersonal, and political lives.

Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, in (...) which the middle value acts like one of the classical values). For $st$, the schemes in question are the Boolean normal schemes that are either monotonic or collapsible. (shrink)

Nietzsche regarded nihilism as an outgrowth of the natural sciences which, he worried, were bringing about “an essentially mechanistic [and hence meaningless] world.” Nihilism in this sense refers to the doctrine that there are no values, or that everything we might value is worthless. In the last issue of Modern Horizons, I offered this conditional explanation of the relation of science and nihilism: that a scientific worldview is nihilistic insofar as it rules out the existence of anything that cannot (...) in principle be precisely picked out or identified.i What kinds of entities would a scientific worldview eliminate on the basis of such an assumption? The list is long and various, but it includes those intentional (mentalii) entities of our consciousness that underwrite the existence of persons, and more basically of thought itself – e.g., belief, value, agency, truth, and meaning. I argued in that previous paper that intentional concepts are ultimately inscrutable, and yet impossible coherently to deny. I claimed that we could no more doubt the existence of values than we could doubt reality itself – and when I spoke of values I had in mind the (suspicion-engendering) concept of the good, and was even toying with the related idea of the Logos (an even more suspect concept). There are a several attractive reasons why the idea of the good, or the Logos, might be regarded with suspicion, and why either might reasonably be discarded as a pseudo concept. Leaving the latter concern until later, we might worry that insisting on the possibility of an overarching good supports the idea of a total worldview, or that we are gradually progressing towards a single correct vision of things. A progressivist, totalising vision would seem to foreclose on outlooks, values, and persons that deviate from its most likely trajectory, and may stymie or interfere with incommensurate forms of otherness,iii awkward disturbances, and idiosyncrasies threatening its more well-established precincts – perhaps whatever stands out as strange, rare, and indissolubly individual. The idea of an emerging universal standard of values thus might amount to a source of oppression, e.g., if it provides a warrant to transform a currently limited universally prescriptive set of global practices and institutes into an ever more elaborate totalising hierarchy. In the discussion below, I will say why the good, conceived as the Logos, suggests a more salutary trajectory for individuals, and erodes support for either a totalitarian vision or a dissolving nihilistic outlook on the world. (shrink)

While openmindedness is often cited as a paradigmatic example of an intellectual virtue, the connection between openmindedness and truth is tenuous. Several strategies for reconciling this tension are considered, and each is shown to fail; it is thus claimed that openmindedness, when intellectually virtuous, bears no interesting essential connection to truth. In the final section, the implication of this result is assessed in the wider context of debates about epistemic value.

One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, where the meaning (...) of any sentence is an ordered n-tupled of yes-no answers to corresponding questions. A sample of philosophical problems will be approached in order to justify the relevance of QAS. These include: (1) illocutionary forces, and the logical analysis of speech-acts; (2) the variety of logical negations, and their characterization in terms of restricted ranges of logical values; (3) change in meaning, and the use of dynamic oppositions for belief sets. (shrink)

Post-truth has an impression that the facts have been only corrupted with it. Many examples support this impression. However, it should not be perceived as just a disruption of the truth considering only political events. In different fields, such as creative industries, it may have different implications. Despite studies regarding education, there has not been much discussion on the design process and education. The objective of this research is to develop an introductory examination of what the design process (...) (with statements in the book 'How Designers Think') can produce in post-truth cases and to seek the productive potentials of post-truth. Therefore, the claims were reviewed - as design problems, solutions and process itself - within the framework of the post-truth era. Some of the results are as follows: For design problems, designers need to find a way to oscillate among objectives without based on truth. Post-truth environments may trigger finding out unique spatial possibilities with designs of unique hierarchies. For design solutions, in post-truth era, the only optimal thing is to be apathetic about truth. There is no need to seek the optimal solutions. The ideal of wholeness is expired for the solutions. This situation fosters free circulations of tiny parts of solutions in the post-truth universe. For the design process, the correctness of the process is much more questionable anymore. Identifying problem is a crucial part of the design process. As the truth disappears, it becomes more difficult to discriminate the characteristics and value of the problems. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

The paper asks: are all tautologies true in a language with truth-value gaps? It answers that they are not. No tautology is false, of course, but not all are true. It also contends that not all contradictions are false in a language with truth-value gaps, though none are true.

John Searle has argued that functions owe their existence to the value that we put into life and survival. In this paper, I will provide a critique of Searle’s argument concerning the ontology of functions. I rely on a standard analysis of functional predicates as relating not only a biological entity, an activity that constitutes the function of this entity and a type of system but also a goal state. A functional attribution without specification of such a goal state (...) has no truth-value. But if completed with a goal state, functional attributions understood as four-place relations attain a truth-value. The truth conditions of all attributions of function involve a dependence claim of the goal state on the function bearer’s activity. The nature of this dependence may differ; I consider five different possibilities: causality, mechanistic constitution, mereology, supervenience and metaphysical grounding. If these dependency relations are objective, Searle’s central ontological thesis fails. What he ought to have said is that our valuing survival or other goal states may be the reason why biology seeks functional knowledge, but this has nothing to do with ontology. I will show further that Searle also raised an interesting challenge concerning the relationship of functional and causal truths, but it does not threaten the objectivity of functions either. At best, it could show that functional vocabulary is eliminable. However, I will show that functional vocabulary is not so eliminable. (shrink)

What do religious statements tell us? The epistemology of statements to which believers dedicate their lives is of critical importance. Richard Bevan Braithwaite (1900-1990), who considers the statements of religion from a non-cognitive but conative perspective, thinks that even if the religious statements cannot be verified, they can be empirically meaningful. This meaning is analogical, drawing policy of life like in moral judgments. According to Braithwaite, these statements have no truth value as in science; the stories told in (...) a religious language only psychologically support the person to maintain the lifestyle. In short, Braithwaite eliminates the cognitive dimension of religious statements by focusing on the conative aspect. Thus, he tries to make religion meaningful so as not to get caught in the verification principle. We aim to analyze Braithwaite's theory of moral interpretation of religious language. In the introduction part of our study, we will explain the dominant paradigm of the period between 1920-1955 to reveal the reasons that prepared Braithwaite for his empiricist approach to religious belief. In this way, we will handle the verification principle, which is the cornerstone of logical positivism. Afterward, we will try to evaluate Braithwaite's ideas on the moral interpretation of the religious statements under two titles. First of all, we will try to answer from Braithwaite's point of view why religious statements cannot pass the verification test. For this, we will present the reasons for not including religious expressions in the empirical, hypothetical, and analytical categories, respectively, and we will present our criticisms. In the second part, we will find an answer to the question of where the religious statements will take place. We will touch on Braithwaite's effort to make religious expressions meaningful by charging functionality, and we will evaluate the criticisms. Afterward, we will discuss the similarities and differences between religious and moral statements and examine the problems that may arise due to Braithwaite's theory. In addition, we will evaluate Braithwaite's attitude concerning the religious stories and the criticisms toward him to distinguish religions with the same moral action. As a result, we will reveal Braithwaite's perspective on the subjectivity of religious belief and point out the possible drawbacks in terms of theism. (shrink)

Recently, Joshua Greene has argued that we need a metamorality to solve moral problems for which evolution has not prepared us. The metamorality that he proposes is a utilitarian account that he calls deep pragmatism. Deep pragmatism is supposed to arbitrate when the values espoused by different groups clash. To date, no systematic appraisal of this argument for a metamorality exists. We reconstruct Greene’s case for deep pragmatism as a metamorality and consider three lines of objection to it. We argue (...) that, in the end, only one of these objections seriously threatens Greene’s position. Greene has to commit to the nonexistence of moral truth in order for his argument for the need of a metamorality to get off the ground. This, however, leads to a tension in his overall argument for deep pragmatism: ultimately, it casts his rejection of antiutilitarian moral intuitions into doubt. (shrink)

Some moral theories, such as objective forms of consequentialism, seem to fail to be practically useful: they are of little to no help in trying to decide what to do. Even if we do not think this constitutes a fatal flaw in such theories, we may nonetheless agree that being practically useful does make a moral theory a better theory, or so some have suggested. In this paper, I assess whether the uncontroversial respect in which a moral theory can be (...) claimed to be better if it is practically useful can provide a ground worth taking into account for believing one theory rather than another. I argue that this is not the case. The upshot is that if there is a sound objection to theories such as objective consequentialism that is based on considerations of practical usefulness, the objection requires that it is established that the truth about what we morally ought to do cannot be epistemically inaccessible to us. The value of practical usefulness has no bearing on the issue. (shrink)

Nietzsche values intellectual honesty, but is dubious about what he calls the will to truth. This is puzzling since intellectual honesty is a component of the will to truth. In this paper, I show that this puzzle tells us something important about how Nietzsche conceives of our pursuit of truth. For Nietzsche, those who pursue truth occupy unstable ground, since being honest about the ultimate reasons for that pursuit would mean that truth could no longer (...) satisfy the important human needs it satisfies at present. We can pursue truth, or be honest about what in us is served by such a pursuit, but not both. Nietzsche aims to show that understanding and owning up to this instability is the sort of affirmation of human life to which we ought to aspire, and is the price we pay for being free from otherworldly morality. (shrink)

Down through the ages, logic has adopted many strange and awkward technical terms: assertoric, prove, proof, model, constant, variable, particular, major, minor, and so on. But truth-value is a not a typical example. Every proposition, even if false, no matter how worthless, has a truth-value:even “one plus two equals four” and “one is not one”. In fact, every two false propositions have the same truth-value—no matter how different they might be, even if one is (...) self-contradictory and one is consistent. It is not such a big surprise that every true proposition, no matter how worthless, has a truth-value. Every proposition, whether valuable or worthless, has a truth-value.But it is a little strange that every two true propositions, no matter how different they might be, have the same truth-value. The Pythagorean Theorem has the same truth-value as the proposition that one is one. It is a stretch to think of truth-values as values in any of the normal senses of the word ‘value’. (shrink)

While aestheticians have devoted substantial attention to the possibility of acquiring knowledge from fiction, little of this attention has been directed at the acquisition of factual information. The neglect traces, I believe, to the assumption that the task of aesthetics is to explain the special cognitive value of fiction. While the value of many works of nonfiction may be measured, in part, by their ability to transmit information, most works of fiction do not have this aim, and so (...) many conclude that the transmission of information is irrelevant to their value. I am skeptical of these claims. I doubt that there is any value, cognitive or otherwise, special to all and only works of fiction. Thus I see no reason to neglect the capacity to convey factual information—specifically, propositional knowledge about real individuals and events—when assessing the value of particular works. In this paper I consider the value of learning about history from a particular work of fiction, Gore Vidal’s Lincoln: A Novel. Drawing on recent work in cognitive psychology, I argue that narrative devices used by Vidal can enhance our ability to learn and retain factual information, despite also increasing the possibility that we will form false beliefs, and that acquiring propositional knowledge from fiction, far from being a process we can take for granted, constitutes a difficult achievement. (shrink)

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on affirmations (...) and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

The current discussions of conceptual schemes and related topics are misguided; for they have been focused too much on the truth-conditional notions of meaning/concepts and translation/interpretation in Tarski's style. It is exactly due to such a Quinean interpretation of the notion of conceptual schemes that the very notion of conceptual schemes falls prey to Davidson's attack. We argue that what should concern us in the discussions of conceptual schemes and related issues, following the initiatives of I. Hacking, T. Kuhn, (...) and N. Rescher, is not the truth-values of assertions, but rather the truthvalue-status of the sentences used to make the assertions. This is because the genuine conceptual innovation between alternative theories/languages does not lie in differences in determining the truth-values of their sentences, but turns on whether these sentences have truth-values when considered within the context of a competing one. The core of conceptual relativism does not consist in the claim that different conceptual schemes may yield incommensurable truth claims, but rather that different conceptual schemes may yield incompatible truth-value-status and therefore lead to distinct perceptions of reality. Conceptual schemes are no longer seen as sentential languages consisting of a set of sentences accepted as true, but rather seen as metaphysical presuppositions of presuppositional languages.[ABSTRACT FROM AUTHOR]. (shrink)

Imagine a zombie world that looks “from the outside” just like ours, but where there is no phenomenal consciousness. Creatures that look like us move about just as we do and make the same noises we do, but nobody experiences or feels anything. How much of the epistemic value that’s exemplified in our world survives in that one? The short answer is: any kind of epistemic value that requires the occurrence of consciousness for its exemplification cannot exist in (...) that world, but epistemic value that doesn’t require consciousness can exist. The real question, though, is what kinds of epistemic value require the occurrence of consciousness. We will consider four central epistemic values: justification, truth, acquaintance, and understanding. (shrink)

The law views with suspicion statistical evidence, even evidence that is probabilistically on a par with direct, individual evidence that the law is in no way suspicious of. But it has proved remarkably hard to either justify this suspicion, or to debunk it. In this paper, we connect the discussion of statistical evidence to broader epistemological discussions of similar phenomena. We highlight Sensitivity – the requirement that a belief be counterfactually sensitive to the truth in a specific way – (...) as a way of epistemically explaining the legal suspicion towards statistical evidence. Still, we do not think of this as a satisfactory vindication of the reluctance to rely on statistical evidence. Knowledge – and Sensitivity, and indeed epistemology in general – are of little, if any, legal value. Instead, we tell an incentive-based story vindicating the suspicion towards statistical evidence. We conclude by showing that the epistemological story and the incentive-based story are closely and interestingly related, and by offering initial thoughts about the role of statistical evidence in morality. (shrink)

My dissertation brings into conversation two thinkers who are seldom considered together and highlights previously unnoticed similarities in their critical responses to scientism, which was just as prevalent in the late nineteenth century as it is today. I analyze this attitude as consisting of two linked propositions. The first, which Nietzsche calls “the unconditional will to truth,” is that the aims of science, discovering truth and avoiding error, are the most important human aims; and the second is that (...) no practice other than science can achieve them. Both Nietzsche and James criticize the unconditional will to truth for privileging a transcendent ideal over the demands of human life. This unconditional will regards truth as valuable in itself and demands that we pursue it under all circumstances—even if that demand comes into conflict with other values. I lay out the ways in which Nietzsche and James view the value of truth and the imperative to pursue it as conditional on its promotion of human flourishing. In response to the second proposition of scientism, both philosophers argue that science can neither tell us what we should value, nor fully account for the value we in fact find in certain objects, activities, and experiences. And crucially, science cannot tell us whether or why its own goal of attaining truth is valuable. Nietzsche and James reach different conclusions about what is ultimately valuable, and whether traditional religious belief is defensible in light of the discoveries of science. Nonetheless, the hitherto unappreciated similarities I have uncovered in their arguments show that principled opposition to scientism need not be associated with any particular moral or religious viewpoint. This analysis is not only of historical interest: those who consider scientism to be ill-founded and intellectually confining can take some cues from our nineteenth-century predecessors’ strategies for combating it. (shrink)

ABSTRACT: In this paper I argue (i) that the hypothetical arguments about which the Stoic Chrysippus wrote numerous books (DL 7.196) are not to be confused with the so-called hypothetical syllogisms" but are the same hypothetical arguments as those mentioned five times in Epictetus (e.g. Diss. 1.25.11-12); and (ii) that these hypothetical arguments are formed by replacing in a non-hypothetical argument one (or more) of the premisses by a Stoic "hypothesis" or supposition. Such "hypotheses" or suppositions differ from propositions in (...) that they have a specific logical form and no truth-value. The reason for the introduction of a distinct class of hypothetical arguments can be found in the context of dialectical argumentation. The paper concludes with the discussion of some evidence for the use of Stoic hypothetical arguments in ancient texts. (shrink)

A key assumption fuelling optimism about the progress of Large Language Models (LLMs) in modelling the world is that the truth is systematic: true statements about the world form a whole that is not just consistent, in that it contains no contradictions, but cohesive, in that the truths are inferentially interlinked. This holds out the prospect that LLMs might rely on that systematicity to fill in gaps and correct inaccuracies in the training data: consistency and cohesiveness promise to facilitate (...) progress towards comprehensiveness in an LLM’s representation of the world. However, philosophers have identified reasons to doubt that the truth is systematic across all domains of thought, arguing that in normative domains, in particular, the truth is not necessarily systematic. I argue that insofar as the truth in normative domains is asystematic, this renders it correspondingly harder for LLMs to make progress, because they cannot rely on the consistency and cohesiveness of the truth to work towards comprehensiveness. And the less LLMs can rely on the systematicity of truth, the less we can rely on them to do our practical deliberation for us, as there is correspondingly more of a role for human agency in navigating asystematic normative domains. (shrink)

For Machiavelli, religion is valued not by the importance of its founder, the content of its teachings, the truth of its dogmas or the significance of its rites. It is not the essence of what really matters but its function and importance for collective life. Religion teaches to recognize and respect political rules through the religious commandments. This collective norm could assume the outer coercive aspect of the military discipline as well as the inner persuasive character of civic and (...) moral education for the production of collective consensus. -/- Para Maquiavel, o que confere valor a uma religião não é a importância de seu fundador, o conteúdo dos ensinamentos, a verdade dos dogmas ou a significação dos mistérios e ritos. Importa não a essência da religião e sim sua função e importância para a vida coletiva. A religião ensina a reconhecer e a respeitar as regras políticas a partir do mandamento religioso. Essa norma coletiva pode assumir tanto o aspecto coercivo exterior da disciplina militar ou da autoridade política quanto o caráter persuasivo interior da educação moral e cívica para a produção do consenso coletivo. (shrink)

Techne and Truth. The problem of techne in the dispute between Gorgias and Plato -/- The source of the problem matter of the book is the Plato’s dialogue „Gorgias”. One of the main subjects of the discussion carried out in this multi-aspect work is the issue of the art of rhetoric. In the dialogue the contemporary form of the art of rhetoric, represented by Gorgias, Polos and Callicles, is confronted with Plato’s proposal of rhetoric and concept of art (techne). (...) The ingenuous and dramatic structure of the dialogue composed of three acts, in each of which Socrates’ consecutive interlocutors emerge, is difficult to interpret. It seems, however, that even though the first conversation between Socrates and Gorgias constitutes a small part of the dialogue, it forms the foundations for the discussion. This part, dealing with such important issues as the subject of art, knowledge, power and relation between art and good, is the starting point for the conversations which follow. What do the differences between the Gorgias’ and Plato’s concepts of art consist in? Any attempt to answer the question requires presentation of the background for the discussion taking place in Plato’s work as well as the reconstruction of Gorgias’ vision of the art of rhetoric and art in general, defining the relation between art and knowledge. The latter may be undertaken on the basis of two paraphrases of the treatise “On Non-existence”, two epideictic speeches entitled “Helen” and “Palamedes” and some smaller fragments which have been preserved from Gorgias’ creative output. The treatise “On Non–existence”, very paradoxical in its philosophical meaning, testifies to new, sophistic thinking represented by Gorgias of Leontinoi. The treatise is the polemic and attack on Eleatism based on certain principles and methods elaborated by the Eleatics themselves. It also shows that Gorgias – using traditional Eleatic schemes – is opposed to this tradition. Even though the treatise does not discuss the problem of art directly, it anticipates the considerations from epideictic speeches. “Helen” and “Palamedes” constitute further stages in the development of Gorgias’ thought and concept of art combining typically epideictic elements with some philosophical convictions. Gorgias refers to the Eleatic theme considering the issues of truth, knowledge and belief, yet defining them in the empirical spirit. Solutions in the cognitive sphere determine the horizon of Gorgias’ rhetoric. The word is separated from the existence. Human cognition is limited and therefore the word and visual images affect the belief. This promotes the great importance of rhetoric, painting and sculpture, i.e. the areas which influence in a specific way – creating the “delusion” (ἀπάτη). Through idealization art provides pleasure, which is its objective. Therefore the task of art is to create delusion. The rhetor of Leontinoi discusses the issue of “how?” to use the word ‘rhetoric’. Gorgias is aware that rhetoric may be used to talk about what is unknown and that technical correctness of a rhetoric statement is not identical with the truthfulness of the proclaimed message. Mentioning it, Gorgias shows his respect to the truth as a value which should be respected in speech on the one hand, and on the other emphasizes that the truth in itself has no persuasive power. For this reason it is not enough to proclaim the truth, but, to convince the listeners, the orator should possess the skill of speaking. What is then the relation between truth and art emerging from epideictic speeches? Gorgias undoubtedly emphasizes the formal aspect of speech, as rhetoric is art, thus an ability based on certain principles. According to Gorgias, the truth is the value which should be respected in speeches. Rhetoric is able to create a fictive world, as a great range of reality remains outside direct human experience. Rhetoric does not oppose the truth but discussing not only what is directly given concerns the area outside the sphere of direct experience. This concept of rhetoric is the basis of the discussion about art carried out in the dialogue “Gorgias”. Even though the first of the discussions in the dialogue – the conversation between Socrates and Gorgias – is directly concerned with rhetoric itself, numerous remarks testify to its much wider character. This is best exemplified by the way of carrying out the conversation by Socrates, who, asking questions about rhetoric practised by Gorgias, throughout the whole conversation compares it with other skills. Additionally, the manner and the structure of the conversation prove that Plato considers the issue of rhetoric from a wider perspective determined by the issue of art. The specific feature of the conversation is ordering it around main issues – such notions as πρᾶγμα, ἐπιστήμη, δύναμις, each of which has its own meaning in Plato. In the first part of Gorgias Plato presents the principles previously occurring in other dialogues in a certain order, thus constructing the structure of the conversation with Gorgias. The notions are not novum in Plato but the fact that he clearly wants to systematise them and present a certain concept of art is a new and significant aspect. This tendency is of paramount importance for the discussion because Gorgias’ answers are evaluated by Plato from the perspective of this clearly set concept consisting of not only established notions but also certain principles. The discussion between Socrates and Gorgias introduces a theme which is crucial for the dialogue: the relation between art and good, i.e. the technical and ethical spheres. The issue is introduced by Gorgias, who mentions that rhetoric may be used for evil purposes. On this basis Socrates proves that if rhetoricians can use rhetoric for evil purposes, they have no knowledge concerning the subject of their art – justice, because one who knows what is just, always acts justly. Thus the relation between the technical and ethical spheres transpires to be the main point of contention. The question is whether a technician following the principles of the art he practices may act against good. This paradoxical statement based on the well-known Socrates’ principle "nemo sua sponte peccat" acquires philosophical foundations in the dialogue. In its remaining two parts Plato presents a justification, placing the principle within the framework of a certain concept of art, as a result of which not only rhetoric but also many other skills are criticised. The notions on which the conversation with Gorgias focuses are more precisely defined in the subsequent parts of the dialogue. Additionally, Plato presents twice the conditions which art should fulfill. They oblige the “technicians” to know the nature and purpose of the art and to know the causes of undertaken activities and to be able to justify them. These conditions determine the relation between the two spheres – technical and ethical. According to Plato, art may not act against good because it should be the objective of its activities. Certain concepts of good and knowledge outlined in the dialogue are the guarantees of “technicality”. Good, which should be respected by every art, is understood objectively and is contrasted with subjective pleasure. Knowledge, which should be the basis of art, opposes experience, which uses observation and recollection. Additionally, the definition of knowledge, significance of order in the world assuming the form of “geometrical equality”, significance of mathematics becoming the ideal of exactness indicate that Plato’s concept of knowledge is formed in Gorgias. These conclusions render it impossible that the results of any activity deserving the name of art should oppose good. And this is Plato’s main reproach of Gorgias’ concept, who wrote about false speeches possessing the power of conviction because they were written according to the principles proof of art or who defined tragedy as “a deceit, where he who cheats is more just than he who does not and the cheated is wiser than he who was not cheated”. Such determination of the relation between the technical and ethical sphere resulted from Gorgias’ concept of the world and fundamental philosophical principles. The whole concept of art described by Plato in the dialogue opposes the view presented by Gorgias. According to Plato, every technical activity has a defined object (ἔργον), is based on knowledge (ἐπιστήμη) and is always aimed at the good of human soul or body. The danger revealed and presented in the dialogue by Plato exists in the very concept of art presented by Gorgias, i.e. in its empirical foundations and the resulting understanding of the relation between art and good. Gorgias’ concept of art based on empirical cognition, which concerns the world of phenomena and rejects the possibility of perfect knowledge, leads, according to Plato, to a dangerous falsification of the relation between art and good. Plato proves that this weakness of Gorgias’ concept is revealed when confronted with these representatives of “the magnificent art” who are not protected against radicalism by the adherence to the moral tradition. The comparison of two, completely contrasting concepts of art based on different philosophical understanding of knowledge and good is decisive for the criticism of rhetoric in Gorgias. The concept presented by Plato criticises contemporary rhetoric and sophistry but determines the direction of research of the real art of rhetoric. (shrink)

In his Paradoxes (1995: Cambridge University Press: 149) Mark Sainsbury presents the following pair of sentences: Line 1: The sentence written on Line 1 is nonsense. Line 2: The sentence written on Line 1 is nonsense. Sainsbury (1995: 149, 154) here makes three assertions: (1) The sentence in Line 1 is so viciously self-referential that it falls into the truth-value gap. The sentence is really nonsense. (2) The sentence in Line 2 is by contrast true. For it states (...) precisely that the sentence in Line 1 is nonsense. (3) The two sentences in Lines 1 and 2 are an example of the principle that two sentence tokens of the same sentence-type can have different truth-values, although they have the same reference and state the same property of the object of reference. In this paper, I argue that Sainsbury’s assumptions are false in all three cases. (shrink)

Like many 19th c. thinkers, Kierkegaard embraces a cognitivist view of art. He thinks works of art matter because they can teach us in important ways. This chapter defends two striking features of Kierkegaard’s version of this theory. First, works of art do not teach “directly” by telling us truths and offering us evidence. Instead, they educate us “indirect-ly” by helping us make our own discoveries. Second, the fact that art does not teach in a straightforward manner is no defect. (...) On the contrary, it is precisely because art teaches indirectly that it teaches better than philosophy and science do. (shrink)

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities of conditionals violate (...) standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

A semantic solution to the liar paradox (“This statement is not true”) is presented in this article. Since the liar paradox seems to evince a contradiction, the principle of non-contradiction is preliminarily discussed, in order to determine whether dismissing this principle may be reason enough to stop considering the liar paradox a problem. No conclusive outcome with respect to the value of this principle is aspired to here, so that the inquiry is not concluded at this point and the (...) option to explore an alternative, semantic, solution remains open. This proposed solution is focused on what the liar paradox expresses and what it fails to express. (shrink)

I argue that relativists about aesthetic and other evaluative language face some of the same objections as non-naturalists in ethics. These objections concern the metaphysics required to make it work. Unlike contextualists, relativists believe that evaluative propositions are not about the relation in which things stand to certain standards. Nevertheless, the truth of such propositions would depend on variable standards. I argue that relativism requires the existence of states of affairs very different from other things known to exist. Furthermore, (...) there seems to be no convincing reason to postulate such entities. However, if they do not exist, then relativism leads to an error theory. That is unattractive, as relativism was meant to preserve the truth of many evaluative claims. (shrink)

When “Sinning Against Frege” was published in 1979 I thought it should have given a real turn in the discussion on Frege’s ideas. Actually the impact was less then I imagined, and the problem was that – at the end of the story – Tyler Burge’s interpretation should have posed a shadow on the direct reference theories and the Millean criticism of descriptivist theories of proper names, based on the criticism of the identification of Frege’s notion of sense with linguistic (...) meaning or connotation1. In fact Burge (1979) claims that the identification of Frege’s notion of sense with the notion of linguistic meaning is a «basic misunderstanding» of Frege’s work2. This claim implies that Fregean senses are not like Mill’s connotations; therefore many direct-reference criticisms against Frege, which are grounded on Mill’s claims that proper names have no connotation, lose their efficacy. Burge, in giving specifications3, apparently accepts at least the idea that sense is an aspect of meaning, in particular «the aspect of meaning relevant to fixing the truth value of sentences». This feature is the “harmless” part of the assimilation of sense and linguistic meaning; but this assimilation becomes dangerous when context dependence is concerned. Revisiting Burge (1979), after more than two decades of debate on indexicals, may help to better understand the originality and the limitation of his claims. (shrink)

This paper outlines the fundamental of a new Pragmatics, formulated in a new conceptual framework, including a new normative system - Conversational Etiquette. It's claimed that it does better than the Gricean system or its offshoots, and covers a much broader domain. It's main new concepts are: Steering-Thrust; Posting; and Pragmatic Stances. Its main applications are: 1. Assertion is a Pragmatic construction, which invokes a raise in the degree of Steering Thrust. 2. 'presupposition' as used in Logic/Linguistics (or what's in (...) the 'Common Ground') is analyzed in terms of the new Pragmatics: The main phenomenon involves is: Posting-without Steering. 3. There is no Pragmatic Encroachment (into the semantics of 'know'). Fluctuations in knowledge-ascriptions in High/Low Stakes convey a DIFFERENT dominant Pragmatic content that drives our intuitions, which track so-called 'Sayability' rather than Truth-Values. 4. Pragmatic Inconsistencies amount to Steering-Thrusts in opposite directions (polarity). Moorean sentences invoke Pragmatic Inconsistencies. 5. Misleading is a Pragmatic phenomenon. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)