This short work presents a popular fringe theory as a source of case studies for use in teaching informal logic in an introductory course. It puts forward ancient astronaut theory as the candidate source, together with a characterization of why it fits the bill. The televised material associated with that theory is well suited to being used as case studies given that they are easy to follow, contain a surprising number of arguments and fallacies, and keep students reliably (...) engaged. The paper includes an overview of the forms of argumentation and fallacies that these cases may be used to teach, along with a sketch of how to best implement them in the classroom. (shrink)

The truth table method, natural deduction, and the truth tree method, the three validity proving methods standardly taught in an introductory logic course, are too clumsy for the battlefield of real-life. The “short truth table” test is handy at times, but it stumbles at many other times. In this paper, we set up a general method that can beat all the methods mentioned above in a contest of speed. Furthermore, the procedure can be step-by-step paraphrased in a natural (...) language, so that, unlike the other methods, a real-life logical problem can be analyzed and explained in a real-life language too. (shrink)

An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.

An introductory logic textbook where the central concept is not deduction but search and logical form. (Deduction - logical consequence - drops out as a special case. TIt is meant for a class-based rather than a lecture-based course, and for students with general interests.

This book is written for those who wish to learn some basic principles of formal logic but more importantly learn some easy methods to unpick arguments and assess their value for truth and validity. -/- The first section explains the ideas behind traditional logic which was formed well over two thousand years ago by the ancient Greeks. Terms such as ‘categorical syllogism’, ‘premise’, ‘deduction’ and ‘validity’ may appear at first sight to be inscrutable but will easily be understood (...) with examples bringing the subjects to life. Traditionally, Venn diagrams have been employed to test arguments. These are very useful but their application is limited and they are not open to quantification. The mid-section of this book introduces a methodology that makes the analysis of arguments accessible with the use of a new form of diagram, modified from those of the mathematician Leonhard Euler. These new diagrammatic methods will be employed to demonstrate an addition to the basic form of syllogism. This includes a refined definition of the terms ‘most’ and ‘some’ within propositions. This may seem a little obscure at the moment but one will readily apprehend these new methods and principles of a more modern logic. (shrink)

Logicians disagree about how validity—the very heart of logic—should be understood. Many different formal systems have been born due to this disagreement. This thesis examines how teachers explain the subject matter of logic to students in introductory logic textbooks, and demonstrates the different explanations teachers use. These differences help explain why logicians have different intuitions about validity.

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in (...) a category-theoretic sense) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts of (...) obligation, permission and prohibition are regarded as analogous to the "alethic" modalities necessity, possibility and impossibility. As Simo Knuuttila shows in his contribution to the present volume, this approach goes back to late medieval philosophy. Several 14th century philosophers observed the analogies between deontic and alethic modalities and discussed the deontic interpretations of various laws of modal logic. In contemporary deontic logic the modal approach was revived by G. H. von Wright's classic paper 'Deontic Logic'. Certain analogies between deontic and alethic modalities are obvious and uncontroversial, but the standard approach has often been criticized on the ground that it exaggerates the analogies and tends to ignore those features of normative concepts which distinguish them from other modalities. (shrink)

This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert Trueman's A Modal Logic Primer, which is revised and expanded by Richard Zach and Aaron Thomas-Bolduc in forall x: Calgary. (forall x: Calgary is based on forall x: Cambridge by Tim Button, which is in turn based on forall x by P. D. (...) Magnus, and also includes material from forall x: Lorain County Remix by Cathal Woods and J. Robert Loftis.) This booklet is licensed under a Creative Commons Attribution 4.0 license. (shrink)

We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in..

This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.

The present study defines the function of the foundation of science in early modern Dutch philosophy, from the first introduction of Cartesian philosophy in Utrecht University by Henricus Regius to the acceptance of Newtonian physics by Willem Jacob ‘s Gravesande. My main claim is that a foundation of science was required because the conceptual premises of new ways in thinking had to be justified not only as alternatives to the established philosophical paradigms or as an answer to the “sceptical crisis” (...) signalled by Richard Popkin, but also in order to be introduced in the academia. This being my general thesis, different kinds of foundation of scientific knowledge are analysed in the light of the specific problems philosophers had to face. To this end, foundational theories are analysed in the light of 1) the overall aim of their philosophy, 2) the relations of disciplines they thought out, 3) what they regarded as scientific knowledge. Through this analysis, I assess that the foundation of science was carried out by metaphysical, logical and theological arguments, which fitted the needs of answering the didactical and introductory requirements of new paradigms, assessed the reliability of new methodology in leading us to grasp the truth, and provided philosophy with its conceptual apparatus. Finally, I demonstrate that a philosophy of science as a reflection on the principles, methods, concepts and application of modern science emerged in the Dutch Republic. (shrink)

This work is compiled for the students, research scholars, academicians, who are interested in logic, philosophy, mathematics and critical thinking. The main objective of this book is to provide basics or fundamental knowledge for those who have chosen logic as their subject in order to develop analytical and critical ideas. It has been primarily developed to serve as an introductory piece of work which includes explanatory notes on different courses like Inductive logic, Deductive logic, propositional (...) logic, Symbolic logic, Quantification logic, Modal logic and Critical thinking. Besides this, it also includes illustrations in decision making and scientific research methods in logic. This book is mainly devised to clear fundamental problems of logic. It contains eight chapters which are simply described and elaborated. (shrink)

(First paragraphs.) The idea that our language somehow influences our thought can be found in philosophical and scientific traditions of different continents and with different roots and objectives. Yet, beyond the mere theoretical, explorations of the idea are relatively scarce, and are mostly limited to relations between very concrete conceptual categories and subjective experiencing and remembering – to some kind of ‘psychologies of folk-ontology’. Thought as process, reasoning or ‘thinking’, and the role of more complex or abstract concepts in (such) (...) thought tend to be mostly ignored in psychology and philosophy. Conceptual and intellectual history, on the other hand, cannot be accused of such neglect, but the common lack of a comparative perspective in those fields precludes any generalized inference. Furthermore, while a comparative study on the role of complex or abstract concepts in thought as process and its products (the aggregate ‘thought’ of schools, ages, and regions) could result in a considerable enrichment of our understanding of the relationships between language and thought, it would not necessarily be recognized as such because of a fundamental difference in the nature of the concepts involved, affecting the boundary of ‘language’ in the pair ‘language and thought’. More concretely, while the concepts of the ‘psychologies of folk-ontology’ are rather concrete categories of ‘things’ or aspects of experienced reality (hence, ‘folk-ontology’), the abstract concepts of (comparative) conceptual history, such as ‘society’ or ‘reason’, are categories of ideas. Consequently, conceptual history is inseparably tied to the history of ideas, and there is no strict boundary line between concepts, theories, ideas, and aggregate thought in general. It could, therefore, be argued that a comparative conceptual history would be a study of the influence of ideas on thought, rather than of language on thought. That argument, however, would either void language of content, or make the dubious claim that folk-ontology is a fundamentally different type of content than theoretical content. The ‘psychologies of folk-ontology’ study the influence of folk-ontological categories on folk-ontological thought (experiencing and remembering), and a comparative conceptual history would study the influence of theoretical categories (or conceptualized ideas) on theoretical thought (thinking, reasoning, etc.), and there does not seem to be a good reason to exclude either type of categories from ‘language’. Perhaps it should be argued instead that the ambiguous term ‘language’ in the pair ‘language and thought’ would better be replaced with ‘concepts’ or ‘categories’. (shrink)

An introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. -/- This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness (...) and completeness, it lays the groundwork for understanding why these are things that need to be proven. -/- The book highlights the choices involved in developing sentential and predicate logic. Students should realize that these two are not the only possible formal languages. In translating to a formal language, we simplify and profit in clarity. The simplification comes at a cost, and different formal languages are suited to translating different parts of natural language. (shrink)

*NEWEST VERSION OF THIS RESOURCE ONLINE @ Philosop-her dotcom This textbook has developed over the last few years of teaching introductory symbolic logic and critical thinking courses. It has been truly a pleasure to have benefited from such great students and colleagues over the years. As we have become increasingly frustrated with the costs of traditional logic textbooks (though many of them deserve high praise for their accuracy and depth), the move to open source has become more (...) and more attractive. We're happy to provide it free of charge for educational use. With that being said, there are always improvements to be made here and we would be most grateful for constructive feedback and criticism. We have chosen to write this text in LaTex and have adopted certain conventions with symbols. Certainly many important aspects of critical thinking and logic have been omitted here, including historical developments and key logicians, and for that we apologize. Our goal was to create a textbook that could be provided to students free of charge and still contain some of the more important elements of critical thinking and introductory logic. To that end, an additional benefit of providing this textbook as a Open Education Resource (OER) is that we will be able to provide newer updated versions of this text more frequently, and without any concern about increased charges each time. We are particularly looking forward to expanding our examples, and adding student exercises. We will additionally aim to continually improve the quality and accessibility of our text for students and faculty alike. We have included a bibliography that includes many admirable textbooks, all of which we have benefited from. The interested reader is encouraged to consult these texts for further study and clarification. These texts have been a great inspiration for us and provide features to students that this concise textbook does not. We would both like to thank the philosophy students at numerous schools in the Puget Sound region for their patience and helpful suggestions. In particular, we would like to thank our colleagues at Green River College, who have helped us immensely in numerous different ways. Please feel free to contact us with comments and suggestions. We will strive to correct errors when pointed out, add necessary material, and make other additional and needed changes as they arise. Please check back for the most up to date version. (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).

This is an open-access introductory logic textbook, prepared by Jonathan Ichikawa, based on P.D. Magnus's forallx. This (v2.0, July 2020) is intended as a stable, ready-for-teaching edition.

The standard propositional exposition of necessary and sufficient conditions, as available in introductory logic texts, leads to a contradiction. It should be abolished.

In their book EVALUATING CRITICAL THINKING Stephen Norris and Robert Ennis say: “Although it is tempting to think that certain [unstated] assumptions are logically necessary for an argument or position, they are not. So do not ask for them.” Numerous writers of introductory logic texts as well as various highly visible standardized tests (e.g., the LSAT and GRE) presume that the Norris/Ennis view is wrong; the presumption is that many arguments have (unstated) necessary assumptions and that readers and (...) test takers can reasonably be expected to identify such assumptions. This paper proposes and defends criteria for determining necessary assumptions of arguments. Both theoretical and empirical considerations are brought to bear. (shrink)

The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified (...) notations. The author's model adopts a notation that addresses the essentials of a problem while remaining easily manipulated to serve other analytic frameworks. The author also discusses the pedagogical benefits of incorporating the model into introductory logic classes for topics ranging from syllogisms to predicate calculus. Since this method emphasizes the development of a clear and manipulable notation, students can worry less about issues of translation, can spend more energy solving problems in the terms in which they are expressed, and are better able to think in abstract terms. (shrink)

The definitions of ‘deduction’ found in virtually every introductory logic textbook would encourage us to believe that the inductive/deductive distinction is a distinction among kinds of arguments and that the extension of ‘deduction’ is a determinate class of arguments. In this paper, we argue that that this approach is mistaken. Specifically, we defend the claim that typical definitions of ‘deduction’ operative in attempts to get at the induction/deduction distinction are either too narrow or insufficiently precise. We conclude by (...) presenting a deflationary understanding of the inductive/deductive distinction; in our view, its content is nothing over and above the answers to two fundamental sorts of questions central to critical thinking. (shrink)

This introductory chapter presents the reader with various ways of approaching the topic ‘Wittgenstein and the creativity of language’. It is argued that any serious account of the questions arising from this joint consideration of, on the one hand, this great genius of philosophy and, on the other, the varieties of speech, text, action and beauty which go under the heading ‘the creativity of language’ will have to appreciate the potential of both, in terms of breadth as well as (...) depth. First, the chapter points out a way of understanding Wittgenstein’s discussion of rules and rule-following in relation to meaning and normativity which, in virtue of respecting Wittgenstein’s own creativity as a writer, does not fall prey to a widespread source of misunderstanding. Next, Wittgenstein’s uses of language receive some additional attention (i.e. his use of analogies, metaphors, punctuation and other literary and rhetorical devices), before a glimpse is offered of an unravelling of the knot that is Wittgenstein and the creativity of language. The multiple interrelated threads here lead into areas of human concern ranging from the philosophy of language and logic through to ethics, aesthetics and politics. Finally, the chapter offers an overview of the contents of the book from the perspective of its editors. (shrink)

After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. (...) As a result, modal collapse should not be conceived in Gödel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with Gödel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative Gödelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic. (shrink)

This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word coined (...) for this lecture. To repeat, a subregular polyhedron has congruent faces and congruent [polyhedral] angles. A subregular polyhedron whose faces are all regular polygons is regular—using standard terminology. -/- Geometers before Euclid showed that there are “essentially” only five regular polyhedra: every regular polyhedron is a tetrahedron (4 faces), a hexahedron or cube (6 faces), an octahedron (8 faces), a dodecahedron (12 faces), or an icosahedron (20 faces). -/- The first question is whether there are subregular polyhedra that are not regular. For example, are there tetrahedra having congruent angles and congruent triangular faces but whose faces are not equilateral triangles? -/- Another question is the classification of subregular polyhedra if they exist. For example, considering the fact that the regular tetrahedra all have equilateral triangles as faces, we ask which triangles other than equilaterals are faces of subregular tetrahedra. Similarly, considering the fact that the regular hexahedra all have squares as faces, we ask which quadrangles other than squares are faces of subregular hexahedra. -/- After introductory remarks that include historical and philosophical points, we concentrate on tetrahedra. A triangle that is congruent to each of the four faces of a tetrahedron is called a generator of the tetrahedron. The main result proved is that every acute triangle is a generator of a subregular tetrahedron. The proof includes an algorithm –implementable with scissors and paper –that constructs from any given acute triangle a subregular tetrahedron whose faces are congruent to the given triangle. -/- Algorithm: Given any acute triangle. Construct a similar triangle whose sides are double the sides of the given triangle. Draw the three lines connecting the three midpoints of the sides (making four triangles congruent to the given triangle—a central triangle surrounded by three peripheral triangles). Make three “hinges” along the lines connecting the midpoints. “Fold” the peripheral triangles together (into a tetrahedron). [LIGHTLY EDITED VERSION OF PRINTED ABSTRACT] Acknowledgements: William Lawvere, Colin McLarty, Irvin Miller, Frango Nabrasa, Lawrence Spector, Roberto Torretti, and Richard Vesley. -/- . (shrink)

In the introductory “Intellectual Autobiography” of the Georg Henrik von Wright volume of the Library of Living Philosophers series, von Wright mentions the discrepancy he always felt between his narrow logical-analytical professional work and a drive to make philosophy relevant to his life, calling it a rift in his philosophical personality. This article examines the nature of the rift and the various stages the problem went through during von Wright’s career. It is argued that the initial impression that his (...) books The Varieties of Goodness and Explanation and Understanding had contributed to healing the rift, was subdued by a gradual shift in existential focus from individualistic ethics towards a critical concern for destructive ways of thinking inherent in the Western culture, connected with von Wright’s “political awakening” at the end of the 1960s. The most urgent questions of our times called for novel, non-analytical, ways of doing philosophy, employed in von Wright’s later works on science and reason, and the myth of progress. Eventually von Wright’s earlier methodological concerns were also alleviated by his belief that logical-analytical philosophy was inherently unsuitable for exposing the cultural structures it was very much a part of. (shrink)

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising the (...) target semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s. Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained. (shrink)

The is-ought gap is Hume’s claim that we can’t get an ‘ought’ from just ‘is’s. Prior (“The Autonomy of Ethics,” 1960) showed that its most straightforward formulation, a staple of introductory philosophy classes, fails. Many authors attempt to resurrect the claim by restricting its domain syntactically or by reformulating it in terms of models of deontic logic. Those attempts prove to be complex, incomplete, or incorrect. I provide a simple reformulation of the is-ought gap that closely fits Hume’s (...) description of it. My formulation of the gap avoids the proposed counterexamples from Prior and offers a natural explanation of why they seem compelling. Moreover, I show that my formulation of the gap is guaranteed by standard theories of the semantics of normative terms, and that provides a more general reason to accept it. (shrink)

In this paper, we propose a framework for fostering argumentative skills in a systematic way in Philosophy and Ethics classes. We start with a review of curricula and teaching materials from the German-speaking world to show that there is an urgent need for standards for the teaching and learning of argumentation. Against this backdrop, we present a framework for such standards that is intended to tackle these difficulties. The spiral-curricular model of argumentative competences we sketch helps teachers introduce the relevant (...) concepts and skills to students early on in their school career. The focus is on secondary schools, but the proposal can also be of use for learning and teaching in universities, especially in introductory classes. (shrink)

This is a guide to writing philosophy papers aimed at introductory students prepared by the philosophy faculty at Rochester Community and Technical College. It includes sections on reading philosophy and writing philosophy, as well as an explanation of common grading criteria for essays in philosophy.

The aim of this collection is to show how work in the analytic philosophical tradition can shed light on the nature, value, and experience of anxiety. Contrary to widespread assumptions, anxiety is not best understood as a mental disorder, or an intrinsically debilitating state, but rather as an often valuable affective state which heightens our sensitivity to potential threats and challenges. As the contributions in this volume demonstrate, learning about anxiety can be relevant for debates, not only in the philosophy (...) of emotion, but also in epistemology, value theory, and the philosophy of psychopathology. In this introductory article, we also show that there is still much to discover about the relevance that anxiety may have for moral action, self-understanding, and mental health. (shrink)

Evolution and geometry generate complexity in similar ways. Evolution drives natural selection while geometry may capture the logic of this selection and express it visually, in terms of specific generic properties representing some kind of advantage. Geometry is ideally suited for expressing the logic of evolutionary selection for symmetry, which is found in the shape curves of vein systems and other natural objects such as leaves, cell membranes, or tunnel systems built by ants. The topology and geometry of (...) symmetry is controlled by numerical parameters, which act in analogy with a biological organism’s DNA. The introductory part of this paper reviews findings from experiments illustrating the critical role of two-dimensional (2D) design parameters, affine geometry and shape symmetry for visual or tactile shape sensation and perception-based decision making in populations of experts and non-experts. It will be shown that 2D fractal symmetry, referred to herein as the “symmetry of things in a thing”, results from principles very similar to those of affine projection. Results from experiments on aesthetic and visual preference judgments in response to 2D fractal trees with varying degrees of asymmetry are presented. In a first experiment (psychophysical scaling procedure), non-expert observers had to rate (on a scale from 0 to 10) the perceived beauty of a random series of 2D fractal trees with varying degrees of fractal symmetry. In a second experiment (two-alternative forced choice procedure), they had to express their preference for one of two shapes from the series. The shape pairs were presented successively in random order. Results show that the smallest possible fractal deviation from “symmetry of things in a thing” significantly reduces the perceived attractiveness of such shapes. The potential of future studies where different levels of complexity of fractal patterns are weighed against different degrees of symmetry is pointed out in the conclusion. (shrink)

Fourteen philosophers share their experience teaching Peirce to undergraduates in a variety of settings and a variety of courses. The latter include introductory philosophy courses as well as upper-level courses in American philosophy, philosophy of religion, logic, philosophy of science, medieval philosophy, semiotics, metaphysics, etc., and even an upper-level course devoted entirely to Peirce. The project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American Philosophy. (...) The session, organized by James Campbell and Richard Hart, was co-sponsored by the American Association of Philosophy Teachers. (shrink)

The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for such formalizations, (...) and finally iv) the choice of the underlying logic. This introductory discussion is supplemented by a brief description of the genesis of the special issue, acknowledgements, and summaries of each article. (shrink)

Learning from Arguments advances accessible versions of key philosophical arguments, in a form that students can emulate in their own writing, and with the primary aim of cultivating an understanding of the dynamics of philosophical argumentation. -/- The book contains ten core chapters, covering the problem of evil, Pascal’s wager, personal identity, the irrationality of fearing death, free will and determinism, Cartesian skepticism, the problem of induction, the problem of political authority, the violinist argument, the future-like-ours argument, the ethics of (...) eating meat, utilitarianism (both act and rule), and the trolley problem. Additionally, there is an introductory chapter explaining what arguments are and surveying some common argumentative strategies, an appendix on logic explaining the mechanics and varieties of valid arguments, and an appendix providing detailed advice for writing philosophy papers. -/- Each of the ten core chapters offers a sustained argument for some controversial thesis, specifically written for an audience of beginners. The aim is to introduce newcomers to the dynamics of philosophical argumentation, using some of the arguments standardly covered in an introductory philosophy course, but without the additional hurdles one encounters when reading the primary sources of the arguments: challenging writing, specialized jargon, and references to unfamiliar books, philosophers, or schools of thought. (shrink)

The objective of this document is to present three introductory notes on set theory: The first note presents an overview of this discipline from its origins to the present, in the second note some considerations are made about the evaluation of reasoning applying the first-order Logic and Löwenheim's theorems, Church Indecidibility, Completeness and Incompleteness of Gödel, it is known that the axiomatic theories of most commonly used sets are written in a specific first-order language, that is, they are (...) developed within the framework of first-order logic, so this note is relevant; and the third note refers to the presence of mathematical platonism in the axioms of ZFC and in the axioms of "complete ordered field", it is known that the last axioms mentioned characterize (except isomorphism) the real number system and are currently used to develop the real Analysis in the context of set theory. It is hoped that this article will be of pedagogical utility for students interested in set theory and in the philosophy of mathematics (that are beginning in the subject). (shrink)

A fresh and original presentation that is easy and affordable for students, instructors, and general readers to use. This well-written, insightful history of philosophy is basic enough to be understood by those with no prior experience with philosophy but sophisticated enough to inform further those with some knowledge of philosophy. -/- Based on the author’s 20-plus years of teaching philosophy and learning what works for students, How We Are and How We Got Here is designed to connect with students to (...) help them understand philosophy and why it matters to them, regardless of their major. Its straightforward conversational presentation of philosophy includes readers in philosophy’s long conversation. Its chronological presentation places philosophers in their historical context, showing how philosophy is an ongoing interaction with society seeking practical knowledge useful to us in everyday life. -/- Key Features that fill multiple gaps in existing textbooks: -/- * Shows students how innovations in philosophy have interacted with and changed history, leading to how we are today. * Presents philosophy as a vital part of our lives, not as a set of isolated theoretical problems, avoiding the disconnected and fragmented silo approach of most textbooks. * Avoids the sink-or-swim approach of anthologies that plunges students into a hodgepodge of disjoint readings without adequate guidance. * Does not duplicate material covered in other introductory courses of ethics and logic but focuses on the rest of philosophy. * Focuses on explaining the ideas of the philosophers, allowing instructors to choose, at their option, primary texts from the plentifully available royalty-free sources. * Extensively covers vital areas of philosophy ignored by most textbooks, including pragmatism, phenomenology, social and political philosophy, postmodernism, feminist philosophy, and philosophy of race. * Always remains engaging and accessible to the reader. Neither dumbs down the material nor over complicates it. * Provides clear and direct text unencumbered by bells and whistles and other extraneous materials. -/- How We Are and How We Got Here provides students of all backgrounds with a clear and whole understanding of philosophy and its role in history and society, making the 2,400-year history of Western philosophy vital and relevant to today. It shows that philosophy is not a cold analytical academic procedure but exciting and alive, and reveals how we are all philosophers. (shrink)

The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a specific (...) theoretical goal associated with the need to indicate those conditions that should be met by the non-trivial theory of normative mechanisms and the specific models proposed by PP supporters. In this work, I use classical philosophical methods, such as conceptual analysis and critical reflection. I also analyze selected studies in the field of cognitive science, cognitive psychology, neurology, information theory and biology in terms of the methodology, argumentation and language used, in accordance with their theoretical importance for the issues discussed in this study. In this sense, the research presented here is interdisciplinary. My research framework is informed by the mechanistic model of explanation, which defines the necessary and sufficient conditions for explaining a given phenomenon. The research methods I chose are therefore related to the problems that I intend to solve. In the introductory chapter, “The concept of predictive processing”, I discuss the nature of PP as well as its main assumptions and theses. I also highlight the key concepts and distinctions for this research framework. Many authors argue that PP is a contemporary version of Kantianism and is exposed to objections similar to those made against the approach of Immanuel Kant. I discuss this thesis and show that it is only in a very general sense that the PP framework is neo-Kantian. Here we are not dealing with transcendental deduction nor with the application of transcendental arguments. I argue that PP is based on reverse engineering and abduction inferences. In the second part of this chapter, I respond to the objection formulated by Dan Zahavi, who directly accuses this research framework of anti-realistic consequences. I demonstrate that the position of internalism, present in the so-called conservative PP, does not imply anti-realism, and that, due to the explanatory role played in it by structural representations directed at real patterns, it is justified to claim that PP is realistic. In this way, I show that PP is a non-trivial research framework, having its subject, specific methods and its own epistemic status. Finally, I discuss positions classified as the socalled radical PP. In the chapter “Predictive processing as a Bayesian explanatory model” I justify the thesis according to which PP offers Bayesian modeling. Many researchers claim that the brain is an implemented statistical probabilistic network that is an approximation of the Bayesian 7 rule. In practice, this means that all cognitive processes are to apply Bayes' rule and can be described in terms of probability distributions. Such a solution arouses objections among many researchers and is the subject of wide criticism. The purpose of this chapter is to justify the thesis that Bayesian PP is a non-trivial research framework. For this purpose, I argue that it explains certain phenomena not only at the computational level described by David Marr, but also at the level of algorithms and implementation. Later in this chapter I demonstrate that PP is normative modeling. Proponents of the use of Bayesian models in psychology or decision theory argue that they are normative because they allow the formulation of formal rules of action that show what needs to be done to make a given action optimal. Critics of this approach emphasize that such thinking about the normativity of Bayesian modeling is unjustified and that science should shift from prescriptive to descriptive positions. In a polemic with Shira Elqayam and Jonathan Evans (2011), I show that the division they propose into prescriptivism and Bayesian descriptivism is apparent, because, as I argue, there are two forms of prescriptivism, i.e. the weak and the strong. I argue that the weak version is epistemic and can lead to anti-realism, while the strong version is ontic and allows one to justify realism in relation to Bayesian models. I argue that a weak version of prescriptivism is valid for PP. It allows us to adopt anti-realism in relation to PP. In practice, this means that you can explain phenomena using Bayes' rule. This does not, however, imply that they are Bayesian in nature. However, the full justification of realism in relation to the Bayesian PP presupposes the adoption of strong prescriptivism. This position assumes that phenomena are explained by Bayesian rule because they are Bayesian as such. If they are Bayesian in nature, then they should be explained using Bayesian modeling. This thesis will be substantiated in the chapters “Normative functions and mechanisms in the context of predictive processing” and “Normative mechanisms and actions in predictive processing”. In the chapter “The Free Energy Principle in predictive processing”, I discuss the Free Energy Principle (hereinafter FEP) formulated by Karl Friston and some of its implications. According to this principle, all biological systems (defined in terms of Markov blankets) minimize the free energy of their internal states in order to maintain homeostasis. Some researchers believe that PP is a special case of applying this principle to cognition, and that predictive mechanisms are homeostatic mechanisms that minimize free energy. The discussion of FEP is important due to the fact that some authors consider it to be important for explanatory purposes and normative. If this is the case, then FEP turns out to be crucial in explaining normative predictive mechanisms and, in general, any normative biological mechanisms. To define the explanatory possibilities of this principle, I refer to the discussion of its supporters on the issue they define as the problem of continuity and discontinuity between life and mind. A critical analysis of this discussion and the additional arguments I have formulated have allowed me to revise the explanatory ambitions of FEP. I also reject the belief that this principle is necessary to explain the nature of predictive mechanisms. I argue that the principle formulated and defended by Friston is an important research heuristic for PP analysis. 8 In the chapter “Normative functions and mechanisms in predictive processing”, I start my analyzes by formulating an answer to the question about the normative nature of homeostatic mechanisms. I demonstrate that predictive mechanisms are not homeostatic. I defend the view that a full explanation of normative mechanisms presupposes an explanation of normative functions. I discuss the most important proposals for understanding the normativity of a function, both from a systemic and teleosemantic perspective. I conclude that the non-trivial concept of a function must meet two requirements which I define as explanatory and normative. I show that none of the theories I have invoked satisfactorily meets both of these requirements. Instead, I propose a model of normativity based on Bickhard's account, but supplemented by a mechanistic perspective. I argue that a function is normative when: (1) it allows one to explain the dysfunction of a given mechanism; (2) it contributes to the maintenance of the organism's stability by shaping and limiting possible relations, processes and behaviors of a given system; and when (3) (according to the representational and predictive functions) it enables explaining the attribution of logical values of certain representations / predictions. In such an approach, a mechanism is normative when it performs certain normative functions and when it is constitutive for a specific action or behavior, despite the fact that for some reason it cannot realize it either currently or in the long-term. Such an understanding of the normativity of mechanisms presupposes the acceptance of the epistemic hypothesis. I argue that this hypothesis is not cognitively satisfactory, and therefore the ontic hypothesis should be justified, which is directly related to adopting the position of ontic prescriptivism. For this reason, referring to the mechanistic theory of scientific explanations, I formulate an ontical interpretation of the concept of a normative mechanism. According to this approach, a mechanism or a function is normative when they perform such and such causal roles in explaining certain actions and behaviors. With regard to the normative properties of predictive mechanisms and functions, this means that they are the causes of specific actions an organism carries out in the environment. In this way, I justify the necessity of accepting the ontic hypothesis and rejecting the epistemic hypothesis. The fifth chapter, “Normative mechanisms and actions in predictive processing”, is devoted to the dark room problem and the related exploration-exploitation trade-off. A dark room is the state that an agent could be in if it minimized the sum of all potential prediction errors. I demonstrate that, in accordance with the basic assumption of PP about the need for continuous and long-term minimization of prediction errors, such a state should be desirable for the agent. Is it really so? Many authors believe it is not. I argue that the test of the value of PP is the possibility of a non-trivial solution of this problem, which can be reduced to the choice between active and uncertainty-increasing exploration and safe and easily predictable exploitation. I show that the solution proposed by PP supporters present in the literature does not enable a fully satisfactory explanation of this dilemma. Then I defend the position according to which the full explanation of the normative mechanisms, and, subsequently, the solution to the dilemma of exploration and exploitation, involves reference to the existence of constraints present in the environment. The constraints 9 include elements of the environment that make a given mechanism not only causal but also normative. They are therefore key to explaining the predictive mechanisms. They do not only play the role of the context in which the mechanism is implemented, but, above all, are its constitutive component. I argue that the full explanation of the role of constraints in normative predictive mechanisms presupposes the integration of individual models of specific cognitive phenomena, because only the mechanistic integration of PP with other models allows for a non-trivial explanation of the nature of normative predictive mechanisms that would have a strong explanatory value. The explanatory monism present in many approaches to PP makes it impossible to solve the problem of the dark room. Later in this chapter, I argue that the Bayesian PP is normative not because it enables the formulation of such and such rules of action, but because the predictive mechanisms themselves are normative. They are normative because they condition the choice of such and such actions by agents. In this way, I justify the hypothesis that normative mechanisms make it possible to explain the phenomenon of agent motivation, which is crucial for solving the dark room problem. In the last part of the chapter, I formulate the hypothesis of distributed normativity, which assumes that the normative nature of certain mechanisms, functions or objects is determined by the relations into which these mechanisms, functions or objects enter. This means that what is normative (in the primary sense) is the relational structure that constitutes the normativity of specific items included in it. I suggest that this hypothesis opens up many areas of research and makes it possible to rethink many problems. In the “Conclusion”, I summarize the results of my research and indicate further research perspectives. (shrink)

Philosophy is the science of the science; it is the analysis of the assumptions underlying empirical inquiry. Given that these assumptions cannot possibly be examined or even identified on the basis of empirical data, it follows that philosophy is a non-empirical discipline. And given that our linguistic and cultural practices cannot possibly be examined or even identified except on the basis of empirical data, it follows that philosophical questions are not linguistic questions and do not otherwise concern our conventions or (...) our cultural practices. This entails that philosophical truths are not tautologous or otherwise trivial. It also entails that empiricism is false and, therefore, that Platonism is correct. Given a clear understanding of why Platonism is correct and of what this implies, a number of shibboleths of contemporary analytic philosophy are speedily demolished and are no less speedily replaced with independently corroborated and intuitively plausible alternatives. New answers are given to age-old questions concerning scientific explanation, causal and logical dependence, linguistic meaning, personal identity, the structure of the psyche, and the nature of personal responsibility. Existing answers to these question are thoroughly considered and duly extended, modified, or replaced. Every technical term is defined; every philosophy-specific concept is explained; and the positions defended are consistent with commonsense, so far as their being consistent with the relevant data allows them to be. Therefore, this book is intelligible to philosophically minded laymen. At the same time, it is appropriate for advanced scholars, given that it defends original viewpoints and given also that, even though it discusses old viewpoints, it does so in new ways. Because it is clearly written, it is intelligible to neophytes; but it is not an introductory text and it is not a textbook. There are two appendices: the first, a thorough exposition of the rudiments of formal logic, along with the conceptual underpinnings of that discipline; the second, a definition and analytic discussion of each technical term that occurs in the text. Most of the chapters are followed by study-questions and by practice tests. (shrink)

The two main features of this thesis are (i) an account of contextualized (context indexed) counterfactuals, and (ii) a non-vacuist account of counterpossibles. Experience tells us that the truth of the counterfactual is contingent on what is meant by the antecedent, which in turn rests on what context is assumed to underlie its reading (intended meaning). On most conditional analyses, only the world of evaluation and the antecedent determine which worlds are relevant to determining the truth of a conditional, and (...) consequently what its truth value is. But that results in the underlying context being fixed, when evaluating distinct counterfactuals with the same antecedent on any single occasion, even when the context underlying the evaluation of each counterfactual may vary. Alternative approaches go some of the way toward resolving this inadequacy by appealing to a difference in the consequents associated with counterfactuals with the same antecedent. That is, in addition to the world of evaluation and the antecedent, the consequent contributes to the counterfactual’s evaluation. But these alternative approaches nevertheless give a single, determinate truth value to any single conditional (same antecedent and consequent), despite the possibility that this value may vary with context. My reply to these shortcomings (chapter 4) takes the form of an analysis of a language that makes appropriate explicit access to the intended context available. That is, I give an account of a contextualized counterfactual of the form ‘In context C: If it were the case that … , then it would be the case that …’. Although my proposal is largely based on Lewis’ (1973, 1981) analyses of counterfactuals (the logic VW and its ordering semantics), it does not require that any particular logic of counterfactuals should serve as its basis – rather, it is a general prescription for contextualizing a conditional language. The advantage of working with ordering semantics stems from existing results (which I apply and develop) concerning the properties of ordering frames that facilitate fashioning and implementing a notion of contextual information preservation. Analyses of counterfactuals, such as Lewis’ (1973), that cash out the truth of counterfactuals in terms of the corresponding material conditional’s truth at possible worlds result in all counterpossibles being evaluated as vacuously true. This is because antecedents of counterpossibles are not true at any possible world, by definition. Such vacuist analyses have already been identified and challenged by a number of authors. I join this critical front, and drawing on existing proposals, I develop an impossible world semantics for a non-vacuist account of counterpossibles (chapter 5), by modifying the same system and semantics that serve the basis of the contextualized account offered in chapter 4, i.e. Lewis’ (1986) ordering semantics for the logic VW. I critically evaluate the advantages and disadvantages of key conditions on the ordering of worlds on the extended domain and show that there is a sense in which all of Lewis’ analysis of mere counterfactuals can be preserved, whilst offering an analysis of counterpossibles that meets our intuitions. The first part of chapter 1 consists of an outline of the usefulness of impossible worlds across philosophical analyses and logic. That outline in conjunction with a critical evaluation of Lewis’ logical arguments in favour of vacuism in chapter 2, and his marvellous mountain argument against impossible worlds in chapter 3, serves to motivate and justify the impossible world semantics for counterpossibles proposed in chapter 5. The second part of chapter 1 discusses the limitations that various conditional logics face when tasked to give an adequate treatment of the influence of context. That introductory discussion in conjunction with an overview of conditional logics and their various semantics in chapter 2 – which includes an in-depth exposition of Stalnaker-Lewis similarity semantics for counterfactuals – serves as the motivation and conceptual basis for the contextualized account of counterfactuals proposed in chapter 4. (shrink)

Latin commentators came across the « Third Man » in Aristotle’s Sophistici elenchi. The way they dealt with the argument is a fair illustration of how they were both faithful to the text and innovative in their understanding of its most challenging issues. Besides providing a detailed survey of all manuscript sources, the introductory essay shows that Latin interpretation originates from a mistake in Boethius’ translation which radically transformed the argument. The edition makes available for the first time a (...) considerable amount of new documentary evidence which made it possible to solve the riddle of the Latin « Third Man ». (shrink)

Although the tradition of the Buddhist logic in India had been developed through the debates with non-Buddhists, that in pre-modern Japan hardly had such experiences. The applications of inmyō were limited to the disputes between the Hossō school (Japanese transmission of Yogācāra school) and another Buddhist schools. During the rapid modernization and westernization after the Meiji restoration, however, Buddhist logicians also encountered the non-Buddhist cultures including the deductive and inductive logics, Christianity, democracy and republicanism imported from Western countries. A (...) part of them, such as Kira Kōyō, regarded inmyō as useful for the democratic discussion, and promoted it to the politicians and the legal professionals. Their introductory books about inmyō included many sample expressions which criticized the existence of God and the authenticity of republicanism, as well as the unequal treaties forced by Europe and America. In spite of those efforts, inmyō did not become popular in modern Japan. In addition, it also lost the scholars' interest in the twentieth century, because of the introduction of the scriptures of Indian logic in Sanskrit and Tibetan. But the inmyō studies in Meiji period should not be ignored, since they were regarded not only as one of the intellectual refutations to the West in East Asia, but also as the previous researches which were studied by East Asian scholars of the Buddhist logic. (shrink)

This book is the result of Searle's stay in the Munster University Philosophy Dept in 2009 and all the papers except his introductory one and his final response are from persons associated with Munster. However all the papers were written or revised later and so are one of the most up to date looks at his views available as of mid 2013. S has in my view made more fundamental contributions to higher order descriptive psychology (philosophy) than anyone since (...) Wittgenstein and has been writing world class material for over 50 years. He is also (like W before him) regarded as the best standup philosopher alive and has taught and lectured worldwide. He is also one of the clearest and most careful writers in the field so one would think that every philosopher writing an article on his work would have an up to date and accurate understanding of his ideas. Unfortunately this book shows that this is far from true. All the 11 articles make major mistakes regarding his views and regarding what he (and I) would regard as an accurate description of behavior. -/- Searle's obliviousness (which he shares with most philosophers) to the modern two systems framework and to the full implications of W’s “radical” epistemology as stated most dramatically in his last work ‘On Certainty’, is most unfortunate (as I have noted in many reviews). It was Wittgenstein who did the first and best job of describing the two systems (though nobody else has noticed) and OC represents a major event in intellectual history. Not only is Searle unaware of the fact that his framework is a straightforward continuation of W, but everyone else is too, which accounts for the lack of any significant reference to W in this book. As usual one also notes no apparent acquaintance with Evolutionary Psychology, which can enlighten all discussions of behavior by providing the real ultimate evolutionary and biological explanations rather than the superficial proximate cultural ones. -/- However, his comment on p212 is right on the money—the ultimate explanation (or as W insists the description) can only be a naturalized one which describes how mind, will, self, intention work and cannot meaningfully eliminate them as ‘real’ phenomena. Recall Searle’s famous review of Dennett’s ‘Conscious Explained’ entitled “Consciousness explained away”. And this makes it all the more bizarre that Searle should repeatedly state that we don’t know for sure if we have free will and that we have to ‘postulate’ a self (p218-219). As he notes “The neuro-biological processes and the mental phenomena are the same event, described at different levels” and “How can conscious intentions cause bodily movement?…How can the hammer move the nail in virtue of being solid? …If you analyze what solidity is causally…if you analyze what intention-in-action is causally, you see analogously there is no philosophical problem left over.” -/- Also I would state “The heart of my argument is that our linguistic practices, as commonly understood, presuppose a reality that exists independently of our representations.” (p223) as “Our life shows a world that does not depend on our existence and cannot be intelligibly challenged.” This book is valuable principally as a recent synopsis of the work of one the greatest philosophers of recent times. But there is also value in analyzing his responses to the many basic confusions manifested in the articles by others. Since this review I have written many articles extending the framework of the logical structure of rationality and commenting in depth on Searle and Wittgenstein which are all readily available on the net. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

This book is the result of Searle's stay in the Munster University Philosophy Dept in 2009 and all the papers except his introductory one and his final response are from persons associated with Munster. However, all the papers were written or revised later and so are one of the most up to date looks at his views available as of mid-2013. S has in my view made more fundamental contributions to higher order descriptive psychology (philosophy) than anyone since Wittgenstein (...) (W), and has been writing world class material for over 50 years. He is also (like W before him) regarded as the best standup philosopher alive and has taught and lectured worldwide. He is also one of the clearest and most careful writers in the field, so one would think that every philosopher writing an article on his work would have an up to date and accurate understanding of his ideas. Unfortunately, this book shows that this is far from true. All the 11 articles make major mistakes regarding his views and regarding what he (and I) would regard as an accurate description of behavior. -/- Searle's obliviousness (which he shares with most philosophers) to the modern two systems framework, and to the full implications of W’s “radical” epistemology, as stated most dramatically in his last work ‘On Certainty’, is most unfortunate (as I have noted in many reviews). It was Wittgenstein who did the first and best job of describing the two systems (though nobody else has noticed) and OC represents a major event in intellectual history. Not only is Searle unaware of the fact that his framework is a straightforward continuation of W, but everyone else is too, which accounts for the lack of any significant reference to W in this book. As usual one also notes no apparent acquaintance with Evolutionary Psychology, which can enlighten all discussions of behavior by providing the real ultimate evolutionary and biological explanations rather than the superficial proximate cultural ones. -/- However, his comment on p212 is right on the money—the ultimate explanation (or as W insists the description) can only be a naturalized one which describes how mind, will, self, intention work and cannot meaningfully eliminate them as ‘real’ phenomena. Recall Searle’s famous review of Dennett’s ‘Conscious Explained’ entitled “Consciousness explained away”. And this makes it all the more bizarre that Searle should repeatedly state that we don’t know for sure if we have free will and that we have to ‘postulate’ a self (p218-219). -/- As he notes “The neuro-biological processes and the mental phenomena are the same event, described at different levels” and “How can conscious intentions cause bodily movement? …How can the hammer move the nail in virtue of being solid? …If you analyze what solidity is causally…if you analyze what intention-in-action is causally, you see analogously there is no philosophical problem left over.” -/- Also, I would state “The heart of my argument is that our linguistic practices, as commonly understood, presuppose a reality that exists independently of our representations.” (p223) as “Our life shows a world that does not depend on our existence and cannot be intelligibly challenged.” -/- This book is valuable principally as a recent synopsis of the work of one the greatest philosophers of recent times. But there is also value in analyzing his responses to the many basic confusions manifested in the articles by others. Since this review, I have written many articles extending the framework of the logical structure of rationality and commenting in depth on Searle and Wittgenstein which are all readily available on the net. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

An introduction to Professor Uya’s philosophy of history class starts with this caution, ‘as a historian, you must learn to think’. Put differently, you must learn to develop a critical mind for healthy scepticism. If Philosophy, is having second thought, that is thinking about the nature of some form of human thought and the implications of some body of human knowledge in the most ultimate and far-reaching way, then Professor Uya’s introductory remarks to his students of philosophy of history (...) is not out of place. Historical judgements can be made by any student through careful and critical reading of the work of modern historians and by paying some attention to the biography, social and intellectual milieu of the author of the book he is reading. The author’s life and background will indicate his experiences and the ideas upon which he will draw in his facts and make inference. As a distinct historical field, historiography implies a systematic study of the way the historian does his work. It involves four different but closely related historical activities. The first is the reflection on the trends and patterns of historical writing and a systematic study of all the important historians; the second, is the discovery of critical analysis of historical sources; the third, is the construction and description of the past on the basis of the facts acquired; the fourth is the construction on the basis of the ascertain facts, of some general theory which gives meaning and inner logic to the known past.1 It is useful for students because it will allow the student to see the whole sweep of historical literature and the changing assumptions and values that govern historical judgements in the modern world. Conscientious reading, research and writing which professor Uya puts his student through has not only given them this broad knowledge, of major historical trends, the course as taught by him, has undoubtedly expedited the gaining of this insight and understanding. (shrink)

In this introductory essay, I describe feminist ethics as a kind of approach to morality that says we ought to pay attention to the facts on the ground and empirical information in order to know whether and how a moral problem is a gendered problem. One of the best accounts of feminist ethics is by Hilde Lindemann, who wrote that feminist ethics aims “to understand, criticize, and correct how gender operates within our moral and social beliefs and practices.” She (...) doesn’t define feminism as a theory about women, and neither do I. The term 'feminist' has more to do with the sources of this approach to ethics than the ultimate goals of such theorists; women were influential and early advocates of the view that sometimes a moral problem is a problem because it is gendered. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only those (...) epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries. (shrink)

This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in (...) a dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For (...) naturalists of all stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)