We pursue an account of merging through the use of geodesic semantics, the semantics based on the length of the shortest path on a graph. This approach has been fruitful in other areas of belief change such as revision and update. To this end, we introduce three binary merging operators of propositions defined on the graph of their valuations and we characterize them with a finite set of postulates.

The purpose of this article is to introduce a class of distance-based iterated revision operators generated by minimizing the geodesic distance on a graph. Such operators correspond bijectively to metrics and have a simple finite presentation. As distance is generated by distinguishability, our framework is appropriate for modelling contexts where distance is generated by threshold, and therefore, when measurement is erroneous.

Harvey Brown believes it is crucially important that the "geodesic principle" in general relativity is an immediate consequence of Einstein's equation and, for this reason, has a different status within the theory than other basic principles regarding, for example, the behavior of light rays and clocks, and the speed with which energy can propagate. He takes the geodesic principle to be an essential element of general relativity itself, while the latter are better seen as contingent facts about the (...) particular matter fields we happen to encounter. The situation seems much less clear and clean to me. There certainly is a sense in which the geodesic principle can be recovered as a theorem in general relativity. But one needs more than Einstein's equation to drive the theorems in question. Other assumptions are needed. One needs to put more in if one is to get the geodesic principle out. My goal in this note is to make this claim precise, i.e., that other assumptions are needed. (shrink)

In 1962, Donald Caspar and Aaron Klug published their classic theory of virus structure. They developed their theory with an explicit analogy between spherical viruses and Buckminster Fuller's geodesic domes. In this paper, I use the spherical virus-geodesic dome case to develop an account of analogy and deductive analogical inference based on the notion of an isomorphism. I also consider under what conditions there is a good reason to claim an experimentally untested analogy is plausible.

The purpose of this paper is to introduce a form of update based on the minimization of the geodesic distance on a graph. We provide a characterization of this class using set- theoretic operators and show that such operators bijectively correspond to geodesic metrics. As distance is generated by distinguishability, our framework is appropriate in contexts where distance is generated by threshold, and therefore, when measurement is erroneous.

This paper presents an axiomatization of a class of set-theoretic conditional operators using minimization of the geodesic distance defined as the shortest path generated by the accessibility relation on a frame. The objective of this modeling is to define conditioning based on a notion of similarity generated by degrees of indistinguishability.

Graphs are employed to define a variety of distance-based binary merging operators. We provide logical characterization results for each class of merging operators introduced and discuss the extension of this approach to the merging of sequences and multisets.

We introduce a class of set-theoretic operators on a tolerance space that models the process of minimal belief contraction, and therefore a natural process of iterated contraction can be defined. We characterize the class of contraction operators and study the properties of the associated iterated belief contraction.

Following a bi-cylindrical model of geometrical dynamics, our study shows that a 6D-gravitational equation leads to geodesic description in an extended symmetrical time–space, which fits Hubble-like expansion on a microscopic scale. As a duality, the geodesic solution is mathematically equivalent to the basic Klein–Gordon–Fock equations of free massive elementary particles, in particular, the squared Dirac equations of leptons. The quantum indeterminism is proved to have originated from space–time curvatures. Interpretation of some important issues of quantum mechanical reality is (...) carried out in comparison with the 5D space–time–matter theory. A solution of lepton mass hierarchy is proposed by extending to higher dimensional curvatures of time-like hyper-spherical surfaces than one of the cylindrical dynamical geometry. In a result, the reasonable charged lepton mass ratios have been calculated, which would be tested experimentally. (shrink)

We describe our explicit Lorentz-invariant solution of the Einstein and null geodesic equations for the deflection experiment of 2002 September 8 when a massive moving body, Jupiter, passed within 3.7’ of a line-of-sight to a distant quasar. We develop a general relativistic framework which shows that our measurement of the retarded position of a moving light-ray deflecting body (Jupiter) by making use of the gravitational time delay of quasar’s radio wave is equivalent to comparison of the relativistic laws of (...) the Lorentz transformation for gravity and light. Because, according to Einstein, the Lorentz transformation of gravity field variables must depend on a fundamental speed c, its measurement through the retarded position of Jupiter in the gravitational time delay allows us to study the causal nature of gravity and to set an upper limit on the speed of propagation of gravity in the near zone of the solar system as contrasted to the speed of the radio waves. In particular, the v/c term beyond of the standard Einstein’s deflection, which we measured to 20% accuracy, is associated with the aberration of the null direction of the gravity force (“aberration of gravity”) caused by the Lorentz transformation of the Christoffel symbols from the static frame of Jupiter to the moving frame of observer. General relativistic formulation of the experiment identifies the aberration of gravity with the retardation of gravity because the speed of gravitational waves in Einstein’s theory is equal to the speed of propagation of the gravity force. We discuss the misconceptions which have inhibited the acceptance of this interpretation of the experiment. We also comment on other interpretations of this experiment by Asada, Will, Samuel, Pascual–Sánchez, and Carlip and show that their “speed of light” interpretations confuse the Lorentz transformation for gravity with that for light, and the fundamental speed of gravity with the physical speed of light from the quasar. For this reason, the “speed of light” interpretations are not entirely consistent with a retarded Liénard–Wiechert solution of the Einstein equations, and do not properly incorporate how the phase of the radio waves from the quasar is perturbed by the retarded gravitational field of Jupiter. Although all of the formulations predict the same deflection to the order of v/c, our formulation shows that the underlying cause of this deflection term is associated with the aberration of gravity and not of light, and that the interpretations predict different deflections at higher orders of v/c beyond the Shapiro delay, thus, making their measurement highly desirable for deeper testing of general relativity in future astrometric experiments like Gaia, SIM, and SKA. (shrink)

As Kant claimed in the Groundwork, and as the idea has been developed by Korsgaard 1997, Bratman 1987, and Broome 2002. This formulation is agnostic on whether reasons for ends derive from our desiring those ends, or from the relation of those ends to things of independent value. However, desire-based theorists may deny, against Hubin 1999, that their theory is a combination of a principle of instrumental transmission and the principle that reasons for ends are provided by desires. Instead, they (...) may say, there is just one principle, a principle of, if you will, instrumental transmutation: if one desires the end, then one has reason to take the means. See the discussion of General Production, in section 8, for a doubt about this. (shrink)

When and why does it matter whether we can give an explicit justification for what we believe? This paper examines these questions in the light of recent empirical work on the social functions served by our capacity to reason, in particular, Mercier and Sperber’s argumentative theory of reasoning.

Scientific reasoning is—and ought to be—conducted in accordance with the axioms of probability. This Bayesian view—so called because of the central role it accords to a theorem first proved by Thomas Bayes in the late eighteenth ...

The 'no-supervenience' theorem (Reason, 2019; Reason and Shah, 2021) is a proof that no fully self-aware system can entirely supervene on any objectively observable system. I here present a simple, non-technical summary of the proof and demonstrate its implications for four separate theories of consciousness: the 'property dualism' theory of David Chalmers; the 'reflexive monism' of Max Velmans; Galen Strawson's 'realistic monism'; and the 'illusionism' of Keith Frankish. It is shown that all are ruled out in their current form by (...) the no-supervenience theorem, except for Chalmers' theory, which I show requires humans to behave irrationally. (shrink)

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By (...) means of a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (shrink)

Originally published in 1982, this was an extensive and up-to-date review of research into the psychology of deductive reasoning, Jonathan Evans presents an alternative theoretical framework to the rationalist approach which had dominated much of the published work in this field at the time. The review falls into three sections. The first is concerned with elementary reasoning tasks, in which response latency is the prime measure of interest. The second and third sections are concerned with syllogistic and propositional (...) reasoning respectively, in which interest has focused on the explanation of frequently observed logical errors. In an extended discussion it is argued that reasoning processes are content specific, and give little indication of the operation of any underlying system of logical competence. Finally, a dual process theory of reasoning, with broad implications and connections with other fields of psychology, is elaborated and assessed in the light of recent evidence. (shrink)

There is a puzzle about how to understand the conclusion of a successful instance of practical reasoning. Do the considerations adduced in reasoning rationalize the particular doing of an action, as Aristotle is sometimes interpreted as claiming? Or does reasoning conclude in the formation of an attitude – an intention, say – that has an action-type as its content? This paper attempts to clarify what is at stake in that debate and defends the latter view against some (...) of its critics. (shrink)

This book represents the first major attempt by any author to provide an integrated account of the evidence for bias in human reasoning across a wide range of disparate psychological literatures. The topics discussed involve both deductive and inductive reasoning as well as statistical judgement and inference. In addition, the author proposes a general theoretical approach to the explanations of bias and considers the practical implications for real world decision making. The theoretical stance of the book is based (...) on a distinction between preconscious heuristic processes which determine the mental representation of 'relevant' features of the problem content, and subsequent analytic reasoning processes which generate inferences and judgements. Phenomena discussed and interpreted within this framework include feature matching biases in propositional reasoning, confirmation bias, biasing and debiasing effects of knowledge on reasoning, and biases in statistical judgement normally attributed to 'availability' and 'representativeness' heuristics. In the final chapter, the practical consequences of bias for real life decision making are considered, together with various issues concerning the problem of 'debiasing'. The major approaches discussed are those involving education and training on the one hand, and the development of intelligent software and interactive decision aids on the other. (shrink)

The Aims of the Book -/- 1. To improve your skill in analyzing and evaluating arguments and presentations of the kind you find in everyday discourse (news media, discussions, advertisements), textbooks, and lectures. 2. To improve your skill in presenting arguments, reports and instructions clearly and persuasively. 3. To improve your critical instincts, that is, your immediate judgments of your attitudes toward the communications and behavior of others and yourself, so that you consistently approach them with the standards of reason (...) and the attitude of reasonableness. 4. To improve your knowledge about the facts and arguments relevant to a large number of important contemporary issues in politics, education, ethics, and several practical fields. -/- These are practical aims but not narrow practical aims: the third one, in particular, is very far-reaching and requires a whole shift of values for most of us. So this is intended to be a powerful, as well as practical, book using practical, everyday examples of the kind that a citizen, especially a citizen-student, runs into all the time. -/- The text starts with a short discussion of reasoning itself, then explores the details of this approach, and then gets down to practical procedures for improving one's reasoning skills. The discussions and examples always begin at a rather elementary level, but they get into harder material fairly quickly. If you are, or are hoping to be, a teacher or a lawyer, a scientist or an executive, what you learn here will be professional skills for you—vital professional skills. But for any citizen, they are also essential skills. (shrink)

There was a long tradition in philosophy according to which good reasoning had to be deductively valid. However, that tradition began to be questioned in the 1960’s, and is now thoroughly discredited. What caused its downfall was the recognition that many familiar kinds of reasoning are not deductively valid, but clearly confer justification on their conclusions. Here are some simple examples.

According to an increasingly popular epistemological view, people need outright beliefs in addition to credences to simplify their reasoning. Outright beliefs simplify reasoning by allowing thinkers to ignore small error probabilities. What is outright believed can change between contexts. It has been claimed that thinkers manage shifts in their outright beliefs and credences across contexts by an updating procedure resembling conditionalization, which I call pseudo-conditionalization (PC). But conditionalization is notoriously complicated. The claim that thinkers manage their beliefs via (...) PC is thus in tension with the view that the function of beliefs is to simplify our reasoning. I propose to resolve this puzzle by rejecting the view that thinkers employ PC. Based on this solution, I furthermore argue for a descriptive and a normative claim. The descriptive claim is that the available strategies for managing beliefs and credences across contexts that are compatible with the simplifying function of outright beliefs can generate synchronic and diachronic incoherence in a thinker’s attitudes. Moreover, I argue that the view of outright belief as a simplifying heuristic is incompatible with the view that there are ideal norms of coherence or consistency governing outright beliefs that are too complicated for human thinkers to comply with. (shrink)

Regress arguments have convinced many that reasoning cannot require beliefs about what follows from what. In this paper I argue that this is a mistake. Regress arguments rest on dubious (although deeply entrenched) assumptions about the nature of reasoning — most prominently, the assumption that believing p by reasoning is simply a matter of having a belief in p with the right causal ancestry. I propose an alternative account, according to which beliefs about what follows from what (...) play a constitutive role in reasoning. (shrink)

Conscious macrostates are usually assumed to be emergent from the underlying physical microstates comprising the brain and nervous system of biological organisms. However, a major problem with this assumption is that consciousness is essentially nonmeasurable unlike all other proven emergent properties of physical systems. In an earlier paper, using a no-go theorem, it was shown that conscious states cannot be comprised of processes that are physical in nature (Reason, 2019). Combining this result with another unrelated work on causal emergence in (...) physical systems (Hoel, Albantakis and Tononi, 2013), we show in this paper that conscious macrostates are not emergent from physical systems and they also do not supervene on physical microstates. An important implication of our work is that there must be some form of violation of energy conservation in biological systems that are conscious. (shrink)

What makes the difference between good and bad reasoning? In this paper we defend a novel account of good reasoning—both theoretical and practical—according to which it preserves fittingness or correctness: good reasoning is reasoning which is such as to take you from fitting attitudes to further fitting attitudes, other things equal. This account, we argue, is preferable to two others that feature in the recent literature. The first, which has been made prominent by John Broome, holds (...) that the standards of good reasoning derive from rational requirements. The second holds that these standards derive from reasons. We argue that these accounts face serious difficulties in correctly distinguishing good from bad reasoning, and in explaining what's worthwhile about good reasoning. We then propose our alternative account and argue that it performs better on these counts. In the final section, we develop certain elements of the account in response to some possible objections. (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

This paper proposes a concept of intentional cooperation for mutual benefit. This concept uses a form of team reasoning in which team members aim to achieve common interests, rather than maximising a common utility function, and in which team reasoners can coordinate their behaviour by following pre-existing practices. I argue that a market transaction can express intentions for mutually beneficial cooperation even if, extensionally, participation in the transaction promotes each party’s self-interest.

Reidel, 1976. This book is out of print, but can be downloaded as a pdf file (3.3 MB).

Theoreticians of deliberative democracy have sometimes found it hard to relate to the seemingly contradictory experimental results produced by psychologists and political scientists. We suggest that this problem may be alleviated by inserting a layer of psychological theory between the empirical results and the normative political theory. In particular, we expose the argumentative theory of reasoning that makes the observed pattern of findings more coherent. According to this theory, individual reasoning mechanisms work best when used to produce and (...) evaluate arguments during a public deliberation. It predicts that when diverse opinions are discussed, group reasoning will outperform individual reasoning. It also predicts that individuals have a strong confirmation bias. When people reason either alone or with like-minded peers, this confirmation bias leads them to reinforce their initial attitudes, explaining individual and group polarization. We suggest that the failures of reasoning are most likely to be remedied at the collective than at the individual level. (shrink)

This book identifies 25 argumentation schemes for presumptive reasoning and matches a set of critical questions to each.

This chapter discusses contemporary scientific research on the role of reason and emotion in moral judgment. The literature suggests that moral judgment is influenced by both reasoning and emotion separately, but there is also emerging evidence of the interaction between the two. While there are clear implications for the rationalism-sentimentalism debate, we conclude that important questions remain open about how central emotion is to moral judgment. We also suggest ways in which moral philosophy is not only guided by empirical (...) research but continues to guide it. (shrink)

Practical reasoning is a process of reasoning that concludes in an intention. One example is reasoning from intending an end to intending what you believe is a necessary means: 'I will leave the next buoy to port; in order to do that I must tack; so I'll tack', where the first and third sentences express intentions and the second sentence a belief. This sort of practical reasoning is supported by a valid logical derivation, and therefore seems (...) uncontrovertible. A more contentious example is normative practical reasoning of the form 'I ought to φ, so I'll φ', where 'I ought to φ' expresses a normative belief and 'I'll φ' an intention. This has at least some characteristics of reasoning, but there are also grounds for doubting that it is genuine reasoning. One objection is that it seems inappropriate to derive an intention to φ from a belief that you ought to φ, rather than a belief that you ought to intend to φ. Another is that you may not be able to go through this putative process of reasoning, and this inability might disqualify it from being reasoning. A third objection is that it violates the Humean doctrine that reason alone cannot motivate any action of the will. This paper investigates these objections. (shrink)

How is practical reasoning related to ethical reasoning? The most common view is that they are identical: practical reasoning just is ethical reasoning. I criticize this view and then propose an alternative account of the relation between ethical thought and practical thought: ethical reasoning is reasoning about sound practical reasoning. I argue that this account of the relation between ethics and practical reasoning explains various phenomena that more familiar views leave unexplained. It (...) also entails that the philosophy of action bears heavily on ethical inquiry. (shrink)

In this paper I am concerned with the question of whether degrees of belief can figure in reasoning processes that are executed by humans. It is generally accepted that outright beliefs and intentions can be part of reasoning processes, but the role of degrees of belief remains unclear. The literature on subjective Bayesianism, which seems to be the natural place to look for discussions of the role of degrees of belief in reasoning, does not address the question (...) of whether degrees of belief play a role in real agents’ reasoning processes. On the other hand, the philosophical literature on reasoning, which relies much less heavily on idealizing assumptions about reasoners than Bayesianism, is almost exclusively concerned with outright belief. One possible explanation for why no philosopher has yet developed an account of reasoning with degrees of belief is that reasoning with degrees of belief is not possible for humans. In this paper, I will consider three arguments for this claim. I will show why these arguments are flawed, and conclude that, at least as far as these arguments are concerned, it seems like there is no good reason why the topic of reasoning with degrees of belief has received so little attention. (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.