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…
History Of PhilosophyTHE ELEATIC SCHOOL
November 15, 2023

THE ELEATIC SCHOOL

Based in the Ionian colony of Elea (modern-day Velia) in southern Italy, and primarily associated with Parmenides (early fifth century BC) and Melissus of Samos (mid fifth century BC), the…
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
ANALYTIC PHILOSOPHYHistory Of PhilosophyANALYTIC PHILOSOPHY IN THE TWENTIETH CENTURY
November 15, 2023

ANALYTIC PHILOSOPHY IN THE TWENTIETH CENTURY

The analytic tradition arose partly as a rejection of Hegelian idealism in favor of what George Edward Moore (1873–1958) called a “common sense” view of the world, alongside developments in…
Writing PhilosophyWHAT IS GOOD WRITING?
November 24, 2023

WHAT IS GOOD WRITING?

What is good music? What is good art? What is good writing? Such questions unleash many opinions. The branch of traditional philosophy called Aesthetics is devoted to answering such questions…
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.
MEDIEVAL PHILOSOPHYHistory Of PhilosophySCHOLASTICISM
November 15, 2023

SCHOLASTICISM

A general term for those philosophers influenced by the medieval rediscovery of classic texts, Scholasticism is broadly characterized by an interest in logic and disputation and is motivated to resolve…
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.
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…
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…
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.
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.
CONTINENTAL PHILOSOPHYHistory Of PhilosophyCONTINENTAL PHILOSOPHY IN THE TWENTIETH CENTURY
November 15, 2023

CONTINENTAL PHILOSOPHY IN THE TWENTIETH CENTURY

While the focus of western philosophy has primarily been on the analysis and understanding of our most basic concepts, another important theme has been the preparation and education of man…
History Of PhilosophyCLASSICAL PHILOSOPHYPLATO
November 15, 2023

PLATO

Plato (427–347 BC) was born into a powerful family in Athens but abandoned politics after the execution of his teacher, Socrates; he subsequently traveled, became influenced by the Pythagoreans, and…
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…

Books

  • Pablo Escobar: Beyond Narcos (War On Drugs Book 1)

    $4.89
  • Games: Agency As Art (Thinking Art)

    $44.99
  • The Art of Living: Peace and Freedom in the Here and Now

    $11.37
  • Naguib Mahfouz: The Pursuit of Meaning (Arabic Thought and Culture)

    $59.95
  • Pragmatism

    $8.99
  • Aquinas (A Beginner’s Guide)

    $15.99
  • Muscular Christianity: A Case for Spiritual and Physical Fitness

    $19.99
  • The Thousand Names Of The Divine Mother: Shri Lalita Sahasranama

    $19.00
  • Maxims and Reflections

    $8.99
  • True Discipleship: Following Our Master To Calvary

    $13.99
  • Nietzsche and Philosophy (Columbia Classics in Philosophy)

    $16.49
  • Context Changes Everything: How Constraints Create Coherence

    $44.50
  • How to Be Multiple: The Philosophy of Twins

    $28.99

The Atomos Blog

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

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

Philosophy StudentPhilosophy Student
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

Atomos EditorAtomos EditorJanuary 10, 2026
Philosophy of Science: An IntroductionAtomosPHILOSOPHY OF SCIENCE

Philosophy of Science: An Introduction

Atomos EditorAtomos EditorJanuary 10, 2026
Aesthetics: An IntroductionAESTHETICSAtomos

Aesthetics: An Introduction

Atomos EditorAtomos EditorJanuary 10, 2026
Epistemology: An IntroductionAtomosEPISTEMOLOGY

Epistemology: An Introduction

Atomos EditorAtomos EditorJanuary 10, 2026
Ethics: An IntroductionAtomosETHICS

Ethics: An Introduction

Atomos EditorAtomos EditorJanuary 10, 2026
Logic: An IntroductionAtomosLOGIC

Logic: An Introduction

Atomos EditorAtomos EditorJanuary 10, 2026
Metaphysics: An IntroductionAtomosMETAPHYSICS

Metaphysics: An Introduction

Atomos EditorAtomos EditorJanuary 10, 2026
Philosophy of History: An IntroductionAtomosPHILOSOPHY OF HISTORY

Philosophy of History: An Introduction

Atomos EditorAtomos EditorJanuary 10, 2026
Philosophy of Language: An IntroductionAtomosPHILOSOPHY OF LANGUAGE

Philosophy of Language: An Introduction

Atomos EditorAtomos EditorJanuary 10, 2026
Philosophy of Mind: An IntroductionAtomosPHILOSOPHY OF MIND

Philosophy of Mind: An Introduction

Atomos EditorAtomos EditorJanuary 10, 2026

Terms & Concepts

E

External meaning

Meaning or purpose originating outside humanity. https://youtube.com/shorts/GKxNfL5KKBs?feature=share
D

Democracy

A system of government by the members of the society, typically through elected representatives.. https://youtube.com/shorts/ApvZGsIoCjA?feature=share
G

Generalization from experience (or Inductive generalization)

An inference from experience; more specifically, an inference from observation and experimentation to a generalization about the class of the thing investigated. https://youtube.com/shorts/xKEy22wrCtc?feature=share
P
Prime Mover
I
Incorrigibility
C
Causal theory of perception
C
Cosmogony
N
Negation introduction
A
Abstract
C
Certainty
A
Axiology
N
Necessary truth
View All