This first general textbook An introduction to ontology engineering has as main aim to provide the reader with a comprehensive introductory overview of ontology engineering. A secondary aim is to provide hands-on experience in ontology development that illustrate the theory. The book is divided into three blocks:
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.
The Republic of Plato is one of the classic gateway texts into the study and practice of philosophy, and it is just the sort of book that has been able to arrest and redirect lives. How it has been able to do this, and whether or not it will be able to do this in your own case, is something you can only discover for yourself. The present guidebook aims to help a person get fairly deep, fairly quickly, into the project. It divides the dialogue into 96 sections and provides commentary on each section as well as questions for reflection and exploration. It is organized with a table of contents and is stitched together with a system of navigating bookmarks. Links to external sites such as the Perseus Classical Library are used throughout. This book is suitable for college courses or independent study.
Authors:
Zach, Arana, Avigad, Dean, Russell, Wyatt, and Yap
Publisher:
Open Logic Text
License:
CC BY
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.
This is a textbook in modern philosophy. It combines readings from primary sources with two pedagogical tools. Paragraphs in italics introduce figures and texts. Numbered study questions (also in italics) ask students to reconstruct an argument or position from the text, or draw connections among the readings. And I have added an introductory chapter (Chapter 0 – Minilogic and Glossary), designed to present the basic tools of philosophy and sketch some principles and positions. The immediate goal is to encourage students to grapple with the ideas rather than passing their eyes over the texts. This makes for a better classroom experience and permits higher-level discussions. Another goal is to encourage collaboration among instructors, as they revise and post their own versions of the book.
This book provides an overview of the current debates about the nature and extent of our moral obligations to animals. Which, if any, uses of animals are morally wrong, which are morally permissible (i.e., not wrong) and why? What, if any, moral obligations do we, individually and as a society (and a global community), have towards animals and why? How should animals be treated? Why?
A 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; the author uses examples from important and celebrated arguments in philosophy to illustrate logical principles. The text also includes a basic introduction to findings of advanced logic. As indicators of where the student could go next with logic, the book closes with an overview of advanced topics, such as the axiomatic method, set theory, Peano arithmetic, and modal logic. Throughout, the text uses brief, concise chapters that readers will find easy to read and to review.
This is an introductory textbook in logic and critical thinking. The goal of the textbook is to provide the reader with a set of tools and skills that will enable them to identify and evaluate arguments. The book is intended for an introductory course that covers both formal and informal logic. As such, it is not a formal logic textbook, but is closer to what one would find marketed as a “critical thinking textbook.”
What does pleasure have to do with morality? What role, if any, should intuition have in the formation of moral theory? If something is ‘simulated', can it be immoral?
Fundamental Methods of Logic is suitable for a one-semester introduction to logic/critical reasoning course. It covers a variety of topics at an introductory level. Chapter One introduces basic notions, such as arguments and explanations, validity and soundness, deductive and inductive reasoning; it also covers basic analytical techniques, such as distinguishing premises from conclusions and diagramming arguments. Chapter Two discusses informal logical fallacies. Chapters Three and Four concern deductive logic, introducing the basics of Aristotelian and Sentential Logic, respectively. Chapter Five deals with analogical and causal reasoning, including a discussion of Mill's Methods. Chapter Six covers basic probability calculations, Bayesian inference, fundamental statistical concepts and techniques, and common statistical fallacies.