Search Constraints
Number of results to display per page
Results for:
Keywords
Logic
Remove constraint Keywords: Logic
Resource Type
e-book
Remove constraint Resource Type: e-book
« Previous |
1 - 10 of 12
|
Next »
Search Results
-
e-book
"Concise Introduction to Logic is an introduction to formal logic suitable for undergraduates taking a general education course in logic or critical thinking, and is accessible and useful to any interested in gaining a basic understanding of logic. This text takes the unique approach of teaching logic through intellectual history
- Subjects:
- Philosophy
- Keywords:
- Logic Reasoning
- Resource Type:
- e-book
-
e-book
forall x is 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. Throughout the book, I have tried to highlight 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. The book is designed to provide a semester's worth of material for an introductory college course. It would be possible to use the book only for sentential logic, by skipping chapters 4-5 and parts of chapter 6.
- Subjects:
- Philosophy
- Keywords:
- Logic Textbooks
- Resource Type:
- e-book
-
e-book
This is an introductory textbook in logic and critical thinking. The goal of thetextbook is to provide the reader with a set of tools and skills that will enablethem to identify and evaluate arguments. The book is intended for anintroductory course that covers both formal and informal logic. As such, it is nota formal logic textbook, but is closer to what one would find marketed as a“critical thinking textbook.”
- Subjects:
- Philosophy
- Keywords:
- Logic Critical thinking Textbooks
- Resource Type:
- e-book
-
e-book
"Introduction to Philosophy: Logic provides students with the concepts and skills necessary to identify and evaluate arguments effectively. The chapters, all written by experts in the field, provide an overview of what arguments are, the different types of arguments one can expect to encounter in both philosophy and everyday life, and how to recognise common argumentative mistakes."--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Philosophy Textbooks Logic
- Resource Type:
- e-book
-
e-book
A multi-institutional collaborative venture to develop the next generation of open-access textbooks.
- Keywords:
- English literature Logic Humanities Music History English language -- Composition exercises
- Resource Type:
- e-book
-
e-book
The goal of this book is to improve your logical-reasoning skills. These skills are also called "critical thinking skills." They are a complex weave of abilities that help you get someone's point, generate reasons for your own point, evaluate the reasons given by others, decide what or what not to do, decide what information to accept or reject, explain a complicated idea, apply conscious quality control as you think, and resist propaganda. Your most important critical thinking skill is your skill at making judgments─not snap judgments that occur in the blink of an eye, but those that require careful reasoning. This book is also available as an adaptable Word file.
- Subjects:
- Philosophy
- Keywords:
- Logic Critical thinking Textbooks
- Resource Type:
- e-book
-
e-book
The Open Logic Text is an open-source, collaborative textbook of formal meta-logic and formal methods, starting at an intermediate level (i.e., after an introductory formal logic course). Though aimed at a non-mathematical audience (in particular, students of philosophy and computer science), it is rigorous. The Open Logic Text is a collaborative project and is under active development. Coverage of some topics currently included may not yet be complete, and many sections still require substantial revision. We plan to expand the text to cover more topics in the future. We also plan to add features to the text, such as a glossary, a list of further reading, historical notes, pictures, better explanations, sections explaining the relevance of results to philosophy, computer science, and mathematics, and more problems and examples. If you find an error, or have a suggestion, please let the project team know. The project operates in the spirit of open source. Not only is the text freely available, we provide the LaTeX source under the Creative Commons Attribution license, which gives anyone the right to download, use, modify, re-arrange, convert, and re-distribute our work, as long as they give appropriate credit.
- Subjects:
- Philosophy
- Keywords:
- Logic Textbooks
- Resource Type:
- e-book
-
e-book
"This is the WSIA edition of Trudy's Govier's seminal volume, Problems in Argument Analysis and Evaluation. Originally published in 1987 by Foris Publications, this was a pioneering work that played a major role in establishing argumentation theory as a discipline. Today, it is as relevant to the field as when it first appeared, with discussions of questions and issues that remain central to the study of argument. It has defined the main approaches to many of those issues and guided the ways in which we might respond to them. From this foundation, it sets the stage for further investigations and emerging research. This is a second edition of the book that is corrected and updated by the author, with new prefaces to each chapter."--BC Campus website.
- Subjects:
- Philosophy
- Keywords:
- Reasoning Textbooks Logic
- Resource Type:
- e-book
-
e-book
"This textbook is based on the Open Logic Project. 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"--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Textbooks Logic
- Resource Type:
- e-book
-
e-book
"forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic."--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Textbooks Logic
- Resource Type:
- e-book