A description of Relations and Overlapping Quantifiers in Predicate Calculus (100 Days of Logic).

Read more

An explication of two methods for proving invalidity in Predicate Calculus: the Counterexample Method, and the Finite Universe Method (100 Days of Logic)

Read more

An explanation of the way to use indirect and conditional proofs in Predicate Calculus (100 Days of Logic)

Read more

A description of the four versions of the Change of Quantifier Rule in Predicate Calculus (100 Days of Logic).

Read more

An explication of the Rules of Universal Instantiation, Universal Generalization, Existential Instantiation, and Existential Generalization, in Predicate Calculus (100 Days of Logic).

Read more

Description and definitions of the symbols and terms that will be used in the final 10 Days of Logic on Predicate Calculus (100 Days of Logic).

Read more

An outline of what is to come in the Final 10 Days of Logic and a general layout of the videos on Predicate Calculus (100 Days of Logic).

Read more

Christopher Gauker (Cincinnati) gives a talk at the MCMP Colloquium (9 Feb, 2012). In this talk, two definitions of logical validity for a simple first-order language are compared in order to decide which one provides a better model for the semantics for natural language. One of these is the standard model-theoretic definition. The other defines […]

Read more

Kai F. Wehmeier (Irvine) gives a technical talk at MCMP on the first-order logic within Wittgenstein’s Tractatus. First-order logic with identity, while not isolated as a logical system in its own right until the end of the 1920s, is arguably a natural fragment of the logic envisaged by Wittgenstein in the Tractatus Logico-Philosophicus. We will […]

Read more