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…
Writing PhilosophyGOOD PHILOSOPHICAL WRITING
November 23, 2023

GOOD PHILOSOPHICAL WRITING

BASICS OF GOOD PHILOSOPHICAL WRITING: A DEEPER DIVE Having surveyed the elements of good writing from 30,000 feet, let’s swoop in on some of the most important specifics. This means…
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…
POST-KANTIAN PHILOSOPHYHistory Of PhilosophyUTILITARIANISM
November 15, 2023

UTILITARIANISM

The French Revolution sparked legal and political reforms across Europe, which brought with them their accompanying philosophical frameworks.
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.
History Of PhilosophyANALYTIC PHILOSOPHYLOGICAL POSITIVISM
November 15, 2023

LOGICAL POSITIVISM

Originally founded by Auguste Comte (1798–1857), Positivism was primarily a view about science. Influenced by Immanuel Kant’s (1724-1804) assertion that knowledge of things-inthemselves was impossible, Comte argued that our scientific…
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…
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…
Philosophy BranchesTraditional Branches of PhilosophyPHILOSOPHY OF LAW
December 12, 2023

PHILOSOPHY OF LAW

The philosophy of law is concerned with all aspects of theoretical reflection on laws and legal systems and therefore encompasses historical and sociological studies in addition to the philosophical questions…
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…
NON-WESTERN PHILOSOPHICAL TRADITIONSHistory Of PhilosophyMIDDLE EASTERN TRADITIONS
November 15, 2023

MIDDLE EASTERN TRADITIONS

As the Middle East is often called the cradle of civilization, it is also the source of some of the earliest philosophical literature. Much of it is devoted to what…
Modern Branches of PhilosophyPhilosophy BranchesPHILOSOPHY OF MATHEMATICS
November 14, 2023

PHILOSOPHY OF MATHEMATICS

The philosophy of mathematics is traditionally concerned with the ontological and epistemological foundations of mathematics. The two questions, of ontology and epistemology, are intimately related, as a satisfactory account of…
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 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.
Modern Branches of PhilosophyPhilosophy BranchesBIOETHICS
November 14, 2023

BIOETHICS

A branch of ethics concerned with the moral and political issues raised by medical science, and with advances in medical technology, bioethics has now become a largely autonomous area of…

Books

  • How to Relax (Mindfulness Essentials)

    $8.59
  • Meditations

    $14.61
  • Orthodoxy by G. K. Chesterton

    $13.98
  • Cleaning

    $29.99
  • A Handbook for New Stoics: How to Thrive in a World out of Your Control; 52 Week-by-Week Lessons

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

    $27.89
  • The Buddhist and the Ethicist: Conversations on Effective Altruism, Engaged Buddhism, and How to Build a Better World

    $21.95
  • The Book of Five Rings: The Strategy of the Samurai (Arcturus Silkbound Classics)

    $16.99
  • The Mastery of Self: A Toltec Guide to Personal Freedom

    $22.81
  • Radical Compassion: Learning to Love Yourself and Your World with the Practice of RAIN

    $10.89
  • The Book of Five Rings

    $7.63
  • The Wisdom of Life (Hardcover Library Edition)

    $9.99
  • Why There Is No God: Simple Responses to 20 Common Arguments for the Existence of God

    $5.95
  • Perspectives on Pragmatism: Classical, Recent, and Contemporary

    $46.00
  • Not Very Intelligent Design Too: Planet Earth, a perfect place for human life?

    $9.99
  • Mind As Mirror and the Mirroring of Mind: Buddhist Reflections on Western Phenomenology (Suny Series, Buddhist Studies)

    $33.95

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

S

Self-contradictory

Said of a statement that conflicts with it self and is, therefore, always false. https://youtube.com/shorts/1lqh2d2222g?feature=share
N

Naturalistic fallacy

Argument advanced by G. E. Moore (1873-1958) that any attempt to define “good” in terms of some other property (such as pleasure) will either conflate ethical propositions with psychological propositions…
M

Metaethics

The study of the nature and meaning of ethical concepts—for instance, good. https://youtube.com/shorts/d_DbhXdm8ds?feature=share
H
Hedon
V
VirtueExcellence
I
Incoherent
P
Propositional knowledge
A
Ambiguity
F
First-order contradiction
D
Duhem-Quine Thesis
S
Sensation
I
Inconsistent
View All