That believing truly as a matter of luck does not generally constitute knowing has become epistemic commonplace. Accounts of knowledge incorporating this anti-luck idea frequently rely on one or another of a safety or sensitivity condition. Sensitivity-based accounts of knowledge have a well-known problem with necessary truths, to wit, that any believed necessary truth trivially counts as knowledge on such accounts. In this paper, we argue that safety-based accounts similarly trivialize knowledge of necessary truths and that (...) two ways of responding to this problem for safety, issuing from work by Williamson and Pritchard, are of dubious success. (shrink)

According to the knowledge view of evidence notoriously defended by Timothy Williamson (2000), for any subject, her evidence consists of all and only her propositional knowledge (E=K). Many have found (E=K) implausible. However, few have offered arguments against Williamson’s positive case for (E=K). In this paper, I propose an argument against Williamson’s positive case in favour of (E=K). Central to my argument is the possibility of the knowledge of necessary truths. I also draw some more general conclusions concerning theorizing (...) about evidence. (shrink)

Modal epistemologists parse modal conditions on knowledge in terms of metaphysical possibilities or ways the world might have been. This is problematic. Understanding modal conditions on knowledge this way has made modal epistemology, as currently worked out, unable to account for epistemic luck in the case of necessary truths, and unable to characterise widely discussed issues such as the problem of religious diversity and the perceived epistemological problem with knowledge of abstract objects. Moreover, there is reason to think that (...) this is a congenital defect of orthodox modal epistemology. This way of characterising modal epistemology is however optional. It is shown that one can non-circularly characterise modal conditions on knowledge in terms of epistemic possibilities, or ways the world might be for the target agent. Characterising the anti-luck condition in terms of epistemic possibilities removes the impediment to understanding epistemic luck in the case of necessary truths and opens the door to using these conditions to shed new light on some longstanding epistemological problems. (shrink)

According to the safety account of knowledge, one knows that p only if one’s belief could not easily have been false. An important issue for the account is whether we should only examine the target belief when evaluating whether a belief is safe or not. In this paper, it is argued that, if we should only examine the target belief, then the account fails to account for ignorance of necessary truths. But, if we should also examine beliefs in other (...) relevant propositions, then the account fails to account for knowledge from falsehood. Therefore, the safety account of knowledge is undermined by knowledge from falsehood and ignorance of necessary truths. (shrink)

AT POSTERIOR ANALYTICS 1.1.71B15 AND FOLLOWING, Aristotle identifies six characteristics of the first principles from which demonstrative science proceeds. These are traditionally grouped into two sets of three: group A: ex alêthôn, prôtôn, amêsôn; group B: gnôrimôterôn, proterôn, and aitiôn. The characteristic, which I believe has been underrated and somewhat misinterpreted by scholars and commentators from Philoponus to the present day, is the characteristic of truth. In this paper I propose to present a textually based interpretation of truth (...) that shows the following: that truth is necessarily linked to being. The example given of nonbeing, the commensurability of the diagonal with the sides of a square, suggests more than simple truth is required for first principles and premises of demonstrative science; and that Aristotle later in the APo changes this characteristic to necessary truth, for he recognizes that truth alone is an insufficient basis for scientific demonstration. The referents of necessary truth are eternal being, and the need for eternal being demands that universals exist extramentally for Aristotle. Finally, one of the important ways that universal genera and species exist for Aristotle are as real, causal principles. (shrink)

According to the safety condition, a subject knows that p only if she would believe that p only if p was true. The safety condition has been a very popular necessary condition for knowledge of late. However, it is well documented that the safety condition is trivially satisfied in cases where the subject believes in a necessary truth. This is for the simple reason that a necessary truth is true in all possible worlds, and therefore (...) it is true in all possible worlds where it is believed. But clearly, all beliefs concerning necessary truths do not amount to knowledge. The safety theorists have attempted to deal with the problem caused by necessary truths by restricting the safety condition to purely contingent truths and by globalizing the safety condition to a set of propositions. Both of these solutions are problematic. The principal aim of this paper is to develop a version of the safety condition that is able to deal with cases featuring necessary truths. (shrink)

How to accommodate the possibility of lucky true beliefs in necessary (or armchair) truths within contemporary modal epistemology? According to safety accounts luck consists in the modal proximity of a false belief, but a belief in a true mathematical proposition could not easily be false because a proposition believed could never be false. According to Miščević modal stability of a true belief under small changes in the world is not enough, stability under small changes in the cognizer should also (...) (and primarily) be considered. I argue for a more traditional modal reliabilism based on the critical question: how easy is it for a belief to be false, given the way it was formed? A belief (a priori or a posteriori) is then agent-lucky when based on a specific method which might easily lead to a false belief in the target proposition. Miščević suggests a unifying approach in terms of virtue epistemology. It seems to me that this approach, if successful, will undermine the project that he started with: formulate an anti-luck condition in the frame of a modal theory of luck. (shrink)

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)

Theistic metaethics usually places one key restriction on the explanation of moral facts, namely: every moral fact must ultimately be explained by some fact about God. But the widely held belief that moral truths are necessary truths seems to undermine this claim. If a moral truth is necessary, then it seems like it neither needs nor has an explanation. Or so the objection typically goes. Recently, two proponents of theistic metaethics — William Lane Craig and Mark Murphy (...) — have argued that this objection is flawed. They claim that even if a truth is necessary, it does not follow that it neither needs nor has an explanation. In this article, I challenge Craig and Murphy’s reasoning on three main grounds. First, I argue that the counterexamples they use to undermine the necessary truth objection to theistic metaethics are flawed. While they may provide some support for the notion that necessary truths can be explained, they do not provide support for the notion that necessary moral truths can be explained. Second, I argue that the principles of explanation that Murphy and Craig use to support theistic metaethics are either question-begging (in the case of Murphy) or improperly motivated (in the case of Craig). And third, I provide a general defence of the claim that necessary moral truths neither need nor have an explanation. (shrink)

Much mainstream analytic epistemology is built around a sceptical treatment of modality which descends from Hume. The roots of this scepticism are argued to lie in Hume’s (nominalist) theory of perception, which is excavated, studied and compared with the very different (realist) theory of perception developed by Peirce. It is argued that Peirce’s theory not only enables a considerably more nuanced and effective epistemology, it also (unlike Hume’s theory) does justice to what happens when we appreciate a proof in mathematics.

This paper presents a deductive proof for the necessary existence of objective truth and reality, addressing core philosophical challenges across multiple frameworks, including modernism, postmodernism, relativism, and radical skepticism. By starting with the undeniable fact of subjective experience, the argument demonstrates that rationality presupposes subjectivity, which in turn relies on the classical laws of logic. These laws cannot be grounded within subjectivity or rationality without falling into circular reasoning. Therefore, the proof establishes that objective reality must serve as (...) the ground for these logical laws, while objective truth provides their validation. This foundational framework resolves key philosophical problems, including infinite regress and self-justification, allowing for coherent philosophical thought. Furthermore, the paper explores conceptual parallels between this proof and elements of mysticism, pragmatism, and religious notions of divinity, suggesting a unified foundation that can empower individual contributions to the collective pursuit of truth. (shrink)

Pure mathematical truths are commonly thought to be metaphysically necessary. Assuming the truth of pure mathematics as currently pursued, and presupposing that set theory serves as a foundation of pure mathematics, this article aims to provide a metaphysical explanation of why pure mathematics is metaphysically necessary.

The integration challenge for modality states that metaphysical theories of modality tend to fail in one of two ways: either they render the meanings of modal sentences mysterious, or they render modal knowledge mysterious. I argue that there are specific semantic and epistemic constraints on metaphysics implied by the integration challenge and that a plausible metaphysical theory of modality will satisfy both of them. I further argue that no popular metaphysical theory of modality simultaneously satisfies both of the constraints. Therefore, (...) a new metaphysical theory of modality is needed, one that can offer a clear response to the integration challenge. I attempt to supply the needed theory and show that it satisfies the constraints of the integration challenge. The overall result is an argument for a new and unique metaphysical theory of modality that I call constructionism. (shrink)

Throughout history, oppressors have used multiple forms of violence to impose their own logic on the human universe they oppress. One such form is epistemic violence, which is based on the monopoly control of truth and the hijacking of universality. Those who apply this violence seek to convince everyone of the absolute character of their supposed truths, of the quasi-natural universality of their ways of thinking, of living, of organizing socially. Truth and universality are ineludible objects in dispute (...) between conservative and emancipating forces. The scenario of this complaint today reaches global dimensions. Life itself is at stake. It is obvious that, without an undermining of oppressive truths and predatory particularisms dressed-up as universalities, social emancipation is not feasible. It is also not possible to conserve life. Unlimited growth, the permanent trend towards wealth accumulation, the pursuit at all costs of profit, make capital increasingly incompatible with life. False truths, such as the inevitable centrality of the market and the natural character of capitalism, must be dismantled. Following the logical-deductive method, this work aims to speak critically of the truth, but not denying its existence. This work speaks critically of truth, but does not negate its existence. Attempts are made to uncover the social conditions of the possibility of truth. It seeks to describe how truth can and should exist, if it aspires to be free and decolonized within a social paradigm such as Our America. (shrink)

Mümkün varlıkları aracı kılmadan Vâcibü’l-Vücûd’un varlığını ispatlama çabalarının bir sonucu olan sıddıkîn burhanı ilk defa Müslüman filozoflar tarafından dillendirildi. İbn Sînâ (ö. 428/1037) da Fârâbî’nin etkisiyle yeni bir burhan açıkladı ve buna sıddıkîn adını verdi. Molla Sadrâ (ö. 1050/1641) varlığın asaleti ilkesini mutasavvıflardan, teşkîk ilkesini de Sühreverdî’den iktibas ederek yeni bir sıddıkîn burhanı dillendirdi. Bu burhanın, varlığın asaleti, basîtliği/yalınlığı, teşkîkî ve ma’lûlün illete ihtiyacı olmak üzere bazı öncülleri vardır. O, bu öncülleri açıkladıktan sonra teselsüle ihtiyaç duymadan Vâcibü’l-Vücûd’un varlığını ispatlar. Onun (...) burhanı diğer sıddıkîn burhanlarına nispetle bazı üstün özelliklere sahiptir. Öncelikle bu burhan varlığın asaleti ilkesi üzerine bina edildiğinden dayanağı varlık kavramı değil, varlığın nesnel hakikatidir. İkincisi bu burhan Vâcibü’l-Vücûd’un zâtını ispatlamakla birlikte Vâcibü’l-Vücûd’un birliğini ve kemâlî sıfatlarını ispatlar. Üçüncüsü bu burhana göre mümkün varlıklar hiçbir aracı olmadan Vâcibü’l-Vücûd’a bağımlı olduklarından burhanın açıklanmasında teselsül ve kısır döngüden yararlanma ihtiyacı yoktur. Molla Sadrâ’nın teselsül ve kısır döngüden de yararlanarak Vâcibü’l-Vücûd’un varlığını ispatladığı burhanlar da vardır. Molla Sadrâ bu burhanıyla hem Vâcibü’l-Vücûd’un varlığını ve hem de onun kemâlî sıfatlarını ispatladığını iddia eder. Bu çalışmada bu iddia incelecek ve ispat-ı vacip meselesinde Molla Sadrâ’nın ne gibi yenilikler getirdiği ele alınacaktır. ABSTRACT A result of the attempts to prove the existence of The Necessary Existence without the mediation of possible beings, proof of the truthful was first expressed by Muslim philosophers called it sıddıkin. Mullā Ṣadrā’s “proof” that he explains has certain premises such as the fundamental of existence, indivisibility of the existence, existential gradation, effect’s need for cause. After explanining these premises, Mullā Ṣadrā then proves the Necessary Existence without needing succession. Mullā Ṣadrā’s proof of the truthful has certain superior features tan the proofs of truthful expressed before him. First of all, as this proof is built upon the principle of the fundamental of existence, its foundation is the external truth of existence, not the concept of existence itself. Secondly, this proof proves the unity and perfection attributes of The Necessary Existence as well as proving the existence of the Necessary Existence. Thirdly, according to this proof, as all possible existences are dependent on The Necessary Existence without any mediation, there is no need to benefit from succession and vicious circle in explaining the proof. However, Mullā Ṣadrā proves the Necessary Existence by benefitting from succession and vicious circle in other proofs. Mullā Ṣadrā asserts that this proof demonstrates the presence of The Necessary Existence and its perfection attributions. This study examines this assertion and addresses what kind of innovations was brought by Mullā Ṣadrā in terms of proving The Necessary Existence. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same (...) universals in different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the (...) truth for present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

It is necessarily true that water is H2O, but it is a contingent fact that there is any water at all. Water therefore seems ill suited to ground the necessary truth that water is H2O. One view traditionally attributed to Scotus and Henry of Ghent was that while water is contingent, the essence of water is necessary; hence, the essence of water can ground the so-called eternal truth that water is H2O. Francisco Suárez rejects this view (...) on the grounds that it contradicts the Christian doctrine of creation, according to which everything other than God was contingently created in time. Suárez’s own view of the eternal truths has proven elusive to commentators, but I argue that Suárez ultimately endorses a version of the view he rejects: essences ground the eternal truths. But this raises several puzzles: how is Suárez’s view distinct from the views traditionally ascribed to Scotus and Henry? How does Suárez’s view escape the argument from creation, which Suárez raises against his opponents? I argue that Suárez distinguishes between his view and his opponents’ view by saying that essences have “extrinsic being,” whereas his opponents claim that essences have “intrinsic being.” The distinction between intrinsic and extrinsic being has not received much attention, but I argue that it marks an important fault line in scholastic thinking about the ontological status of non-existents. I argue that the notion of extrinsic being can be explicated in terms of ontological pluralism and grounding. The notion of extrinsic being helps differentiate Suárez’s view from his Scotistic and Henrician opponents, and it allows Suárez to respond to the creation argument he raises against his opponents. On my reading, Suárez’s solution to the problem of eternal truths turns out to be both highly original and philosophically satisfying. (shrink)

A logically impossible sentence is one which entails a contradiction, a logically necessary sentence is one whose negation entails a contradiction, and a logically possible sentence is one which does not entail a contradiction. Metaphysically impossible, necessary and possible sentences are ones which become logically impossible, necessary, or possible by substituting what I call informative rigid designators for uninformative ones. It does seem very strongly that a negative existential sentence cannot entail a contradiction, and so ”there is (...) a God’ cannot be a metaphysically necessary truth. If it were such a truth, innumerable other sentences which seem paradigm examples of logically possible sentences, such as ”no one knows everything’ would turn out to be logically impossible. The only way in which God could be a logically necessary being is if there were eternal necessary propositions independent of human language or God’s will, such that the proposition that there is no God would entail -- via propositions inaccessible to us -- a contradiction. But if there were such propositions, God would have less control over the universe than he would have otherwise. (shrink)

Here, I explore a modernist aesthetics of death metal. First, I briefly describe a few themes that characterize some modern art, without any claim that they are necessary, sufficient, or exhaustive. The goal is to obtain a set of themes that might be set against similar themes characteristic of death metal. This is the task in the second half of the paper. In particular, I argue that (some) modernist art and death metal share themes centered on transgressively breaking with (...) the past, pursue their conception of the truth, eliminate elements in their art form to purity them, and attack the art/non-art or music/non-music distinction. I contend that centering on death metal vocals reflects these themes. Death metal growls, like some modernist art, transgresses on past vocal traditions, tells us important truths, eliminates traditional concepts/techniques of signing, and undermines the singing/noise distinction. (shrink)

Popper's account of science is an endeavour in establishing the relationship between universality and truth. The idea is that the more an empirical law is universal, by precluding certain realities from obtaining in an evidentially falsifiable way, the more the law is supported by instances of its predictions being evidentially verified. The logical structure of this dynamic is captured by Popper's notion of 'corroboration'. However, this notion is suspect, for, depending on one's interpretation of evidential givenness, the relation between (...) a law's degree of universality and evidential corroborability could instead invert, thereby contradicting Popper. This paper also explores how a conceptualization of universality in terms of necessary simplicity-i.e., a measure of simplicity that is also sensitive to the evidence at hand-can better recontextualize evidential givenness to be about evidential support for a theory's predictive truth conduciveness, against Popper's understanding of evidential support for a theory's veracity concerning the evidence at hand. However, it is argued that employing necessary simplicity to attain truth conduciveness in a theory's predictions must appeal to specific background assumptions concerning the state of affairs the evidence is supposed to be about. When these background assumptions are denied as being necessarily instantiated, then a relation between necessary simplicity and truth conduciveness becomes contingently uncertain. (shrink)

My main purpose in this article is to present an argument for the idea that necessity qua truth in all possible worlds, without other qualifications, leads us to contradiction. If we do not want to accept the contradiction, we will face a dilemma: or accepting that everything we take as contingent is in fact necessary, or accepting that we cannot translate some sentences – at least the indexed to worlds sentences – to the possible worlds vocabulary. We have (...) an intuition – and we develop an argument for it – that if “P”, evaluated in w*, is a contingent truth, so it cannot be the case that “P in w*” is a necessary truth. Generally, the argument tries to show that “P”, evaluated in w*, and “P in w*” are made true by the same contingent fact. If we suppose that “P in w*” is necessary, we would have to suppose that the fact that makes it true is also necessary, which would be contradictory with the fact that makes “P” true in w*, if we accept that what makes “P” in w* and “P in w*” true is the same fact. I attain such an aim by presenting an argument that is divided in two parts, one to imply the contradiction and the other to show that there is no relevant difference between the indicated sentences, by showing how the dilemma arises, and by answering some possible objections. This is an important objective because the possible worlds vocabulary is the default vocabulary to treat the modalities of necessity and possibility. And if it is flawed, it is important that we identify the flaw and fix it – which is exactly what we intend to do at the end of this article, by suggesting some qualification at the necessity notion, that the necessity is the native truth in all possible worlds. And this would save the possible worlds vocabulary from the presented objection. (shrink)

What makes an intellectual virtue a virtue? A straightforward and influential answer to this question has been given by virtue-reliabilists: a trait is a virtue only insofar as it is truth-conducive. In this paper I shall contend that recent arguments advanced by Jack Kwong in defence of the reliabilist view are good as far as they go, in that they advance the debate by usefully clarifying ways in how best to understand the nature of open-mindedness. But I shall argue (...) that these considerations do not establish the desired conclusions that open-mindedness is truth-conducive. To establish these much stronger conclusions we would need an adequate reply to what I shall call Montmarquet’s objection. I argue that Linda Zagzebski’s reply to Montmarquet’s objection, to which Kwong defers, is inadequate. I conclude that it is contingent if open-mindedness is truth-conducive, and if a necessary tie to truth is what makes an intellectual virtue a virtue, then the status of open-mindedness as an intellectual virtue is jeopardised. We either need an adequate reliabilist response to Montmarquet’s objection, or else seek alternative accounts of what it is that makes a virtue a virtue. I conclude by briefly outlining some alternatives. (shrink)

A strength of liberal political institutions is their ability to accommodate pluralism, both allowing divergent comprehensive doctrines as well as constructing the common ground necessary for diverse people to live together. A pressing question is how far such pluralism extends. Which comprehensive doctrines are simply beyond the pale and need not be accommodated by a political consensus? Rawls attempted to keep the boundaries of reasonable disagreement quite broad by infamously denying that political liberalism need make reference to the concept (...) of truth, a claim that has been criticized by Joseph Raz, Joshua Cohen, and David Estlund. In this paper, we argue that these criticisms fail due to the fact that political liberalism can remain non-committal on the nature of truth, leaving the concept of truth in the domain of comprehensive doctrines while still avoiding the issues raised by Raz, Cohen, and Estlund. Further substantiating this point is the fact that Rawls would, and should, include parties in the overlapping consensus whose views on truth may be incoherent. Once it is seen that political liberalism allows such incoherence to reasonable parties, it is clear that the inclusion of truth and the requirement of coherence urged by Raz, Cohen, and Estlund requires more of reasonable people than is necessary for a political consensus. (shrink)

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on (...) a metaphysics of truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish (...) between conditions for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

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

This article discusses Rik Peels's response to Williams's argument against voluntary belief. Williams argues that voluntary beliefs must be acquired independently of truth-considerations, so they cannot count as beliefs after all, since beliefs aim at truth. Peels attempted to reply by showing that in cases of self-fulfilling beliefs, a belief can indeed be voluntarily acquired in conditions which retain the necessary truth-orientation. But even if we make two crucial concessions to Peels’s proposal, his argument ultimately fails. (...) The first concession is that beliefs can be weakly voluntary-namely, we can acquire them at will though we do not preserve them at will but on the basis of evidence. Conceding this, however, only lands us in the “acquisition problem”: how a belief can be acquired qua belief when we still do not think we have justification for it. This leads us to the second concession: that knowing in advance that a certain belief is self-fulfilling provides us with such a justification. However, this concession lands us in the ultimate obstacle: that, precisely because such a justification is available both before and at the moment of forming the belief, the cognitive perspective of the subject is identical at both moments, which obscures what it even means to say that at a certain moment she started to have a belief. (shrink)

In “The Myth of Factive Verbs” (Hazlett 2010), I had four closely related goals. The first (pp. 497-99, p. 522) was to criticize appeals to ordinary language in epistemology. The second (p. 499) was to criticize the argument that truth is a necessary condition on knowledge because “knows” is factive. The third (pp. 507-19) – which was the intended means of achieving the first two – was to defend a semantics for “knows” on which <S knows p> can (...) be true even if p isn’t true. The fourth (Ibid.) – which seemed necessary for the success of the third – was to defend a pragmatic account of the fact that utterances of <S knows p> typically imply p, on which the implication in those cases is down to conversational implicature. In this paper I’ll go after these goals again, with an emphasis on the second. Our topic will be whether the factivity of “knows” (whatever this amounts to) supports the truth condition on knowledge. A new goal will be to defend my argument against some criticisms from John Turri (2011) and Savas Tsohatzidis (forthcoming). We’ll first look at the truth condition (§1) and factive presupposition (§§2 – 3), before turning to replies to Turri and Tsohatzidis (§§4 – 7). (shrink)

Nietzsche has been accused by Habermas of abandoning the pursuit of emancipation and truth. Ironically, this pursuit is at the core of Nietzsche’s works, though radically transformed. The pursuit of knowledge requires emancipated sovereign individuality, a severe honesty, and the courage to follow one's most rigorous use of reason and creative insight wherever they may lead, including the most disturbing insights about truth, language and reason themselves. The first part of this paper discusses Nietzsche’s ideas of individual sovereignty (...) and the associated ideas of emancipation and transformation necessary to this. The next section entitled The Question of Truth: Beyond Universalism and the Quest for Foundations and Certainty deals with how knowledge and truth are intelligible notions in the absence of certainty and absolute standards of truth. The following section, Nietzsche, Habermas and Social Solidarity shows how Habermas’s attempt to ground morality in his discourse ethics cannot succeed once the Nietzchean insight into truth is understood. In the final part, The Irony of Sovereign Individuality, I argue that morality is inconsistent with the individuality that it is supposed to uphold. Nietzsche’s ethical ideal provides a model for concrete individuality that offers the most powerful ethical contribution to social solidarity, given the failure of any grounded morality. (shrink)

Ian Hacking defines a “style of scientific thinking” loosely as a “way to find things out about the world” characterised by five hallmark features of a number of scientific template styles. Most prominently, these are autonomy and “self-authentication”: a scientific style of thinking, according to Hacking, is not good because it helps us find out the truth in some domain, it itself defines the criteria for truth-telling in its domain. I argue that Renaissance medicine, Mediaeval “demonology”, and magical (...) thinking pass muster as scientific according to Hacking's criteria. However, application of these thought styles to the entities they introduce generates statements that logically imply a set of “ordinary” statements—or what Bernard Williams calls “plain truths”—which, contra the claims of autonomy and self-authentication, allows styles to be assessed from a style- independent perspective. Using Williams’ notion of plain truth, I show that Renaissance medicine, demonology, and magical thinking, in reality issue in many plain falsehoods. This confronts us with what I call Hacking's dilemma: either define stricter necessary conditions on being a style of scientific thinking, or concede that some styles albeit scientific are not as good at finding things out about the world as others. I make three suggestions to deal with the dilemma. (shrink)

Imagination comes with varying degrees of sensory accompaniment. Sometimes imagining is phenomenologically lean (cognitive imagining); at other times, imagining involves or requires sensory presentation such as mental imagery (sensory imagining). Philosophers debate whether contradictions can obtain in fiction and whether cognitive imagining is robust enough to explain our engagement with fiction. In this paper, I defend the Principle of Poetic License by arguing for the Permissive View of fictional truth: we can have fictions in which a contradiction is true, (...) everything is true, or nothing is true. I show that imagination-based worries about impossible, unlimited, and empty fictions can be shown to be about sensory imagination and that sensory imagination isn’t necessary for fictional truth. (shrink)

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

Conference paper presented at the 10th International Congress of Logic, Methodology, and Philosophy of Science, Florence, Italy (19-25 August 1995). Extrapolation here refers to the act of inferring more widely from a limited range of known facts. This notion of extrapolation, especially when applied to past events, has recently been used to formulate a pragmatic definition of truth. This paper shows that this definition has serious problems. The pragmatic definition of truth has been formulated in discussions on internal (...) realism. In this paper, the basic internal realist starting point, as expounded in the works of H. Putnam and N. Jardine, will be taken to be the claim that the distinction between judgements that are true from judgements that are false is explainable from within our judgement-forming faculty — no recourse to the external world is necessary. The paper first shows how the pragmatic definition of truth involves a counterfactual statement. It then describes how the counterfactual definition is apparently justified by an inductive argument. In the final step, this justification is shown to be unsuccessful. (shrink)

This paper argues that McDowell wrongly assumes that “terror”, Cavell’s reaction to the radical contingency of our shared modes of knowing or our “attunement”, expresses a skepticism that is antinomically bound to an equally unacceptable dogmatism because Cavell rather regards terror as a mood that reveals the “truth of skepticism”, namely, that there is no conclusive evidence for necessary attunement on pain of a category error, and that a precedent for McDowell’s misunderstanding is Hegel’s argument for necessary (...) attunement in a system of knowing, whose refutation Schelling holds it is the “merit of skepticism” to provide. (shrink)

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

Man is a seeker by nature. He searches for truth. An ordinary man cannot be indifferent to truth because of the deep quest within him for truth. Gandhi lived his whole life in the perpetual quest for truth. He lived and moved in pursuit of this goal. This pursuit of seeking truth under the banner of philosophical education makes educational philosophizing moral. One can perfect these ideologies of different schools and make philosophizing in education better (...) by placing truth in the center. Thus, an idealist can evolve a realization of truth, a naturalist can bring about the true nature and potentialities of the individual, and pragmatists can rejuvenate the minds with a truth-oriented strategy and existential thinkers can invite truth into them so that they can avoid fear and dread. The Gandhian vision of Satya offers us the key to integral education. Following the footprints of Satya not only satisfies the Gandhian aims for education but it also helps the human person to continue his role on the earth as the seeker of truth. The aim of my research is to explore whether the concept of the truth of Mahatma Gandhi could be used as a platform for philosophical education? Can we take inspiration from Gandhian thoughts so that philosophizing may not engage itself in hermeneutical violence to bring out the truth (of our making) but a hermeneutical ahimsa that lets the truth show itself? Truth for Gandhi was equal to one of his lungs. He spoke the truth, wrote on truth, and exhorted people to be truthful. Gandhi made the concept of truth central to metaphysics, epistemology, morality, and the philosophy of religion. Truth was the guiding principle for Gandhi in all these disciplines. When we bring in truth as the guiding principle in the philosophy of education we envisage an educational community of all truth seekers traveling together in freedom to come to an ever-increasing approximation of truth. Should philosophy stop the pursuit of truth (satya) as Rorty claims? Is communication of truth irrelevant as no truth is ascertainable as skeptics claim? Is the will to communicate truth senseless since truth is an illusion? Do these approaches satisfy the philosophical minds that are after truth? The methodology I pursue in this thesis is an exploratory, analytical, and critical approach. a) Analytical: The basic method to be used is to analyze the existing works and apprehend their significance in the area of education, in particular philosophical education. b) Critical: a critical and comprehensive analysis of the concept of truth is followed in the research to represent the significance of truth in philosophical education. Man cannot be indifferent to truth since there is a longing for truth in the heart of every human being. Hence the need to search for it with all one’s might through success does not come everyone’s way in the same measure. The reason for this is that there are certain factors that impede our search and they even distort our understanding. They are natural limitations of reason, inconsistency of the heart, worldly concerns, and fear of the demand that truth makes. Hence it is necessary to overcome these in the search for truth. In his dealings with others, the human person wishes that the other may communicate his truth and only truth. Gandhian invitation is to be an experimenter with truth. Truth is that all seek and want above everything. No one wishes to compromise on that. When we bring in truth as the guiding principle in the philosophy of education we envisage an educational community of all truth seekers traveling together in freedom to come to an ever-increasing approximation of truth. They are compelled to study and defend truth in a better way when they are confronted. They will be forced to discern the core of truth from its formulations. That is the role of the experimenter with the truth. -/- In this research paper, I attempt to present M. K. Gandhi as an educationist giving emphasis only on his concept of truth. It is a limited approach to Gandhian educational philosophy because when I attend only to the concept of truth I fail to include very many other aspects of his educational philosophy like craft-centered education, teaching methods, education for different sections of society, etc. It also limits me to criticizing Gandhian dislike for the higher education system appropriately. However, the notion of truth is a common platform that could be shared by three important branches of philosophical education, namely the naturalistic, the idealistic, and the pragmatic. (shrink)

In their recent paper, “Epistemology for Beginners: Two to Five-Year-Old Children’s Representation of Falsity,” Olivier Mascaro and Olivier Morin study the ontogeny of a naïve understanding of truth in humans. Their paper is fascinating for several reasons, but most striking is their claim (given a rather optimistic reading of epistemology) that toddlers as young as two can, at times, recognize false from true assertions. Their Optimistic Epistemology Hypothesis holds that children seem to have an innate capacity to represent a (...) state of affairs truthfully. In the following paper, I investigate the problems this research poses for deflationist theories of truth. Richard Rorty and Huw Price hold that the best way to understand truth or “the truth” is to understand the necessary conditions required for assertoric practice. Both philosophers present unique and very different deflationary theories when it comes to construing truth. I argue that neither philosopher’s approach is successful because they focus on truth and fail to recognize truthfulness as a norm of assertoric practice. I show that truthfulness is the elusive third norm of claim-based discourse and is consistent with Mascaro and Morin’s findings. (shrink)

This paper critically assesses the model of evaluation of scientific research for democratic societies defended by Philip Kitcher. The “significant truth” approach proposes a viable alternative to two classic images of science: that of the “critics”, who believe that science always serves the interests of the powerful and that of the “faithful”, who argue that the pursuit of scientific knowledge is always valuable and necessary. However, the democratic justification of Kitcher’s proposal is not compatible with the ethical problems (...) generated by the international biomedical research in developing countries. To overcome this problem, I revise the national democratic framing of the significant truth approach in light of the theory of justice of John Rawls. (shrink)

The safety condition is supposed to be a necessary condition on knowledge which helps to eliminate epistemic luck. It has been argued that the condition should be globalized to a set of propositions rather than the target proposition believed to account for why not all beliefs in necessary truths are safe. A remaining issue is which propositions are relevant when evaluating whether the target belief is safe or not. In the literature, solutions have been proposed to determine the (...) relevance of propositions. This paper examines a case of luckily true belief—thus a case of ignorance—and a case of knowledge. It argues that no solution in the literature offers a correct verdict in either case. Therefore, the strategy to globalize safety remains unsatisfactory. (shrink)

ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...) and its relevance to some of Oswaldo Chateaubriand's work are discussed in my 2004 paper "The Principle of Wholistic Reference" in Essays on Chateaubriand's "Logical Forms". In Chateaubriand's réplica (reply), which is printed with my paper, he raised several important additional issues including the three I focus on in this tréplica (reply to his reply): truth-values, universes of discourse, and formal ontology. This paper is self-contained: it is not necessary to have read the above-mentioned works. The principle of wholistic reference (PWR) was first put forth by George Boole in 1847 when he espoused a monistic fixed-universe viewpoint similar to the one Frege and Russell espoused throughout their careers. Later, Boole elaborated PWR in 1854 from the pluralistic multiple-universes perspective. (shrink)

The present thesis focuses on counterfactuals. Specifically, we will address new questions and open problems that arise for the standard semantic accounts of counterfactual conditionals. The first four chapters deal with the Lewisian semantic account of counterfactuals. On a technical level, we contribute by providing an equivalent algebraic semantics for Lewis' variably strict conditional logics, which is notably absent in the literature. We introduce a new kind of algebra and differentiate between local and global versions of each of Lewis' variably (...) strict conditional logics. We study the algebraic properties of Lewis' logics and the structure theory of our newly introduced algebras. Additionally, we employ a new algebraic construction, based on the framework of Boolean algebras of conditionals, to provide an alternative semantics for Lewisian counterfactual conditionals. This semantic account allows us to establish new truth conditions for Lewisian counterfactuals, implying that Lewisian counterfactuals are definable conditionals, and each counterfactual can be characterized as a modality of a corresponding probabilistic conditional. We further extend these results by demonstrating that each Lewisian counterfactual can also be characterized as a modality of the corresponding Stalnaker conditional. The resulting formal semantic framework is much more expressive than the standard one and, in addition to providing new truth conditions for counterfactuals, it also allows us to define a new class of conditional logics falling into the broader framework of weak logics. On the philosophical side, we argue that our results shed new light on the understanding of Lewisian counterfactuals and prompt a conceptual shift in this field: Lewisian counterfactual dependence can be understood as a modality of probabilistic conditional dependence or Stalnakerian conditional dependence. In other words, whether a counterfactual connection occurs between A and B depends on whether it is "necessary" for a Stalnakerian/probabilistic dependence to occur between A and B. We also propose some ways to interpret the kind of necessity involved in this interpretation. The remaining two chapters deal with the probability of counterfactuals. We provide an answer to the question of how we can characterize the probability that a Lewisian counterfactual is true, which is an open problem in the literature. We show that the probability of a Lewisian counterfactual can be characterized in terms of belief functions from Dempster-Shafer theory of evidence, which are a super-additive generalization of standard probability. We define an updating procedure for belief functions based on the imaging procedure and show that the probability of a counterfactual A > B amounts to the belief function of B imaged on A. This characterization strongly relies on the logical results we proved in the previous chapters. Moreover, we also solve an open problem concerning the procedure to assign a probability to complex counterfactuals in the framework of causal modelling semantics. A limitation of causal modelling semantics is that it cannot account for the probability of counterfactuals with disjunctive antecedents. Drawing on the same previous works, we define a new procedure to assign a probability to counterfactuals with disjunctive antecedents in the framework of causal modelling semantics. We also argue that our procedure is satisfactory in that it yields meaningful results and adheres to some conceptually intuitive constraints one may want to impose when computing the probability of counterfactuals. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to (...) these truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

Many philosophers subscribe to the view that philosophy is a priori and in the business of discovering necessary truths from the armchair. This paper sets out to empirically test this picture. If this were the case, we would expect to see this reflected in philosophical practice. In particular, we would expect philosophers to advance mostly deductive, rather than inductive, arguments. The paper shows that the percentage of philosophy articles advancing deductive arguments is higher than those advancing inductive arguments, which (...) is what we would expect from the vantage point of the armchair philosophy picture. The results also show, however, that the percentages of articles advancing deductive arguments and those advancing inductive arguments are converging over time and that the difference between inductive and deductive ratios is declining over time. This trend suggests that deductive arguments are gradually losing their status as the dominant form of argumentation in philosophy. (shrink)

This dissertation explores the prospects of postdeflationary substantive theorizing about truth. Postdeflationary theories define the concept of truth or the property of being a true truthbearer in a way that respects the deflationary desiderata of clarity, purity, and permissiveness with truth-aptness, without a necessary commitment to the core negative thesis of the deflationary approach. Postdeflationary substantive theories further acknowledge the complexity and explanatory utility of truth in understanding and defining other concepts and phenomena. The motivation (...) for pursuing this study arises from the so-called contemporary crisis of truth, where a substantive understanding of truth is subjected to widespread skepticism, critique, and even cynicism both inside and outside of philosophy in formal and mundane discourse. To better understand this crisis, particular attention is directed towards the deflationary critique of substantive theories of truth, which is a prevalent point of discussion in contemporary literature on western analytic philosophy. By exploring the limits and philosophical sustainability of deflationary critique of substantive accounts of truth, valuable insight is gained about the contemporary crisis of truth and the potential for substantive theorizing about truth in general. This dissertation composes of an introduction and four original research publications that address two connected themes: exploration of the philosophical sustainability of deflationary critique of substantive theories of truth, and exploration of the prospects for development of the now popular substantive pluralist theories of truth. These themes constitute both negative and positive aspects in relation to analyzing the prospects of postdeflationary substantive theorizing about truth. The first part of this dissertation focuses on arguing against the widespread deflationary readings of W.V.O. Quine’s truth, who is widely interpreted as a prominent and influential deflationist in both the secondary literature on his philosophy and contemporary truth-theoretic debates more broadly conceived. The first essay demonstrates that Quine’s immanent conception of truth involves commitments that are incompatible with general and theory-specific framings of the deflationary thesis. The second essay demonstrates conflicts between Quine’s views and what has in recent literature been argued as strong and moderate variants of the deflationary thesis. In conclusion, these essays demonstrate that the widespread deflationary readings of Quine’s truth are mistaken, thus removing a prominent thinker from the deflationists ranks while simultaneously casting suspicion towards the philosophical sustainability of the deflationary approach in general. The second part of this dissertation explores the prospects of postdeflationary substantive theorizing about truth by analyzing the limits and prospects for development of the increasingly popular substantive pluralist theories. The third essay explores different ways in which semantic ambiguity poses trouble for current pluralist models. The fourth essay argues that to achieve the theoretical desiderata that pluralists ask from discourse domains, the latter ought to be individuated on ontological rather than topical grounds. In conclusion, these essays demonstrate that while current pluralist models involve shortcomings, they encompass potential for development and provide a viable prospect for sustainable postdeflationary substantive theorizing about truth. (shrink)

Tarski's indefinability theorem shows us that truth is not definable in arithmetic. The requirement to define truth for a language in a stronger language (if contradiction is to be avoided) lapses for particularly weak languages. A weaker language, however, is not necessary for that lapse. It also lapses for an adequately weak theory. It turns out that the set of G{\"o}del numbers of sentences true in arithmetic modulo $n$ is definable in arithmetic modulo $n$.

An old philosophical problem of delineating science from pseudoscience has in today’s world far superseded the task of unearthing sufficient and necessary conditions which science should be able to satisfy and on which pseudoscience would fall short. Our interests have shifted from the search for the rigorous criteria of demarcation, to describing various scientific and pseudoscientific activities – as well as bringing the psychological backgrounds of beliefs in numerous pseudoscientific theories to light. We aim to pinpoint some of the (...) key characteristics of said activities and the strategies they employ. Also, we attempt to answer the question of why are individuals prone to believing various conspiracy theories, alternative historical explanations and other pseudoscientific theories. (shrink)

My primary goal in this article is to provide a historical reconstruction of Heidegger’s relationship to Hermann Lotze’s logic of validity (Logik der Gültigkeit). Lotze’s characterization of truth’s “actuality” solidifies the fallacious presupposition that the essence of truth is to be understood primarily in terms of logical assertions. In Heidegger’s view, the predicates “true” and “false,” as the paradigmatic attributes of propositions and judgments, are derivatives of a fundamental and “primary being of truth” known as disclosedness (Erschlossenheit). (...) Heidegger marks this decisive position in §44 of Being and Time and gains its methodological purchase by deconstructing traditional logic (kritischer Abbau der überlieferten Logik). Heidegger’s treatment, however, is abbreviated, and his sources remain notoriously concealed. For this reason, much is to be gained by examining the supplement provided one year earlier in a lecture course titled Logic: The Question of Truth (WS 1925–26). Heidegger devotes nearly 100 pages to the contemporary situation of philosophical logic. In this course, Heidegger critically evaluates a core principle of both phenomenology and neo-Kantian Erkenntnistheorie: the concept of validity (Geltung). This term originates from Lotze’s Platonic Ideenlehre, which asserts that Platonic “ideas” correspond to thoughts through a logical necessity. Consequently, they are deemed valid and eternally self-identical but do not need to exist in the world. For the purposes of this study, I show the historical significance and influence of Lotze’s Logic on twentieth-century Neo-Kantianism and Phenomenology. I provide a detailed account of Lotze’s interpretation of the Platonic theory of ideas, which supports his theory of validity. By returning to Lotze’s text, I provide an in-depth review of Heidegger’s reading of Lotze, whom he charges with misleading twentieth-century epistemology. If successful, this article provides the necessary and historical context to understand what is left unsaid and concealed in §44 of Being and Time. This article also serves the auxiliary purpose of acting as a prolegomenon for Heidegger’s urgent return to Aristotle’s thought and accurately determining the essence of truth. (shrink)

Knowledge is correct and reliable when its foundation is correct, but humans never have the correct beliefs and methodology. Thus, knowledge is unreliable and the foundation of knowledge needs to be reconstructed. A pure rationalist only believes in logic. Thus, all matter and experience must be propositions derived from logic. The logically necessary consequence of this belief is truth; logically possible consequences are phenomena, and logically impossible consequence are fallacies and evils. This paper introduces belief and its logical (...) consequences, such as discovering first knowledge, both logically and illogically, establishing logical methodology, deducing truths purely through logic, and discovering unprovable truths by imitating the Universe. Logic and illogic are undeniable beliefs, and the reality of the Universe is the ultimate cause of everything. (shrink)

The subject of zombies is one of the most discussed and controversial topics of philosophy of mind. In this paper I will first examine the main argument of zombies, providing a summary of the current discussion. Then I will introduce a thought experiment, an epistemic window on a metaphysical scenario. By the thought experiment I will argue that zombies are logically impossible. Further I will discuss another recent epistemic window. Finally I will provide some other logical consideration to prove that (...) intentionality is not reducible to the cognitive functional aspects of the mind and that, moreover, the subjective recognition of semantic contents is necessary in order to consider as sensical the verbal behavior of a zombie. (shrink)