➡️ Introduction to Logic Lectures
My notes on the course “Introduction to Logic”, which is part of my minor in Philosophy at the University of Regensburg.
Course description:
In this basic course we will learn how to present linguistically formulated arguments in an exact formula language and then how to use certain procedures to check their validity beyond any doubt. We deal exclusively with the logical theory that is the core and starting point of all further research on logic: elementary propositional and predicate logic.
📌 General
- Class notes: 👨🏫 ItL Classes
📑 VL01 Basics
- What is ➡️ Logic?
- What is 🤔 Logical Reasoning?
- What’s a 👆 Logical Premise and a ✅ Logical Conclusion?
- How do 💯 Deductive Reasoning, 🎲 Inductive Reasoning differ?
- What’s a 🔢 Logical Argument?
- What’s a 💬 Statement (logic) and a 👆 Proposition?
📑 VL02
- 🏃 Enthyememe
- 📄 Propositional Calculus, 👔 Logical Formalization and 🔵 Logical Form
- What’s a 🗯️ Meta Language and a ⚽ Object Language?
📑 VL03
- What is inductive thinking?
- What does 🧩 Compositionality mean?
- Which types of statements are there?
📑 VL04
nothing new
📑 VL05
- What’s a ✅ Propositional evaluation function?
- ✅ Tautology & ❌ Contradiction
- What’s the 🌳 Method of analytic tableaux?
📑 VL06
📑 VL08
- All things about 1️⃣ Predicate Calculus
📑 VL09 Proofs & Meaning
- How does 🎩 Meaning differ when viewed from the 👉 Meaning is denotation and 🌱 Meaning in use viewpoints?
- What’s an 📙 Inference rule?
- What is a ✅ Proof (logic) (and an ⬆️ Inductive proof)?
- 📏 Calculus (logic) and 🌾 Calculus of natural reasoning