Month: February 2019

Negating Logic Statements: How to Say “Not”

Last time, I started a series exploring aspects of the translation of English statements to or from formal logical terms and symbols, which will lead to discussions of converse and contrapositive, and eventually of logical arguments. We’ve looked at how to translate concepts of “or” (disjunction) and “if” (conditional); but our goals will also require …

Negating Logic Statements: How to Say “Not” Read More »

Translating Logic Statements

The next few posts will examine aspects of logic, both symbolic logic, and how we talk about theorems in general. We’ll start here with issues in interpreting the wording of logic, and some of the semantic difficulties we face. English isn’t logical. (Well, I suppose humans in general aren’t logical.) Which kind of OR? We’ll …

Translating Logic Statements Read More »

Significant Digits: Measurements and Exact Numbers

To conclude this series on significant digits, I want to look at some details of their application. Specifically, we will consider questions about how they related to measured values, and to fixed constants. Measured values I’ll start with a question from 2011 about measurement and unit conversion: Changing Units … and Significant Figures? Suppose I …

Significant Digits: Measurements and Exact Numbers Read More »