We argue that many intuitions do not have conscious propositional contents. In particular, many of the intuitions had in response to philosophical thought experiments, like Gettier cases, do not have such contents. They are more like hunches, urgings, murky feelings, and twinges. Our view thus goes against the received view of intuitions in philosophy, which we call Mainstream Propositionalism. Our positive view is that many thought-experimental intuitions are conscious, spontaneous, non-theoretical, non-propositional psychological states that often motivate belief revision, but they (...) require interpretation, in light of background beliefs, before a subject can form a propositional judgment as a consequence of them. We call our view Interpretationalism. We argue (i) that Interpretationalism avoids the problems that beset Mainstream Propositionalism and (ii) that our view meshes well with empirical results in contemporary cognitive science. (shrink)

According to ethical intuitionists, basic moral propositions are self-evident. Robert Audi has made significant progress articulating and defending this view, claiming that an adequate understanding of a self-evident proposition justifies rather than compels belief. It is argued here that understanding a proposition cannot justify belief in it, and that intuition, suitably understood, provides the right sort of justification. An alternative account is offered of self-evidence based on intuition rather than understanding, and it is concluded that once we have an (...) adequate understanding of a self-evident proposition, we can see that it does no distinctive epistemic work. It merely reports that intuition is doing some significant epistemic work. Since the very idea of self-evident moral propositions is so controversial, and self-evidence does no significant epistemic work, ethical intuitionists should drop this notion from their moral epistemology. All they need are intuitive propositions and our intuition of these. (shrink)

In recent years a growing number of philosophers writing about the methodology of philosophy have defended the surprising claim that philosophers do not use intuitions as evidence. In this paper I defend the contrary view that philosophers do use intuitions as evidence. I argue that this thesis is the best explanation of several salient facts about philosophical practice. First, philosophers tend to believe propositions which they find intuitive. Second, philosophers offer error theories for intuitions that conflict with their theories. (...) Finally, philosophers are more confident in rejecting theories to the extent that they have several counter examples involving diverse cases. I argue that these facts are better explained by philosophers' using intuitions as evidence than by any plausible contrary explanations. I further argue that aspects of philosophical practice that my thesis may initially seem ill-suited to explain are in fact unsurprising whether or not my thesis is true. (shrink)

Intuition serves a variety of roles in contemporary philosophy. This paper provides a historical discussion of the revival of intuition in the 1970s, untangling some of the ways that intuition has been used and offering some suggestions concerning its proper place in philosophical investigation. Contrary to some interpretations of the results of experimental philosophy, it is argued that generalized skepticism with respect to intuition is unwarranted. Intuition can continue to play an important role as part of a methodologically conservative stance (...) towards philosophical investigation. I argue that methodological conservatism should be sharply distinguished from the process of evaluating individual propositions. Nevertheless, intuition is not always a reliable guide to truth and experimental philosophy can serve a vital ameliorative role in determining the scope and limits of our intuitive competence with respect to various areas of inquiry. (shrink)

According to the most popular non-skeptical views about intuition, intuitions justify beliefs because they are based on understanding. More precisely: if intuiting that p justifies you in believing that p it does so because your intuition is based on your understanding of the proposition that p. The aim of this paper is to raise some challenges for accounts of intuitive justification along these lines. I pursue this project from a non-skeptical perspective. I argue that there are cases in which intuiting (...) that p justifies you in believing that p, but such that there is no compelling reason to think this is because your intuition is based on your understanding of the proposition that p. (shrink)

Humans have two kinds of beliefs, intuitive beliefs and reflective beliefs. Intuitive beliefs are a most fundamental category of cognition, defined in the architecture of the mind. They are formulated in an intuitive mental lexicon. Humans are also capable of entertaining an indefinite variety of higher-order or "reflective" propositional attitudes, many of which are of a credal sort. Reasons to hold "reflective beliefs" are provided by other beliefs that describe the source of the reflective belief as reliable, or that provide (...) explicit arguments in favour of the reflective belief. The mental lexicon of reflective beliefs includes not only intuitive, but also reflective concepts. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, (...) such as the aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

ABSTRACTIn a series of articles, Asbjørn Steglich-Petersen and Nick Zangwill argue that, since propositional attitude ascription judgements do not behave like normative judgements in being subject to a priori normative supervenience and the Because Constraint, PAs cannot be constitutively normative.1 I argue that, for a specific version of normativism, according to which PAs are normative commitments, these arguments fail. To this end, I argue that commitments and obligations should be distinguished. Then, I show that the intuitions allegedly governing all normative (...) judgements do not even purport to hold for commitment-attributing judgements.RÉSUMÉDans une série d'articles, Asbjørn Steglich-Petersen et Nick Zangwill font valoir que, puisque les jugements d'attribution d'attitude propositionnelle ne se comportent pas comme des jugements normatifs en étant soumis à la survenance normative a priori et à la contrainte du Parce que, les AP ne peuvent être constitutivement normatives. Je soutiens que, pour une version spécifique du normativisme, selon laquelle les AP sont des engagements normatifs, ces arguments échouent. À cette fin, je soutiens d'abord que les engagements et les obligations devraient être séparés. Ensuite, je démontre que les intuitions qui régiraient prétendument tous les jugements normatifs ne prétendent même pas s'appliquer aux jugements attributifs d'un engagement. (shrink)

Chapter Θ10 of Aristotle's Metaphysics is traditionally taken to be about the truth of intuitions, namely episodes of an immediate and sub-propositional grasp of entities. This exegesis however saddles Aristotle with a broken-backed theory of truth because in other passages of his works he claims that truth and falsehood apply only to items of a propositional nature and denies that sub-propositional items can be true or false. An alternative exegesis is preferable which takes Θ10 to be about the truth of (...) existential statements and judgements concerning simple items. (shrink)

According to many actualists, propositions, singular propositions in particular, are structurally complex, that is, roughly, (i) they have, in some sense, an internal structure that corresponds rather directly to the syntactic structure of the sentences that express them, and (ii) the metaphysical components, or constituents, of that structure are the semantic values — the meanings — of the corresponding syntactic components of those sentences. Given that reference is "direct", i.e., that the meaning of a name is its denotation, (...) an apparent consequence of this view is that any proposition expressed by a sentence containing a name that denotes a contingent being S is itself contingent — notably, the proposition [S does not exist]. Assuming that an entity must exist to have a property, necessarily, [S does not exist] must exist in order to be true. It seems to follow that, necessarily, [S does not exist] is not true and, hence, that S is not contingent after all. Past approaches to the problem — notably, those of Prior and Adams — lead to highly undesirable consequences for quantified modal logic. In this paper, several solutions to this puzzle are developed that preserve actualism, the structured view of propositions, the direct theory of reference, and the intuition that [S does not exist] is indeed possible without the adverse consequences for QML of previous solutions. (shrink)

The topic of the paper is the notion of intuition in Descartes’ philosophy and its epistemic functions. Descartes introduces his notion of intuition in the context of a description of his method and process of knowing and doing science. Intuition is a significant component of this process. I intend to show that the main epistemic functions of intuition in Descartes’ philosophy are differentiated. Intuition is essential not only in the context of justification (the Cartesian synthetic method of proof) but also (...) and especially in the context of discovery (the Cartesian analytic method of discovery). It plays not only a role in the foundation of cogito but also on different stages of constructing the system of knowledge. Intuition has important functions in grasping simple natures, forming primary concepts, comprehending complex natures, forming primary propositions (including primary principles), and capturing relationships between them and building deductive reasoning (the role of intuition in deduction). Hence, intuition is the foundation for all primary stages of producing knowledge. It is active and important element of pure thinking (a priori) in human knowledge, and science. It fulfils these functions due to its specific epistemic properties. I also argue that intuition is not an autonomous and complete type of knowledge. Nor is it an intuitive thesis, but rather the basis of a justification for theses (including cogito). (shrink)

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.

Traditionally, intuitions about cases have been taken as strong evidence for a philosophical position. I argue that intuitions about concept deployment have epistemic value while intuitions about matters of fact have none. I argue this by use of the explanationist criterion which contends that S is justified in believing only those propositions which are part of the best explanation of S’s making the judgements she makes. This criterion accords with scientific practice. Bealer suggests, as a defence of intuition, that (...) naturalists rely on intuition in their arguments against intuition and thus that their arguments are self-undermining. But beliefs based on intuitions about the application of concepts, like ‘justification’ and ‘theory,’ are epistemically justified by the explanationist criterion. It is only intuitions about matters of fact which are rejected. Thus, epistemically-respectable intuitions about concepts are used to undermine intuitions about metaphysics. There is nothing self-undermining about this. (shrink)

Humans have two kinds of beliefs, intuitive beliefs and reflective beliefs. Intuitive beliefs are a fundamental category of cognition, defined in the architecture of the mind. They are formulated in an intuitive mental lexicon. Humans are also capable of entertaining an indefinite variety of higher‐order or‘reflective’propositional attitudes, many of which are of a credat sort. Reasons to hold reflective beliefs are provided by other beliefs that describe the source of the reflective belief as reliable, or that provide an explicit argument (...) in favour of the reflective belief. The mental lexicon of reflective beliefs includes not only intuitive, but also reflective concepts. (shrink)

Moderate pragmatic invariantism (MPI) is a proposal to explain why our intuitions about the truth-value of knowledge claims vary with stakes and salient error-possibilities. The basic idea is that this variation is due to a variation not in the propositions expressed (as epistemic contextualists would have it) but in the propositions conversationally implicated. I will argue that MPI is mistaken: I will distinguish two kinds of implicature, namely, additive and substitutional implicatures. I will then argue, first, that the (...) proponent of MPI cannot appeal to additive implicatures because they don’t affect truth-value intuitions in the required way. Second, I will argue that the proponent of MPI cannot appeal to substitutional implicatures either because, even though they may have the required effects on truth-value intuitions, they don’t feature in the relevant cases. It follows that MPI is mistaken because whether the proponent of MPI appeals to additive or substitutional implicatures, at least one of the claims that make up her view is false. Along the way, I will suggest principles about implicatures that should be relevant not only to MPI, but to pragmatic accounts of seemingly semantic intuitions in general. (shrink)

One can often hear that intuitions are standardly “appealed to”, “relied on”, “accounted for”, or “used as evidence” in ethics. How should we interpret these claims? I argue that the typical understanding is what Bernard Molyneux calls “descriptive evidentialism”: the idea that intuition-states are treated as evidence of their propositional contents in the context of justification. I then argue that descriptive evidentialism is false- on any account of what intuitions are. That said, I admit that ethicists frequently rely on intuitions (...) to clarify, persuade, discover, or to support things other than the intuitions’ contents. The contents of intuitions are also commonly used as starting premises of philosophical arguments. However claims about these practices need to be sharply distinguished from the prevalent dogma. (shrink)

To be a proposition is to possess propositional properties and to stand in inferential relations. This is the organic intuition, [OI], concerning propositional recognition. [OI] is not a circular characterization as long as those properties and relations that signal the presence of propositions are independently identified. My take on propositions does not depart from the standard approach widely accepted among philosophers of language. Propositions are truth-bearers, the arguments of truth-functions (‘not’, ‘or’, ‘and’, ‘if’), the arguments of propositional-attitude (...) verbs (‘know’, ‘believe’, ‘doubt’, ‘assume’, ‘reject’) and the kind of entity capable of standing in inferential relations (which are basically implication and incompatibility). The aim of this paper is to argue for [OI]. In doing so, I will show that even what is probably the most repeated argument against non-descriptivism, the so-called Frege-Geach Argument (FGA), presupposes something like [OI], a presupposition that Geach shares with his critics. Despite the huge success of FGA, a thorough analysis of the actual scope of this argument has yet to be given. I will provide such an analysis in section 3 below. In this paper, I argue that [OI] is a meta-theoretical principle which is neutral with respect to specific metaphysical debates about the nature of propositions, as well as specific proposals about the semantics of declarative sentences. (shrink)

This chapter begins with a weak understanding of intuitions as beliefs that do not result from more familiar sources, but that the person currently holds simply because the proposition believed seems true to the person upon due consideration. Nearly all moral inquiry makes significant use of moral intuitions. Reflective equilibrium is perhaps the most sophisticated intuitionistic approach to moral inquiry. It modifies the usual understanding of reflective equilibrium by arguing that inquirers must not merely mold their moral intuitions into a (...) coherent system via a process of mutual adjustment, but must also strive to enhance their competence at making moral judgments. It then considers and rejects an argument for the reliability of moral intuitions that takes them to provide evidence regarding our own moral concepts. Finally, it defends reflective equilibrium by arguing that there is no sensible alternative to accepting the intuitions we have after full reflection, which is, in essence, what reflective equilibrium does. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as (...) set-theoretic constructions out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

It might be that intuitions are central to philosophy, and it might be that this is true because when philosophers give case‐based arguments for philosophical claims (in published philosophy), the case verdict is typically (a) an intuited proposition and (b) either left undefended or defended on the grounds that it is an intuited proposition. This paper remains neutral on these global issues, however, and instead focuses on whether there is a nontrivial (or many‐membered) class of case‐based arguments in (...) philosophy in which the case verdict is defended by appeal to background beliefs and not on the grounds that it is an intuited proposition. The paper argues that the answer is affirmative by examining seven such arguments that are referred to as “paradigm cases” of case‐based arguments in which the verdict is justified via an appeal to intuition. (shrink)

It is alleged that the causal inertness of abstract objects and the causal conditions of certain naturalized epistemologies precludes the possibility of mathematical know- ledge. This paper rejects this alleged incompatibility, while also maintaining that the objects of mathematical beliefs are abstract objects, by incorporating a naturalistically acceptable account of ‘rational intuition.’ On this view, rational intuition consists in a non-inferential belief-forming process where the entertaining of propositions or certain contemplations results in true beliefs. This view is free of (...) any conditions incompatible with abstract objects, for the reason that it is not necessary that S stand in some causal relation to the entities in virtue of which p is true. Mathematical intuition is simply one kind of reliable process type, whose inputs are not abstract numbers, but rather, contemplations of abstract numbers. (shrink)

I agree with Sosa that intuitions are best thought of as attractions to believe a certain proposition merely on the basis of understanding it. However, I don't think it is constitutive of them that they supply strictly foundational justification for the propositions they justify, though I do believe that it is important that the intuition of a suitable subject be thought of as a prima facie justification for his intuitive judgment, independently of the reliability of his underlying capacities. I (...) also think that we need to be able to explain how mere understanding of a proposition can confer upon us an ability to have reliable intuitions, that we cannot simply take that idea for granted. And that when try to explain that, our best avenue for doing so is to take the intuitions as constituting the understanding of which they are said to be a manifestation. (shrink)

The present paper offers an analogical support for the use of rational intuition, namely, if we regard sense perception as a mental faculty that (in general) delivers justified beliefs, then we should treat intuition in the same manner. I will argue that both the cognitive marks of intuition and the role it traditionally plays in epistemology are strongly analogous to that of perception, and barring specific arguments to the contrary, we should treat rational intuition as a source of prima facie (...) justified beliefs. There are two main arguments against the intuition-perception analogy that I will consider and find lacking. First is that while we do use perceptions as evidence to believe certain propositions, in fact no one ever does use intuition evidentially. The second argument, stemming from experimental philosophy, grants that philosophers do use intuitions evidentially, but this practice is fatally unlike that of perception, in that perception yields warranted beliefs and intuition does not. (shrink)

Intuitively Austinian propositions are propositions that tell us something about a situation In this paper we will consider Austinian propositions and the associated notion that situations support infons which are to be found in situation theory and situation semantics We will try to tease out the consequences of taking the Austinian approach advocated in situation semantics as opposed to a very similar approach originally proposed by Davidson That is that event predicates where events are to be generally (...) conceived so as to be more like the notion of sit uation i e including states and processes are taken to have an argument position for an event We will do this comparison with respect to an area of data that was part of the original motivation for situation semantics naked in nitive perception complements see Barwise and Perry We will see that negative descriptions of events are one area where the Austinian and Davidsonian approaches make dif ferent predictions and at the end of the paper we will brie y consider negative event descriptions more generally with particular reference to the DRT analysis based on a Davidsonian approach as exempli ed by Amsili and Le Draoulec this volume.. (shrink)

The Substitution Anomaly is the failure of intuitively coreferential expressions of the corresponding forms “that S” and “the proposition that S” to be intersubstitutable salva veritate under certain ‘selective’ attitudinal verbs that grammatically accept both sorts of terms as complements. The Substitution Anomaly poses a direct threat to the basic assumptions of Millianism, which predict the interchangeability of “that S” and “the proposition that S”. Jeffrey King has argued persuasively that the most plausible Millian solution is to treat the selective (...) attitudinal verbs as lexically ambiguous , having distinct meanings associated with the different sorts of complement terms. In opposition this approach, I argue that there are independent reasons for maintaining the univocality of these verbs and that this can be done while accommodating the Substitution Anomaly and without sacrificing the transparency of the relevant attitude ascriptions. In particular, I show how, by employing an extended version of Edward Zalta’s system of intensional logic for abstract objects, one can construct for a regimented fragment ℜ of English containing the relevant vocabulary a semantical theory ℑ which (a) treats ℜ’s selective attitudinal verbs as univocal, (b) regards genuine terms as occurring transparently under such verbs in sentences of ℜ, and yet (c) predicts the occurrence of the Substitution Anomaly in ℜ. (shrink)

This paper defends the view that philosophical propositions are merely relatively true, i.e. true relative to a doxastic perspective defined at least in part by a non-inferential belief-acquiring method. Here is the strategy: first, the primary way that contemporary philosophers defend their views is through the use of rational intuition, and this method delivers non-inferential, basic beliefs which are then systematized and brought into reflective equilibrium. Second, Christian theologians use exactly the same methodology, only replacing intuition with revelation. Third, (...) intuition and revelation yield frequently inconsistent output beliefs. Fourth, there is no defensible reason to prefer the dictates of intuition to those of Christian revelation. Fifth, the resulting dilemma means that there are true philosophical propositions, but we can't know them (scepticism), or there are no philosophical propositions and the naturalists are right (nihilism), or relativism is true. I suggest that relativism is the most palatable of these alternatives. (shrink)

In response to the claim that certain epistemically defective inferences such as Moore’s argument lead us to the conclusion that we ought to abandon closure, Crispin Wright suggests that we can avoid doing so by distinguishing it from a stronger principle, namely transmission. Where closure says that knowledge of a proposition is a necessary condition on knowledge of anything one knows to entail it, transmission makes a stronger claim, saying that by reasoning deductively from known premises one can thereby acquire (...) knowledge of or justification for the conclusion. Wright’s thought is that in cases such as Moore what is really going on is a failure of transmission, not a failure of closure. The problem with this claim is that it relies on an outdated formulation of closure which few nowadays would find plausible. Once we stipulate that it is the intuitive closure principle that deserves our attention, it becomes far less obvious that the project of diagnosing what is wrong with arguments such as Moore in terms of transmission failure but not closure failure can be vindicated. In order to demonstrate this claim, I consider intuitive closure of propositional justification vs. transmission of propositional justification and concede that perhaps these can come apart in the way that Wright suggests. I then argue that despite this concession, we also need an answer to the question of whether intuitive closure for doxastic justification and transmission for doxastic justification can come apart. We need an answer to this question because our ultimate interest in these issues stems from our interest in whether knowledge obeys closure, not merely whether propositional justification does. I argue that, even on the assumption that there is transmission failure of propositional justification, there is no transmission failure of doxastic justification. And if this is true, then there is no transmission failure of knowledge either. The transmission failure diagnosis of Moore’s argument and its ilk is thus in trouble. (shrink)

The paper introduces a semantics for the language of propositional additive-multiplicative linear logic. It understands formulas as tasks that are to be accomplished by an agent (machine, robot) working as a slave for its master (user, environment). This semantics can claim to be a formalization of the resource philosophy associated with linear logic when resources are understood as agents accomplishing tasks. I axiomatically define a decidable logic TSKp and prove its soundness and completeness with respect to the task semantics in (...) the following intuitive sense: iff can be accomplished by an agent who has nothing but its intelligence (that is, no physical resources or external sources of information) for accomplishing tasks. (shrink)

Pierre Saint-Germier | : Nous discutons la thèse, acceptée par de nombreux théoriciens des intuitions rationnelles, selon laquelle ces dernières s’accompagnent d’une apparence de nécessité. L’existence d’intuitions rationnelles ayant pour objet des propositions contingentes jette un doute sur l’adéquation de cette thèse. Le problème peut trouver une solution dans le cadre d’une théorie faillibiliste des intuitions rationnelles, pourvu que l’on admette des illusions modales inéliminables. En nous appuyant sur une explication bidimensionnelle de l’a priori contingent, nous défendons une solution (...) différente consistant à reconsidérer le contenu des apparences associées aux intuitions rationnelles : ce que l’on pourrait prendre pour des apparences de nécessité n’est autre qu’une manifestation de leur caractère a priori. | : We discuss the view, accepted by many rational intuition theorists, that rational intuitions involve appearances of necessity. The fact that we can have rational intuitions of contingent propositions casts a doubt on the adequacy of this view. This fact can be accommodated by a fallibilist theory of rational intuitions, provided one accepts that these intuitions generate ineliminable modal illusions. Drawing on two-dimensional explanations of the contingent a priori, we defend an alternative view according to which the appearances involved in rational intuitions are not appearances of necessity but rather an expression of their a priori status. (shrink)

Guillaume Fréchette | : Il est généralement admis dans la littérature analytique sur l’intuition que celle-ci est principalement, ou même fondamentalement, une attitude propositionnelle. Partant de là, elle est aussi souvent caractérisée comme une croyance que P, comme la formation d’une croyance sans inférence que P, comme une impression que P, comme une impression intellectuelle que P, comme l’attitude consistant à être poussé, mu par P. Dans tous les cas, la spécificité de l’intuition reposerait au moins en partie sur les (...) propriétés doxastiques qui la distingue d’autres attitudes propositionnelles, comme savoir que P ou douter que P.Cette caractérisation de l’intuition semble à première vue incommensurable avec le concept d’intuition discuté dans la tradition phénoménologique, où l’intuition est caractérisée comme ce type d’expérience qui rend les objets présents, et peut certes être caractérisée en termes d’attitude propositionnelle, mais ne l’est pas essentiellement.Dans ce qui suit, je soulève quelques problèmes auxquels fait face la conception de l’intuition comme attitude propositionnelle. Partant de là, j’aimerais suggérer qu’en amendant cette idée, on peut développer une théorie de l’intuition qui peut employer de manière fructueuse les ressources de la phénoménologie et de la philosophie analytique. Cette suggestion montre que l’incommensurabilité des conceptions analytiques et phénoménologiques de l’intuition est superficielle, plus superficielle que ne le laissent entendre ses défenseurs respectifs. | : It is generally acknowledged in the analytic literature on intuitions that these are generally, or even fundamentally, propositional attitudes. For this reason, intuitions are often characterized as beliefs that P, as seeming that P, as the intellectual seeming that P, or as the attitude of being pushed by P. In all cases, the specificity of intuitions would consist at least in part in the doxastic properties that distinguishes them from other propositional attitudes, such as knowing that P or doubting that P.At first glance, this characterization of intuitions seems incommensurable with the concept of intuition discussed in the phenomenological tradition, where intuition is characterized as the type of experience that make objects present to us. While intuitions in this sense may be characterized as propositional attitudes, it doesn’t imply that they fundamentally are propositional.In the following paper, I raise some problems which faces the conception of intuitions as propositional attitudes. I would suggest that amending this idea allows to develop a theory of intuition which can use fruitfully both the resources of phenomenology and analytic philosophy. As a consequence, the alleged incommensurability of analytical and phenomenological conceptions of intuitions appears to be more superficial than it is usually taken to be defenders of intuitions as propositional attitudes. (shrink)

This paper discusses the meaning of expressed preference statements. A holistic explanation of preferences is proposed: preference relations between propositions are explained by preference relations over worlds. Only those world-preferences function as explanans which are maximally similar to the actual world, and which are maximally similar to each other. The concept of similarity as intuitive is rejected, and is interpreted instead with reference to causal structure: 'closest to the actual world' is interpreted as compatible with the causal structure of (...) the actual world, and 'most similar to each other' as sharing the same causal background conditions. (shrink)

This paper discusses the meaning of expressed preference statements. A holistic explanation of preferences is proposed: preference relations between propositions are explained by preference relations over worlds. Only those world-preferences function as explanans which are maximally similar to the actual world, and which are maximally similar to each other. The concept of similarity as intuitive is rejected, and is interpreted instead with reference to causal structure: 'closest to the actual world' is interpreted as compatible with the causal structure of (...) the actual world, and 'most similar to each other' as sharing the same causal background conditions. (shrink)

Kant imposa au public philosophique la distinction entre sensations, intuitions et concepts. Bolzano reprit la terminologie, mais pas la substance de cette dernière. Cet article examine la critique astucieuse et détaillée qu’adresse Bolzano à Kant et présente les grandes lignes de sa théorie. Tandis que ses célèbres propositions « en soi » lui permirent de traiter avec précision des notions de conséquence, d’équivalence, d’analyticité, etc., en évitant le psychologisme logique si commun à l’époque, les intuitions font figure d’exception. Elles (...) sont introduites en rapport direct avec l’activité mentale : les intuitions sont des pensées — les épisodes qui représentent notre conscience empirique directe — et constituent en fait la porte étroite de la philosophie de l’esprit bolzanienne.Kant impressed on the philosophical public the distinctions between sensations, intuitions and concepts. Bolzano followed him in terminology, but not in substance. This essay deals with Bolzano’s astute and detailed critique of Kant, and then outlines his own theory. His famous propositions « in themselves », allowed him to discuss, with precision, the concepts of logical consequence, equivalence, analyticity, etc., and to escape from common logical psychologism. Intuitions are an exception. They are introduced with heavy reliance on mental activity and are thought — they are episodes representing our direct empirical awareness — and they indeed constitute the narrow door of Bolzano’s philosophy of mind. (shrink)

In two early papers, Max Cresswell constructed two formal logics of propositional identity, pcr and fcr, which he observed to be respectively deductively equivalent to modal logics s4 and s5. Cresswell argued informally that these equivalences respectively “give . . . evidence” for the correctness of s4 and s5 as logics of broadly logical necessity. In this paper, I describe weaker propositional identity logics than pcr that accommodate core intuitions about identity and I argue that Cresswell’s informal arguments do not (...) firmly and without epistemic circularity justify accepting s4 or s5. I also describe how to formulate standard modal logics (k, s2, and their extensions) with strict equivalence as the only modal primitive. (shrink)

Resumen: El objetivo de este escrito es discutir el rol y validez de las intuiciones en el ámbito epistémico, en particular el rol de las denominadas intuiciones racionales y su característica de acceso a priori a ciertos ítems o de conocimiento o de creencia. Se analizará el supuesto de centralidad de las intuiciones en la argumentación filosófica. Este supuesto otorga un rol evidencial a una intuición I que un sujeto S tiene respecto a una proposición P. En otras palabras, dicha (...) intuición sería un proceso confiable para acceder al valor de verdad de dicha proposición, cumplir el rol de conductora de verdad. El criterio de conductora de verdad es asociado generalmente o una creencia o a un ítem de conocimiento, y el afirmar que una intuición es confiable implica que es una vía de acceso al valor de verdad de cierto ítem de conocimiento o de creencia. Siguiendo a Cappelen, en este escrito afirmo que el supuesto de centralidad es errado, en primer lugar, porque una intuición racional no tiene por objetivo fundamentar, justificar o evidenciar la verdad o falsedad de una creencia o conocimiento, sino más bien cumplir un rol propedéutico y transmisor previo a la determinación de ese valor de verdad. Hay, por tanto, un criterio de dispensabilidad en el rol epistémico que le compete a una intuición y un rol de falseador epistémico indirecto vía descarte de hipótesis.: The aim of this paper is to discuss the role and validity of intuitions in the epistemic field, in particular therole of so-called rational intuitions and their characteristic of access to certain items of a priori knowledgeor belief. The assumption of centrality of intuitions in philosophical argumentation will be analyzed. Thisassumption gives an evidential role to an intuition I that a subject S has regarding a proposition P. In otherwords, this intuition would be a reliable process to access the truth value of such a proposition, fulfillingthe role of conductor of truth. The truth-conduciveness criterion is usually associated either with a beliefor with an item of knowledge, and affirming that an intuition is reliable implies that it is a way of accessingthe truth value of a certain item of knowledge or belief. Following Cappelen, here I affirm that theassumption of centrality is wrong, firstly because a rational intuition is not intended to ground, justify or evidence the truth or falsity of a belief or knowledge, but rather to fulfill a propaedeutic role andtransmitter role before the determination of that truth value. There is, therefore, a criterion of dispensability in the epistemic role that corresponds to an intuition and an indirect epistemic defeater rolevia discarding hypotheses. (shrink)

A central and fundamental problem in moral philosophy is that of understanding how moral principles and theories can be justified. It involves finding rational solutions to both theoretical problems and to substantial moral questions . According to Moral Intuitionism, some normative judgments, usually called moral intuitions, justify moral principles and theories. Typically, moral intuitionists promise a method that is supposed to yield progress toward finding the answers to ethical disputes and controversies. ;I argue, first, that all versions of moral intuitionism (...) must assume that there are moral facts and that moral judgments are descriptions of these facts. Next, I consider whether these assumptions are defensible. I focus on an argument based on a claim that we have no reason to believe that any moral facts exist, because no such facts need to be postulated in our best explanations of anything. I analyze several recent replies to this line of attack, and I argue that none meets the challenge. ;Finally, I propose a reply which seems to meet a number of relevant theoretical requirements: it allows us to say that some moral judgments are true because they correspond to facts, and those judgments are sometimes justified. I argue, however, that even this version of moral realism has serious flaws. It implies that the content of moral language is community relative. That is, such sentences as 'Jews ought to be exterminated' have to be treated as ambiguous, expressing several different propositions, some true and some false. In consequence, when a Nazi issues such a judgment, he may be making a claim that is neither false nor unjustified. ;I conclude that Moral Intuitionism does not help to reach rational solutions to moral disputes and disagreements. Therefore, this view should be rejected, and we should look elsewhere for a method that would solve both theoretical and substantial problems of justification in ethics. (shrink)

We use formal semantic analysis based on new constructions to study abstract realizability, introduced by Läuchli in 1970, and expose its algebraic content. We claim realizability so conceived generates semantics-based intuitive confidence that the Heyting Calculus is an appropriate system of deduction for constructive reasoning.Well-known semantic formalisms have been defined by Kripke and Beth, but these have no formal concepts corresponding to constructions, and shed little intuitive light on the meanings of formulae. In particular, the completeness proofs for these semantics (...) do not generate confidence in the sufficiency of the Heyting Calculus, since we have no reason to believe that every intuitively constructive truth is valid in the formal semantics.Läuchli has proved completeness for a realizability semantics with formal concepts analogous to constructions. We argue in some detail that, in spite of a certain inherent inexactness of the analogy, every intuitively constructive truth is valid in Läuchli semantics, and therefore the Heyting Calculus is powerful enough to prove all constructive truths. Our argument is based on the postulate that a uniformly constructible object must be communicable in spite of imprecision in our language, and that the permutations in Läuchli's semantics represent conceivable imprecision in a language, while allowing a certain amount of freedom in choosing the particular structure of the language.We give a detailed generalization of Läuchli's proof of completeness for the propositional part of the Heyting Calculus, in order to make explicit constructive and algebraic content.In our treatment, we establish several new results about Läuchli models. We show how to extend the sconing and gluing constructions familiar from Kripke and Frame semantics and Topos theory, to Läuchli models, and use them to give an algebraic approach to countermodel construction. In particular, the Läuchli arguments are given without the restriction to the integers, Z, as a group of permutations, which makes much of the coding scheme used in Läuchli's original paper transparent.We also make use of a new propositions-as-types syntax for the Heyting calculus, with limited nondeterminism, in which validity of formulae can be decided without loop-detection. (shrink)

Philosophers of language have long recognized that in opaque contexts, such as those involving propositional attitude reports, substitution of co-referring names may not preserve truth value. For example, the name ‘Clark Kent’ cannot be substituted for ‘Superman’ in a context like:1. Lois believes that Superman can flywithout a change in truth value. In an earlier paper, Jennifer Saul demonstrated that substitution failure could also occur in ‘simple sentences’ where none of the ordinary opacity-producing conditions existed, such as:2. Superman leaps more (...) tall buildings than Clark Kent does.Accounts focusing on opacity were unable to explain our ‘anti-substitution intuitions’ in such cases.In Simple Sentences, Substitution, and Intuitions, Saul extends her earlier work. She provides a comprehensive presentation and criticism of recent accounts of simple sentence substitution failure, and proposes a new approach drawing on psychological evidence about cognitive processing. Saul's purpose is not merely to solve the substitution puzzle cases, but to make …. (shrink)

According to the standard definition, a first-order theory is categorical if all its models are isomorphic. The idea behind this definition obviously is that of capturing semantic notions in axiomatic terms: to be categorical is to be, in this respect, successful. Thus, for example, we may want to axiomatically delimit the concept of natural number, as it is given by the pre-theoretic semantic intuitions and reconstructed by the standard model. The well-known results state that this cannot be done within first-order (...) logic, but it can be done within second-order one. Now let us consider the following question: can we axiomatically capture the semantic concept of conjunction? Such question, to be sure, does not make sense within the standard framework: we cannot construe it as asking whether we can form a first-order (or, for that matter, whatever-order) theory with an extralogical binary propositional operator so that its only model (up to isomorphism) maps the operator on the intended binary truth-function. The obvious reason is that the framework of standard logic does not allow for extralogical constants of this type. But of course there is also a deeper reason: an existence of a constant with this semantics is presupposed by the very definition of the framework1. Hence the question about the axiomatic capturability of concunction, if we can make sense of it at all, cannot be asked within the framework of standard logic, we would have to go to a more abstract level. To be able to make sense of the question we would have to think about a propositional ‘proto-language’, with uninterpreted logical constants, and to try to search out axioms which would fix the denotations of the constants as the intended truth-functions. Can we do this? It might seem that the answer to this question is yielded by the completeness theorem for the standard propositional calculus: this theorem states that the axiomatic delimitation of the calculus and the semantic delimitation converge to the same result.. (shrink)

Epistemic invariantism, or invariantism for short, is the position that the proposition expressed by knowledge sentences does not vary with the epistemic standard of the context in which these sentences can be used. At least one of the major challenges for invariantism is to explain our intuitions about scenarios such as the so-called bank cases. These cases elicit intuitions to the effect that the truth-value of knowledge sentences varies with the epistemic standard of the context in which these sentences can (...) be used. In this paper, I will defend invariantism against this challenge by advocating the following, somewhat deflationary account of the bank case intuitions: Readers of the bank cases assign different truth-values to the knowledge claims in the bank cases because they interpret these scenarios such that the epistemic position of the subject in question differs between the high and the low standards case. To substantiate this account, I will argue, first, that the bank cases are underspecified even with respect to features that should uncontroversially be relevant for the epistemic position of the subject in question. Second, I will argue that readers of the bank cases will fill in these features differently in the low and the high standards case. In particular, I will argue that there is a variety of reasons to think that the fact that an error-possibility is mentioned in the high standards case will lead readers to assume that this error-possibility is supposed to be likely in the high standards case. (shrink)

Bolzano incorporated Kant's distinction between intuitions and concepts into the doctrine of propositions by distinguishing between conceptual (Begriffssätze an sich) and intuitive propositions (Anschauungssätze an sich). An intuitive proposition contains at least one objective intuition, that is, a simple idea that represents exactly one object; a conceptual proposition contains no objective intuition. After Bolzano, philosophers dispensed with the distinction between conceptual and intuitive propositions. So why did Bolzano attach philosophical importance to it? I will argue that, ultimately, (...) the value of the distinction lies in the fact that conceptual and intuitive truths have different objective grounds: if a conceptual truth is grounded at all, its ground is a conceptual truth. The difference in grounds between conceptual and intuitive truths motivates Bolzano's criticism of Kant's view that intuition plays the fundamental role in mathematics, a conceptual science by Bolzano's lights. (shrink)

I develop here a novel version of the Fregean view of belief ascriptions (i.e., sentences of the form ‘S believes that p’) and I explain how my view accounts for various problem cases that many philosophers have supposed are incompatible with Fregeanism. The so-called problem cases involve (a) what Perry calls essential indexicals and (b) de re ascriptions in which it is acceptable to substitute coreferential but non-synonymous terms in belief contexts. I also respond to two traditional worries about what (...) the sense of a proper name could be, and I explain how my view provides intuitively pleasing solutions to Kripke’s ‘London’–‘Londres’ puzzle and his Paderewski puzzle. Finally, in addition to defending my view, I also argue very briefly against Russellian alternatives to Fregeanism. (shrink)

L’argumentation morale implique de donner des raisons de soutenir des conclusions normatives, et quand le fondement de ces raisons est mis en question, un effort de justification systématique est alors exigé. L’article discute trois modèles de justification philosophique : le modèle des « décisions de principe » proposé par Richard Hare ; deux versions de l’intuitionnisme philosophique ; le modèle de l’équilibre réflexif de John Rawls. Il défend la thèse qu’une version modifiée de « l’équilibre réflexif large », en dépit (...) des critiques qui lui ont été adressées sur la base d’études empiriques portant sur les jugements moraux, reste la stratégie la plus sûre pour fournir des justifications aux propositions morales. (shrink)

This paper discusses an influential view of moral intuition, according to which moral intuition is a kind of intellectual perception. The core claim of this quasi-perceptualist theory is that intuitions are like perceptual experiences in presenting propositions as true. In this work, it is argued that quasi-perceptualism is explanatorily superfluous in the moral domain: there is no need to postulate a sui generis quasi-perceptual mental state to account for moral intuition since rival theories can explain the salient mental features (...) of moral intuition. The essay is structured into three main sections. In a first one, I introduce the quasi-perceptualist view of moral intuition. In the second, I show that ordinary accounts can explain the salient psychological features of moral intuition without referring to intellectual perceptions. Finally, in the third section, I discuss whether moral intuitions have presentational phenomenology like perceptual experiences. (shrink)

The idea that sentences can be closer or further apart in meaning is highly intuitive. Not only that, it is also a pillar of logic, semantic theory and the philosophy of science, and follows from other commitments about similarity. The present paper proposes a novel way of comparing the ‘distance’ between two pairs of propositions. We define ‘\ is closer in meaning to \ than \ is to \’ and thereby give a precise account of comparative propositional similarity facts. (...) Notably, our definition eschews metric assumptions, which are unrealistic in most applications of interest. (shrink)

Traditional philosophy relies heavily on the use of rational intuition to establish theses and conclusions. This essay takes up the matter of intuition and argues for a stunning conclusion: appeal to rational intuition is epistemically justified only if a form of foundationalism is true. This type of foundationalism is the thesis that there is at least one proposition whose justification depends on nothing other than itself. The article also argues that unless we can establish that some intuitions are justified, philosophy (...) as an enterprise that provides non-empirical knowledge is impossible. Not to put too fine a point on it then: philosophy is possible only if foundationalism is true. Whether this should be construed as the strongest possible defense of foundationalism, or the greatest objection to the pretensions of philosophy is left to the reader. (shrink)

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of (...) papers which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

The aim of this paper is to survey a number of features which are constitutive of the Millian account of attitude-ascription and which I take to be irremediably defective. The features in question, some of which have not been fully appreciated, relate mainly to the failure of that account to accommodate certain fundamental aspects of our ordinary practise of attitude attribution. I take it that one’s definitive method of assessment of a given semantical theory consists in checking out whether or (...) not the theory is able to accommodate our pre-theoretical linguistic intuitions; to use Keith Donnellan’s phrase, such intuitions are the bottom line in philosophical argumentation about language. And I argue that the Millian appeal to modes of presentation taken both as semantically irrelevant and external to the singular contents believed, known, etc., as well as the associated pragmatic strategy employed to discard our ground-floor judgements, are insufficient to palliate the manifest implausibility of a number of Millian descriptions of our attitudes, especially descriptions of our second-order attitudes. (shrink)

The debate between scientific realists and anti-realists is now a classic debate in the Philosophy of Science. Van Fraassen (2002) has suggested that the positions that take part in the debate involve not only different doxastic attitudes regarding some propositions, but different epistemic stances, that is, different sets of commitments, values and epistemic strategies. The formulation of this debate in terms of epistemic stances and the voluntarist epistemology it motivates make it plausible to think of it as a deep (...) disagreement. This kind of disagreements cannot be settled by reason alone because they lack the conditions that are necessary for arguments to work. I argue, however, that the attempts to use arguments can have an epistemic value in these contexts, as they can help reveal intuitions. I adopt the view on intuitions put forward by Chudnoff (2014), according to which they are mental states capable of motivating epistemic action. I claim that, while the attempt to utter an argument cannot convince an opponent of changing her mind, it can make her perform some epistemic actions and, thus, bring out some of her intuitions. To show how arguments can work in this way, I take as a study case one of the main realist arguments: the No Miracles Argument. (shrink)