LogicHIGHER-ORDER LOGICS
November 15, 2023

HIGHER-ORDER LOGICS

The language sketched above is better referred to as first-order predicate calculus, as the language only quantifies over (first-order) individuals. A stronger language, second-order predicate calculus, can therefore be constructed…
LogicQUANTUM LOGIC
November 15, 2023

QUANTUM LOGIC

Most non-classical logics are motivated by either philosophical considerations, such as the metaphysical status of the future, or technical concerns about the neutrality of the logical connectives or the notion…
MEDIEVAL PHILOSOPHYHistory Of PhilosophyTHOMISM
November 15, 2023

THOMISM

A school of thought based on the work of Saint Thomas Aquinas (1225–1274), Thomism is, like Scholasticism, principally concerned with metaphysics and understanding the attributes of God.
THE EARLY MODERN PERIODHistory Of PhilosophyTRANSCENDENTAL IDEALISM
November 15, 2023

TRANSCENDENTAL IDEALISM

The philosophical system developed by Immanuel Kant (1724–1804), Transcendental Idealism sought to overcome the epistemological problems of Empiricism while providing a rational justification for Liberalism.
History Of PhilosophyATOMISM
November 15, 2023

ATOMISM

Atomism was founded by Leucippus (who flourished around 440 BC) but was primarily elaborated by Democritus (c. 460-370 BC) as a way of reconciling the Eleatic doctrine of the impossibility…
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.
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…
FORMS OF PHILOSOPHICAL WRITINGTHE ESSAY OF AFFIRMATION
November 20, 2023

THE ESSAY OF AFFIRMATION

The essay of affirmation takes the position I agree. If you want to write an essay agreeing with—affirming—the ideas of another, such as a philosopher, a simple statement of agreement…
PHILOSOPHICAL BOOKS AND TEXTGUIDES TO PHILOSOPHICAL WRITING
November 27, 2023

GUIDES TO PHILOSOPHICAL WRITING

As with developing any skill, learning to write philosophically takes practice. Here are some links to academic sites, along with several style guides, to aid you.
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…
Writing PhilosophyESSENTIAL WRITING SKILLS
November 21, 2023

ESSENTIAL WRITING SKILLS

Having just walked through the basic process of writing a philosophy paper, we turn now to the essential skillset you should develop and apply not only to the writing of…
PHILOSOPHICAL BOOKS AND TEXTESSENTIAL READING IN THE HISTORY OF PHILOSOPHY
November 27, 2023

ESSENTIAL READING IN THE HISTORY OF PHILOSOPHY

A comprehensive list of essential readings in the history of philosophy.
THE EARLY MODERN PERIODHistory Of PhilosophyTHE EARLY MODERN PERIOD
November 15, 2023

THE EARLY MODERN PERIOD

Philosophical thought during the Enlightenment was characterized by a rejection of existing sources of authority. The broadly Aristotelean scientific worldview was undermined by a period of scientific revolution—conventionally beginning with…
FORMS OF PHILOSOPHICAL WRITINGWriting PhilosophyFORMS OF PHILOSOPHICAL WRITING
November 20, 2023

FORMS OF PHILOSOPHICAL WRITING

The word essay comes from the French infinitive verb essayer, meaning “to try” or “to attempt.” In fact, when the word was first borrowed into the English language, as essay,…
LogicBASIC LOGICAL SYMBOLS
November 15, 2023

BASIC LOGICAL SYMBOLS

¬ one-place logical connective read as “not” or as “is not the case” ~ alternative notation for “not” & two-place logical connective read as “and” ˄ and

Books

  • Mao Zedong: The Complete Works Volume 1

    $15.99
  • On Law, Morality, and Politics (Hackett Classics)

    $7.01
  • Pragmatism’s Evolution: Organism and Environment in American Philosophy

    $35.00
  • ESV, MacArthur Study Bible, 2nd Edition, Hardcover: Unleashing God’s Truth One Verse at a Time

    $27.99
  • El librito azul (Spanish Edition)

    $15.95
  • The Amazing Dr. Ransom’s Bestiary of Adorable Fallacies

    $23.99
  • De Umbris Idearum: On the Shadows of Ideas (Collected Works of Giordano Bruno)

    $16.00
  • The Politics of Language

    $37.95
  • Start Where You Are: A Guide to Compassionate Living

    $12.40
  • An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense

    $10.99
  • The Boy, the Mole, the Fox and the Horse: A Great Gift for Book Lovers

    $15.17
  • The Many Faces of Evil: Theological Systems and the Problems of Evil

    $31.20
  • Being and Nothingness

    $45.00
  • The I Ching, or, Book of Changes (Bollingen Series XIX) (Bollingen Series, 31)

    $22.61
  • The Art of War

    $3.85
  • The Science of Living

    $0.59

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

T

Thing-in-Itself

(from German, Ding an sich) Kantian terminology for the unknowable objects of the external world (Noumea), which presumably lie behind our perceptions of the external world (phenomena). https://youtube.com/shorts/tZOGY93oz3A?feature=share
N

Natural kind

Those entities that reflect the underlying structure of reality and therefore provide the modal basis for laws of nature. https://youtube.com/shorts/_wZ19PK2P_s?feature=share
U

Universalizability

Kant’s term for testing a maxim; that is, a subjective rule of action that guides our actions or that ensures that everyone is equally obligated, morally, under morally similar conditions.…
C
Correspondence theory of truth
C
Contradiction elimination
R
Rights
S
Synthetic
C
Conversion
T
Tabula Rasa
A
Aristotelian forms
A
Analytic-synthetic distinction
L
Law of contradiction
View All