Logic and Foundations of Mathematics Commons^™

01. Harry Stottlemeier's Discovery (Novel - Ebook), Matthew Lipman

Middle School Curriculum

One day Harry finds himself giving the wrong answer in science class and begins to wonder where he has gone wrong. This reflection soon involves his classmates, who begin to think together about the nature of thinking, inquiry and knowledge. With the help of their teacher, Harry and his classmates discover rules of formal and informal logic, relational logic and hypothetical thinking—-not as ends in themselves, but as tools in helping them understand themselves and their world. Some of the ideas they begin to explore this way include education, mind, rights, religion, art, cause and effect, causes and reasons, and …

Modeling Deductive Inference: A Historico-Philosophical Introduction To First-Order Logic, David J. Buller

Faculty Books & Book Chapters

This book is a companion text for lectures on first-order logic and its elementary metatheory (used in Intermediate Logic at Northern Illinois University). It covers the basic concepts of set theory necessary for a mathematical development of first-order logic; develops a formal language of first-order logic; presents a classical Tarskian semantics for the language and the “semantic” conception of logical consequence; presents a Gentzenian proof system and the “syntactic” conception of logical consequence; develops a partial decision procedure for logical consequence in the language; demonstrates applications of the formal system to modeling deductive inference expressed in natural language; and extends …

Unlocking The Power Of Logic: Thinking Smarter Every Day A Beginner's Guide To Logical Thinking, Jesus Diaz

A with Honors Projects

Power Point presented to an 11th and 12th grade high school audience, introducing them to the concept of logic.

Towards Erasing The Distinction Between The Computational And Syntactic Accounts Of Scientific Theories, Timothy Luft

Theses

One of the main goals of philosophy of science is to give a proper account of scientific theories and their structure. One way that accounts of the structure of scientific theories can be distinguished is by the mathematical or logical structures that they involve. For instance, syntactic accounts of scientific theories hold that theories are axioms in a logical framework, whereas semantic accounts are more liberal in the range of mathematical and logical structures they take as pertinent to the structure of scientific theories. Paul Thagard (1988) offers a computational account of scientific theories, which holds that theories are complex …

Reflections On Williamson On Logic And Validity, Graham Priest

Publications and Research

Over many years now, Tim Williamson and I have engaged in debates over fundamental issues concerning logic. On some things, we have disagreed strongly; on others, we have agreed.

Three Essays On Substructural Approaches To Semantic Paradoxes, Brian C. Porter

Dissertations, Theses, and Capstone Projects

This thesis consists of three papers on substructural approaches to semantic paradoxes. The first paper introduces a formal system, based on a nontransitive substructural logic, which has exactly the valid and antivalid inferences of classical logic at every level of (meta)inference, but which I argue is still not classical logic. In the second essay, I introduce infinite-premise versions of several semantic paradoxes, and show that noncontractive substructural approaches do not solve these paradoxes. In the third essay, I introduce an infinite metainferential hierarchy of validity curry paradoxes, and argue that providing a uniform solution to the paradoxes in this hierarchy …

Russian Logics And The Culture Of Impossible: Part Ii: Reinterpreting Algorithmic Rationality, Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol

Research Collection School of Social Sciences

This article reinterprets algorithmic rationality by looking at the interaction between mathematical logic, mechanized reasoning, and, later, computing in the Russian Imperial and Soviet contexts to offer a history of the algorithm as a mathematical object bridging the inner and outer worlds, a humanistic vision that we, following logician Vladimir Uspensky, call the “culture of the impossible.” We unfold the deep roots of this vision as embodied in scientific intelligentsia. In Part I, we examine continuities between the turn-of-the-twentieth-century discussions of poznaniye—an epistemic orientation towards the process of knowledge acquisition—and the postwar rise of the Soviet school of mathematical logic. …

The Conceptions Of Self-Evidence In The Finnis Reconstruction Of Natural Law, Kevin P. Lee

St. Mary's Law Journal

Finnis claims that his theory proceeds from seven basic principles of practical reason that are self-evidently true. While much has been written about the claim of self-evidence, this article considers it in relation to the rigorous claims of logic and mathematics. It argues that when considered in this light, Finnis equivocates in his use of the concept of self-evidence between the realist Thomistic conception and a purely formal, modern symbolic conception. Given his respect for the modern positivist separation of fact and value, the realism of the Thomistic conception cannot be the foundation for the natural law as Finnis would …

Logical Pluralism And Vicious Regresses, Daniel Boyd

Dissertations, Theses, and Capstone Projects

This material in this dissertation will be divided into two parts. The first part is a preliminary discussion of vicious regress arguments in the philosophy of logic in the 20th century. The second part will focus on three different versions of logical pluralism, i.e., the view that there are many correct logics. In each case an argument will be developed to show that these versions of logical pluralism result in a vicious regress.

The material in part one will be divided into three chapters, and there are a few reasons for having a preliminary discussion of vicious regress arguments in …

Are Logic And Math Relevant To Social Debates?, Michael A. Lewis

Journal of Humanistic Mathematics

Social debates, as well as discussions about certain highly charged issues, such as racism, gender identity, and sexuality, usually turn on the uses or mentions of key words. That is, the conclusions we can draw from such discussions depend on how certain terms are used or mentioned in them. Yet participants in social debates may often fail to precisely define their terms or fail to make important distinctions in terms uttered by others. Both logic and mathematics pay attention to the importance of precise definitions when it comes to engaging in discussions, arguments, or proofs. Logic also makes an important …

Logic, Thought, And Language In Hegel, Marx, And Rosenzweig, Omar Moreno

Open Access Theses & Dissertations

The objective of this Thesis is to open a conversation regarding the role of grammar in two areas of philosophy: interpretation and normative philosophy. The task is divided into three chapters, each of which focuses on one major issue. The first is a demonstration of the use of grammar in understanding and interpreting works of philosophy, namely those of Hegel and Marx. The second chapter is an interpretation of Franz Rosenzweig's renovated grammar as seen in The Star of Redemption. The last uses an analysis of grammar to challenge the role of empirical knowledge in community building. The last chapter …

An Introduction To Logic: From Everyday Life To Formal Systems, Albert Mosley, Eulalio Baltazar

Open Educational Resources: Textbooks

An introduction to the discipline of logic covering subjects from the structures of arguments, classical and modern logic, categorical and inductive inferences, to informal fallacies.

• Over 30 years of development provides a sound empirical based pedagogy throughout the text.

• Examples in ordinary language using familiar examples avoids the suggestion of an alien cultural imposition.

• A focus on the basic representational techniques of classical and modern logic.

• Students introduced to basic concepts of set theory, using Venn diagrams to represent statements and evaluate arguments.

• Students introduced to basic concepts of propositional logic and the use of truth-tables.

• Students introduced to basic …

Counterfactual Conditional Analysis Using The Centipede Game, Ahmed Bilal

CMC Senior Theses

The Backward Induction strategy for the Centipede Game leads us to a counterfactual reasoning paradox, The Centipede Game paradox. The counterfactual reasoning proving the backward induction strategy for the game appears to rely on the players in the game not choosing that very same backward induction strategy. The paradox is a general paradox that applies to backward induction reasoning in sequential, perfect information games. Therefore, the paradox is not only problematic for the Centipede Game, but it also affects counterfactual reasoning solutions in games similar to the Centipede Game. The Centipede Game is a prime illustration of this paradox in …

The Logical Fallacies In Political Discourse, Zilin Cidre Zhou

Summer Research Program

I examined the use of logical fallacies in political discourse. Logical fallacies are fraudulent tricks people use in their argument to make it sound more credible while what they really do is to fool the audience. Out of more than 300 kinds of fallacies, I focused on 18 common ones by analyzing their use in debates about political issues. During conducting my research, I noted that being aware of my mental state is very important if I want to accurately detect the fallacies. Furthermore, while watching two sides debating, being impartial is as significant as staying calm. I also need …

Zero Textbook Cost Syllabus For Phi 1600 (Logic And Moral Reasoning), Andreea Prichea

Open Educational Resources

The goal of the course is for students to familiarize themselves with the structure of an argument. Identify and iterate the difference between inductive and deductive, valid and invalid arguments. Learn methods to determine if an argument is valid or invalid, and be able to identify faulty arguments based on the argument's structure. The core of the course will focus on deductive arguments as they relate to moral arguments. . The student throughout the course will be exposed to arguments in natural language, and try to analyze them through the methods learned.

Zero Textbook Cost Syllabus For Phi 1600 (Logic And Moral Reasoning), Alexander Steers-Mccrum

Open Educational Resources

The goal of this class is to familiarize students with formal and informal logic. Logic illustrates and explores the connections between ideas. It can help us evaluate our beliefs and make and understand arguments. Aside from its use in philosophy, logic is of particular importance in mathematics and law, and is foundational for computer science.

Dialetheism, Paradox, And Nāgārjuna’S Way Of Thinking, Richard H. Jones

Comparative Philosophy

Nāgārjuna’s doctrine of emptiness, his ideas on “two truths” and language, and his general method of arguing are presented clearly by him and can be stated without paradox. That the dialetheists today can restate his beliefs in paradoxical ways does not mean that Nāgārjuna argued that way; in fact, their restatements misrepresent and undercut his arguments.

Classical Logic, Stewart Shapiro, Teresa Kouri Kissel

Philosophy Faculty Publications

[From introductory section]

Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics. The language has components that correspond to a part of a natural language like English or Greek. The deductive system is to capture, codify, or simply record arguments that are valid for the given language, and the semantics is to capture, codify, or record the meanings, or truth-conditions for at least part of the language.

The following sections provide the basics of a typical logic, sometimes called “classical elementary logic” or “classical first-order logic”....

Zero Textbook Cost Syllabus For Phi 1600 (Logic And Moral Reasoning), Jesse Rappaport

Open Educational Resources

This course examines the principles of clear and accurate thought, including sound and valid arguments and methods of scientific reasoning in moral and political argument.

Zero Textbook Cost Syllabus For Phi 1600 (Logic And Moral Reasoning), Gerrit Jan Kamperdyk

Open Educational Resources

This course examines the principles of clear and accurate thought, including sound and valid arguments and methods of scientific reasoning in moral and political argument.

Forall X: Introduction To Formal Logic, Version 1.40, P.D. Magnus

Philosophy Faculty Books

In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book covers translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix

The Logic Of Concessive Statements, Aharon Grenadir

School for Lifelong Education Publications

Concessive statements appear frequently in everyday reasoning. They are one of the eleven types of statement mentioned in the Ramchal‟s Sefer Derech Tevunos. In addition, in Talmudic discussions, every statement has a presupposition (hava-amina) and a conclusion (ka mashma lan). This goal of this research is to organize the categorizations of concessive statements that are stated in the technical literature. Using the distintinction in lomdus between dechiyah (overriding a law) and hutrah (removal of a law), a novel categorization can be added, according to the type of denial of the expectation by the main clause. That is the subject of …

Why Brilliant People Believe Nonsense: A Practical Text For Critical And Creative Thinking, J. Steve Miller, Cherie K. Miller

2015 Faculty Bookshelf

The information explosion has made us information rich, but wisdom poor. Yet, to succeed in business and in life, we must distinguish accurate from bogus sources, and draw valid conclusions from mounds of data. This book, written for a general adult audience as well as students, takes a new look at critical thinking in the information age, helping readers to not only see through nonsense, but to create a better future with innovative thinking.

Readers should see the practicality of enhancing skills that make them more innovative and employable, especially in a day when companies increasingly seek original thinkers, global …

The Square Of Opposition: Innovations In Teaching Logic, Marc R. Dimartino

Senior Honors Projects

Teaching classical logic can often be challenging, especially when working with students who lack any prior experience with the more technical aspects of critical thinking. The abstraction of statements into logical symbols and the implementation of various diagramming methods can be enough to frustrate novice logicians, leading to a lack of hope and sometimes failure of mastery. The unique difficulties in teaching classical logic can, in addition, exacerbate tricky pedagogical issues that arise on a day to day basis in the critical thinking classroom. For example, it can be challenging to convey complex information in a meaningful way when dealing …

A Formalization Of Topical Logic, Aharon Grenadir

School for Lifelong Education Publications

The author discusses the history of topical logic.

Logic, Truth And Inquiry (Book Review), G. C. Goddu

Philosophy Faculty Publications

Mark Weinstein’s, Logic, Truth and Inquiry is an ambitious and provocative case for a theory of truth and warrant strength that will undergird an “account of argument in the broad sense of current argumentation theory” (p. 12). I begin with a very schematic synopsis of Weinstein’s rich discussion through his six chapters. Weinstein himself notes that his arguments are “frequently presented in broad outline” (p. 1), so my quick sketch will be even broader. I conclude with some brief observations about both what the book leaves unresolved and the merits of Weinstein’s intriguing book.

Forall X: Introduction To Formal Logic, Version 1.29, P.D. Magnus

Philosophy Faculty Books

In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book covers translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix

Forall X: An Introduction To Formal Logic, Version 1.28, P.D. Magnus

Philosophy Faculty Books

This is a textbook covering translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix

The Logic Of Objects, David B. Eichelberger

School of Art, Art History, and Design: Theses and Student Creative Work

The human mind assimilates information and experiences quickly and constantly, and is aided by mental systems that we rely on to function. We classify the input of our lives with extreme efficiency. Our notions about the things we encounter in the world are learned from past experiences, and these expectations help us file the data of our lives. My work is composed to create pause. I am interested in slowing down the processes of assimilation by manipulating our expectations, and extending events measured in microseconds into saturated and engaging experiences. Functional qualities, visual rhythms, and exaggerated proportions are some of …

A Philosophical Examination Of Proofs In Mathematics, Eric Almeida

Undergraduate Review

No abstract provided.