Euclid’s Elements inspired a number of foundationalist accounts of mathematics, which dominated the epistemology of the discipline for many centuries in the West. Yet surprisingly little has been written by recent philosophers about this conception of mathematical knowledge. The great exception is Imre Lakatos, whose characterisation of the Euclidean Programme in the philosophy of mathematics counts as one of his central contributions. In this essay, we examine Lakatos’s account of the Euclidean Programme with a critical eye, and suggest (...) an alternative picture which builds on his work, but differs in a number of important respects. (shrink)

My mentor once argues that to reach one's full potential, one must come to term with one's cultural roots. When I first heard it, it seemed to me to be a self-evident truth, a self-help axiom, perhaps. When I reflect on it with my experiences of studying overseas in a multicultural campus, I realize there are a few ways in which it makes sense.

Here I criticise Audi's account of self-evidece. I deny that understanding of a proposition can justify belief in it and offfer an account of intuition that can take the place of understanding in an account of self-evidence.

According to rationalists about moral knowledge, some moral truths are knowable a priori. Rationalists often defend their position by claiming that some moral propositions are self-evidently true. Copp 2007 has recently challenged this rationalist strategy. Copp argues that even if some moral propositions are self-evident, this is not enough to secure rationalism about moral knowledge, since it turns out that such self-evident propositions are only knowable a posteriori. This paper considers the merits of Copp’s challenge. After clarifying (...) the rationalists’ appeal to self-evidence, I show why this rationalist strategy survives Copp’s challenges to it. (shrink)

ABSTRACT: This paper develops an account of what it is for a proposition to be self- evident to someone, based on the idea that certain propositions are such that to fully understand them is to believe them. It argues that when a proposition p is self-evident to one, one has non-inferential a priori justification for believing that p and, a welcome feature, a justification that does not involve exercising any special sort of intuitive faculty; if, in addition, it (...) is true that p and there exists no reason to believe that the proposition that p is incoherent, then one knows a priori that p. The paper argues that certain deeply contingent truths, e.g., the truth that I would now express by saying “I exist”, can be self-evident to, and thus known a priori by, the person they are about at the time they are about; but, since they cannot be known a priori, or even expressed, by anyone else or at any other time, they should not count as a priori truths. (shrink)

In this paper, I argue against the epistemology of some contemporary moral intuitionists who believe that the notion of self-evidence is more important than that of intuition. Quite the contrary, I think the notion of intuition is more basic if intuitions are construed as intellectual seemings. First, I will start with elaborating Robert Audi’s account of self-evidence. Next, I criticise his account on the basis of the idea of “adequate understanding”. I shall then present my alternative account of (...) self-evidence which is based on the seeming account of intuition. Finally, I show how the seeming account of self-evidence can make the moral intuitionist epistemology more tenable. (shrink)

Finnis claims that his theory proceeds from seven basic principles of practical reason that are self-evidently true. While much has been written about the claim of self-evidence, this article considers it in relation to the rigorous claims of logic and mathematics. It argues that when considered in this light, Finnis equivocates in his use of the concept of self-evidence between the realist Thomistic conception and a purely formal, modern symbolic conception. Given his respect for the modern positivist (...) separation of fact and value, the realism of the Thomistic conception cannot be the foundation for the natural law as Finnis would reconstruct it. Nor can the purely formal modern conception of self-evidence provide a foundation for practical reason. This raises some doubt as to whether there can be self-evident principles of practical reason as Finnis suggests. The article contributes to the analysis of the Finnis reconstruction of the natural law by providing a rigorous analysis of his claim for self-evidence. It frames this analysis historically, suggesting the roles that certainty and mystery play in the apprehension of moral meaning. (shrink)

Plausible probabilistic accounts of evidential support entail that every true proposition is evidence for itself. This paper defends this surprising principle against a series of recent objections from Jessica Brown. Specifically, the paper argues that: (i) explanationist accounts of evidential support convergently entail that every true proposition is self-evident, and (ii) it is often felicitous to cite a true proposition as evidence for itself, just not under that description. The paper also develops an objection involving the apparent impossibility of (...) believing P on the evidential basis of P itself, but gives a reason not to be too worried about this objection. Establishing that every true proposition is self-evident saves probabilistic accounts of evidential support from absurdity, paves the way for a non-sceptical infallibilist theory of knowledge and has distinctive practical consequences. (shrink)

Robert Nozick (1993) has offered an evolutionary account of self-evident beliefs that comes into conflict with a "mild realist" (Dennett, 1991a) view of beliefs. This chapter summarizes both views, and explains the conflict. Emergence is examined. Mild realism is found to embrace "emergence" in an acceptable sense, and to eschew it in its problematic sense. Nozick's cases of self-evident beliefs are examined and difficulties in his account are explained. An alternative approach is developed that avoids the difficulties in (...) Nozick's account and is compatible with mild realism. Implications of mild realism for concepts are drawn. (shrink)

In this article I develop an elementary system of axioms for Euclidean geometry. On one hand, the system is based on the symmetry principles which express our a priori ignorant approach to space: all places are the same to us, all directions are the same to us and all units of length we use to create geometric figures are the same to us. On the other hand, through the process of algebraic simplification, this system of axioms directly provides the Weyl’s (...) system of axioms for Euclidean geometry. The system of axioms, together with its a priori interpretation, offers new views to philosophy and pedagogy of mathematics: it supports the thesis that Euclidean geometry is a priori, it supports the thesis that in modern mathematics the Weyl’s system of axioms is dominant to the Euclid’s system because it reflects the a priori underlying symmetries, it gives a new and promising approach to learn geometry which, through the Weyl’s system of axioms, leads from the essential geometric symmetry principles of the mathematical nature directly to modern mathematics. (shrink)

In this dissertation I discuss the epistemology of ethical intuitionism, in particular the claim that mature moral agents possess self-evident moral knowledge. Traditional intuitionists such as W.D. Ross have claimed that by reflection, we can acquire knowledge of our basic moral duties such as the duty of veracity or benevolence. Recent defenders of intuitionism such as Robert Audi have further developed this theory and argued that adequate understanding can be sufficient for moral knowledge. I criticize this view and argue (...) that such accounts fail to make a convincing case for a foundationalist moral epistemology. Instead, I propose to separate the question of how we acquire moral knowledge from an account that justifies moral beliefs. In response to the first issue, I draw an analogy between our moral intuitions and chosmkian linguistics; in both areas, I argue, human beings possess a universal, unconscious and (partly) inaccessible system of rules that explains how we come to learn language and to make moral judgments. In regards to the justificatory issue, I address recent evolutionary debunking arguments designed to undermine the claim that our moral judgments track stance-independent truths. I try to show that this conclusion only follows under the assumption of an instrumentalist interpretation of moral reasoning which the intuitionist is not forced to accept. (shrink)

“I am me”, but what does this mean? For centuries humans identified themselves as conscious beings with free will, beings that are important in the cosmos they live in. However, modern science has been trying to reduce us into unimportant pawns in a cold universe and diminish our sense of consciousness into a mere illusion generated by lifeless matter. Our identity in the cosmos is nothing more than a deception and all the scientific evidence seem to support this idea. Or (...) is it not? The goal of this paper is to discard current underlying dogmatism (axioms taken for granted as "self-evident") of modern mind research and to show that consciousness seems to be the ultimate frontier that will cause a major change in the way exact sciences think. If we want to re-discover our identity as luminous beings in the cosmos, we must first try to pinpoint our prejudices and discard them. Materialism is an obsolete philosophical dogma and modern scientists should try to also use other premises as the foundation of their theories to approach the mysteries of the self. Exact sciences need to examine the world with a more open mind, accepting potentially different interpretations of existing experimental data in the fields of brain research, which are currently not considered simply on the basis of a strong anti-spiritual dogmatism. Such interpretations can be compatible with the notion of an immaterial spirit proposed by religion for thousands of years. Mind seems that is not the by-product of matter, but the opposite: its master. No current materialistic theory can explain how matter may give rise to what we call “self” and only a drastic paradigm shift towards more idealistic theories will help us avoid rejecting our own nature. (shrink)

This chapter explains Franz Brentano's metaethical theory and how it purports to deal with such difficulties. Brentano explains correctness in emotions by analogy with correctness in judgements. For a judgement to be correct is for it to concord with a judgement made by someone who judges with self-evidence (Evidenz). Self-evident judgements are guaranteed to be correct, and they are based either on "inner perception" or on presentations of objects that are rejected apodictically. Brentano's metaethical theory concerns first and (...) foremost the psychology of valuing and of moral judgement. Brentano is clearly a cognitivist about evaluative and moral judgement; such judgements are judgements about the correctness of feelings, and judgements are cognitive acts. However, one aspect of his position that seems congenial to contemporary expressivism. This has to do with expressivist treatments of disagreement. Brentano's views seem akin to the kind of foundationalist intuitionism that is traditionally associated with non-naturalism. (shrink)

How ought you to evaluate your options if you're uncertain about what's fundamentally valuable? A prominent response is Expected Value Maximisation (EVM)—the view that under axiological uncertainty, an option is better than another if and only if it has the greater expected value across axiologies. But the expected value of an option depends on quantitative probability and value facts, and in particular on value comparisons across axiologies. We need to explain what it is for such facts to hold. Also, EVM (...) is by no means self-evident. We need an argument to defend that it’s true. This book introduces an axiomatic approach to answer these worries. It provides an explication of what EVM means by use of representation theorems: intertheoretic comparisons can be understood in terms of facts about which options are better than which, and mutatis mutandis for intratheoretic comparisons and axiological probabilities. And it provides a systematic argument to the effect that EVM is true: the theory can be vindicated through simple axioms. The result is a formally cogent and philosophically compelling extension of standard decision theory, and original take on the problem of axiological or normative uncertainty. (shrink)

Is the fact that our universe contains fine-tuned life evidence that we live in a multiverse? Ian Hacking and Roger White influentially argue that it is not. We approach this question through a systematic framework for self-locating epistemology. As it turns out, leading approaches to self-locating evidence agree that the fact that our own universe contains fine-tuned life indeed confirms the existence of a multiverse. This convergence is no accident: we present two theorems showing that, in this setting, (...) any updating rule that satisfies a few reasonable conditions will have the same feature. The conclusion that fine-tuned life provides evidence for a multiverse is hard to escape. (shrink)

Dâwûd al-Qarisî (Dâvûd al-Karsî) was a versatile and prolific 18th century Ottoman scholar who studied in İstanbul and Egypt and then taught for long years in various centers of learning like Egypt, Cyprus, Karaman, and İstanbul. He held high esteem for Mehmed Efendi of Birgi (Imâm Birgivî/Birgili, d.1573), out of respect for whom, towards the end of his life, Karsî, like Birgivî, occupied himself with teaching in the town of Birgi, where he died in 1756 and was buried next to (...) Birgivî. Better known for his following works on Arabic language and rhetoric and on the prophetic traditions (hadith): Sharḥu uṣûli’l-ḥadîth li’l-Birgivî; Sharḥu’l-Ḳaṣîdati’n-nûniyya (two commentaries, in Arabic and Turkish); Şarḥu’l-Emsileti’l-mukhtalifa fi’ṣ-ṣarf (two commentaries, in Arabic and Turkish); Sharḥu’l-Binâʾ; Sharḥu’l-ʿAvâmil; and Sharḥu İzhâri’l-asrâr, Karsî has actually composed textbooks in quite different fields. Hence the hundreds of manuscript copies of his works in world libraries. Many of his works were also recurrently printed in the Ottoman period. One of the neglected aspects of Karsî is his identity as a logician. Although he authored ambitious and potent works in the field of logic, this aspect of him has not been subject to modern studies. Even his bibliography has not been established so far (with scattered manuscript copies of his works and incomplete catalogue entries). This article primarily and in a long research based on manuscript copies and bibliographic sources, identifies twelve works on logic that Karsî has authored. We have clarified the works that are frequently mistaken for each other, and, especially, have definitively established his authorship of a voluminous commentary on al-Kâtibî’s al-Shamsiyya, of which commentary a second manuscript copy has been identified and described together with the other copy. Next is handled his most famous work of logic, the Sharhu Îsâghûcî, which constitutes an important and assertive ring in the tradition of commentaries on Îsâghûcî. We describe in detail the nine manuscript copies of this work that have been identified in various libraries. The critical text of Karsî’s Sharhu Îsâghûcî, whose composition was finished on 5 March 1745, has been prepared based on the following four manuscripts: (1) MS Kayseri Raşid Efendi Kütüphanesi, No. 857, ff.1v-3v, dated 1746, that is, only one year after the composition of the work; (2) MS Bursa İnebey Yazma Eser Kütüphanesi, Genel, No.794B, ff.96v-114v, dated 1755; (3) MS Millet Kütüphanesi, Ali Emiri Efendi Arapça, No. 1752, ff.48v-58r, dated 1760; (4) MS Beyazıt Yazma Eser Kütüphanesi, Beyazıt, No. 3129, ff.41v-55v, dated 8 March 1772. While preparing the critical text, we have applied the Center for Islamic Studies (İslam Araştırmaları Merkezi, İSAM)’s method of optional text choice. The critical text is preceded by a content analysis. Karsî is well aware of the preceding tradition of commentary on Îsâghûcî, and has composed his own commentary as a ‘simile’ or alternative to the commentary by Mollâ Fanârî which was famous and current in his own day. Karsî’s statement “the commentary in one day and one night” is a reference to Mollâ Fanârî who had stated that he started writing his commentary in the morning and finished it by the evening. Karsî, who spent long years in the Egyptian scholarly and cultural basin, adopted the religious-sciences-centered ‘instrumentalist’ understanding of logic that was dominant in the Egypt-Maghrib region. Therefore, no matter how famous they were, he criticized those theoretical, long, and detailed works of logic which mingled with philosophy; and defended and favored authoring functional and cogent logic texts that were beneficial, in terms of religious sciences, to the seekers of knowledge and the scholars. Therefore, in a manner not frequently encountered in other texts of its kind, he refers to the writings and views of Muhammad b. Yûsuf al-Sanûsî (d.1490), the great representative of this logical school in the Egyptian-Maghrib region. Where there is divergence between the views of the ‘earlier scholars’ (mutaqaddimûn) like Ibn Sînâ and his followers and the ‘later scholars’ (muta’akhkhirûn), i.e., post-Fakhr al-dîn al-Râzî logicians, Karsî is careful to distance himself from partisanship, preferring sometimes the views of the earliers, other times those of the laters. For instance, on the eight conditions proposed for the realization of contradiction, he finds truth to be with al-Fârâbî, who proposed “unity in the predicative attribution” as the single condition for the realization of contradiction. Similarly, on the subject matter of Logic, he tried to reconcile the mutaqaddimûn’s notion of ‘second intelligibles’ with the muta’akhkhirûn’s notion of ‘apprehensional and declarational knowledge,’ suggesting that not much difference exists between the two, on the grounds that both notions are limited to the aspect of ‘known things that lead to the knowledge of unknown things.’ Karsî asserts that established and commonly used metaphors have, according to the verifying scholars, signification by correspondence (dalâlat al-mutâbaqah), adding also that it should not be ignored that such metaphors may change from society to society and from time to time. Karsî also endorses the earlier scholars’ position concerning the impossibility of quiddity (mâhiyya) being composed of two co-extensive parts, and emphasizes that credit should not be given to later scholars’ position who see it possible. According to the verifying scholars (muhaqqîqûn), it is possible to make definition (hadd) by mentioning only difference (fasl), in which case it becomes an imperfect definition (hadd nâqis). He is of the opinion that the definition of the proposition (qadiyya) in al-Taftâzânî’s Tahdhîb is clearer and more complete: “a proposition is an expression that bears the possibility of being true or false”. He states that in the division of proposition according to quantity what is taken into consideration is the subject (mawdû‘) in categorical propositions, and the temporal aspect of the antecedent (muqaddam) in hypothetical propositions. As for the unquantified, indefinite proposition (qadiyya muhmalah), Karsî assumes that if it is not about the problems of the sciences, then it is virtually/potentially a particular proposition (qadiyya juz’iyyah); but if it is about the problems of the sciences, then it is virtually/potentially a universal proposition (qadiyya kulliyyah). This being the general rule about the ambiguous (muhmal) propositions, he nevertheless contends that, because its subject (mawdû‘) is negated, it is preferable to consider a negative ambiguous (sâliba muhmalah) proposition like “human (insân) is not standing” to be a virtually/potentially universal negative (sâliba kulliyyâh) proposition. He states that a disjunctive hypothetical proposition (shartiyya al-munfasila) that is composed of more than two parts/units is only seemingly so, and that in reality it cannot be composed of more than two units. Syllogism (qiyâs), according to Karsî, is the ultimate purpose (al-maqsad al-aqsâ) and the most valuable subject-matter of the science of Logic. For him, the entire range of topics that are handled before this one are only prolegomena to it. This approach of Karsî clearly reveals how much the ‘demonstration (burhân)-centered’ approach of the founding figures of the Muslim tradition of logic like al-Fârâbî and Ibn Sînâ has changed. al-Abharî, in his Îsâghûjî makes no mention of ‘conversion by contradiction’ (‘aks al-naqîd). Therefore, Karsî, too, in his commentary, does not touch upon the issue. However, in his Îsâghûjî al-jadîd Karsî does handle the conversion by contradiction and its rules. Following the method of Îsâghûjî, in his commentary Karsî shortly touches on the four figures (shakl) of conjuctive syllogism (qiyâs iqtirânî) and their conditions, after which he passes to the first figure (shakl), which is considered ‘the balance of the sciences’ (mi‘yâr al-‘ulûm), explaining the four moods (darb) of it. In his Îsâghûjî al-jadîd, however, Karsî handles all the four figures (shakl) with all their related moods (darb), where he speaks of fife moods (darb) of the fourth figure (shakl). The topic of ‘modal propositions’ (al-muwajjahât) and of ‘modal syllogism’ (al-mukhtalitât), both of which do not take place in the Îsâghûjî, are not mentioned by Karsî as well, either in his commentary on Îsâghûjî or in his Îsâghûjî al-jadîd. Karsî proposes that the certainties (yaqîniyyât), of which demonstration (burhân) is made, have seven, not six, divisions. After mentioning (1) axioms/first principles (awwaliyyât), (2) observata/sensuals (mushâhadât), (3) experta/empiricals (mujarrabât), (4) acumenalia (hadthiyyât), (5) testata (mutawâtirât), and (6) instictives (fitriyyât), that is, all the ‘propositions accompanied by their demonstrations,’ Karsî states that these six divisions, which do not need research and reflection (nazar), are called badîhiyyât (self-evidents), and constitute the foundations (usûl) of certainties (yaqîniyyât). As the seventh division he mentions (7) the nazariyyât (theoreticals), which are known via the badîhiyyât, end up in them, and therefore convey certainty (yaqîn). For Karsî, the nazariyyât/theoreticals, which constitute the seventh division of yaqîniyyât/certainties, are too numerous, and constitute the branches (far‘) of yaqîniyyât. Every time the concept of ‘Mughâlata’ (sophistry) comes forth in the traditional sections on the five arts usually appended to logic works, Karsî often gives examples from what he sees as extreme sûfî sayings, lamenting that these expressions are so widespread and held in esteem. He sometimes criticizes these expressions. However, it is observed that he does not reject tasawwuf in toto, but excludes from his criticism the mystical views and approaches of the truth-abiding (ahl al-haqq), shârî‘â-observant (mutasharri‘) leading sufis who have reached to the highest level of karâmah. (shrink)

In this paper I consider two paradoxes that arise in connection with the concept of demonstrability, or absolute provability. I assume—for the sake of the argument—that there is an intuitive notion of demonstrability, which should not be conflated with the concept of formal deducibility in a (formal) system or the relativized concept of provability from certain axioms. Demonstrability is an epistemic concept: the rough idea is that a sentence is demonstrable if it is provable from knowable basic (“self-evident”) premises (...) by means of simple logical steps. A statement that is demonstrable is also knowable and a statement that is actually demonstrated is known to be true. By casting doubt upon apparently central principles governing the concept of demonstrability, the paradoxes of demonstrability presented here tend to undermine the concept itself—or at least our understanding of it. As long as we cannot find a diagnosis and a cure for the paradoxes, it seems that the coherence of the concepts of demonstrability and demonstrable knowledge are put in question. There are of course ways of putting the paradoxes in quarantine, for example by imposing a hierarchy of languages a` la Tarski, or a ramified hierarchy of propositions and propositional functions a` la Russell. These measures, however, helpful as they may be in avoiding contradictions, do not seem to solve the underlying conceptual problems. Although structurally similar to the semantic paradoxes, the paradoxes discussed in this paper involve epistemic notions: “demonstrability”, “knowability”, “knowledge”... These notions are “factive” (e.g., if A is demonstrable, then A is true), but similar paradoxes arise in connection with “nonfactive” notions like “believes”, “says”, “asserts”.3 There is no consensus in the literature concerning the analysis of the notions involved—often referred to as “propositional attitudes”—or concerning the treatment of the paradoxes they give rise to. (shrink)

Individuals with high self-concept will likely have high life satisfaction, they easily get adjusted to life, and they communicate their feeling more appropriately. However, it was not certain whether self-concept would decline or improve as individuals age, or whether self-concept would vary between genders and ethnic groups. To prove, a study was carried out to compare the self-concept of college students in an Asian context. The inquiry utilized the cross-sectional design in finding out significant differences in (...) the self-concept of participants in terms of age, gender, and ethnicity. A 22-item questionnaire was adapted and administered to 222 Bachelor of Public Administration and Bachelor of Science in Business Administration students from the satellite campus of Bukidnon State University in the Philippines. Initially, a sample was randomly drawn from the population. During the actual data collection, the researchers had difficulty getting the responses from the randomly selected individuals due to internet connection and it was done amidst a pandemic. Instead, it took all responses from those who were available, have access to the internet, and could accomplish the google forms. The data were analyzed using Mean, Standard Deviation, T-test for independent sample, ANOVA and Post Hoc test. The results revealed that college students at the locale have a high level of self-concept in self-fulfilment, emotional adjustment, and honesty. Yet, they only had a moderate level of self-concept in autonomy. Further, there were significant differences in college students’ autonomy and honesty in terms of age and gender. Furthermore, there were significant differences in their emotional adjustment and self-fulfilment as to their ethnicity. The results have implications for instruction, administration, guidance services, and future research. (shrink)

The thesis that agents should calibrate their beliefs in the face of higher-order evidence—i.e., should adjust their first-order beliefs in response to evidence suggesting that the reasoning underlying those beliefs is faulty—is sometimes thought to be in tension with Bayesian approaches to belief update: in order to obey Bayesian norms, it’s claimed, agents must remain steadfast in the face of higher-order evidence. But I argue that this claim is incorrect. In particular, I motivate a minimal constraint on a reasonable treatment (...) of the evolution of self-locating beliefs over time and show that calibrationism is compatible with any generalized Bayesian approach that respects this constraint. I then use this result to argue that remaining steadfast isn’t the response to higher-order evidence that maximizes expected accuracy. (shrink)

This paper examines the issue of what the self is by reviewing neuropsychological research,which converges on the idea that the self may be more complex and differentiated than previous treatments of the topic have suggested. Although some aspects of self-knowledge such as episodic recollection may be compromised in individuals, other aspects—for instance, semantic trait summaries—appear largely intact. Taken together, these findings support the idea that the self is not a single, unified entity. Rather, it is a (...) set of interrelated, functionally independent systems. Implications for understanding the self in various areas of psychological research—e.g., neuroimaging, autism, amnesia, Alzheimer’s disease, and mirror self-recognition—are discussed in brief. (shrink)

Drawing on insights from Imre Lakatos' seminal work on theories of rationality, Leslie Allan develops seven criteria for rational theory choice that avoid presuming the rationality of the scientific enterprise. He shows how his axioms of rationality follow from the general demands of an objectivist epistemology. Allan concludes by considering two weighty objections to his framework.

Evidentialism is the thesis, roughly, that one’s beliefs should fit one’s evidence. The enkratic principle is the thesis, roughly, that one’s beliefs should "line up" with one’s beliefs about which beliefs one ought to have. While both theses have seemed attractive to many, they jointly entail the controversial thesis that self-misleading evidence is impossible. That is to say, if evidentialism and the enkratic principle are both true, one’s evidence cannot support certain false beliefs about which beliefs one’s evidence supports. (...) Recently, a number of epistemologists have challenged the thesis that self-misleading evidence is impossible on the grounds that misleading higher-order evidence does not have the kind of strong and systematic defeating force that would be needed to rule out the possibility of such self-misleading evidence. Here I respond to this challenge by proposing an account of higher-order defeat that does, indeed, render self-misleading evidence impossible. Central to the proposal is the idea that higher-order evidence acquires its normative force by influencing which conditional beliefs it is rational to have. What emerges, I argue, is an independently plausible view of higher-order evidence, which has the additional benefit of allowing us to reconcile evidentialism with the enkratic principle. (shrink)

In this comprehensive work on theories of rationality, Leslie Allan builds on the seminal insights of Imre Lakatos. Allan begins by critically reviewing Lakatos' theory of rationality (MSRP) and his meta-theory of rationality (MHRP) and suggesting improvements to his scheme. Allan's main task is developing a theory of rationality that avoids Lakatos' Achilles' heel; the presupposition that science is a rational enterprise. To achieve this, he attempts to draw out from the general demands of an objectivist epistemology (...) the various criteria of dependence and independence applying to evidence-statements. He concludes by considering two serious objections to his framework. (shrink)

Should people include beef in their diet? This chapter argues that the answer is “no” by reviewing what is known and not known about the presence in cattle of three psychological traits: pain, desire, and self-consciousness. On the basis of behavioral and neuroanatomical evidence, the chapter argues that cattle are sentient beings who have things they want to do in the proximal future, but they are not self-conscious. The piece rebuts three important objections: that cattle have injury information (...) but not pain; that cattle have goal-directed behavior but not desire; and that the absence of evidence for bovine self-consciousness should not be taken as evidence that cattle lack self-consciousness. In sum, what is known about cattle cognition shifts the moral burden of proof on to the beef eaters. (shrink)

Assume that it is your evidence that determines what opinions you should have. I argue that since you should take peer disagreement seriously, evidence must have two features. (1) It must sometimes warrant being modest: uncertain what your evidence warrants, and (thus) uncertain whether you’re rational. (2) But it must always warrant being guided: disposed to treat your evidence as a guide. Surprisingly, it is very difficult to vindicate both (1) and (2). But diagnosing why this is so leads to (...) a proposal—Trust—that is weak enough to allow modesty but strong enough to yield many guiding features. In fact, I claim that Trust is the Goldilocks principle—for it is necessary and sufficient to vindicate the claim that you should always prefer to use free evidence. Upshot: Trust lays the foundations for a theory of disagreement and, more generally, an epistemology that permits self-doubt—a modest epistemology. (shrink)

According to the scientific "justificationist" method, knowledge consisted of proven sentences. Classical intellectuals (or "rationalists," in the narrow sense of the term) have accepted extremely varied - and powerful "proofs", through revelation, intellectual intuition, experience. These, with the help of logic, have allowed them to prove any kind of scientific statement. Classical empiricists accepted as axioms only a relatively small set of "factual propositions" that expressed "hard facts". The value of their truth has been established by experience and has been (...) the empirical basis of science. DOI: 10.13140/RG.2.2.28722.25288. (shrink)

Should learning we disagree about p lead you to reduce confidence in p? Some who think so want to except beliefs in which you are rationally highly confident. I argue that this is wrong; we should reject accounts that rely on this intuitive thought. I then show that quite the opposite holds: factors that justify low confidence in p also make disagreement about p less significant. I examine two such factors: your antecedent expectations about your peers’ opinions and the difficulty (...) of evaluating your evidence. I close by proposing a different way of thinking about disagreement. (shrink)

This chapter presents a typology of the different kinds of inductive inferences we can draw from our evidence, based on the explanatory relationship between evidence and conclusion. Drawing on the literature on graphical models of explanation, I divide inductive inferences into (a) downwards inferences, which proceed from cause to effect, (b) upwards inferences, which proceed from effect to cause, and (c) sideways inferences, which proceed first from effect to cause and then from that cause to an additional effect. I further (...) distinguish between direct and indirect forms of downwards and upwards inferences. I then show how we can subsume canonical forms of inductive inference mentioned in the literature, such as inference to the best explanation, enumerative induction, and analogical inference, under this typology. Along the way, I explore connections with probability and confirmation, epistemic defeat, the relation between abduction and enumerative induction, the compatibility of IBE and Bayesianism, and theories of epistemic justification. (shrink)

Can beliefs that are not consciously formulated serve as part of an agent's evidence for other beliefs? A common view says no, any belief that is psychologically immediate is also epistemically immediate. I argue that some unconscious beliefs can serve as evidence, but other unconscious beliefs cannot. Person-level beliefs can serve as evidence, but subpersonal beliefs cannot. I try to clarify the nature of the personal/subpersonal distinction and to show how my proposal illuminates various epistemological problems and provides a principled (...) framework for solving other problems. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...) there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

When we get evidence that tells us our belief-forming mechanisms may not be reliable this presents a thorny set of questions about whether and how to revise our original belief. This article analyzes aspects of the problem and a variety of approaches to its solution.

Self-deception is typically considered epistemically irrational, for it involves holding certain doxastic attitudes against strong counter-evidence. Pragmatic encroachment about epistemic rationality says that whether it is epistemically rational to believe, withhold belief or disbelieve something can depend on perceived practical factors of one’s situation. In this paper I argue that some cases of self-deception satisfy what pragmatic encroachment considers sufficient conditions for epistemic rationality. As a result, we face the following dilemma: either we revise the received view about (...) self-deception or we deny pragmatic encroachment on epistemic rationality. I suggest that the dilemma can be solved if we pay close attention to the distinction between ideal and bounded rationality. I argue that the problematic cases fail to meet standards of ideal rationality but exemplify bounded rationality. The solution preserves pragmatic encroachment on bounded rationality, but denies it on ideal rationality. (shrink)

We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness and a (...) four place predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane - which obeys the Euclidean axioms in [Tarski and Givant, 1999] - and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagora’s theorem. We conclude with a Representation Theorem relating models of our system that satisfy second order continuity to the mathematical structure called ‘Minkowski spacetime’ in physics textbooks. (shrink)

In this paper we extend the NeutroAlgebra & AntiAlgebra to the geometric spaces, by founding the NeutroGeometry & AntiGeometry. While the Non-Euclidean Geometries resulted from the total negation of one specific axiom (Euclid’s Fifth Postulate), the AntiGeometry results from the total negation of any axiom or even of more axioms from any geometric axiomatic system (Euclid’s, Hilbert’s, etc.) and from any type of geometry such as (Euclidean, Projective, Finite, Affine, Differential, Algebraic, Complex, Discrete, Computational, Molecular, Convex, etc.) Geometry, and the (...) NeutroGeometry results from the partial negation of one or more axioms [and no total negation of no axiom] from any geometric axiomatic system and from any type of geometry. Generally, instead of a classical geometric Axiom, one may take any classical geometric Theorem from any axiomatic system and from any type of geometry, and transform it by NeutroSophication or AntiSophication into a NeutroTheorem or AntiTheorem respectively in order to construct a NeutroGeometry or AntiGeometry. Therefore, the NeutroGeometry and AntiGeometry are respectively alternatives and generalizations of the Non-Euclidean Geometries. In the second part, we recall the evolution from Paradoxism to Neutrosophy, then to NeutroAlgebra & AntiAlgebra, afterwards to NeutroGeometry & AntiGeometry, and in general to NeutroStructure & AntiStructure that naturally arise in any field of knowledge. At the end, we present applications of many NeutroStructures in our real world. (shrink)

This essay provides a condensed introductory ‘snapshot’ of just a few of the many and profound correlations existing between early (pre-Abhidhamma) Pāḷi Buddhism and Transcendental Phenomenology, by focusing on what is arguably the most central and essential ‘philosophical problem’ in both traditions: the true nature and significance of the ‘I’ of subjective intentional consciousness. It argues that the Buddhist axiom of ‘not-self’ (anattā) is by no means incompatible with the fundamental phenomenological irreducibility, and necessity, of transcendental subjectivity – or, (...) as Husserl also puts it, of the ‘pure’ or ‘transcendental ‘I’’ – a structure evidently essential to intentional consciousness as ‘consciousness-of’. On the one hand, Husserl recognises (and struggles with) the peculiar ‘emptiness’ of the ‘pure ‘I’’. On the other hand, a fundamental distinction must clearly be drawn between genuine intentional subjectivity – which even Buddhas and Arahants must of necessity possess – and the erroneous bases upon which the concept of ‘self’ (attā) that Buddhism rejects is constituted: the feeling of ‘I am’ (‘asmī’ti), the sense of ‘I am this’ (‘ayam-aham-asmī’ti), and the concept/conceit of ‘I am’ (asmi-māna) – all of which Buddhas and Arahants by definition do not possess. Hence, it is argued that, while the ‘pure I’ does not refer to some permanent ‘entity’ called ‘self’, nor is it merely an empty, non-referring, conventional linguistic marker: it has not merely a ‘use’, but a genuine meaning, which derives from the intrinsic, irreducible, and ‘pre-linguistic’ experiential structure of ‘consciousness-of’ itself. What is more, this meaning is not only recognised and admitted, but actively utilised, within the doctrine and methodology of early Buddhism, without any sense of contradicting the axiom of anattā. (shrink)

Is self-knowledge a requirement of rationality, like consistency, or means-ends coherence? Many claim so, citing the evident impropriety of asserting, and the alleged irrationality of believing, Moore-paradoxical propositions of the form < p, but I don't believe that p>. If there were nothing irrational about failing to know one's own beliefs, they claim, then there would be nothing irrational about Moore-paradoxical assertions or beliefs. This article considers a few ways the data surrounding Moore's paradox might be marshaled to support (...) rational requirements to know one's beliefs, and finds that none succeed. (shrink)

Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in order to show that both (...) Euclidean and non-Euclidean geometry are bodies of synthetic a priori truths. Michael Friedman has argued that this defence presumes a polyadic conception of logic that was foreign to Kant. According to Friedman, Kant held that geometrical reasoning itself relies essentially on intuition, and that this precludes the very possibility of non-Euclidean geometry. While Friedman's characterization of Kant's views on geometrical reasoning is correct, I argue that Friedman's conclusion that non-Euclidean geometries are logically impossible for Kant is not. I argue that Kant is best understood as a proto-constructivist and that modern constructive axiomatizations (unlike Hilbert-style axiomatizations) of both Euclidean and non-Euclidean geometry capture Kant's views on the essentially constructive nature of geometrical reasoning well. (shrink)

We develop a Bayesian framework for thinking about the way evidence about the here and now can bear on hypotheses about the qualitative character of the world as a whole, including hypotheses according to which the total population of the world is infinite. We show how this framework makes sense of the practice cosmologists have recently adopted in their reasoning about such hypotheses.

Groups can be epistemically vicious just like individuals. And just like individuals, groups sometimes want to do something about their vices. They want to change. However, intentionally combating one’s own vices seems impossible without detecting those vices first. Self-knowledge seems to provide a first step towards changing one’s own epistemic vices. I argue that groups can acquire self-knowledge about their epistemic vices and I propose an account of such collective self-knowledge. I suggest that collective self-knowledge of (...) vices is partially based on evidence that a group can generate by performing internal promptings. Whereas these promptings are done mentally in individual self-knowledge, these promptings are done by interactions of group members in the collective case. The group can then acquire inferential self-knowledge of their vices based on the evidence generated by the interactions within the group. Groups thereby bring themselves into a position from which they can combat and change those vices intentionally. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Mysticism claims of its logical scheme that it is Euclidean, that from its first axiom or principle the remainder of its doctrine follows, but it makes this claim in so many languages and in such a variety of obscure and self-contradictory ways that it is difficult to discern how this could be possible, and it is rarely considered a plausible claim in metaphysics. I believe it is plausible, and in this essay I try to explain why. -/- .

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

Many who suffer from eating disorders claim that they see themselves as “fat”. Despite decades of research into the phenomenon, behavioural evidence has failed to confirm that eating disorders involve visual misperception of own-body size. I illustrate the importance of this phenomenon for our understanding of perceptual processing, outline the challenges involved in experimentally confirming it, and provide solutions to those challenges.

While C. I. Lewis was traditionally interpreted as an epistemological foundationalist throughout his major works, virtually every recent treatment of Lewis's epistemology dissents. But the traditional interpretation is correct: Lewis believed that apprehensions of "the given" are certain independently of support from, and constitute the ultimate warrant for, objective empirical beliefs. This interpretation proves surprisingly capable of accommodating apparently contrary textual evidence. The non-foundationalist reading, by contrast, simply cannot explain Lewis's explicit opposition to coherentism and his insistence that only apprehensions (...) of the given enable us to answer the regress problem -- and so vindicate the possibility of empirical justification. (shrink)

In the philosophical literature, self-deception is mainly approached through the analysis of paradoxes. Yet, it is agreed that self-deception is motivated by protection from distress. In this paper, we argue, with the help of findings from cognitive neuroscience and psychology, that self-deception is a type of affective coping. First, we criticize the main solutions to the paradoxes of self-deception. We then present a new approach to self-deception. Self-deception, we argue, involves three appraisals of the (...) distressing evidence: (a) appraisal of the strength of evidence as uncertain, (b) low coping potential and (c) negative anticipation along the lines of Damasio’s somatic marker hypothesis. At the same time, desire impacts the treatment of flattering evidence via dopamine. Our main proposal is that self-deception involves emotional mechanisms provoking a preference for immediate reward despite possible long-term negative repercussions. In the last part, we use this emotional model to revisit the philosophical paradoxes. (shrink)

The dominant approach in privacy theory defines information privacy as some form of control over personal information. In this essay, I argue that the control approach is mistaken, but for different reasons than those offered by its other critics. I claim that information privacy involves the drawing of epistemic boundaries—boundaries between what others should and shouldn’t know about us. While controlling what information others have about us is one strategy we use to draw such boundaries, it is not the only (...) one. We conceal information about ourselves and we reveal it. And since the meaning of information is not self-evident, we also work to shape how others contextualize and interpret the information about us that they have. Information privacy is thus about more than controlling information; it involves the constant work of producing and managing public identities, what I call “social self- authorship.” In the second part of the essay, I argue that thinking about information privacy in terms of social self- authorship helps us see ways that information technology threatens privacy, which the control approach misses. Namely, information technology makes social self- authorship invisible and unnecessary, by making it difficult for us to know when others are forming impressions about us, and by providing them with tools for making assumptions about who we are which obviate the need for our involvement in the process. (shrink)

Many philosophers claim that we have duty to know our motives. However, prominent theories of the mind suggest that we can’t. Such scepticism about knowledge of one’s motives is based on psychological evidence. I show that this evidence only mandates scepticism about knowledge of one’s motives if we rely on a mistaken assumption which I call ‘the myth of the one true motive’. If we reject this myth, we see that there is space to plausibly interpret the empirical data such (...) that knowledge of one’s motives is difficult, but not impossible. (shrink)

A prevalent assumption among philosophers who believe that people can intentionally deceive themselves (intentionalists) is that they accomplish this by controlling what evidence they attend to. This article is concerned primarily with the evaluation of this claim, which we may call ‘attentionalism’. According to attentionalism, when one justifiably believes/suspects that not-p but wishes to make oneself believe that p, one may do this by shifting attention away from the considerations supportive of the belief that not-p and onto considerations supportive of (...) the belief that p. The details of this theory are elaborated, its theoretical importance is pointed out, and it is argued that the strategy is supposed to work by leading to the repression of one’s knowledge of the unwelcome considerations. However, I then show that the assumption that this is possible is opposed by the balance of a relevant body of empirical research, namely, the thought-suppression literature, and so intentionalism about self-deception cannot find vindication in the attentional theory. (shrink)

Many philosophers in the field of meta-ethics believe that rational degrees of confidence in moral judgments should have a probabilistic structure, in the same way as do rational degrees of belief. The current paper examines this position, termed “moral Bayesianism,” from an empirical point of view. To this end, we assessed the extent to which degrees of moral judgments obey the third axiom of the probability calculus, ifP(A∩B)=0thenP(A∪B)=P(A)+P(B), known as finite additivity, as compared to degrees of beliefs on the one (...) hand and degrees of desires on the other. Results generally converged to show that degrees of moral judgment are more similar to degrees of belief than to degrees of desire in this respect. This supports the adoption of a Bayesian approach to the study of moral judgments. To further support moral Bayesianism, we also demonstrated its predictive power. Finally, we discuss the relevancy of our results to the meta-ethical debate between moral cognitivists and moral non-cognitivists. (shrink)

This is a review essay of Quassim Cassam, Self-Knowledge for Humans (Oxford, 2014) and John Doris, Talking to Our Selves (Oxford, 2015). In it I question whether Cassam succeeds in his challenge to Richard Moran's account of first-personal authority, and whether Doris is right that experimental evidence for unconscious influences on behavior generates skeptical worries on accounts that regard accurate self-knowledge as a precondition of agency.