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…
Philosophy BranchesTraditional Branches of PhilosophyPHILOSOPHY OF RELIGION
December 12, 2023

PHILOSOPHY OF RELIGION

Many religions distinguish between truths accessible through reason (natural theology), and truths accessible through faith (revealed theology). Both natural and revealed theology raise interesting philosophical questions about these two sources…
POST-KANTIAN PHILOSOPHYHistory Of PhilosophyPRAGMATISM
November 15, 2023

PRAGMATISM

Pragmatism was a philosophical movement in the United States concerned with the relationship between abstract theory and practical activity, and with the value of philosophical reflection.
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…
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…
WHAT IS PHILOSOPHY?WHAT IS THE “SUBJECT MATTER” OF PHILOSOPHY
November 12, 2023

WHAT IS THE “SUBJECT MATTER” OF PHILOSOPHY

“There is a common misunderstanding that philosophy—like chemistry or history—has a content to offer, a content that a teacher is to teach and a student is to learn,” writes Professor…
Philosophy BranchesTraditional Branches of PhilosophyPOLITICAL PHILOSOPHY
December 12, 2023

POLITICAL PHILOSOPHY

Political philosophy is at least as old as Plato (428/227 or 424/423-348/347 BC) and is concerned with the nature of the state and, more broadly, with coercive institutions, and their…
LogicRELEVANCE LOGICS
November 15, 2023

RELEVANCE LOGICS

A relevance logic is motivated by the idea that the premises of a valid argument must be somehow “relevant” to its conclusion. The idea is motivated by the fact that…
STRATEGIC WRITING CHOICESWriting PhilosophySTRATEGIC WRITING CHOICES FOR PHILOSOPHY CLASS
November 18, 2023

STRATEGIC WRITING CHOICES FOR PHILOSOPHY CLASS

Writing philosophy should not be easy, but you cannot allow it to become impossible. Here are five strategic rules of thumb for embarking on a successful writing project for philosophy…
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…
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 PhilosophyGRADING CRITERIA FOR PHILOSOPHY ESSAYS
November 24, 2023

GRADING CRITERIA FOR PHILOSOPHY ESSAYS

The eight skills just listed are so central to philosophical writing that we may count them among the criteria most instructors use in grading essay assignments. Keep these eight skills…
CONTINENTAL PHILOSOPHYHistory Of PhilosophyPHENOMENOLOGY
November 15, 2023

PHENOMENOLOGY

As originally developed by Edmund Husserl (1859–1938), phenomenology seeks to provide a detailed description of the way in which things are presented to us—that is to say, phenomena —in an…
MEDIEVAL PHILOSOPHYHistory Of PhilosophyMEDIEVAL PHILOSOPHY
November 15, 2023

MEDIEVAL PHILOSOPHY

The Medieval Period is usually dated between the fall of the Western Roman Empire (476)and the beginning of the Renaissance (c. 1300). In terms of philosophy, the period begins inthe…
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,…

Books

  • The Masks of God: Creative Mythology First edition by Campbell, Joseph published by Viking Adult Hardcover

    $508.16
  • Utopia With Erasmus’s: The Silent Alcibiades (Hackett Classics)

    $11.00
  • Imaginomicon (Revised Edition): Accessing the Gateway to Higher Universes (A New Grimoire for the Human Spirit)

    $29.95
  • Living Buddha@@ Living Christ

    $19.27
  • Build Emotional Resilience: Learn to Detach, Stop Over-Thinking, Master Your Emotions, and Bounce Back Effortlessly to Thrive in a Chaotic Environment (Fearless Empathy)

    $24.99
  • Marie Kondo’s Kurashi at Home: How to Organize Your Space and Achieve Your Ideal Life (The Life Changing Magic of Tidying Up)

    $14.90
  • Obra completa del sufí Ibn Masarra de Córdoba: Estudio, edición crítica y traducción anotada de Pilar Garrido Clemente

    $39.34
  • The Dictionary of Philosophy

    $8.93
  • The Book: On the Taboo Against Knowing Who You Are

    $14.02
  • Why I Am a Hindu

    $20.00
  • Pensées (Dover Thrift Editions: Philosophy)

    $7.00
  • THE STOIC PATH: Finding Meaning, Virtue, and Serenity in Everyday Life (The Life Mastery Series: Insights for Success, Growth, and Inner Peace)

    $18.99
  • Transcendentalism and the Cultivation of the Soul

    $104.00

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

C

Communitarian ethic

An ethical theory that values community and communal relationships, whichform individuals. https://youtube.com/shorts/D5QXiE6fwHc?feature=share
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
A

Absolute time

The view that time exists independently of (that is, not relative to) objects and events said to be in them. (See also Absolute space.) https://youtube.com/shorts/wmVNX-8Cnds?feature=share
F
False cause
F
First-order logic
M
Moral reasoning
T
Third Man argument
C
Categorical syllogism
P
Predicate
S
Semiotics
D
Duhem-Quine Thesis
H
Hedonistic
View All