Formal Logic: Symbolizing Arguments in Quantificational or Predicate Logic

Rudolf Carnap’s notes on Gottlob Frege’s Begriffsschrift, the progenitor of modern quantificational logic.

Author: Timothy Eshing Category: Logic and Reasoning Word count: 1000 Editor’s note: for many readers, this essay would be more profitably read after reading Formal Logic: Symbolizing Arguments in Sentential Logic by Thomas Metcalf. There are many varieties of formal logic of varying complexity. Here we survey one that’s somewhat more complex than sentential or … Continue reading Formal Logic: Symbolizing Arguments in Quantificational or Predicate Logic