In this paper, I discuss the debate on Kant and nonconceptual content. Inspired by Kant’s account of the intimate relation between intuition and concepts, McDowell (1996) has forcefully argued that the relation between sensible content and concepts is such that sensible content does not severally contribute to cognition but always only in conjunction with concepts. This view is known as conceptualism. Recently, Kantians Robert Hanna and Lucy Allais, among others, have brought against this view the charge that it neglects the (...) possibility of the existence of essentially nonconceptual content that is not conceptualised or subject to conceptualisation. Their critique of McDowell amounts to nonconceptualism. However, both views, conceptualist and nonconceptualist, share the assumption that intuition is synthesised content in Kant’s sense. My interest is not in the validity of the philosophical positions of conceptualism or nonconceptualism per se. I am particularly interested in the extent to which the views that McDowell and Hanna and Allais respectively advance are true to Kant, or can validly be seen as Kantian positions. I argue that although McDowell is right that intuition is only epistemically relevant in conjunction with concepts, Hanna and Allais are right with regard to the existence of essentially nonconceptual content (intuitions) independently of the functions of the understanding, but that they are wrong with regard to non-conceptualised intuition being synthesised content in Kant’s sense. Kantian conceptualists (Bowman 2011; Griffith 2012; Gomes 2014) have responded to the recent nonconceptualist offensive, with reference to A89ff./B122ff. (§13)—which, confusingly, the nonconceptualists also cite as evidence for their contrary reading—by arguing that the nonconceptualist view conflicts with the central goal of the Transcendental Deduction, namely, to argue that all intuitions are subject to the categories. I contend that the conceptualist reading of A89ff./B122ff. is unfounded, but also that the nonconceptualists are wrong to believe that intuitions as such refer strictly to objects independently of the functions of the understanding, and that they are mistaken about the relation between figurative synthesis and intellectual synthesis. I argue that Kant is a conceptualist, albeit not in the sense that standard conceptualists assume. Perceptual knowledge is always judgemental, though without this resulting in the standard conceptualist claim that, necessarily, all intuitions or all perceptions per se stand under the categories (strong conceptualism). I endorse the nonconceptualist view that, for Kant, perception per se, i.e. any mere or ‘blind’ intuition of objects (i.e. objects as indeterminate appearances) short of perceptual knowledge, does not necessarily stand under the categories. Perception is not yet perceptual knowledge. In this context, I point out the common failure in the literature on the Transcendental Deduction, both of the conceptualist and nonconceptualist stripe, to take account of the modal nature of Kant’s argument for the relation between intuition and concept insofar as cognition should arise from it. (shrink)

my goal here is to provide a detailed analysis of the methods of inference that are employed in De prospectiva pingendi. For this purpose, a method of natural deduction is proposed. the treatise by Piero della Francesca is a manifestation of a union between the ne arts and the mathematical sciences of arithmetic and geometry. He de nes painting as a part of perspective and, speaking precisely, as a branch of geometry, which is why we nd advanced geometrical exercises (...) here. (shrink)

The traditional No-Miracles Argument (TNMA) asserts that the novel predictive success of science would be a miracle, and thus too implausible to believe, if successful theories were not at least approximately true. The TNMA has come under fire in multiple ways, challenging each of its premises and its general argumentative structure. While the TNMA relies on explaining novel predictive success via the truth of the theories, we put forth a deductive version of the No-Miracles argument (DNMA) that avoids inference to (...) the best explanation entirely. Instead, a relatively simple empirical framework and a probabilistic analysis can accomplish the ambitious goals of the TNMA while entirely sidestepping its problems. This close-but-distinct argument has many independent strengths and comparatively few weaknesses. Indeed, objections tailored specifically to the DNMA reveal surprising insights into how exactly NMAs are neither circular nor question-begging, as has been widely speculated. (shrink)

What is an inference and when is an inference deductive rather than inductive, abductive, etc. The goal of this paper is precisely to determine what is that we, humans, do when we engage in deduction, i.e., whether there is something that satisfies both our pre-theoretical intuitions and theoretical presuppositions about deduction, as a cognitive process. The paper is structured in two parts: the first one deals with the issue of what is an inference. There, I will defend the (...) hypothesis that an inference is a causal process where an initial cognitive state causes another in such a way that the causal translation depends essentially on the content of the involved states. In other words, in an inference, a mental state A causes another B, partially because they have the content they have. Based on the conclusion from the first part, I will develop an account of deductive inference in the second part of the article. In order to achieve this, I will start by setting the stage and developing four constraints that an adequate account of deductive inference ought to satisfy. Then, I will present six different hypotheses that one might propose to characterize inferences of this kind. I have divided the proposals in two groups, the first one – which I will call the “logical proposals” – assume that whether an inference is a deduction or not depends exclusively on the content of the mental states involved in the inference, while the second – which I will call the “cognitive proposals” – reject the aforementioned assumption and instead recognize that extra cognitive information is required to determine whether an inference is a deduction or not. I will evaluate each proposal in turn, according to whether they satisfy the constraints introduced at the beginning of this second part. As a result of such evaluation, I will conclude that only one of the cognitive proposals actually satisfies the four constraints and therefore should be considered to give an adequate characterization of deductive inference. (shrink)

This essay presents deductive arguments to an introductory-level audience via a discussion of Aristotle's three types of rhetoric, the goals of and differences between deductive and non-deductive arguments, and the major features of deductive arguments (e.g., validity and soundness).

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

The main goal of this paper is to investigate what explanatory resources Robert Brandom’s distinction between acknowledged and consequential commitments affords in relation to the problem of logical omniscience. With this distinction the importance of the doxastic perspective under consideration for the relationship between logic and norms of reasoning is emphasized, and it becomes possible to handle a number of problematic cases discussed in the literature without thereby incurring a commitment to revisionism about logic. One such case in particular is (...) the preface paradox, which will receive an extensive treatment. As we shall see, the problem of logical omniscience not only arises within theories based on deductive logic; but also within the recent paradigm shift in psychology of reasoning. So dealing with this problem is important not only for philosophical purposes but also from a psychological perspective. (shrink)

C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...) many fortunate circumstances, not least of which was entering the field when mathematical logic, after only six decades of toil, had just reaped one of its most important harvests with publication of the monumental Principia Mathematica. It was a time of joyful optimism which demanded an historical account and a sober philosophical critique. Lewis was one of the first to apply to mathematical logic the Aristotelian dictum that we do not understand a living institution until we see it growing from its birth. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

Modest pessimism about philosophical progress is the view that while philosophy may sometimes make some progress, philosophy has made, and can be expected to make, only very little progress (where the extent of philosophical progress is typically judged against progress in the hard sciences). The paper argues against recent attempts to defend this view on the basis of the pervasiveness of disagreement within philosophy. The argument from disagreement for modest pessimism assumes a teleological conception of progress, according to which the (...) attainment of true answers to the big philosophical questions, or knowledge of them, is the primary goal of philosophy. The paper argues that this assumption involves a misconception of the goal of philosophy: if philosophy has a primary goal, its goal is the understanding of philosophical problems rather than knowledge of answers to philosophical questions. Moreover, it is argued that if the primary goal of philosophy is such understanding, then widespread disagreement within philosophy does not indicate that philosophy makes little progress. (shrink)

Research using current literature on legal reasoning was conducted with the goals of (a) determining what skills are most important in good legal reasoning according to such literature, (b) determining the extent to which existing Law School Admission Test item types and subtypes are designed to assess those skills, and (c) suggesting test specifications or new or refined item types and formats that could be developed in the future to assess any important skills that appear [by (a) and (b)] (...) to be measured in a limited or minimal way by the current LSAT. So far as can be determined, such systematic research using legal reasoning literature has never been previously conducted. This report presents the findings of this research. (shrink)

It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

The resources and resource potential of the innovative component of nanoeconomics are analyzed. The factors of production – classical types of resources such as land, labor, capital and technology – are described. Ways of influencing the security resources of nanoeconomics within the innovation paradigm are evaluated. The purpose of the study is to identify the factor of nanoeconomics in the formation of resource security potential in the innovation paradigm. To achieve this goal, the following tasks were set: to characterize the (...) importance of the land resource as a factor in the potential of economic nanosystems; to highlight the importance of capital as a factor of nanoproduction and an indicator of the innovation paradigm; to determine the labor resource in the development of innovative nanosystems; to analyze the intellectual potential of nanoeconomic development of the innovation paradigm; to identify clusters of innovative nanopotential in the regions of countries with transition economies. Each resource is examined separately with the first analysis of a resource security assessment such as land. The other resource under consideration is labor. Demographic factors become decisive in describing the development of labor resources. The capital factor allows the formation of independent economic systems, when the state budget affects the possibility of developing science, education and health care. A number of methods were applied during the study: methods of induction and deduction (to assess the importance of the innovation paradigm for the development of nanoeconomics); system analysis and structural approach (to determine the aggregate state of production factors); method of comparing the quality of production factors in market economies and in developed countries; an observation method (for assessing the state of resources in different countries); method of cluster analysis (to determine the existence of innovation-territorial regions in countries with economies in transition). The analysis is carried out to identify the conditions of the impact of production factors on the innovative paradigm of nanoeconomics. It reveals theoretical approaches to the formation of nanoeconomics and its active development. As a result of the study of intellectual and resource potential of security, a cluster analysis was carried out to assess the conditions for the formation of innovation-territorial regions. This study allows to understand the role of production security factors in the formation of the innovation paradigm and the efficiency of the development of nanoeconomics. The way of providing the basis for the development of nanoeconomics in the form of efficient use of production factors is considered as a perspective. (shrink)

In the process of scientific discovery, knowledge ampliation is pursued by means of non-deductive inferences. When ampliative reasoning is performed, probabilities cannot be assigned objectively. One of the reasons is that we face the problem of the unconceived alternatives: we are unable to explore the space of all the possible alternatives to a given hypothesis, because we do not know how this space is shaped. So, if we want to adequately account for the process of knowledge ampliation, we need to (...) develop an account of the process of scientific discovery which is not exclusively based on probability calculus. We argue that the analytic view of the method of science advocated by Cellucci is interestingly suited to this goal, since it rests on the concept of plausibility. In this perspective, in order to account for how probabilities are in fact assigned in uncertain contexts and knowledge ampliation is really pursued, we have to take into account plausibility-based considerations. (shrink)

I address a type of circularity threat that arises for the view that we employ general basic logical principles in deductive reasoning. This type of threat has been used to argue that whatever knowing such principles is, it cannot be a fully cognitive or propositional state, otherwise deductive reasoning would not be possible. I look at two versions of the circularity threat and answer them in a way that both challenges the view that we need to apply general logical principles (...) in deductive reasoning and defuses the threat to a cognitivist account of knowing basic logical principles. (shrink)

While it is tempting to suppose that an act has moral worth just when and because it is motivated by sufficient moral reasons, philosophers have, largely, come to doubt this analysis. Doubt is rooted in two claims. The first is that some facts can motivate a given act in multiple ways, not all of which are consistent with moral worth. The second is the orthodox view that normative reasons are facts. I defend the tempting analysis by proposing and defending a (...) heterodox account of both normative and motivating reasons that is inspired by Donald Davidson’s primary reasons. We should adopt the heterodox view, I argue, because it addresses an overlooked but fatal defect in the orthodox conception of reasons, of which challenges to the tempting analysis are a special case. (shrink)

The thesis of this paper is that we can justify induction deductively relative to one end, and deduction inductively relative to a different end. I will begin by presenting a contemporary variant of Hume ’s argument for the thesis that we cannot justify the principle of induction. Then I will criticize the responses the resulting problem of induction has received by Carnap and Goodman, as well as praise Reichenbach ’s approach. Some of these authors compare induction to deduction. (...) Haack compares deduction to induction, and I will critically discuss her argument for the thesis that we cannot justify the principles of deduction next. In concluding I will defend the thesis that we can justify induction deductively relative to one end, and deduction inductively relative to a different end, and that we can do so in a non-circular way. Along the way I will show how we can understand deductive and inductive logic as normative theories, and I will briefly sketch an argument to the effect that there are only hypothetical, but no categorical imperatives. (shrink)

For deductive reasoning to be justified, it must be guaranteed to preserve truth from premises to conclusion; and for it to be useful to us, it must be capable of informing us of something. How can we capture this notion of information content, whilst respecting the fact that the content of the premises, if true, already secures the truth of the conclusion? This is the problem I address here. I begin by considering and rejecting several accounts of informational content. I (...) then develop an account on which informational contents are indeterminate in their membership. This allows there to be cases in which it is indeterminate whether a given deduction is informative. Nevertheless, on the picture I present, there are determinate cases of informative (and determinate cases of uninformative) inferences. I argue that the model I offer is the best way for an account of content to respect the meaning of the logical constants and the inference rules associated with them without collapsing into a classical picture of content, unable to account for informative deductive inferences. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

The logic of academic writing is the argumentative strategy on which our papers, our sections, and our paragraphs are based. It is a strategy, as it is a plan that connects different steps and has a specific goal, namely convincing the audience of an original and important idea. And it is argumentative, for two reasons. First, we can defend our idea and we can convince our audience only through arguments, which only in very few disciplines are formal deductions. In most (...) cases, the arguments that we use are based on premises accepted by a community and the conclusions are drawn from principles that in the ancient dialectics were called “maxims,” principles shared by everyone. Second, a paper is a dialogue between the author and his or her readers. An idea can be considered as interesting and worth reading only when it addresses a topic that is perceived as important by the readers and tackles a problem that is open and needs to be solved. Our arguments are acceptable when they start from the premises of our community of readers, avoiding repeating what is obvious for them or taking for granted what is obscure or unknown to them. In this book, we present the argumentative approach to academic writing that we used in classroom. What characterizes it and makes it unique is the perspective that is adopted. We do not start from preexisting ideas that only need to be presented in a way that is suitable to an academic public. We intend to show that writing academically is a consequence of thinking academically, or rather “strategically.” We want to explain how the linguistic and presentational devices are the result of a much deeper plan underlying them, and how mastering the logic of a paper leads to understanding and even developing academic styles. The logic of academic writing is not aimed at teaching how to use language and write texts academically, but at enabling readers to create their own style based on their own argumentative strategies. (shrink)

In a recent article, Ireneusz Zieminski argues that the main goals of philosophy of religion are to define religion; assess the truth value of religion and; assess the rationality of a religious way of life. Zieminski shows that each of these goals are difficult, if not impossible, to achieve. Hence, philosophy of religion leads to scepticism. He concludes that the conceptual tools philosophers of religion employ are best suited to study specific religious traditions, rather than religion more broadly (...) construed. But it’s unclear whether the goals Zieminski attributes to philosophy of religion are accurate or even necessary for successful inquiry. I argue that an essentialist definition of religion isn’t necessary for philosophy of religion and that philosophers of religion already use the conceptual analysis in the way Zieminski suggests that they should. Finally, the epistemic standard Zieminski has in view is often obscure. And when it is clear, it is unrealistically high. Contemporary philosophers of religion rarely, if ever, claim to be offering certainty, or even evidence as strong as that found in the empirical sciences. (shrink)

In this paper, we argue that promoting patient values is a legitimate goal of medicine. Our view offers a justification for certain current practices, including birth control and living organ donation, that are widely accepted but do not fit neatly within the most common extant accounts of the goals of medicine. Moreover, we argue that recognising value promotion as a goal of medicine will expand the scope of medical practice by including some procedures that are sometimes rejected as being (...) outside the scope of acceptable medical practice, such as certain forms of physician-assisted death. We then rebut some common and possible objections to this view. Our aim is not to argue that other accounts are mistaken—except when they argue for a single goal that does not include patient values—but rather to show that value promotion should play a more central role in discussions about the goals of medicine. (shrink)

There is a certain metaphor that has enjoyed tremendous longevity in the evolution of ageing literature. According to this metaphor, nature has a certain goal or purpose, the perpetuation of the species, or, alternatively, the reproductive success of the individual. In relation to this goal, the individual organism has a function, job, or task, namely, to breed and, in some species, to raise its brood to maturity. On this picture, those who cannot, or can no longer, reproduce are somehow invisible (...) to, or even dispensable to, the evolutionary process. Here, I argue that the metaphor should be discarded, not on the grounds that it is a metaphor, but on the grounds that this particular metaphor distorts our understanding of the evolution of ageing. One reason the metaphor is problematic is that it frames senescence and death as nature’s verdict on the value of older individuals. Instead, we should explore a different metaphor: the lengthy post-reproductive period in humans and some other animals is not an accident of culture, but designed by nature for the purpose of supporting and guiding younger generations. On this alternate picture, different stages of life have their own evolutionary rationales, their distinctive design features, their special mandates. (shrink)

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...) should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

Copi's method of deduction is formalized and shown to be complete.

In this paper, I attempt to clarify the heart of Dewey’s philosophy: his method (denotative method (DM) / pattern of inquiry (PI)). Despite the traditional understanding of Dewey as anti-foundationalist, I want to show that Dewey did have metaphysical foundations for his method: the principle of continuity or theory of emergentism. I also argue that Dewey’s metaphysical position is better named as ‘cultural emergentism’, rather than his own term ‘cultural naturalism’. What Dewey called ‘common sense’ in his Logic, Husserl termed (...) as the ‘life-world’ in his Crisis. I compare two perspectives of dealing with the phenomenon and conclude that for Dewey, the difference between natural sciences and the common sense inquiry is that of subject-matter but not of method. Thus, the goal is to find the unified method to be applied in both domains. Whereas Husserl was more pessimistic: for him, the difference was not only in subject-matter, but in the very methods. Following that discussion, I also attempt to reformulate the hard problem of consciousness in Deweyan terms. In the end, I compare Dewey’s DM / PI with Popper’s understandings of scientific method and conclude that there is no significant difference between the two and that Dewey’s method could also be looked at as hypothetic-deductive method, with the only difference in emphases. (shrink)

Nelson's Proof of the Impossibility of the Theory of Knowledge -/- In addressing the possibility of a theory of knowledge, Leonard Nelson noted the contradiction of an epistemological criterion that one would require in order to differentiate between valid and invalid knowledge. Nelson concluded that the inconsistency of such a criterion proves the impossibility of the theory of knowledge. -/- Had the epistemological criterion had a perception, then it would presume to adjudicate on its own truth (thus epistemological circular argument). (...) However, if one were to assume that the criterion is not knowledge, one would then have to justify how this is a criterion for truth - yet this would only be possible when it may be considered as an object of knowledge. One would equally have had to predetermine the criterion in order to determine the truth of this knowledge, thereby providing another circular argument. Ostensibly, every criterion of truth fails at its very own test since it cannot guarantee its own truth, just as Munchausen, contrary to his assertion, could not draw himself out of the swamp by tugging on a tuft of his own hair. -/- Nelson proposed a solution of the epistemological problem (the question of the differentiation between valid and invalid knowledge), that based on Jakob Friedrich Fries' differentiation between proof and deduction. Proof, according to Nelson (in reference to Fries), can be defined as derivation of truth from one statement from another statement. Thus, from the truth in the statement that "all men are mortal", one is then able to say that "Socrates is a man" and thence extrapolate from the truth of the statement that "Socrates is mortal." If knowledge were to be considered somewhat judgmental (in a statement), then an attempt at proof (i.e. recourse to previous judgments) would inevitably lead to an infinite regression in justification, since each judgment would necessitate a further justification from another judgment. Every attempt to prove an epistemological criterion is thus also confronted by this regression in justification. -/- Nelson's attempt at a solution rests on the assumption of the existence of an immediate knowledge as a justification of the truth (mediate) of knowledge. Nelson considers immediate knowledge to be non-judgmental knowledge. These include intuitions (e. g. seeing-the-red-roof) and also philosophical knowledge that pre-exists in his opinion before a judgmental reflexion (immediate) in our reason (e. g. the principle of causality). -/- Proof of the truth of mediate knowledge can be effected by showing its compliance with attendant immediate knowledge (rational truth = correspondence of mediate knowledge with their immediate knowledge). Nelson considered this as a resolution of the circular epistemological argument. In regard to philosophical knowledge, Nelson sees these as subject to deduction and not proof. The following example illustrates the goal of deduction: -/- An approach for deducing the principle of causality: A) Every change has a cause. (The principle of causality) A´) A is a reiteration of an immediate knowledge. (Meta-assertion following A) -/- "A" may not be provable, but A´ may justified, and thus Nelson identified it as a deduction following from A. // reference: http://www.friesian.com/nelproof.htm. (shrink)

In this research paper, I decided to go against the negative thread of the world state and (i) I challenge the conventional wisdom of the negative goals of the world state by exploring fifty positive goals; (ii) I help to improve the human imagination regarding the possibility of a positive end of the world state; (iii) I invite people to believe that the world state is good for humanity as quickly as they think it is bad for humanity; (...) (iv) I provide a point of reference for the curious readers looking for positive goals of the world state. The main argument of the paper is the need for a positive position to counterbalance the negative goals by building what is missing: (i) a narrative line where the world state can bring advantages and benefits to humanity and (ii) creating a balance of the narrative line of the goals of the world state by adding positive ones. -/- “Let us lay aside every weight, and the sin which doth so easily beset us, and let us run with patience the race that is set before us” (Hebrew 12:1); can we live together? (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Scholarship on Aristotle’s theory of action has recently veered toward an intellectualist position, according to which reason is in charge of setting the goals of action. This position has recently been criticized by an anti-intellectualism revival, according to which character, and not reason, sets the goals of action. I argue that neither view can sufficiently account for the complexities of Aristotle’s theory, and suggest a middle way that combines the strengths of both while avoiding their pitfalls. The key (...) problem for intellectualism is that Aristotle explicitly states reason cannot set the goals of action. The key problem for anti-intellectualism is that he also holds that the soul’s rational part must guide and prescribe over the non-rational part. I propose indirect intellectualism, a promising middle path. (shrink)

The present PhD thesis is concerned with the question whether good reasoning requires that the subject has some cognitive grip on the relation between premises and conclusion. One consideration in favor of such a requirement goes as follows: In order for my belief-formation to be an instance of reasoning, and not merely a causally related sequence of beliefs, the process must be guided by my endorsement of a rule of reasoning. Therefore I must have justified beliefs about the relation between (...) my premises and my conclusion. -/- The rationality of a belief often depends on whether it is rightly connected to other beliefs, or more generally to other mental states —the states capable of providing a reason to holding the belief in question. For instance, some rational beliefs are connected to other beliefs by being inferred from them. It is often accepted that the connection implies that the subject in some sense ‘takes the mental states in question to be reason-providing’. But views on how exactly this is to be understood differ widely. They range from interpretations according to which ‘taking a mental state to be reason-providing’ imposes a mere causal sustaining relation between belief and reason-providing state to interpretations according to which one ‘takes a mental state to be reason-providing’ only if one believes that the state is reason-providing. The most common worry about the latter view is that it faces a vicious regress. In this thesis a different but in some respects similar interpretation of ‘taking something as reason-providing’ is given. It is argued to consist of a disposition to react in certain ways to information that challenges the reason-providing capacity of the allegedly reason-providing state. For instance, that one has inferred A from B partly consists in being disposed to suspend judgment about A if one obtains a reason to believe that B does not render A probable. The account is defended against regress-objections and the suspicion of explanatory circularity. (shrink)

Veritists hold that the goal of inquiry is true belief, while justificationists contend that the goal of inquiry is justified belief. Recently, Christoph Kelp makes two new objections to both veritism and justificationism. Further, he claims that the two objections suggest that the goal of inquiry is knowledge. This paper defends a sophisticated version of veritism against Kelp's two objections.

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, their definitions (...) do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non- logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)

:Recently, Allais, Hanna and others have argued that Kant is a nonconceptualist about intuition and that intuitions refer objectively, independently of the functions of the understanding. Kantian conceptualists have responded, which the nonconceptualists also cite as textual evidence for their reading) that this view conflicts with the central goal of Kant’s Transcendental Deduction: to argue that all intuitions are subject to the categories. I argue that the conceptualist reading of KrV, A 89 ff./B 122 ff. is unfounded. Further, I (...) argue that the nonconceptualists are wrong to believe that intuitions as such refer objectively and that they are mistaken about the relation between figurative synthesis and intellectual synthesis. (shrink)

In 2007 the Chinese government embraced ‘ecological civilization’ as a central policy objective of the government. In 2012, the goal of achieving ecological civilization was incorporated into its constitution as a framework for China’s environmental policies, laws and education, and was included as a goal in its five-year plans. In 2017, the 19th Congress of the Communist Party called for acceleration in achieving this goal. Expenditure on technology to ameliorate environmental damage, reduce pollution and reduce greenhouse gas emissions has been (...) massively increased. It is also presented and promoted as a vision for our global future, in Cornelius Castoriadis’ terminology, a new social imaginary. (shrink)

This paper considers an argument from Rosenberg (Thinking about Knowing, 2002) that truth is not and cannot be the aim of belief. Here, I reconstruct what I take to be the most well worked out version of this idea tracing back to Rorty and Davidson. In response, I also distinguish two things the truth-aim could be: a goal regulating our executable epistemic conduct and an end which determines the types of evaluation, susceptibility to which is partially constitutive of what a (...) belief is. (shrink)

When two actors have the same mental state but one happens to harm another person (unlucky actor) and the other one does not (lucky actor), the latter elicits a milder moral judgement. To understand how this outcome effect would affect post-harm interactions between victims and perpetrators, we examined how the social role from which transgressions are perceived moderates the outcome effect, and how outcome effects on moral judgements transfer to agentic and communal interpersonal goals. Three vignette experiments (N = (...) 950) revealed similar outcome effects on moral judgement across social roles. In contrast, outcome effects on agentic and communal goals varied by social role: victims exhibited the strongest outcome effects and perpetrators the weakest, with bystanders falling in between. Moral judgement did not mediate the effects of outcome severity on interpersonal goals. We discuss the possibility that outcome severity raises normative expectations regarding post-harm interactions that are unrelated to moral considerations. (shrink)

Analysis of the Deductions in Plato's Parmenides.

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Better instruments to predict the future evolution of artificial intelligence (AI) are needed, as the destiny of our civilization depends on it. One of the ways to such prediction is the analysis of the convergent drives of any future AI, started by Omohundro. We show that one of the convergent drives of AI is a militarization drive, arising from AI’s need to wage a war against its potential rivals by either physical or software means, or to increase its bargaining power. (...) This militarization trend increases global catastrophic risk or even existential risk during AI takeoff, which includes the use of nuclear weapons against rival AIs, blackmail by the threat of creating a global catastrophe, and the consequences of a war between two AIs. As a result, even benevolent AI may evolve into potentially dangerous military AI. The type and intensity of militarization drive depend on the relative speed of the AI takeoff and the number of potential rivals. We show that AI militarization drive and evolution of national defense will merge, as a superintelligence created in the defense environment will have quicker takeoff speeds, but a distorted value system. We conclude with peaceful alternatives. (shrink)

A critique of Strawson's distinction between descriptive and revisionary metaphysics.

The contribution deals with knowledge of what to do, and how, where, when and why to do it, as it is found in a multitude of plans, rules, procedures, maxims, and other instructions. It is argued that while this knowledge is conceptual and propositional, it is still irreducible to theoretical knowledge of what is the case and why it is the case. It is knowledge of goals, of ends and means, rather than of facts. It is knowledge-to that is (...) irreducibly practical in having world to mind direction of fit and the essential function of guiding as yet uncompleted action. While practical knowledge is fundamentally different from theoretical knowledge in terms of mind-world relations, the practical and theoretical domains are still parallel in terms of justificatory and inferential relations, they are like mirror images of one another. It is shown that if this view of practical knowledge is accepted, convincing Gettier cases for practical knowledge can be constructed. An extensive analysis of these cases demonstrates the usefulness of the notions of practical deduction, abduction, and induction. (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the (...) sorts of deduction that Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

This article is to explore whether the achievement of moral character is the ultimate goal of higher education from a cross cultural approach. To discuss this study logically, three major research questions are addressed. First, what are the concepts of moral, ethics, and character? Second, what is the achievement of moral character from the Eastern and the Western perspectives? Third, what is the role of higher education for the achievement of moral character? To defend these research questions, the author uses (...) a descriptive content analysis method, with a cross cultural approach. In order to explore the questions, the researcher in this study sets several limitations. Moral character is generally limited to the ancient Greek philosophy and Judeo-Christianity as well as to the classical Chinese thought and religion. Specifically, the study is mainly focused on not only Plato's "Republic" and Aristotle's "Nicomachean Ethics," but Confucius' "Analects" and Mencius' "Scripture (The Works of Mengzi)." Additionally, this paper also adjusts the lenses on moral theories, especially moral character, cardinal virtues, social harmony, and the common good. Lastly, higher education is focused on the lenses of Canada and South Korea. The significance of this study is to provide basic theories and valuable resources about moral and character education for educational theorists and practitioners, finding the theories of moral and ethics in the Eastern and the Western thoughts and religions. (shrink)

In epistemology and in ordinary life, we make many normative claims about beliefs. As with all normative claims, philosophical questions arise about what – if anything – underwrites these kinds of normative claims. On one view, epistemic instrumentalism, facts about what we (epistemically) ought to believe, or about what is an (epistemic, normative) reason to believe what, obtain at least partly in virtue of our goals (or aims, ends, intentions, desires, etc.). The converse view, anti-instrumentalism, denies this, and holds (...) that the facts about what we ought or have reasons to believe are independent of our goals. In this chapter, I present the case for anti-instrumentalism. I lay out a well-known problem for instrumentalism, which is to say exactly what goal (or goals) grounds our epistemic reasons. For each possible answer, the view seems to generate problematic results. I consider some ways of trying to make the instrumentalist view more sophisticated to solve the problem and reject them. I then note a further problem for instrumentalism that applies regardless of what goal the instrumentalist says grounds our epistemic reasons. Finally, I sketch my preferred positive anti-instrumentalist view and argue that it is more theoretically virtuous than instrumentalism in several respects. (shrink)

The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of (...) formal conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic programming languages and aesthetic machines in simulation are characterized. The roles that simulation and intentional decision making may be able to play in a participative information society are also discussed. (shrink)

The evidential role of experience in justifying beliefs has been at the center of debate in philosophy in recent years. One view is that experience, or seeming, can confer immediate justification on belief in virtue of its representational phenomenology. Call this view “representational dogmatism.” Another view is that experience confers immediate justification on belief in virtue of its relational phenomenology. Call this view “relational dogmatism.” The goal of this paper is to pit these two versions of dogmatism against each other (...) in terms of their ability to account for ampliative, or non-deductive, inferential justification. I will argue that only the representational view can provide a plausible account of this type of justification. (shrink)