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…
Modern Branches of PhilosophyPhilosophy BranchesHERMENEUTICS
November 14, 2023

HERMENEUTICS

Originally applied to scriptural exegesis (interpretation), hermeneutics is more generally the theory and method of all “textual” interpretation. In the modern context, this refers to both verbal and non-verbal “texts”…
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,…
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…
Traditional Branches of PhilosophyPhilosophy BranchesAESTHETICS
December 12, 2023

AESTHETICS

Aesthetics is concerned with the nature of art (whether visual, literary, dramatic, or in some other medium) and the way in which art is experienced. Two principal related issues, therefore,…
WHAT IS PHILOSOPHY?WHAT IS PHILOSOPHY?
November 12, 2023

WHAT IS PHILOSOPHY?

NON-WESTERN PHILOSOPHICAL TRADITIONSHistory Of PhilosophyINDIAN PHILOSOPHY
November 15, 2023

INDIAN PHILOSOPHY

Philosophy on the Indian subcontinent between 1000 BC and the early centuries of the first millennium was comprised of six major schools of Hindu philosophy (Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa,…
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…
CLASSICAL PHILOSOPHYHistory Of PhilosophyCYNICISM
November 15, 2023

CYNICISM

Founded by Antisthenes (c. 445–360 BC), who taught the importance of individual virtue over material luxury, Cynicism was contemptuous of political institutions and organized religion. It rejected refined philosophical speculation…
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.
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…
FORMS OF PHILOSOPHICAL WRITINGTHE PERSONAL ESSAY
November 20, 2023

THE PERSONAL ESSAY

The personal essay is a self-reflective search for meaning. Unlike most philosophical writing, it is not argumentative. Instead, it is exploratory and speculative, often even somewhat confessional. It is typically…
THE EARLY MODERN PERIODWHAT IS PHILOSOPHY?EMPIRICISM
November 15, 2023

EMPIRICISM

Empiricism covers a range of views prioritizing experience as the primary source of knowledge. During the Early Modern Period, this view was expounded by the so-called British Empiricists—Locke, Berkeley, and…
Traditional Branches of PhilosophyPhilosophy BranchesLOGIC
December 12, 2023

LOGIC

Logic is concerned with studying the inferences we make, and the formal languages developed to systematize those inferences. This includes both the proof-theories and semantics for these languages, as well…

Books

  • The Black Swan

    $151.37
  • Quine’s Philosophy: An Introduction

    $26.95
  • On Free Choice of the Will (Hackett Classics)

    $34.00
  • Introducing Philosophy: A Graphic Guide of Robinson, Dave, Garratt, Chris on 06 September 2007

    $24.99
  • Diogenes the Cynic: Sayings and Anecdotes, With Other Popular Moralists

    $15.95
  • God, Freedom, and Evil

    $15.00
  • The Enchiridion

    $5.99
  • The Beginning of Western Philosophy: Interpretation of Anaximander and Parmenides (Studies in Continental Thought)

    $50.00
  • Critical Thinking (The MIT Press Essential Knowledge series)

    $14.89
  • Embracing the Void: Rethinking the Origin of the Sacred (Diaeresis)

    $100.00
  • A Brief History of Thought: A Philosophical Guide to Living (Learning to Live)

    $12.29
  • The Yoga-Sutra of Patanjali: A New Translation with Commentary (Shambhala Classics)

    $16.95
  • Taylor the Turkey’s First Halloween: A children’s book about picking the perfect Halloween costume (Halloween book for kids)

    $11.99
  • The Rebel: An Essay on Man in Revolt

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

    $14.29
  • The Tibetan Book of the Dead: First Complete Translation (Penguin Classics Deluxe Edition)

    $19.36

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

M

Moral calculus

The procedure of determining the morality of a particular case, typically in connection with deliberations about what to do. https://youtube.com/shorts/vKFQ1FO7qLI?feature=share
C

Cosmological argument

An argument that God exists because there must have been a first cause—that is, an ultimate reason for the universe. https://youtube.com/shorts/nZfxGWFCvyU?feature=share
I

Incorrigibility

Attribute of that which cannot be mistaken. https://youtube.com/shorts/Hdl8zPEiqU0?feature=share
R
Reflexive property
E
Ex contradictione quodlibet
F
Formal fallacy
P
Principle of humanity
I
Imperative
A
Atman
F
False cause
U
Upanishads
D
Disjunctive syllogism
View All