Formal logic

Source: Screenshot that I've taken from a Logic course on Brilliant.org

The laws of thought; or, Formal logic; a brief, comprehensive treatise on the laws and methods of correct thinking by William Poland S.J. Publication date 1921 Topics Logic Publisher Chicago, Loyola university press Collectionlibrary_of_congress; americana Digitizing sponsor The Library of Congress Contributor The Library of Congress Language English At head of title: New revised edition Lettered on cover: Rational philosophy

I was recently reading something on Newtonian mechanics and was impressed by how much information about the world could be presented so concisely: in three laws by Newton, and in several pages in the…

Just enough to understand formal fallacies and to think critically about the logical structure of ordinary language

One of the alphabets of logical symbols in formal logics.

Set Theory and Logic Laws

Introductory Logic - color coding makes it easier

“"But have you tried honey glazed halfling?" 🧙🏻‍♂️⚔️ credit to: Yapizzawachuwant #dnd #gamenight #meme”

As the name suggests propositional logic is a branch of mathematical logic which studies the logical relationships between propositions (or statements, sentences, assertions) taken as a whole, and connected via logical connectives. Propositional logic is also known by the names sentential logic, propositional calculus and sentential calculus. It is useful in a variety of fields, including, but not limited to: workflow problems computer logic gates computer science game strategies designing…

square-of-opposition

I'm attempting to solve a proof my professor asked. We are able to use any of the rules of inference, Indirect Proof or Conditional Proof. Every time I think am making progress I run into a brick w...

The history of computation, logic and algebra, told by primary sources. Part 1 covers the classical and embryonic periods of logic, from Aristotle in the fourth century, BCE, to Euler in the eighteenth century.

De Morgan and idempotent laws

Here is an example of a common logical fallacy known as the ad hominem argument, which is Latin for "argument against the person" or "argument toward the person". Basically, an ad hominem argument goes like this: Person 1 makes claim X There is something objectionable about Person 1 Therefore claim X is false

Logical equivalencies

Table of laws of logical equivalence

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths...

Logic Operations (via http://www.metafilter.com/50985/The-Logic-Alphabet)

Aristotle-logic-figure 1