What should the Buddhist attitude be to rebirth if it is believed to be inconsistent with current science? This chapter critically engages forms of Buddhist agnosticism that adopt a position of uncertainty about rebirth but nevertheless recommend ‘behaving as if’ it were true. What does it mean to behave as if rebirth were true, and are Buddhist agnostics justified in adopting this position? This chapter engages this question in dialogue with Mark Siderits’ reductionist analysis of the Buddhist doctrine of (...) the two truths, conventional and ultimate. Richard Hayes (1998) characterises talk of rebirth as a useful fiction. Siderits characterises talk of persons as a useful fiction and explains and justifies statements that involve it as conventionally true despite persons not featuring in our final or ultimate ontology. Does rebirth satisfy the same criteria to count as conventionally true, and does thinking of it in these terms help explain and justify what it might mean to behave as if rebirth were true? This chapter will defend a conditional yes to these questions. In the process, it will clarify what is distinctive about the traditional Buddhist approach to rebirth, provide an analysis of how the concept of rebirth might relate to practical outcomes, and address some limitations of this approach. (shrink)

This chapter argues that the Great Ideas are integral to Mortimer J. Adler’s Great Books Movement in much the same way that the Four Noble Truths and the Noble Eightfold Path are integral to Buddhism. Both use ‘Great’ and ‘Noble’ to point toward human excellence. For Adler, the Great Ideas are the metaphysical and moral concepts out of which Western civilization developed. They are the main topics in an ongoing great conversation that shapes Western culture. Precisely because these Great (...) Ideas are great, insofar as they point toward human excellence (virtue), they ought not be considered the exclusive property of the West. Instead, as Adler recognized, they should be utilized in the analysis of other cultural traditions. This chapter uses two of Adler’s Great Ideas, freedom and religion, to analyze Buddhism as it is encountered in the early Indian Buddhist texts. It asserts all human philosophy and culture, including that of Buddhism, is ultimately based in religion, thereby making religion the greatest of Adler’s and the Buddha’s Great philosophical and cultural ideas. (shrink)

In philosophy of religion the term of Immanence is mostly applied to GOD in contrast to the divine Transcendence. This relation, as we will see here, it is not far from the truth since one cannot be without the other, however they are not to be put in contrast, but in conjunction. The one-sided insistence on the immanence of God, to the exclusion of His transcendence, leads to Pantheism, just as the one-sided insistence upon His transcendence, to the exclusion of (...) His immanence, leads to Deism. These two can be separated, but the consequences are great for human knowledge and society; it is the two taken together that result in, and are necessary to Theism. But from the least complicated idea that even the name of God is a manifestation of His immanence contrasting with Deus absconditus, whose existence and name cannot be known or thought, theology and religion in general need to regard immanence of God as crucial for the acts of worship. What are the philosophical background for Christian theology to imply the immanence characteristic for God’s existence related to His creation? – This is the main question the present work tries to answer as an overview. (shrink)

Kris McDaniel has recently proposed an interpretation of the distinction between conventional truth and ultimate truth, as that distinction is made within Abhidharma metaphysics. According to McDaniel's proposal, the distinction between conventional truth and ultimate truth is closely connected with a similar distinction between conventional existence and ultimate existence. What is more, the distinction between conventional existence and ultimate existence should be interpreted along ontological pluralist lines: the difference between things that ultimately exist and things that merely conventionally exist amounts (...) to a difference in the modes of being enjoyed by the things in question.One... (shrink)

The influential physicist Richard Feynman became interested in the relationship between religion and science during a mid-career phase. He proposed that their interface was embroiled in unresolvable difficulties. He felt that science demanded an attitude of uncertainty for its claims, while religion contrarily required certain belief in its core doctrines. Though possessing several non-contradictory dimensions, Feynman felt that the nature of the truth claims of science and religion suffered from insurmountable elemental conflicts. This was by contrast to Karl Popper, the (...) leading critical rationalist of the 20th century, who argued that there could be no tension between science and religion. This paper will argue that the ‘Feynman Problem’ is not as insoluble as it appears. Rather, several solutions exist within critical rationalism. Two will be presented-the first revolves around the conjectural basis of knowledge and is already a well characterised critical rationalist notion. The second is a novel solution based on the separate categorisation of psychological, pragmatic, and epistemological attitudes to religion and science. Karl Popper’s view of religion-science dissimilarity was a minimalist point of departure for critical rationalists, who have developed increasingly sophisticated frameworks for investigating the relationship between faith and reason. Critical rationalism represents an equally inspirational methodology for the pursuit of scientific and religious truth. Though both Feynman and Popper’s views on religion were underdeveloped, they foreshadowed the religion-science frameworks advocated by many late 20th century scientists, especially in the form of New Atheism and Gould’s NOMA theory. (shrink)

A critical review of Mark Siderits's arguments in support of a compatibilist Buddhist theory of free will based on early Abhidharma reductionism and the two-truths distinction between conventional and ultimate truths or reality, which theory he terms 'paleo-compatibilism'. The Buddhist two-truths doctrine is basically analogous to Sellers' distinction between the manifest and scientific images, in which case the argument is that determinism is a claim about ultimate reality, whereas personhood and agency are about conventional reality, both (...) discourse domains are semantically insulated, and thus there cannot be any issue of the incompatibility. (shrink)

Herman Philipse considers “religious beliefs, faith and religion [to be] incompatible with science or reason”; he defines religion scientifically and specifically rejects religious doctrine. He describes reason “… as the whole of methods of empirical scientific research and critical discursive thinking as they have evolved in the scientific tradition and will continue to develop in the future” and he defines “… the phenomenon of conscience as a mental organ that can be scientifically explained and that makes the religious explanation (...) superfluous …”. Herman Philipse classifies science as the highest in rank, discards religion and sees philosophy, a rational view of the world, as based solely on the sciences. For his subject, Hans Achterhuis “… primarily cites biologists, ethologists and evolutionary psychologists with a philosophical interest” because “they presently have more to offer [him] than do his immediate colleagues”. Furthermore, “… it will be clear that ethologists and sociobiologists are of the opinion that the violent behaviour of human beings must be understood in part from the point of view of the evolutionary history of the sort ….. most philosophers and anthropologists are not aware of this. Their considerations suggest that violence only entered our world together with humankind”. Achterhuis’s choice is a “historic concept of violence”. (shrink)

On rationalist infallibilism, a wide range of both (i) analytic and (ii) synthetic a priori propositions can be infallibly justified (or absolutely warranted), i.e., justified to a degree that entails their truth and precludes their falsity. Though rationalist infallibilism is indisputably running its course, adherence to at least one of the two species of infallible a priori justification refuses to disappear from mainstream epistemology. Among others, Putnam (1978) still professes the a priori infallibility of some category (i) propositions, while Burge (...) (1986, 1988, 1996) and Lewis (1996) have recently affirmed the a priori infallibility of some category (ii) propositions. In this paper, I take aim at rationalist infallibilism by calling into question the a priori infallibility of both analytic and synthetic propositions. The upshot will be twofold: first, rationalist infallibilism unsurprisingly emerges as a defective epistemological doctrine, and second, more importantly, the case for the a priori infallibility of one or both categories of propositions turns out to lack cogency. (shrink)

In this paper, I argue that the cleavage between the theory of reference and the theory of meaning, which under the influence of Quine has dominated a large part of the philosophy of language of the last fifty years, is based on a misrepresentation of Tarski's achievement and on an overestimation of the scope and value of disquotation. In particular, I show that, if we accept Davidson's critique of disquotation, the same kind of reasons that Quine offered in opposition to (...) the Carnapian theory of meaning also apply, mutatis mutandis, to the Tarskian theory of reference. (shrink)

Longchen Rabjampa (1308–64), scholar of the Tibetan Buddhist Nyingma tradition, presents a novel doxographical taxonomy of the so-called Svātantrika branch of Madhyamaka Buddhist philosophy, designating the Indian Mādhyamika Śrīgupta (c. 7th/8th century) as the exemplar of a Svātantrika sub-school which maintains that appearance and emptiness are metaphysically distinct. This paper compares Longchenpa’s characterization of this “distinct-appearance-and-emptiness” view with Śrīgupta’s own account of the two truths. I expose a significant disconnect between Longchenpa’s Śrīgupta and Śrīgupta himself and argue that the (...) impetus for Longchenpa’s doxographical innovation originates not in Buddhist India, but within his own Tibetan intellectual milieu, tracing back to his twelfth-century Sangpu Monastery predecessors, Gyamarwa and Chapa. (shrink)

Professor Ziporyn introduces the sophisticated philosophy of the Chinese Tiantai school of Buddhism, a Chinese Mahayana Buddhist school based on an idiosyncratic and innovative interpretation of the "Lotus Sutra". This is a deep dive into the Mahayana philosophy of dependent origination and emptiness which brings along with it Chinese sensibilities and innovations such as the Center, zhong 中, adding a third truth to the two truths doctrine of Madhyamaka Buddhism. Full book title: "Emptiness and Omnipresence: An Essential Introduction (...) to Tiantai Buddhism". (shrink)

In his Quadratura, Paul of Venice considers a sophism involving time and tense which appears to show that there is a valid inference which is also invalid. His argument runs as follows: consider this inference concerning some proposition A: A will signify only that everything true will be false, so A will be false. Call this inference B. Then B is valid because the opposite of its conclusion is incompatible with its premise. In accordance with the standard doctrine of (...) ampliation, Paul takes A to be equivalent to 'Everything that is or will be true will be false'. But he proceeds to argue that it is possible that B's premise ('A will signify only that everything true will be false') could be true and its conclusion false, so B is not only valid but also invalid. Thus A and B are the basis of an insoluble. In his Logica Parva, a self-confessedly elementary text aimed at students and not necessarily representing his own view, and in the Quadratura, Paul follows the solution found in the Logica Oxoniensis, which posits an implicit assertion of its own truth in insolubles like B. However, in the treatise on insolubles in his Logica Magna, Paul develops and endorses Swyneshed's solution, which stood out against this ''multiple-meanings'' approach in offering a solution that took insolubles at face value, meaning no more than is explicit in what they say. On this account, insolubles imply their own falsity, and that is why, in so falsifying themselves, they are false. We consider how both types of solution apply to B and how they complement each other. On both, B is valid. But on one (following Swyneshed), B has true premises and false conclusion, and contradictories can be false together; on the other (following the Logica Oxoniensis), the counterexample is rejected. (shrink)

This chapter presents an overview of the life, work, and philosophical contributions of Śāntarakṣita (c. 725–788), who is known for his synthesis of Nāgārjuna’s Madhyamaka with elements of the Dignāga-Dharmakīrti tradition of logic and epistemology. His two most important independent treatises, the Compendium of True Principles (Tattvasaṃgraha) and the Ornament of the Middle Way (Madhyamakālaṃkāra), are characterized by an emphasis on the indispensable role of rational analysis on the Buddhist path as well as serious and systematic engagement with competing Buddhist (...) and non-Buddhist schools of thought. Śāntarakṣita employs a pedagogical-rhetorical device of provisionally adopting what he deems to be successively more rational views to reject less rational ones. Using this approach, in the Ornament of the Middle Way, he recommends a gradual path to arrive at an understanding of the Madhyamaka ultimate truth by incorporating Yogācāra idealist ontology into his presentation of conventional truth. In this same text, he presents an influential iteration of the neither-one-nor-many argument for the Madhyamaka ultimate truth, the emptiness of intrinsic nature—i.e., the universal negation of ontologically independent being—leaving a lasting and significant impact on both Indian and Tibetan Madhyamaka Buddhist philosophy. (shrink)

This paper investigates civility from an Aristotelian perspective and has two objectives. The first is to offer a novel account of this virtue based on Aristotle’s remarks about civic friendship. The proposed account distinguishes two main components of civility—civic benevolence and civil deliberation—and shows how Aristotle’s insights can speak to the needs of our communities today. The notion of civil deliberation is then unpacked into three main dimensions: motivational, inquiry-related, and ethical. The second objective is to illustrate how the post-truth (...) condition—in particular, the spread of misinformation typical of the digital environments we inhabit—obstructs our capacity to cultivate the virtue of civility by impairing every component of civil deliberation. The paper hopes to direct virtue theorists’ attention to the need to foster civic virtues as a means of counteracting the negative aspects of the post-truth age. (shrink)

In Descartes theological writing, he promotes two jointly puzzling theses: T1) God freely creates the eternal truths (i.e. the Creation Doctrine) and T2) The eternal truths are necessarily true. According to T1 God freely chooses which propositions to make necessary, contingent and possible. However the Creation Doctrine makes the acceptance of T2 tenuous for the Creation Doctrine implies that God could have acted otherwise--instantiating an entirely different set of necessary truths. Jonathan Bennett seeks to (...) reconcile T1 and T2 by relativizing modality to human understanding. I argue that Bennett’s approach to Cartesian modality is misplaced: One does not have to resort to conceptualism about modality in order to explain the subjective language found in Descartes or to reconcile Descartes’ Creation Doctrine with the necessity of the eternal truths. After showing that Bennett’s argument implies that Descartes held the non-eternality of the eternal truths and the independence of the eternal truths from God, I show that if one understands Descartes’ use modal terms as indexed to God’s willing, then apparent contradictions vanish. In addition, I show that if one evaluates the truth value of modal propositions ‘non-bivalently’, then one can also unravel the apparent contradiction. One can reconcile Descartes’ Creation Doctrine (T1) and the necessity of the eternal truths (T2) without Bennett’s conceptualism. (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)

Two of Quine's most familiar doctrines are: that there is a distinction between underdetermination and indeterminacy; and that there is no distinction between analytic and synthetic truths. An argument is given that these two doctrines are incompatible. In terms wholly acceptable to Quine and based on the underdetermination/indeterminacy distinction, an exhaustive and exclusive distinction is drawn between two kinds of true sentences, which, it is argued, corresponds to the traditional analytic/synthetic distinction. An appendix is used to develop one aspect (...) of the underdetermination/indeterminacy distinction, as construed here, and to discuss, in passing, some of Quine’s more general views on truth. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I address these (...) challenges in two steps. First, given Kant’s distinction between an object in general = x from an object of sensible intuition, I argue that analytic judgments are about objects in the former sense, no matter whether the purported objects can be given in our intuition. Second, using Kant’s method of representing certain logical relations of concepts with such figures as circles, I construct a model to show that analytic truths are truths about objects in general = x and yet can be determined solely by the intensional relation between the given concepts plus certain Kantian-logical laws. Analytic truths are thus shown as formal in the Kantian sense that they do not presuppose the purported objects as givable in our intuition. This account of the formality of analytic truths captures Kant’s diagnosis of the Leibnizian illusion that we can make material claims about the world by analytically true judgments. (shrink)

The present work is focussed on the completeness of physics, or what is here called the Completeness Thesis: the claim that the domain of the physical is causally closed. Two major questions are tackled: How best is the Completeness Thesis to be formulated? What can be said in defence of the Completeness Thesis? My principal conclusions are that the Completeness Thesis can be coherently formulated, and that the evidence in favour if it significantly outweighs that against it. In opposition to (...) those who argue that formulation is impossible because no account of what is to count as physical can be provided, I argue that as long as the purpose of the argument in which the account is to be used are borne in mind there are no significant difficulties. The account of the physical which I develop holds as physical whatever is needed to fix the likelihood of pre-theoretically given physical effects, and hypothesises in addition that no chemical, biological or psychological factors will be needed in this way. The thus formulated Completeness Thesis is coherent, and has significant empirical content. In opposition to those who defend the doctrine of emergentism by means of philosophical arguments I contend that those arguments are flawed, setting up misleading dichotomies between needlessly attenuated alternatives and assuming the truth of what is to be proved. Against those who defend emergentism by appeal to the evidence, I argue that the history of science since the nineteenth century shows clearly that the empirical credentials of the view that the world is causally closed at the level of a small number of purely physical forces and types of energy is stronger than ever, and the credentials of emergentism correspondingly weaker. In opposition to those who argue that difficulties with reductionism point to the implausibility of the Completeness Thesis I argue that completeness in no way entails the kinds of reductionism which give rise to the difficulties in question. I argue further that the truth of the Completeness Thesis is in fact compatible with a great deal of taxonomic disorder and the impossibility of any general reduction of non-fundamental descriptions to fundamental ones. In opposition to those who argue that the epistemological credentials of fundamental physical laws are poor, and that those laws should in fact be seen as false, I contend that truth preserving accounts of fundamental laws can be developed. Developing such an account, I test it by considering cases of the composition of forces and causes, where what takes place is different to what is predicted by reference to any single law, and argue that viewing laws as tendencies allows their truth to be preserved, and sense to be made of both the experimental discovery of laws, and the fact that composition enables accurate prediction in at least some cases. (shrink)

The Apaṇṇaka Sutta, one of the early recorded teachings of the Buddha, contains an argument for accepting the doctrines of karma and rebirth that Buddhist scholars claim anticipates Pascal’s wager. I call this argument the Buddha’s wager. Does it anticipate Pascal’s wager and is it a good bet? Contemporary scholars identify at least four versions of Pascal’s wager in his Pensées. This article demonstrates that the Buddha’s wager anticipates two versions of Pascal’s wager, but not its canonical form. Like Pascal’s (...) wager, the Buddha’s wager presents a decision problem between two opposing theses in an epistemic context that lacks evidence of their truth or falsity. Like Pascal, the Buddha also tries to solve this problem using dominance, superdominance or ‘superduperdominance’ reasoning. The Apaṇṇaka Sutta likely provides the earliest textual example of such reasoning. While the Buddha’s wager does not exhibit the expected utility reasoning of the best-known form of Pascal’s wager, the article suggests a reformulation that parallels Alan Hájek’s (2018) vector-value reformulation. Is it a good bet? This article argues that it is not if this means we are rationally required to accept its recommendation. This is because, while it avoids two of the major objections levelled against Pascal’s wager, it succumbs to one and has two problems of its own. (shrink)

I present two counterexamples to the recently back-in-favour truth-tracking account of knowledge: one involving a true belief resting on a counterfactually robust delusion, one involving a true belief acquired alongside a bunch of false beliefs. These counterexamples carry over to a recent modification of the theory due to Briggs and Nolan (2012), and seem invulnerable to a recent defence of the theory against known counterexamples, by Adams and Clarke (2005).

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, (...) we moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)

Sobel sequences have had a huge impact on the discussion of counterfactuals. They can be composed of conditionals and mere descriptions. What is especially puzzling about them is that they are often felicitously uttered when their reversal is not. Up to now, there is no unified explanation. I examine two strategies. We might begin with conditionals and proceed to descriptions. Or we might begin with descriptions and proceed to conditionals. I argue for the latter variant and outline a universal theory (...) of Sobel sequences in terms of presuppositional anaphora. One relevant result is that the phenomenon neither counts against nor in favour of the simplified standard account of counterfactuals à la Stalnaker-Lewis. (shrink)

The reintroduction of Aristotle's Analytics to the Latin West—in particular, the reintroduction of the Posterior Analytics—forever altered the course of medieval epistemological discussions. Although the Analytics fell decidedly from grace in later centuries, the sophisticated account of human cognition developed in the Posterior Analytics appealed so strongly to thirteenth-century European scholars that it became one of the two central theories of knowledge advocated in the later Middle Ages. Robert Grosseteste's 'Commentarius in Posteriorum Analyticorum Libro', written in the 1220s, is most (...) likely the first complete Latin commentary on the Posterior Analytics. As the thirteenth century wore on, Aristotle’s account of human cognition was generally set in opposition to the Augustinian-influenced theory of divine illumination that was de rigueur in the early thirteenth century. Although common consensus holds that this pattern of opposition was set already in Grosseteste’s CPA, I argue that the story of the Posterior Analytics’s early reception is, in fact, quite different. In particular, I maintain that, rather than seeing himself as forced to choose between his earlier theory of divine illumination and the “new” Aristotelian epistemology, Grosseteste is perfectly content to blend and bring together the diverse elements of these systems and to present a consciously synthetic rather than adversarial picture of these differing accounts of human cognition. (shrink)

Sharon Street’s 2006 article “A Darwinian Dilemma for Realist Theories of Value” challenges the epistemological pretensions of the moral realist, of the nonnaturalist in particular. Given that “Evolutionary forces have played a tremendous role in shaping the content of human evaluative attitudes” – why should one suppose such attitudes and concomitant beliefs would track an independent moral reality? Especially since, on a nonnaturalist view, moral truth is causally inert. I abstract a logical skeleton of Street’s argument and, with its aid, (...) focus on problematic assumptions regarding the (a)causality of moral truth. It emerges that there are acquired causal powers that compensate for the intrinsic impotence of moral truth, as well as two distinct levels at which truth-tracking might occur. I argue that while evolution’s selective forces do not track moral truth, that does not imply individual organisms could not have evolved that capability. -/- . (shrink)

Some think that logic concerns the “laws of truth”; others that logic concerns the “laws of thought.” This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative (...) bilateralism to truth-maker theory, such as non-transitive solutions to paradox, and vice versa, such as notions of factual equivalence and containment. (shrink)

This paper explores Nicholas of Cusa’s framing of the De pace fidei as a dialogue taking place incaelo rationis. On the one hand, this framing allows Nicholas of Cusa to argue that all religious rites presuppose the truth of a single, unified faith and so temporally manifest divine logos in a way accommodated to the historically unique conventions of different political communities. On the other hand, at the end of the De pace fidei, the interlocutors in the heavenly dialogue are (...) enjoined to return to earth and lead their countrymen in a gradual conversion to the acceptance of rites which would explicitly acknowledge the metaphysically presupposed transcendent unity of all true faiths. In light of these two aspects of the literary framing of the De pace fidei, the question that motivates this paper concerns the extent to which the understanding of history subtending Cusanus’ temporal political aims is consistent with the understanding of history grounded in his metaphysical presupposition that there is una religio in omni diversitate rituum. In addressing this question, I shall argue that the literary strategy of the De pace fidei sacrifices Nicholas of Cusa’s apologetic doctrinal aims insofar as the text creates an allegorical space in which the tension between its literal and figurative dimensions assigns to its readers the task of choosing their own orientations to the significance of history as a foundation for future action. (shrink)

Each of us is a measure. The project of advocates of change in Plato’s Theaetetus as compared with sophistic thought -/- Summary -/- One of the most intriguing motives in Plato’s Theaetetus is its historical-based division of philosophy, which revolves around the concepts of rest (represented by Parmenides and his disciples) and change (represented by Protagoras, Homer, Empedocles, and Epicharmus). This unique approach gives an opportunity to reconstruct the views of marginalized trend of early Greek philosophy - so called „the (...) sophistic movement”. Paradoxically, previous research shows little interest in sophistic thought as a source of the standpoint of advocates of change („the secret doctrine”). The roots of „the secret doctrine” were investigated in the works of Heraclitus, Aristippus, and Antisthenes or those related to “neoheracliteanism”. However, researchers did not make any significant attempt to confront this concept with the contemporary research on the sophistic movement. The conviction that sophistry was primarily humanistically oriented was one of the main reasons why researches were opposed to the fact that „the secret doctrine” could represent a true expression of Protagoras’ views. This is why J. Burnet and F. M. Cornford in their seminal works assumed that “the secret doctrine” should be attributed to Plato, who simply combined a series of loose statements into one single project. In this work, we argue that the thesis which questions the parallels between the sophists’ interests and the philosophers of nature requires a significant revision. There is ample evidence to suggest that the philosophy of nature was a part of sophists’ research. This is supported by two main arguments. First, the tutors of sophists were philosophers of nature. Second, there are numerous sources that explicitly show sophists’ interest in the physical issues. These sources include anecdotal evidence about the fact that sophists wrote works On nature. There is also information confirming that they deliberated on detailed physical issues. The analogies between the concepts attributed to the advocates of change and our knowledge about sophists from other sources is very wide and contains most elements, which are included in the project of “changeable reality” presented in Theaetetus. The deliberations on the mechanism of perception, which are close to those of flux theory of perception in Theaetetus, are present in the sources referring to Gorgias of Leontinoi, the famous sophist and rhetorician. Also, the second element of “the secret doctrine” that is the metaphysics of flux matches up with what we know about the sophists’ views from other sources. On this basis, one can deduce that – contrary to the tradition which marginalized the role of sophistic considerations on the issue of being and non-being – it was one of the major subjects of sophistic research. Its main point was the criticism of the Eleatic conception of a single and unchangeable being, which also plays a key role in the doctrine of flux in Theaetetus. The epistemological theses which are presented in Theaetetus are borne out in sophistic sources. They include the definition of knowledge as perception, the „Man-measure” formula and a number of principles, which result from these foundational theses. Sophists’ empirical preferences resonate with the theses of the advocates of change in Theaetetus. Special attention that is given to the issues of differences among people, and even to cognitive differences in one person depending on the changeable states to which a person is subject, goes well together with what we know about reciprocal influence between the sophistry and medicine. The consequences of the epistemological conception present in Theaetetus have their equivalents in sophists’ works and other testimonies. An example of these consequences may be the abolition of truth and falsehood or the abolition of contradiction, which finds its expression in the thesis ouk estin antilegein. The analogies also concern reflections on the language itself. The project of the “new language” uses categories, which were developed by sophists. These include the antithesis of nomos and physis. The general intentions of this project reflect Protagoras’ ideas, at least to the extent to which they are known from the sources reporting his thoughts on language. Plato’s Theaetetus can thus be considered a veritable treasury of sophistic motifs. Even though the problem remains unsolved and one is still not able to unambiguously decide about the author of “the secret doctrine”, one can come to a certain conclusion – even if Plato synthesized various doctrines, he must have relied in his project mostly on the elements that he borrowed from sophists. Moreover, the value of reconstructing the project of the advocates of change in Theaetetus does not consist of mere enumeration of sophistic motifs. The dialogue is key to understanding the sophistic movement, whose separate doctrines – for the lack of sources and as a result of centuries-old disregard – are usually treated as rhetorical formulae that are interpreted in many ways and have no philosophical foundations. If it is really the case that the theses attributed to Protagoras in Theaetetus were actually a part or a derivative of Protagoras’ thought, or – speaking more conservatively – if they constitute a synthesis of sophistic thought done by Plato, they could represent philosophical foundations for the most important sophistic theses: the “Man-measure” formula, the ouk estin antilegein principle, the concept of language as a tool, the idea of the relativity of good and the whole practical sphere of sophists’ activity. Contrary to the views of many researchers, we are certain that the representatives of the sophistic movement did not limit themselves only to the application of practical rules, which determined the extent of their educational or rhetorical-political activity. They were capable of creating – indeed, they did create comprehensive projects that embraced the whole thematic scope subject to philosophical reflection. (shrink)

Most discussion in population ethics has concentrated how to order populations by the relations “is better than” and “is as good as”. The topic is characterized by paradoxes which show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies. The best known and most discussed example shattering our intuitions is Parfit’s Mere Addition Paradox. But why are paradoxes prevalent in population ethics? Can the analysis of Buddhist intuitions contribute to answer this question? (...) -/- The comparison of classical utilitarian and Buddhist intuitions demonstrates the close tie between intuitions and interests. The perplexing Buddhist intuition about non-existence can be explained (except for metaphysical reasons) by a radically different priority given to survival. -/- The method of measuring the quality of life is not decisive for the existence of paradoxes. The Buddhist axiology changes but doesn’t remove counter-intuitive combinations. -/- If the conflict of interest (quantity versus quality) is described within a two-parameter model, it causes conflicting intuitions. In axiologies which favour quantity (utilitarianism) or quality (perfectionism) the conflicting intuitions inevitably lead to paradoxes. -/- In order to find a compromise, one would have to find a universal interest and a corresponding universal intuition. The obvious candidate to meet this request is sympathy. But since there is no universal consensus on the desirable degree of sympathy, the normative force of such an approach is limited. -/- Breaking out of the two-parameter model and accepting the incommensurability of certain qualities threatens the normative claim of population ethics. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents, (1) truth-conditions, and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth- conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

In this paper, I argue that morality might bear on belief in at least two conceptually distinct ways. The first is that morality might bear on belief by bearing on questions of justification. The claim that it does is the doctrine of moral encroachment. The second, is that morality might bear on belief given the central role belief plays in mediating and thereby constituting our relationships with one another. The claim that it does is the doctrine of doxastic (...) wronging. Though conceptually distinct, the two doctrines overlap in important ways. This paper provides clarification on the relationship between the two, providing reasons throughout that we should accept both. (shrink)

Classical authors were generally artistic realists. The predominant aesthetic theory was mimesis, which saw the truth of art as its successful representation of reality. High modernists rejected this aesthetic theory as lifeless, seeing the truth of art as its subjective expression. This impasse has serious consequences for both the Church and the public square. Moving forward requires both, first, an appreciation of the strengths and weaknesses of the high modernist critique of classical mimetic theory, and, second, a theory of truth (...) which makes adequate reference to both subject and object. This paper argues that Lonergan offers just such an account of truth, and so cashes out the high modernist rejection of classical mimesis in Lonergan’s terms, thereby creating the opportunity for a synthesis of the two views. (shrink)

This paper challenges one of the main contributions of Political Liberalism (PL), namely the burdens of judgment (BoJ), on the grounds that it is superfluous to the project of excluding matters of the good from politics and it makes PL susceptible to a scepticism objection. From Rawls’s PL, we can extract two arguments for epistemic restraint in the public realm. The first is a moral argument based on the principles of fairness and reciprocity. The second is an epistemic argument derived (...) from the idea of the insurmountability of BoJ. The second of these arguments, I contend, is superfluous for two reasons: (i) BoJ, as a descriptive claim cannot itself explain why citizens should uphold a form of toleration that requires them to honor their epistemic restraint in politics. (ii) The moral argument alone is sufficient to justify epistemic constraint in the public realm through the reasonable exercise of political power. -/- Moreover, acceptance of the BoJ is incompatible with subscribing to a reasonable comprehensive doctrine (RCD) with a degree of certainty that is required to be convinced of any such doctrine. The relation between BoJ and scepticism has been addressed before but these thinkers assume that it is the implication of BoJ namely, reasonable disagreement that entails scepticism. This paper lays new sceptical challenges at the doorstep of PL and these new challenges focus on the very idea of the insurmountability of BoJ. Furthermore, it argues that scepticism is not an appropriate epistemic commitment for PL as it is incompatible with the aim of freestanding political conception of justice. Also, it is subversive of the purpose of an overlapping consensus because the idea underpinning an overlapping consensus is that citizens should not only appreciate liberal political principles as reasonable but they should also accept them as true on the basis of their own religious or philosophical reasons. Provided that BoJ entails scepticism, BoJ makes citizens’ religious and philosophical truth claims utterly irrelevant to the stability of society. Accordingly, I argue that the Rawlsian account of reasonableness must relinquish the epistemic component, BoJ; instead it should articulate how the moral component of reasonableness entails the principles of epistemic restraint in politics and acting from public reasons. (shrink)

Many philosophers claim that interesting forms of epistemic evaluation are insensitive to truth in a very specific way. Suppose that two possible agents believe the same proposition based on the same evidence. Either both are justified or neither is; either both have good evidence for holding the belief or neither does. This does not change if, on this particular occasion, it turns out that only one of the two agents has a true belief. Epitomizing this line of thought are thought (...) experiments about radically deceived “brains in vats.” It is widely and uncritically assumed that such a brain is equally justified as its normally embodied human “twin.” This “parity” intuition is the heart of truth-insensitive theories of core epistemological properties such as justification and rationality. Rejecting the parity intuition is considered radical and revisionist. In this paper, I show that exactly the opposite is true. The parity intuition is idiosyncratic and widely rejected. A brain in a vat is not justified and has worse evidence than its normally embodied counterpart. On nearly every ordinary way of evaluating beliefs, a false belief is significantly inferior to a true belief. Of all the evaluations studied here, only blamelessness is truth-insensitive. (shrink)

In a recent paper, Tristan Haze offers two examples that, he claims, are counterexamples to Nozick's Theory of Knowledge. Haze claims his examples work against Nozick's theory understood as relativized to belief forming methods M. We believe that they fail to be counterexamples to Nozick's theory. Since he aims the examples at tracking theories generally, we will also explain why they are not counterexamples to Dretske's Conclusive Reasons Theory of Knowledge.

The Church faces a number of challenges concerning the sociological impact postmodernism is having on society. And one very significant area that has been profoundly disputed is the epistemological content of the concept of truth. Evangelical Christians believe in Objectivism: the conviction that there exists some ahistorical (outside of history) source, foundation or framework to which we can appeal to in determining the substance and nature of truth, knowledge, reality, right or wrong that is independent and external to personal experience (...) or thinking. However, the majority of people no longer believe in absolute truth but in relativism. Relativism is the denial that there exists such an ahistorical source or foundation that we can appeal to. Truth, knowledge, reality, right and wrong are all concepts that are relative to a specific conceptual scheme, framework, or paradigm founded in a society, religion and culture. This paper represents an endeavour to dialogically reunite the two perspectives by arguing for the seeking of the truths in both perspectives. God is Objective Truth and has become involved in history: in the existential; in the material setting of our relative and infallible thoughts and the slanted interpretative experiences of the Triune God and life. The synthesis will be an affirmation that for Christians Truth is discovered and revealed in fellowship within community. And members of the Body of Christ are first and finally called to reveal and demonstrate truth to the world - in their unity. (shrink)

The paper deals with the methodological clash between idealism and anti-idealism in political philosophy, and highlights its importance for public reason (PR) and public justification (PJ) theorising. Upon reviewing the broader context which harks back to Rawls’s notion of a realistic utopia, we focus on two major recent contributions to the debate in the work of David Estlund (the prototypical utopian) and Gerald Gaus (the cautious anti-utopian). While Estlund presents a powerful case on behalf of ideal theorising, claiming that motivational (...) incapacity and other non-ideal features of “human nature” – the so-called bad facts – do not normally refute the desirability of highly utopian theories of justice, we show that Gaus is correct in stressing the importance of feasibility considerations, including empirical knowledge about human societies. Because moral disagreement is to be expected even among cognitively and morally excellent reasoners, we argue that Estlund’s search for Truth about justice must idealise away normative diversity as just another bad fact. This methodological dispute has important ramifications for current debates about PR and PJ as the grounds of liberal legitimacy. Because consensual approaches rely on strong idealisation which results in exclusion of numerous comprehensive doctrines from consideration, we conclude that convergence-based liberal political theory has distinct advantage as regards exploiting normative diversity to the advantage of everyone. (shrink)

Two central themes of Douglas Edwards’s The Metaphysics of Truth are anti-deflationism and substantial pluralism. In Part I of this paper I discuss Edwards’s grounds for rejecting deflationism and suggest a few additional grounds. In Part II I discuss Edward's truth-pluralism and respond to his criticism of my correspondence-pluralism. While these pluralisms share significant features, their differences also raise several important questions.

There has been little discussion of the compatibility of Theistic Conceptual Realism with the doctrine of divine simplicity. On the one hand, if a plurality of universals is necessary to explain the character of particular things, there is reason to think this commits the proponent of TCR to the existence of a plurality of divine concepts. So the proponent of the DDS has aprima faciereason to reject TCR. On the other hand, many mediaeval philosophers accept both the existence of (...) divine ideas and the DDS. In this article I draw on mediaeval and contemporary accounts of properties and divine simplicity to argue that the two theories are not logically incompatible. (shrink)

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give the latter (...) its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

Spinoza’s conatus doctrine, the main proposition of which claims, “[e]ach thing, to the extent it is in itself, strives [conatur] to persevere in its being” (E3p6), has been the subject of growing interest. This is understandable, for Spinoza’s psychology and ethics are based on this doctrine. In my paper I shall examine the way Spinoza argues for E3p6 in its demonstration which runs as follows: "For singular things are modes by which God’s attributes are expressed in a certain (...) and determinate way (by 1p25c), i.e. (by 1p34), things that express, in a certain and determinate way, God’s power, by which God is and acts. And no thing has anything in itself by which it can be destroyed, or which takes its existence away (by p4). On the contrary, it is opposed to everything which can take its existence away (by p5). Therefore, to the extent it can, and is in itself, it strives to persevere in its being." This argument has been severely criticized for being defective in many ways. E3p6d contains four items, E1p25c, 1p34, 3p4, and 3p5. Most often, only the two last mentioned are regarded as doing any real work in the demonstration. However, I shall argue that having a proper grasp of Spinoza’s concept of power enables us see that the demonstration’s beginning, built on E1p25c and 1p34, brings forth a certain dynamic framework in which finite things are centers of causal power, capable of producing effects in virtue of their essences. My examination of this framework shows the beginning of the demonstration to be irreplaceable: in the end, conatus is one form of power, and E1p25c and 1p34 not only bring the notion of power into play, but also inform us on how finite things’ power should be understood in the monistic system. So, I disagree with such commentators as Jonathan Bennett, Edwin Curley, Daniel Garber, Michael Della Rocca, and Richard Manning, who see Spinoza as trying to derive the conatus doctrine from E3p4 and 3p5 alone; and I agree with Alexandre Matheron, Henry Allison, and Martin Lin, who stress the importance of E1p25c and 1p34. -/- However, this still leaves us the task of reconstructing the whole derivation and showing how its various ingredients fit together. If E1p25c and 1p34 are so important, could E3p6 not be derived from them alone, as Martin Lin has argued? In other words, why are E3p4 and 3p5 needed at all? To answer these questions I shall provide an interpretation of E3p6d that explains how the argument is supposed to work. E1p25c and 1p34 say that finite things are, in essence, dynamic causers, which, in case of opposition, truly resist opposing factors with their power and do not simply cease their causal activities whenever facing obstacles; in other words, they strive against any opposition. However, this is not enough to guarantee that they could not act self-destructively or restrain their own power, which would make them incapable of self-preservation. But this would go against E3p4, “No thing can be destroyed except through an external cause,” and Spinoza uses it to claim, “no thing has anything in itself by which it can be destroyed, or which takes its existence away.” So all this allows Spinoza to hold that finite things are consistent causers, that is, entities endowed with power and, insofar they cause effects solely in virtue of their essence, they never use their power self-destructively. The significance and role of the final item in the demonstration, E3p5 (“Things are of a contrary nature, i.e., cannot be in the same subject, insofar as one can destroy the other”), still needs to be determined. Indeed, considering its content and the way it is used in the demonstration, it seems to be a surprisingly decisive ingredient in the argument. Namely, what “each thing, to the extent it is in itself,” that is, insofar as any thing is considered disregarding everything external to it, strives to preserve, is its being (esse), not simply its present state. This together with E3p5’s view of subjecthood – which I shall explicate in my paper – suggests that we should rethink what kind of “being” or “existence” is meant in E3p6. Indeed, for Spinoza, each subject has a definable essence from which, as far as the subject in question is in itself, certain properties or effects necessarily follow; consequently a subject’s full being involves not only instantiating a certain essence, but also those properties inferable from the essence-expressing definition. Thus, E3p5 is meant to bring forward that things are not merely non-self-destroyers but subjects from whose definitions properties follow; and as Spinoza thinks to have shown (by E1p25c and 1p34) that finite modifications are entities endowed with power, any subject has true power to produce the properties or effects derivable from its definition, which, Spinoza claims, implies opposing everything harmful. In other words, things exercise power as their definition states, i.e. according to their definitions, and thus bringing in the idea of things as expressers of power enables Spinoza to convert logical oppositions (of E3p5) into real ones (of E3p6). To summarize, Spinoza reasons that each true finite thing is, in itself, an expresser of power (E1p25c, 1p34) that never acts self-destructively (E3p4) but instead strives to drive itself through opponents to produce effects as they follow from the definition of the thing in question (E1p25c, 1p34, and 3p5). Therefore, “each thing, to the extent it is in itself, strives to persevere in its being.” The demonstration of E3p6 has its roots deep in Spinoza’s ontology, and since its concept of power is supposed to provide the metaphysical grounding for real opposition, the importance of E1p25c and 1p34 should not be underestimated just because Spinoza – as often happens – puts his point exceedingly briefly. Moreover, the derivation is basically valid and contains no superfluous elements. Finally, all this tells us something decisive about the meaning of Spinoza’s doctrine: according to it, things are active causers whose “power to exist and act” has conatus character in temporality, amounting not only to striving to prolong the duration of one’s actualization but also to striving to be as active or autonomous as possible, that is, to attain a state determined by the striving subject’s essence alone. (shrink)

Deflationism, one of the influential philosophical doctrines of truth, holds that there is no property of truth, and that overt uses of the predicate "true" are redundant. However, the hypothetical examples used by theorists to exemplify deflationism are isolated sentences, offering little to examine what the predicate adds to meaning within context. We oppose the theory not on philosophical but on empirical grounds. We collect 7,610 occurrences of "it is true that" from 10 influential periodicals published in the United States. (...) We classify and annotate these with respect to the positions of coordinating and subordinating conjunctions that they contain. This way we investigate the contextual relationships between the proposition following "it is true that" with its surroundings. Overall, 34 different syntactical patterns are encountered. In some occurrences of "true", the predicate acts in the same manner as a performative verb does. These occurrences, having been observed in linguistically reliable media, constitute pragmatic counter-examples to deflationism. (shrink)

The paper offers an interpretation of a disputed portion of Plato’s Theaetetus that is often called the Secret Doctrine. It is presented as a process ontology that takes two types of processes, swift and slow motions, as fundamental building blocks for ordinary material objects. Slow motions are powers which, when realized, generate swift motions, which, in turn, are subjectively bundled to compose sensible objects and perceivers. Although the reading of the Secret Doctrine offered here—a new version of the (...) “Causal Theory interpretation”—is not without problems, these problems are acknowledged in Plato’s text, confirming that this interpretation is correct. (shrink)

This paper advances our understanding of the norms of assertion in two ways. First, I evaluate recent studies claiming to discredit an important earlier finding which supports the hypothesis that assertion has a factive norm. In particular, I evaluate whether it was due to stimuli mentioning that a speaker’s evidence was fallible. Second, I evaluate the hypothesis that assertion has a truth-insensitive standard of justification. In particular, I evaluate the claim that switching an assertion from true to false, while holding (...) all else objectively constant, is irrelevant to attributions of justification. Two pre-registered experiments provide decisive evidence against each claim. In the first experiment, switching from mentioning to not mentioning fallibility made no difference to assertability attributions, thereby disproving the criticism concerning fallibility. By contrast, switching an assertion from true to false decreased the rate of assertability attribution from over 90% to less than 20%, thereby replicating and vindicating the original finding supporting a factive norm. In the second experiment, switching an assertion from true to false decreased the rate of justification attribution from over 80 to 10%, thereby undermining the hypothesis that assertion’s standard of justification is truth-insensitive. The second experiment also demonstrates that perspective-taking influences attributions of justification, and it provides initial evidence that the standard of justification for assertion is stricter than the standard for belief. (shrink)

One of the popular explications of the deflationary tenet of ‘thinness’ of truth is the conservativeness demand: the declaration that a deflationary truth theory should be conservative over its base. This paper contains a critical discussion and assessment of this demand. We ask and answer the question of whether conservativity forms a part of deflationary doctrines.

In this paper, we present what we call the argument from accidental truth, according to which some instances of deflationist schemata, even those carefully reformulated and adjusted by Field and Horwich to accommodate the truth of utterances, are falsified due to accidental truths. Since the folk concept of truth allows for accidental truths, the deflationary theory of truth will face a serious problem. In particular, it follows that the deflationist schema fails to capture the proper extension of truth (...) by precluding accidental truths of utterances. Even though the argument uses the contextualist cases, this conclusion does not require so much as the truth of contextualism, but only two assumptions, the existence of context-relative non-literal contents of utterances (or speech acts), and the existence of accidental truths, both of which are widely accepted by folks and theorists. We will also consider various responses to the argument, including the revisionary deflationist position, all of which we argue are unsatisfactory or committed to a highly implausible view. (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)

In this paper I analyze the difficult question of the truth of mature scientific theories by tackling the problem of the truth of laws. After introducing the main philosophical positions in the field of scientific realism, I discuss and then counter the two main arguments against realism, namely the pessimistic metainduction and the abstract and idealized character of scientific laws. I conclude by defending the view that well-confirmed physical theories are true only relatively to certain values of the variables that (...) appear in the laws. (shrink)