Thu, 26 Aug 2021 02:53:08 -0700

Bertrand Russell, The Analysis of Matter

… as indicated yesterday, having finished the first chapter in the book, i am using what time i have through Saturday to review and/or deepen my understanding of concepts and definitions…

… i just finished a wikipedia entry discussing the philosophical definition of a “proposition”… i learn that in logic and linguistics, a proposition is the meaning of a declarative sentence… and that in philosophy, meaning is a non-linguistic entity shared by all sentences with the same meaning…why do we need logic?

… i move on to a definition and discussion of propositional calculus in Wikipedia, which has me jumping to a definition of first-order logic, or logic that uses quantified variables rather than non-logical objects and sentences that contain variables… there exists x such that x is Socrates and x is a man¹

… higher-order logic and second-order logic encountered while reading about first-order logic, so i get interested in logic in general, which is defined as: an interdisciplinary field which studies truth and reasoning.²

Wikipedia: https://en.wikipedia.org/wiki/First-order_logic ↩︎
Wikipedia: https://en.wikipedia.org/wiki/Logic ↩︎

higher-order logic on Notes On Attention Paid