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 …

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 …

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

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 …

Forall X: An Introduction To Formal Logic 1.30, 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: 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

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 …