Back to Library

Foundations of Formal Logic

Logic

An exploration of historical milestones, pioneering figures, and foundational inventions in the field of formal logic.

philosophy mathematics history

8 Questions Medium Ages 12+ Jul 20, 2026

Practice Test PDF Answer Key PDF

Choose a Study Format

Quiz

Test your knowledge with multiple-choice questions and instant feedback.

Flashcards

Flip through cards to review terms, definitions and key concepts.

True or False

Quickly decide if statements are true or false to reinforce understanding.

Match Game

Race against time to match questions with their correct answers.

Study Guide

Read through all topics and answers as a comprehensive study reference.

Listen Mode

Listen to questions and answers read aloud — great for audio learners on the go.

Embed This Study Set

Add this interactive study set to your website or blog — all 6 formats included.

<div data-quixly-id="4401"></div>
<script src="https://www.quixlylearn.com/assets/embed/widget.js"></script>

Learn more about embedding →

About this Study Set

This study set covers Logic through 8 practice questions. An exploration of historical milestones, pioneering figures, and foundational inventions in the field of formal logic. Every question includes the correct answer so you can learn as you go — pick any format above to get started.

Questions & Answers

Browse all 8 questions from the Foundations of Formal Logic study set below. Each question shows the correct answer — select a study format above to practice interactively.

1 Who is credited with creating the first formal system of deductive reasoning, known as the syllogism, in his work 'Prior Analytics'?

A Aristotle
B Plato
C Socrates
D Euclid

2 In 1854, which mathematician published 'An Investigation of the Laws of Thought', effectively founding the field of algebraic logic?

A Gottlob Frege
B George Boole
C Augustus De Morgan
D Bertrand Russell

3 What is the name of the seminal three-volume work published by Alfred North Whitehead and Bertrand Russell that attempted to derive all mathematical truths from logical axioms?

A The Concept of Nature
B Principia Mathematica
C Tractatus Logico-Philosophicus
D The Laws of Thought

4 Which logician proved the incompleteness theorems in 1931, demonstrating that in any consistent formal system, there are statements that cannot be proven or disproven?

A Alan Turing
B David Hilbert
C Kurt Gödel
D Alfred Tarski

5 What early computational device, designed by Charles Babbage in the 19th century, was intended to automate logical calculations?

A The Difference Engine
B The Analytical Engine
C The Jacquard Loom
D The ENIAC

6 Gottlob Frege's 1879 work 'Begriffsschrift' is historically significant for introducing what new logical notation?

A Quantifier notation
B Propositional calculus
C Boolean algebra
D Set theory notation

7 Who formulated the 'Law of the Excluded Middle' as a fundamental principle of classical logic?

A Zeno of Elea
B Aristotle
C Parmenides
D Heraclitus

8 Which English logician is known for inventing the graphical method for visualizing syllogisms, known as 'Venn diagrams', in 1880?

A John Venn
B Lewis Carroll
C Charles Sanders Peirce
D William Stanley Jevons

📱

Study on the go

Download Quixly and access all study formats on your phone — anywhere, anytime.