LogicNON-CLASSICAL LOGIC
November 15, 2023

NON-CLASSICAL LOGIC

While both the predicate calculus and the modal propositional calculus may be seen as extensions of the basic propositional calculus, there are also a variety of formal languages intended as…
CONTINENTAL PHILOSOPHYHistory Of PhilosophyTHE FRANKFURT SCHOOL
November 15, 2023

THE FRANKFURT SCHOOL

A group of philosophers, cultural critics, and social scientists based around the Frankfurt (Germany) Institute for Social Research were primarily concerned with integrating philosophical analysis with then-recent results in the…
LogicPREDICATE CALCULUS (PREDICATE LOGIC)
November 15, 2023

PREDICATE CALCULUS (PREDICATE LOGIC)

The next development of the propositional calculus is the predicate calculus. This considers the logical relationships that hold between predicate expressions, along with the quantifiers ∃x (“there is at least…
History Of PhilosophyCLASSICAL PHILOSOPHY
November 15, 2023

CLASSICAL PHILOSOPHY

The Classical Period in philosophy was dominated by the teachings of Plato (427–347 BC) and Aristotle (384–322 BC) but gradually fell into a decline following the conquest of the independent…
Writing PhilosophyWRITING IS CENTRAL TO PHILOSOPHY
November 24, 2023

WRITING IS CENTRAL TO PHILOSOPHY

For the great majority of us, writing is instrumental to thinking. Since it is reasonable to describe philosophy as the application of disciplined thought to a variety of topics, issues,…
WHAT IS PHILOSOPHY?PHILOSOPHICAL FILMS AND TV SHOWS
November 24, 2023

PHILOSOPHICAL FILMS AND TV SHOWS

Note: Some of these titles may be difficult to find, either in DVD format or streaming. Film Animation Animal Farm (1954)Based on George Orwell’s novel of the same name, farm…
FORMS OF PHILOSOPHICAL WRITINGTHE ESSAY OF ASSERTION
November 20, 2023

THE ESSAY OF ASSERTION

The essay of assertion takes the position I believe. It is an argumentative essay in which you convey to the reader some belief or beliefs that you hold. If you…
Writing PhilosophyWHAT IS GOOD PHILOSOPHICAL WRITING?
November 24, 2023

WHAT IS GOOD PHILOSOPHICAL WRITING?

Writing effectively for a philosophy course does not merely start with the general principles of good writing just outlined, it sets out to show mastery of these principles. It embodies…
FORMS OF PHILOSOPHICAL WRITINGWriting PhilosophyOTHER CATEGORIZATIONS OF PHILOSOPHICAL WRITING
November 19, 2023

OTHER CATEGORIZATIONS OF PHILOSOPHICAL WRITING

There are other ways of classifying the forms of philosophic writing you may be asked to produce. The most prominent of these are: The Expository Paper The Argumentative Paper The…
LogicMODAL LOGIC
November 15, 2023

MODAL LOGIC

A common extension to the standard formal languages outlined above is to introduce the technical machinery required to evaluate natural language arguments containing modal terminology (that is, talk of possibility…
LogicPROPOSITIONAL CALCULUS (PROPOSITIONAL LOGIC)
November 15, 2023

PROPOSITIONAL CALCULUS (PROPOSITIONAL LOGIC)

The simplest formal (logical) language is the propositional calculus. This considers the logical relationships that hold between complete propositions.
MEDIEVAL PHILOSOPHYHistory Of PhilosophySAINT AUGUSTINE
November 15, 2023

SAINT AUGUSTINE

Like his contemporaries, Saint Augustine (354–430) was primarily influenced by Neoplatonism, and, indeed, credited Plotinus with helping him to understand Christian theology.
POST-KANTIAN PHILOSOPHYHistory Of PhilosophyHEGELIANISM
November 15, 2023

HEGELIANISM

One common theme in post-Kantian philosophy was an attempt to overcome the remaining divisions between noumena and phenomena, and to reconcile the distinct faculties of sensibility and understanding in to…
Writing PhilosophyTHE PHILOSOPHICAL WRITING PROCESS
November 22, 2023

THE PHILOSOPHICAL WRITING PROCESS

Writing is work, and for many of us, writing is hard work. Writing philosophy adds to this labor an element of intimidation. Whether you are writing an expository—explanatory and descriptive—essay…
History Of PhilosophyCLASSICAL PHILOSOPHYARISTOTLE
November 15, 2023

ARISTOTLE

Aristotle (384–322 BC) was born in Stagira but moved to Athens as a young man to study at Plato’s Academy. Following Plato’s death, Aristotle traveled, became tutor to Alexander the…

Books

  • A Visual Theology Guide to the Bible: Seeing and Knowing God’s Word

    $27.89
  • Vida contemplativa: Elogio de la inactividad / Contemplative Life: A Praise to I dleness (Spanish Edition)

    $17.95
  • The Courage to Be Happy: Discover the Power of Positive Psychology and Choose Happiness Every Day

    $15.89
  • The ethics of ambiguity;

    $158.00
  • Courage Is Calling: Fortune Favors the Brave (The Stoic Virtues Series)

    $14.29
  • On the Shortness of Life

    $13.99
  • Decoding Jung’s Metaphysics: The Archetypal Semantics of an Experiential Universe

    $19.95
  • The Mastery of Self: A Toltec Guide to Personal Freedom (Toltec Mastery Series)

    $10.79
  • Phenomenology (The MIT Press Essential Knowledge series)

    $15.95
  • The Art of Happiness: A Handbook for Living

    $9.99
  • Gratitude

    $12.95
  • Foucault: A Very Short Introduction (Very Short Introductions)

    $11.85
  • When Things Fall Apart: Heart Advice for Difficult Times

    $7.64
  • An Unlikely Guru: How a Neurotic Jewish Real Estate Developer from New Jersey Found Enlightenment (And How You Can, Too)

    $17.99
  • Pragmatism as Anti-Authoritarianism

    $19.95
  • The Metaphysical Thought of Thomas Aquinas: From Finite Being to Uncreated Being (Monographs of the Society for Medieval and Renaissance Philosophy, 1)

    $42.96

The Atomos Blog

Can Math Prove Its Own Sanity? — A Deep Dive into Artemov’s Landmark PaperProof TheoryUncategorized

Can Math Prove Its Own Sanity? — A Deep Dive into Artemov’s Landmark Paper

Philosophy StudentPhilosophy StudentApril 14, 2026
Philosophy of Law: An IntroductionAtomosPHILOSOPHY OF LAW

Philosophy of Law: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Aesthetics: An IntroductionAESTHETICSAtomos

Aesthetics: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Epistemology: An IntroductionAtomosEPISTEMOLOGY

Epistemology: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Ethics: An IntroductionAtomosETHICS

Ethics: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Logic: An IntroductionAtomosLOGIC

Logic: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Metaphysics: An IntroductionAtomosMETAPHYSICS

Metaphysics: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026

Terms & Concepts

U

Universal elimination

In symbolic logic, a valid inference in a system of quantifier rules. In a proof sequence, a universal quantifier is removed, and the variables bound by it are replaced with…
V

Void

That which is empty. In ancient Greek Atomist thought, that through which atoms move. https://youtube.com/shorts/T_UlVe27BP4?feature=share
I

Inference to the best explanation

Ampliative method of inference concluding that the explanation that best explains the available evidence is likely to be true. https://youtube.com/shorts/K2LhdmvK-3g?feature=share
C
Complement
A
Ad-hoc hypothesis
S
Syllogism
E
Equality
C
Conversion by limitation
A
Absolute space
C
Contradictories
A
Axiology
A
Absolutism
View All