NON-WESTERN PHILOSOPHICAL TRADITIONSHistory Of PhilosophyPHILOSOPHIES OF EAST ASIA
November 15, 2023

PHILOSOPHIES OF EAST ASIA

The dominant philosophical traditions in this part of the world began in Ancient China from the sixth century to 221 BC, which saw the development of China’s great philosophical movements…
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…
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…
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…
Philosophy BranchesTraditional Branches of PhilosophyMETAPHYSICS
December 12, 2023

METAPHYSICS

Metaphysics is the philosophical investigation of reality, including the nature of the world and the entities it contains. While such an investigation inevitably overlaps with natural philosophy—the sciences, especially physics…
History Of PhilosophyPYTHAGOREANISM
November 15, 2023

PYTHAGOREANISM

Based on the teachings of Pythagoras (c. 570–495 BC) and the school he established inCroton in southern Italy, we may conclude that, in many ways, Pythagoreanism was more ofa mystery…
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.
Writing PhilosophyWHAT IS GOOD PHILOSOPHICAL WRITING?
November 24, 2023

WHAT IS GOOD PHILOSOPHICAL WRITING?

Writing effectively for a philosophy course does not merely start with the general principles of good writing just outlined, it sets out to show mastery of these principles. It embodies…
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.
LogicNON-CLASSICAL LOGIC
November 15, 2023

NON-CLASSICAL LOGIC

While both the predicate calculus and the modal propositional calculus may be seen as extensions of the basic propositional calculus, there are also a variety of formal languages intended as…
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…
CLASSICAL PHILOSOPHYHistory Of PhilosophyEPICUREANISM
November 15, 2023

EPICUREANISM

Founded by Epicurus (341–271 BC), this eponymous philosophy is best known through the Roman poet Lucretius (mid first century BC). Like the Atomists, the Epicureans maintained that everything is made…
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”…
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…
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

  • Genealogy as Critique: Foucault and the Problems of Modernity (American Philosophy)

    $30.00
  • Counter Wokecraft: A Field Manual for Combatting the Woke in the University and Beyond

    $12.74
  • Living Across and Through Skins: Transactional Bodies, Pragmatism, and

    $22.00
  • La sociedad del cansancio: Tercera edición ampliada (Spanish Edition)

    $13.95
  • Ordered by Love: An Introduction to John Duns Scotus

    $26.00
  • St. Thomas Aquinas & St. Francis Assisi

    $14.95
  • A Guide to the Good Life The Ancient Art of Stoic Joy

    $47.05
  • A History of the Islamic World, 600-1800: Empire, Dynastic Formations, and Heterogeneities in Pre-Modern Islamic West-Asia

    $48.95
  • The Alignment Effect: The missing link between where you are and where you want to be

    $19.97
  • The Rebel

    $172.60
  • Creative Visualization: Use the Power of Your Imagination to Create What You Want in Your Life

    $10.99
  • The Way of Chuang Tzu

    $9.99
  • The Black Swan: The Impact of the Highly Improbable

    $15.98
  • Between Two Worlds: A Reading of Descartes’s Meditations

    $42.00
  • The Cat Who Taught Zen

    $25.00
  • Of Grammatology

    $39.00

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

S

Subproof

A nested proof; that is, a proof that occurs within a larger proof sequence. (See alsoAssumptive proof.) https://youtube.com/shorts/GztQjmSjBQM?feature=share
C

Consistent

Non-contradictory principles or statements. https://youtube.com/shorts/V2VH7P0Xw8s?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.…
A
Aphorism
J
Justification
R
Rationality
E
Equality
R
Retributive justice
P
Paradigm
L
Law of contradiction
O
Original position
F
First-order validity
View All