Proofs & Semantics

Translations and Proofs in Quantified Logic

Proofs in Quantified Logic (QL)

Formal Semantics in QL using Models

Formal Semantics of SL and QL

Quantified Logic: Basics and Symbolization

Quantified Logic with Identity

Well-formed Formulae of Quantified Logic

Proof Strategy and Proof-Theoretic Concepts

Proofs in SL: Derived Rules, Rules of Replacement

Proofs in SL: Rules of Indirect Proof

Proofs in SL: Basic Concepts and Rules of Direct Proof

Truth Tables Part 2

Truth Tables

Sentential Logic: Well-Formed Formulae

Sentential Logic: Symbolization/Translation

Sentential Logic: Atoms and Connectives

Basic Concepts in Logic

Welcome to Deductive Logic

Scientific Realism and Anti-Realism

Lakatos on Mathematical Knowledge

Karl Popper - Falsificationism, Conjectures & Refutations, Inductive Skepticism

Empiricism and Logic

Race in Medicine

John Rawls, Judith Jarvis Thomson, and Late 20thC Analytic Ethics - 19th and 20th Century Philosophy

Values in Science 2: Concepts and Claims

Herbert Marcuse, Angela Davis, and Frankfurt School Critical Theory

Randomized Control Trials and Medical Evidence

Quine, White, and Analytic Philosophy in America (vs Pragmatism) - 19th and 20th Century Philosophy

Public Trust in Science