This course begins with an introduction to the theory of computability, then proceeds to a detailed study of its most illustrious result: Kurt GĚŚdel's theorem that, for any system of true arithmetical statements we might propose as an axiomatic basis for proving truths of arithmetic, there will be some arithmetical statements that we can recognize as true even though they don't follow from the system of axioms. In my opinion, which is widely shared, this is the most important single result in the entire history of logic, important not only on its own right but for the many applications of the technique by which it's proved. We'll discuss some of these applications, among them: Church's theorem that there is no algorithm for deciding when a formula is valid in the predicate calculus; Tarski's theorem that the set of true sentence of a language isn't definable within that language; and GĚŚdel's second incompleteness theorem, which says that no consistent system of axioms can prove its own consistency.

This seminar focuses on the cognitive science of moral reasoning. Philosophers debate how we decide which moral actions are permissible. Is it permissible to take one human life in order to save others? We have powerful and surprisingly rich and subtle intuitions to such questions. In this class, you will learn how intuitions can be studied using formal analytical paradigms and behavioral experiments. Thursday evening, meet to learn about recent advances in theories of moral reasoning. Overnight, formulate a hypothesis about the structure of moral reasoning and design a questionnaire-based experiment to test this. Friday, present and select 1-2 proposals and collect data; we will then reconvene to analyze and discuss results and implications for the structure of the moral mind.

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.

Metaethics from a First Person Standpoint addresses in a novel format the major topics and themes of contemporary metaethics, the study of the analysis of moral thought and judgement. Metathetics is less concerned with what practices are right or wrong than with what we mean by ‘right’ and ‘wrong.’
Looking at a wide spectrum of topics including moral language, realism and anti-realism, reasons and motives, relativism, and moral progress, this book engages students and general readers in order to enhance their understanding of morality and moral discourse as cultural practices. Catherine Wilson innovatively employs a first-person narrator to report step-by-step an individual’s reflections, beginning from a position of radical scepticism, on the possibility of objective moral knowledge. The reader is invited to follow along with this reasoning, and to challenge or agree with each major point. Incrementally, the narrator is led to certain definite conclusions about ‘oughts’ and norms in connection with self-interest, prudence, social norms, and finally morality. Scepticism is overcome, and the narrator arrives at a good understanding of how moral knowledge and moral progress are possible, though frequently long in coming.
Accessibly written, Metaethics from a First Person Standpoint presupposes no prior training in philosophy and is a must-read for philosophers, students and general readers interested in gaining a better understanding of morality as a personal philosophical quest.

This course is an introduction to many of the central issues in a branch of philosophy called philosophy of mind.

Modal logic is the logic of necessity and possibility, and by extension of analogously paired notions like validity and consistency, obligation and permission, the known and the not-ruled-out. This a first course in the area. A solid background in first-order logic is essential. Topics to be covered include (some or all of) the main systems of propositional modal logic, Kripkean "possible world" semantics, strict implication, contingent identity, intensional objects, counterpart theory, the logic of actuality, and deontic and / or epistemic logic. The emphasis will be more on technical methods and results than philosophical applications.

This is a textbook (or better, a workbook) 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 course will focus on issues that arise in contemporary public debate concerning matters of social justice. Topics will likely include: euthanasia, gay marriage, racism and racial profiling, free speech, hunger and global inequality. Students will be exposed to multiple points of view on the topics and will be given guidance in analyzing the moral frameworks informing opposing positions. The goal will be to provide the basis for respectful and informed discussion of matters of common moral concern.

This course is an introduction to problems about creativity as it pervades human experience and behavior. Questions about imagination and innovation are studied in relation to the history of philosophy as well as more recent work in philosophy, affective psychology, cognitive studies, and art theory. Readings and guidance are aligned with the student's focus of interest.

The Open Logic Text is an open textbook on mathematical logic aimed at a non-mathematical audience, intended for advanced logic courses as taught in many philosophy departments. It is open-source: you can download the LaTeX code. It is open: you’re free to change it whichever way you like, and share your changes. It is collaborative: a team of people is working on it, using the GitHub platform, and we welcome contributions and feedback. And it is written with configurability in mind.

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.

This course provides an introduction to important philosophical questions about the mind, specifically those that are intimately connected with contemporary psychology and neuroscience. Are our concepts innate, or are they acquired by experience? (And what does it even mean to call a concept 'innate'?) Are 'mental images' pictures in the head? Is color in the mind or in the world? Is the mind nothing more than the brain? Can there be a science of consciousness? The course includes guest lectures by Philosophers and Cognitive Scientists.

Works of film examined in relation to thematic issues of philosophical importance that also occur in other arts, particularly literature and opera. Emphasis on film's ability to represent and express feeling as well as cognition.

Meets with CMS.850, but assignments differ. Philosophical analysis of film art, with an emphasis on the ways in which it creates meaning through techniques that define a formal structure. Particular focus on aesthetic problems about appearance and reality, literary and visual effects, communication and alienation through film technology.

This course examines fundamental issues in the philosophy of law, including the nature and content of law, its relation to morality, theories of legal interpretation, and the obligation to obey the law, as well as philosophical issues and problems associated with punishment and responsibility, liberty, and legal ethics.

Studies the nature of love and sex, approached as topics both in philosophy and in literature. Readings from recent philosophy as well as classic myths of love and sex that occur in works of literature and lend themselves to philosophical analysis.

This course is the third and final part of our graduate introduction to semantics. The other two classes are 24.970 Introduction to Semantics and 24.973 Advanced Semantics. The semester will be divided into somewhat independent units. One unit will be devoted to conversational implicatures (mainly scalar implicatures) and another to presupposition. In each unit, we will discuss basic concepts and technical tools and then devote some time to recent work which illustrates their application.

Intensive coverage of precision engineering theory, heuristics, and applications pertaining to the design of systems ranging from consumer products to machine tools. Topics covered include: economics, project management, and design philosophy; principles of accuracy, repeatability, and resolution; error budgeting; sensors; sensor mounting; systems design; bearings; actuators and transmissions; system integration driven by functional requirements and operating physics. Emphasis on developing creative designs which are optimized by analytical techniques applied via spreadsheets. Many real-world examples are given, and classwork and tests are based on mini-design problems. From the course home page: This is a projects course with lectures consisting of design teams presenting their work and the class helping to develop solutions; thereby everyone learning from everyone's projects.

Het vak Redeneren en Logica gaat over redeneringen en hun geldigheid. Een redenering bestaat uit een aantal premissen, en een conclusie. Een redenering is geldig wanneer de conclusie altijd waar is wanneer de premissen dat zijn. Het kan, wanneer een redenering geldig is, dus niet voorkomen dat de premissen waar zijn, en de conclusie onwaar. Zo'n situatie heet een tegenvoorbeeld, en dat toont aan dat een redenering ongeldig is. Wanneer een redenering geldig is, heet hij een stelling ("theorem" in het engels), en kan men de conclusie afleiden uit de aannanme dat de premissen waar zijn. Zo'n afleiding heet een bewijs.

Review of Six Critical Thinking Textbooks1. Thinking Well (3rd ed.) by Andrew Lavin2. Arguing Using Critical Thinking by Jim Marteney3. Critical Reasoning and Writing by Noah Levin4. Clear and Present Thinking (2nd ed.)5. Formal Reasoning by John Symons6. Introduction to Logic and Critical Thinking by Matthew Van Cleve