We raise an issue of circularity in the argument for the completeness of first-order logic. An analysis of the problem sheds light on the development of mathematics, and suggests other possible directions for foundational research.

I argue that logical understanding is not propositional knowledgebut is rather a species of practical knowledge. I further arguethat given the best explanation of logical understanding someversion or another of inferential role semantics must be the correct account of the determinants of logical content.

My purpose in this essay is to clarify the notion of explanation by computer simulation in artificial intelligence and cognitive science. My contention is that computer simulation may be understood as providing two different kinds of explanation, which makes the notion of explanation by computer simulation ambiguous. In order to show this, I shall draw a distinction between two possible ways of understanding the notion of simulation, depending on how one views the relation in which a computing system that performs (...) a cognitive task stands to the program that the system runs while performing that task. Next, I shall suggest that the kind of explanation that results from simulation is radically different in each case. In order to illustrate the difference, I will point out some prima facie methodological difficulties that need to be addressed in order to ensure that simulation plays a legitimate explanatory role in cognitive science, and I shall emphasize how those difficulties are very different depending on the notion of explanation involved. (shrink)

What is a bias? Standard philosophical views of both implicit and explicit bias focus this question on the representations one harbours, for example, stereotypes or implicit attitudes, rather than the ways in which those representations are manipulated. I call this approach representationalism. In this paper, I argue that representationalism taken as a general theory of psychological social bias is a mistake, because it conceptualizes bias in ways that do not fully capture the phenomenon. Crucially, this view fails to capture a (...) heretofore neglected possibility of bias, one that influences an individual’s beliefs about or actions toward others, but is, nevertheless, nowhere represented in that individual’s cognitive repertoire. In place of representationalism, I develop a functional account of psychological social bias which characterizes it as a mental entity that takes propositional mental states as inputs and returns propositional mental states as outputs in a way that instantiates social-kind inductions. This functional characterization leaves open which mental states and processes bridge the gap between the inputs and outputs, ultimately highlighting the diversity of candidates that can serve this role. (shrink)

Understanding has received growing interest from epistemologists in recent years, but no consensus regarding its epistemic properties has yet been reached. This paper extracts, but also rejects, candidates of epistemic properties for construing an epistemological model of understanding from the writings of epistemologists participating in the current discussion surrounding that state. On the basis of these results, a suggestion is put forward according to which understanding is a non-basic epistemic state of warrant rather than knowledge. It is argued that this (...) move provides a satisfactory conciliatory answer to the central question whether understanding is a factive epistemic state. Some differences between understanding and knowledge are recorded along the way: for instance, that in contrast to knowledge, understanding does not require belief and that, even though neither knowledge nor understanding iterates, so that a subject can both know without knowing that she knows, as well as understanding without understanding that she understands, the reasons for the failure is different. (shrink)

In this essay we argue that reasoning can sometimes generate epistemic justification, rather than merely transmitting justification that the subject already possesses to new beliefs. We also suggest a way to account for it in terms of the relationship between epistemic normative requirements, justification and cognitive capacities.

The uses and interpretation of reductio ad absurdum argumentation in mathematical proof and discovery are examined, illustrated with elementary and progressively sophisticated examples, and explained. Against Arthur Schopenhauer’s objections, reductio reasoning is defended as a method of uncovering new mathematical truths, and not merely of confirming independently grasped mathematical intuitions. The application of reductio argument is contrasted with purely mechanical brute algorithmic inferences as an art requiring skill and intelligent intervention in the choice of hypotheses and attribution of contradictions deduced (...) to a particular assumption in a contradiction’s derivation base within a reductio proof structure. (shrink)

There are two central kinds of epistemological mistakes: believing things you shouldn’t, and failing to believe things that you should. The knowledge-first program offers a canonical explanation for the former: if you believe something without knowing it, you violate the norm to believe only that which you know. But the explanation does not extend in any plausible way to a story about what’s wrong with suspending judgment when one ought to believe. In this paper I explore prospects for a knowledge-centering (...) account of positive epistemic norms that describe epistemic duties to believe. (shrink)

The justificatory force of empirical reasoning always depends upon the existence of some synthetic, a priori justification. The reasoner must begin with justified, substantive constraints on both the prior probability of the conclusion and certain conditional probabilities; otherwise, all possible degrees of belief in the conclusion are left open given the premises. Such constraints cannot in general be empirically justified, on pain of infinite regress. Nor does subjective Bayesianism offer a way out for the empiricist. Despite often-cited convergence theorems, subjective (...) Bayesians cannot hold that any empirical hypothesis is ever objectively justified in the relevant sense. Rationalism is thus the only alternative to an implausible skepticism. (shrink)

The paper argues for a version of the Guise of the Good thesis, namely the claim that if someone acts as the result of practical reasoning, then she takes her premises to jointly provide a sufficient and undefeated reason for her action. I argue for this by showing, first, that it is an application of Boghossian's Taking Condition on inference to practical reasoning and, second, that the motivations for the Taking Condition for theoretical reasoning carry over to practical reasoning. I (...) end by arguing that this version of the Guise of the Good withstands standard objections. (shrink)

It is often assumed that neo-Aristotelian virtue ethics postulates an obligation to be a good human being and that it derives further obligations from this idea. The paper argues that this assumption is false, at least for Philippa Foot’s view. Our argument blocks a widespread objection to Foot’s view, and it shows how virtue ethics in general can neutralize such worries.

In many actual arguments, the conclusion seems intuitively to follow from the premisses, even though we cannot show that it follows logically. The traditional approach to evaluating such arguments is to suppose that they have an unstated premiss whose explicit addition will produce an argument where the conclusion does follow logically. But there are good reasons for doubting that people so frequently leave the premisses of their arguments unstated. The inclination to suppose that they do stems from the belief that (...) the only way in which an argument's conclusion can follow definitely from its premisses is to follow logically. I argue that this belief is mistaken. I propose a revision of the current generic conception of logical consequence, and its variant specifications, to avoid the paradoxes of strict implication. The revised conception can then be naturally extended to include also what we might call 'enthymematic consequence'. This concept is a kind of consequence, whose properties merit investigation. (shrink)

In the first chapter of his Knowledge and Lotteries, John Hawthorne argues that thinkers do not ordinarily know lottery propositions. His arguments depend on claims about the intimate connections between knowledge and assertion, epistemic possibility, practical reasoning, and theoretical reasoning. In this paper, we cast doubt on the proposed connections. We also put forward an alternative picture of belief and reasoning. In particular, we argue that assertion is governed by a Gricean constraint that makes no reference to knowledge, and that (...) practical reasoning has more to do with rational degrees of belief than with states of knowledge. (shrink)

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

The idea of the uniformity of nature, as a solution to the problem of induction, has at least two contemporary versions: natural kinds and natural necessity. Then there are at least three alternative ontological ideas addressing the problem of induction. In this paper, I articulate how these ideas are used to justify the practice of inductive inference, and compare them, in terms of their applicability, to see whether each of them is preferred in addressing the problem of induction. Given the (...) variety of contexts in which inductive inferences are made, from natural science to social science and to everyday thinking, I suggest that no singular idea is absolutely preferred, and a proper strategy is probably to welcome the plurality of ideas helpful to induction, and to take pragmatic considerations into account, in order to judge in every single case. (shrink)

We argue that Hilary Putnam's pragmatism provides an epistemological perspective which can help us understand--and can positively inform--the development of informal logic.

What is it that makes someone wise, or one person wiser than another? I argue that wisdom consists in knowledge of how to live well, and that this knowledge of how to live well is constituted by various further kinds of knowledge. One concern for this view is that knowledge is not needed for wisdom but rather some state short of knowledge, such as having rational or justified beliefs about various topics. Another concern is that the emphasis on knowing how (...) to live well fails to do justice to the ancient tradition of ‘theoretical wisdom’. I address both of these concerns in filling out the account. (shrink)

Brandom’s inferentialism offers, in many ways, a radically new approach to old issues in semantics and the theory of intentionality. But, in one respect at least, it clings tenaciously to the mainstream philosophical tradition of the middle years of the twentieth century. Against the theory’s natural tendencies, Brandom aligns it with the ’linguistic turn’ that philosophy took in the middle of the last century by insisting, in the face of considerable opposing evidence, that intentionality is the preserve of those who (...) can offer and ask for reasons and thus of language users alone. In this paper, I argue that there is no good reason for giving inferentialism a linguistic twist, and that, in doing so, Brandom is forced to make claims which are implausible in themselves and lead him, in the attempt to mitigate them, to a number of doubtful expedients. (shrink)

Identifying the missing or unstated premisses of arguments is important, because their logical quality depends on them. Textbook authors regard enthymematic syllogisms (e.g., "Elvis is a man, so Elvis is mortal") as having an unstated premiss - the major premiss (e.g., "All men are mortal"). They are said to be such because these syllogisms become formally valid when the major premiss is added (i.e., it is a gap-filler). I argue that unstated major premises are not gap-fillers: they support a part (...) of the argument that is already given implicitly - the inference claim ("If the premisses are true then the conclusion is true"). As such, their logical status is the same as that of an unstated proposition that supports the minor premiss, which is not part of the argument. Therefore, the so-called "major premiss" is not an unstated premiss of the enthymeme. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

In the wake of Frege's attack on psychologism and the subsequent influence of Logical Positivism, psychological considerations in philosophy came to be viewed with suspicion. Philosophical questions, especially epistemological ones, were viewed as 'logical' questions, and logic was sharply separated from psychology. Various efforts have been made of late to reconnect epistemology with psychology. But there is little agreement about how such connections should be made, and doubts about the place of psychology within epistemology are still much in evidence. It (...) therefore remains to be clarified just how such links should be established, and what impact they would have on the direction of epistemology. (shrink)

Wittgenstein's Tractatus is widely regarded as a masterpiece, a brilliant, if flawed attempt to achieve an ‘unassailable and definitive … final solution’ to a wide range of philosophical problems. Yet, in a 1931 notebook, Wittgenstein confesses: ‘I think there is some truth in my idea that I am really only reproductive in my thinking. I think I have never invented a line of thinking but that it was always provided for me by someone else’. This disarming self-assessment is, I believe (...) accurate. The Tractatus, despite making significant advances on the logical doctrines of Frege and Russell, is essentially a derivative work—Wittgenstein, as he elsewhere acknowledges, provided a fertile soil in which the original seeds of other peoples' thought grew in a unique way. In a play of mine, published in Philosophy (1999), Wittgenstein fails a tough viva on the Tractatus because he fails to properly support some of the weak arguments in the work and because of his inadequate acknowledgment of sources. The present paper further explores some of the antecedents of Wittgenstein's early views and answers some criticisms of the play. (shrink)

Epistemology has recently witnessed a number of efforts to rehabilitate rationalism, to defend the existence and importance of a priori knowledge or warrant construed as the product of rational insight or apprehension (Bealer 1987; Bigelow 1992; BonJour 1992, 1998; Burge 1998; Butchvarov 1970; Katz 1998; Plantinga 1993). This effort has sometimes been coupled with an attack on naturalistic epistemology, especially in BonJour 1994 and Katz 1998. Such coupling is not surprising, because naturalistic epistemology is often associated with thoroughgoing empiricism and (...) the rejection of the a priori. In this paper, however, I shall present a conception of naturalistic epistemology that is entirely compatible with a priori justification or knowledge. The resulting conception, I claim, gives us a better appreciation of the respective merits of the rational and the empirical, as well as a better understanding of how moderate epistemological naturalism comports, at least in principle, with moderate rationalism. This paper defends moderate rationalism; but it does not defend everything rationalists have often wanted, only what it is reasonable to grant them. (shrink)

If we use “introspection” just as a label for that essentially first-person way we have of knowing about our own mental states, then it’s pretty obvious that if there is such a thing as introspection, we know on that basis what we believe, and want, and intend, at least in many ordinary cases. I assume there is such a thing as introspection. So I think the hard question is how it works. But can you know that you know on the (...) basis of introspection? Well, that all depends on how introspection works. I present one account of how introspection works and argue that on that account, you can know that you know ordinary empirical things on the basis of introspection. As far as how we know about them is concerned, there’s no principled difference between the factive and non-factive mental states. (shrink)

Understanding enjoys a special kind of value, one not held by lesser epistemic states such as knowledge and true belief. I explain the value of understanding via a seemingly unrelated topic, the implausibility of veritism. Veritism holds that true belief is the sole ultimate epistemic good and all other epistemic goods derive their value from the epistemic value of true belief. Veritism entails that if you have a true belief that p, you have all the epistemic good qua p. Veritism (...) is a plausible and widely held view; I argue that it is untenable. I argue that integration among beliefs possesses epistemic value independent from the good of true belief, and so has value veritism cannot account for. I argue further that this integration among beliefs comprises the distinctive epistemic value of understanding. (shrink)

El excepcionalismo de la lógica asume que la lógica tiene un estatus epistemológico privilegiado, es normativa y no es revisable. El antiexcepcionalismo, en cambio, rechaza ese carácter excepcional. Recientemente, se ha sugerido que el problema de la adopción de reglas lógicas es transversal a la discusión que se da entre excepcionalistas y antiexcepcionalistas. En este trabajo defiendo la tesis contraria. En particular, sostengo que, si el problema de la adopción de reglas es un problema central para la lógica como disciplina, (...) el antiexcepcionalismo debe ser incorrecto. En caso contrario, debe ser incorrecta la postura excepcionalista. Evalúo, además, consecuencias directas del análisis presente sobre la discusión en torno al monismo y el pluralismo de la lógica. (shrink)

I present an account of deterministic chance which builds upon the physico-mathematical approach to theorizing about deterministic chance known as 'the method of arbitrary functions'. This approach promisingly yields deterministic probabilities which align with what we take the chances to be---it tells us that there is approximately a 1/2 probability of a spun roulette wheel stopping on black, and approximately a 1/2 probability of a flipped coin landing heads up---but it requires some probabilistic materials to work with. I contend that (...) the right probabilistic materials are found in reasonable initial credence distributions. I note that, with some normative assumptions, the resulting account entails that deterministic chances obey a variant of Lewis's 'principal principle'. I additionally argue that deterministic chances, so understood, are capable of explaining long-run frequencies. (shrink)

This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...) which satisfy all of Anderson and Belnap’s selection criteria, provided the truth-constant known as the Ackermann constant is available. One of the selection criteria related to expressive strength is having an “enthymematic” conditional for which a deduction theorem holds. I argue that this allows for a new interpretation of Anderson and Belnap’s take on logical consequence, namely as committing them to pluralism about logical consequence. (shrink)

This paper argues that adopting a particular dialogical account of logical consequence quite directly gives rise to an interesting form of logical pluralism, the form of pluralism in question arising out of the requirement that deductive proofs be explanatory.

The exegesis of sacred rites in the Talmud is subject to a restriction on the iteration and composition of inference rules. In order to determine the scope and limits of that restriction, the sages of the Talmud deploy those very same inference rules. We present the remarkable features of this early use of self-reference to navigate logical constraints and uncover the hidden complexity behind the sages? arguments. Appendix 11 contains a translation of the relevant sugya. 1Hebrew and Aramaic transliteration approximates (...) traditional Sephardic pronunciation, which is closer to academic standard transliteration than the various Ashkenazic pronunciations, yet is legible. Specific references follow the convention of folio (number), side (a or b), number of lines from the top or (if negative) bottom of the page. (shrink)

A new kind of debate about the normative error theory has emerged. Whereas longstanding debates have fixed on the error theory’s plausibility, this new debate concerns the theory’s believability. Bart Streumer is the chief proponent of the error theory’s unbelievability. In this brief essay, we argue that Streumer’s argument prevails against extant critiques, and then press a criticism of our own.

This essay accounts for the notion of _Lebensform_ by assigning it a _logical _role in Wittgenstein’s later philosophy. Wittgenstein’s additions of the notion to his manuscripts of the _PI_ occurred during the initial drafting of the book 1936-7, after he abandoned his effort to revise _The Brown Book_. It is argued that this constituted a substantive step forward in his attitude toward the notion of simplicity as it figures within the notion of logical analysis. Next, a reconstruction of his later (...) remarks on _Lebensformen_ is offered which factors in his reading of Alan Turing’s “On computable numbers, with an application to the _Entscheidungsproblem_“, as well as his discussions with Turing 1937-1939. An interpretation of the five occurrences of _Lebensform_ in the PI is then given in terms of a logical “regression” to _Lebensform_ as a fundamental notion. This regression characterizes Wittgenstein’s mature answer to the question, “What is the nature of the logical?”. (shrink)

Anti-exceptionalism about logic takes logic to be, as the name suggests, unexceptional. Rather, in naturalist fashion, the anti-exceptionalist takes logic to be continuous with science, and considers logical theories to be adoptable and revisable accordingly. On the other hand, the Adoption Problem aims to show that there is something special about logic that sets it apart from scientific theories, such that it cannot be adopted in the way the anti-exceptionalist proposes. In this paper I assess the damage the Adoption Problem (...) causes for anti-exceptionalism, and show that it is also problematic for exceptionalist positions too. My diagnosis of why the Adoption Problem affects both positions is that the self-governance of basic logical rules of inference prevents them from being adoptable, regardless of whether logic is exceptional or not. (shrink)

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through a detailed analysis (...) of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)

Modest Infinitism -/- Jeremy Fantl -/- Abstract -/- Infinitism, a theory of justification most recently developed and defended by Peter Klein, is the view that justification is a matter of having an infinite series of non-repeating reasons for a proposition. I argue that infinitism is preferable to other theories (like foundationalism) in that only infinitism can plausibly account for two important features of justification: 1) that it admits of degrees and 2) that a concept of complete justification makes sense.

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...) have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

In this paper, we develop an account of the justification thinkers have for employing certain basic belief-forming methods. The guiding idea is inspired by Reichenbach's work on induction. There are certain projects in which thinkers are rationally required to engage. Thinkers are epistemically justified in employing any belief-forming method such that "if it doesn't work, nothing will" for successfully engaging in such a project. We present a detailed account based on this intuitive thought and address objections to it. We conclude (...) by commenting on the implications that our account may have for other important epistemological issues and debates. (shrink)

Simon Blackburn has shown that there is an analogy between the problem of moral motivation in ethics (how can moral reasons move us?) and the problem of what we might call the power of logical reasons (how can logical reasons move us, what is the force of the 'logical must?'). In this paper, I explore further the parallel between the internalism problem in ethics and the problem of the power of logical reasons, and defend a version of psychologism about reasons, (...) although not one of the Humean form. I discuss two forms of cognitivism: (i) a pure cognitivism and 'hard' realism modelled after Dancy's parallel conception in ethics: when we grasp logical reasons we grasp facts, which are directly known to us; (ii) a Kantian form of cognitivism, based on the idea that compulsion by reason goes with the capacity of reflection. I argue that (i) is implausible, and that (ii) fails to meet the internalist requirement. One would then seem to be left with what Dancy calls, about practical reasoning, psychologism about reasons. I sketch what might be such a psychologism. But it fails to account for the objectivity of logical reasons. I argue that the relevant state here is a form of dispositional knowledge of logical reasons. (shrink)

This article discusses the arguments against associating epistemic responsibility with the ordinary notion of agency. I examine the various 'Kantian' views which lead to a distinctive conception of epistemic agency and epistemic responsibility. I try to explain why we can be held responsible for our beliefs in the sense of obeying norms which regulate them without being epistemic agents.

The rhetorical power of emotions came to philosophers’ attention early on in the Western tradition: emotions can exert a powerful effect on what an audience comes to believe or decides to do. It is has been surprisingly neglected since, despite abundant philosophical literature on the emotions. This paper focuses on the mechanisms and propriety of emotional persuasion. Our central focus is an apparent tension between two claims. Persuasion should succeed by getting people convinced on grounds that contribute to justifying their (...) inclination to favour what the speaker proposes; and It is not required that persuasion's methods be dispassionate. They seem in tension, and yet dropping either seems unattractive. In particular, dropping ‘ANTI-AUSTERITY’ could commit us to a position that tends to elevate further in public deliberation the contributions of already privileged voices, and to marginalise the less privileged. This paper highlights what we would need to believe, in order to hold these two claims together. In order for emotions to contribute to justification, I argue, they must be capable themselves of being epistemically justified, and of transmitting that epistemic justification to the beliefs to which they help give rise. This in turn requires that emotions have representational contents, involve the subject's accepting those contents as true, be candidates for epistemic justification, and be such that their contents can properly feature as premises in inferences that justify the subject in believing their conclusions. Such are the striking philosophical implications of some everyday observations about the persuasive use of emotions. (shrink)

I object to Markos Valaris’s thesis that reasoning requires a belief that your conclusion follows from your premisses. My counter-examples highlight the important but neglected role of suppositional reasoning in the basis of so much of what we know.

Linguists take the intuitive judgments of speakers to be good evidence for a grammar. Why? The Chomskian answer is that they are derived by a rational process from a representation of linguistic rules in the language faculty. The paper takes a different view. It argues for a naturalistic and non-Cartesian view of intuitions in general. They are empirical central-processor responses to phenomena differing from other such responses only in being immediate and fairly unreflective. Applying this to linguistic intuitions yields an (...) explanation of their evidential role without any appeal to the representation of rules. Introduction The evidence for linguistic theories A tension in the linguists' view of intuitions Intuitions in general Linguistic intuitions Comparison of the modest explanation with the standard Cartesian explanation A nonstandard Cartesian explanation of the role of intuitions? Must linguistics explain intuitions? Conclusion. (shrink)

Can we change our logic and if so how? In ‘The Question of Logic’ (this volume), Saul Kripke takes a certain message about this from Lewis Carroll’s famous pape.

Infinite regress arguments are part of a philosopher's tool kit of argumentation. But how sharp or strong is this tool? How effectively is it used? The typical presentation of infinite regress arguments throughout history is so succinct and has so many gaps that it is often unclear how an infinite regress is derived, and why an infinite regress is logically problematic, and as a result, it is often difficult to evaluate infinite regress arguments. These consequences of our customary way of (...) using this tool indicate that there is a need for a theory to re-orient our practice. My general approach to contribute to such a theory, consists of collecting and evaluating as many infinite regress arguments as possible, comparing and contrasting many of the formal and non-formal properties, looking for recurring patterns, and identifying the properties that appeared essential to those patterns. Two very general questions guided this work: How are infinite regresses generated in infinite regress arguments? How do infinite regresses logically function as premises in an argument? In answering these questions I clarify the notion of an infinite regress; identify different logical forms of infinite regresses; describe different kinds of infinite regress arguments; distinguish the rhetoric from the logic in infinite regress arguments; and suggest ways of improving our discussion and our practice of constructing and evaluating these arguments. (shrink)

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)