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 …

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.

Real Possibility: Modality And Responsibility, Julia Gaul

Honors Scholar Theses

Imagine: someone is backing out of a parking space and does not look in their rear view mirror. They subsequently hit a car that was passing by. One could argue that they simply could have avoided the accident had they looked in their mirror. This non-actual possibility, that they could have looked in the mirror, seems legally and morally relevant. One could also argue that they could have avoided the accident had they stuck their feet out of their window and sung La Marseillaise.

My leading questions is: how do we distinguish possibilities that are legally and morally relevant from …

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 …

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.

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.

Moving, Moved And Will Be Moving: Zeno And Nāgārjuna On Motion From Mahāmudrā, Koan And Mathematical Physics Perspectives, Robert Alan Paul

Comparative Philosophy

Zeno’s Arrow and Nāgārjuna’s Fundamental Wisdom of the Middle Way (Mūlamādhyamakakārikā, MMK) Chapter 2 (MMK/2) contain paradoxical, dialectic arguments thought to indicate that there is no valid explanation of motion, hence there is no physical or generic motion. There are, however, diverse interpretations of the latter text, and I argue they apply to Zeno’s Arrow as well. I also find that many of the interpretations are dependent on a mathematical analysis of material motion through space and time. However, with modern philosophy and physics we find that the link from no explanation to no phenomena is invalid and …

Philosophy Of Mathematics: Theories And Defense, Amy E. Maffit

Williams Honors College, Honors Research Projects

In this paper I discuss six philosophical theories of mathematics including logicism, intuitionism, formalism, platonism, structuralism, and moderate realism. I also discuss problems that arise within these theories and attempts to solve them. Finally, I attempt to harmonize the best features of moderate realism and structuralism, presenting a theory that I take to best describe current mathematical practice.

Why We Still Do Not Know What A “Real” Argument Is, G. C. Goddu

Philosophy Faculty Publications

In his recent paper, “What a Real Argument is,” Ben Hamby attempts to provide an adequate theoretical account of “real” arguments. In this paper I present and evaluate both Hamby’s motivation for distinguishing “real” from non-“real” arguments and his articulation of the distinction. I argue that neither is adequate to ground a theoretically significant class of “real” arguments, for the articulation fails to pick out a stable proper subclass of all arguments that is simultaneously both theoretically relevant and a proper subclass of all arguments.

The Quantum Dialectic, Logan Kelley

Pitzer Senior Theses

A philosophic account of quantum physics. The thesis is divided into two parts. Part I is dedicated to laying the groundwork of quantum physics, and explaining some of the primary difficulties. Subjects of interest will include the principle of locality, the quantum uncertainty principle, and Einstein's criterion for reality. Quantum dilemmas discussed include the double-slit experiment, observations of spin and polarization, EPR, and Bell's theorem. The first part will argue that mathematical-physical descriptions of the world fall short of explaining the experimental observations of quantum phenomenon. The problem, as will be argued, is framework of the physical descriptive schema. Part …

A Philosophical Examination Of Proofs In Mathematics, Eric Almeida

Undergraduate Review

No abstract provided.

A-Logic, Richard Bradshaw Angell

Philosophy Faculty Research Publications

A-LOGIC is a full-length book (600+ pg). It functions as a system of logic designed to: 1) solve the standard paradoxes and major problems of standard mathematical logic; 2) minimize that logic's anomalies with respect to ordinary language, yet; 3) prove that all theorems in mathematical logic are tautologies.

It covers lst order logic the logic of the words "and", "or", "not", "all" and "some". But it also has a non truth functional "if...then" and differs in its definition of validity, its semantics and its theorems. In the book A-logic is contrasted step by step with standard mathematical logic as …

The 'Most Important And Fundamental' Distinction In Logic, G. C. Goddu

Philosophy Faculty Publications

In this paper I argue that the debate over the purported distinction between deductive and inductive arguments can be bypassed because making the distinction is unnecessary for successfully evaluating arguments. I provide a foundation for doing logic that makes no appeal to the distinction and still performs all the relevant tasks required of an analysis of arguments. I also reply to objections to the view that we can dispense with the distinction. Finally, I conclude that the distinction between inductive and deductive arguments is not one of the most important and fundamental ideas in logic, but rather is unnecessary.

04. Harry Stottlemeier's Discovery, Matthew Lipman, Ann Margaret Sharp, Frederick S. Oscanyan

Middle School Curriculum

This instructional manual includes hundreds of short, accessible explanations of the philosophical ideas and issues written into HARRY the novel, and as such is a valuable introduction to philosophy. Adults with no experience in academic philosophy will have no trouble using this manual to engage young people in philosophical dialogue. The manual provides discussion plans and exercises to help the students think for themselves about the philosophical ideas most relevant to their experience. The manual is also a primer in critical thinking and formal and informal logic, which are treated as helpful tools for inquiry. Students will find the logic …

03. First Edition Of Harry Stottlemeier's Discovery (1974) By Matthew Lipman, Matthew Lipman

Middle School Curriculum

Harry Stottlemeier's Discovery is the student book for a project in philosophical thinking. It offers a model of dialogue—both of children with one another and of children with adults. The story is set among a classroom of children who begin to understand the basics of logical reasoning when Harry, who isn't paying attention in class, says that a comet is a planet because he remembers hearing that comets revolve around the sun just as planets do. The events that follow in the classroom and outside of school are a recreation of the ways that children night might find themselves thinking …