Search Constraints
Number of results to display per page
Results for:
« Previous |
1 - 10 of 32
|
Next »
Search Results
-
e-book
"This is a textbook on formal logic. The book is divided into eight parts. Part I introduces the topic and notions of logic in an informal way, without introducing a formal language yet. Parts II-IV concern truth-functional languages. In it, sentences are formed from basic sentences using a number of connectives ('or', 'and', 'not', 'if . . . then') which just combine sentences into more complicated ones. We discuss logical notions such as entailment in two ways: semantically, using the method of truth tables (in Part III) and proof-theoretically, using a system of formal derivations (in Part IV). Parts V-VII deal with a more complicated language, that of first-order logic. It includes, in addition to the connectives of truth-functional logic, also names, predicates, identity, and the so-called quantifiers. These additional elements of the language make it much more expressive than the truth-functional language, and we'll spend a fair amount of time investigating just how much one can express in it. Again, logical notions for the language of first-order logic are defined semantically, using interpretations, and proof-theoretically, using a more complex version of the formal derivation system introduced in Part IV. Part VIII covers an advanced topic: that of expressive adequacy of the truth-functional connectives"--BCcampus website.
- Subjects:
- Philosophy
- Keywords:
- Textbooks Logic
- Resource Type:
- e-book
-
e-book
"forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org."--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
-
e-book
Words of Wisdom can come from anyone. In this text we discuss topics ranging from "Are Humans good by nature?" to "Is there a God?" to "Do I have the right to my own opinion?" Philosophy is the study of wisdom, and can emerge in our conversations in social media, in school, around the family dinner table, and even in the car. The text uses materials that are 2,500 years old, and materials that were in the news this year. Wise people come in all shapes and types, and from every culture on earth. We have poetry and folktales, sacred writings and letters. Dialogues and interviews, news columns, Ted Talks, You Tube recordings and even comedy are all a part of the content in this text.You will be most successful reading this on line. The formatting in the downloadable versions is not wonderful. There is work being done by the software, but in the meantime, you will want to use it by clicking here on "read book:".
- Subjects:
- Philosophy
- Keywords:
- Philosophy Textbooks
- Resource Type:
- e-book
-
e-book
"It is important for students not only to get an appreciation and understanding of philosophy but also to be exposed to the very words and ideas of those who have shaped our thinking over the centuries. Accordingly, the title of this collection hints at the facts that these readings are from the original sources and that these philosophers were the originators of many of the issues we still discuss today. Major areas of philosophy covered here are: Ethics, Epistemology, Metaphysics, Philosophy of Religion, Ethics, Socio-Political Philosophy, and finally, Aesthetics"--BC Campus website.
- Subjects:
- Philosophy
- Keywords:
- Philosophical literature Philosophy European Textbooks
- Resource Type:
- e-book
-
e-book
This book explores the philosophical views on the meaning of love. The text explores a variety of topics used to define love, including attraction, relationship satisfaction, emotional, and ethical considerations. The author takes a rational, logical, analytic, and scrutinizing look at experiences and other forms of literature on the subject of love.
- Subjects:
- Philosophy
- Keywords:
- Love -- Philosophy Love Textbooks
- Resource Type:
- e-book
-
e-book
Contains freely accessible academic books in Chinese in the area of humanities, social sciences, philosophy, medicine, economy & finance.
- Subjects:
- Religions and Philosophy
- Keywords:
- Religions Philosophy
- 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
This textbook is based on the MOOC Responsible Innovation offered by the TU Delft. It provides a framework to reflect on the ethics and risks of new technologies. How can we make sure that innovations do justice to social and ethical values? How can we minimize (unknown)risks?The book explains: The concept and importance of responsible innovation for society Key ethical concepts and considerations to analyse the risks of new technologies Different types of innovation (e.g. radical, niche, incremental, frugal) Roadmap for Responsible Innovation by Industry The concept of Value Sensitive Design (VSD) It includes a link to all the web lectures as well as case studies ranging from care robots and nuclear energy to Artificial Intelligence and self-driving vehicles.
- Subjects:
- Philosophy
- Keywords:
- Risk management Technological innovations -- Moral ethical aspects 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
- « Previous
- Next »
- 1
- 2
- 3
- 4