LogicMANY-VALUE LOGICS
November 15, 2023

MANY-VALUE LOGICS

In the classical logics already discussed, the logical connectives are taken to be bivalent—that is, they allow of only two different truth values: true and false. One natural extension to…
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…
CONTINENTAL PHILOSOPHYHistory Of PhilosophyTHE FRANKFURT SCHOOL
November 15, 2023

THE FRANKFURT SCHOOL

A group of philosophers, cultural critics, and social scientists based around the Frankfurt (Germany) Institute for Social Research were primarily concerned with integrating philosophical analysis with then-recent results in the…
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…
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…
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.
WHAT IS PHILOSOPHY?PHILOSOPHY AS METHOD
November 12, 2023

PHILOSOPHY AS METHOD

Our digital age suggests a useful analogy to further explain the role of philosophy in intellectual life. Philosophy is analogous to an operating system (OS), a software platform that enables…
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 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…
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…
NON-WESTERN PHILOSOPHICAL TRADITIONSHistory Of PhilosophyAFRICAN PHILOSOPHY
November 15, 2023

AFRICAN PHILOSOPHY

The earliest indigenous African philosophy to produce written documents emerged during the seventeenth century, especially in Ethiopia. Zera Yacob (1599–1692), whose Hatata (1667) has been compared to René Descartes’ Discourse…
Traditional Branches of PhilosophyPhilosophy BranchesEPISTEMOLOGY
December 12, 2023

EPISTEMOLOGY

Epistemology is the study of knowledge, including its nature and its extent, and of justification (that is, whether a belief is formed in a valid way to justify its being…
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 TEXTINTRODUCTORY LOGIC TEXTS
November 27, 2023

INTRODUCTORY LOGIC TEXTS

There are some fairly firm distinctions between critical thinking and formal (symbolic) logic texts. Whereas critical thinking focuses broadly on argumentation, formal logic is the study of the principles of…
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

Books

  • The Romantic Manifesto: A Philosophy of Literature

    $49.41
  • Navigating Nihilism: A Simple and Engaging Guide

    $12.00
  • The Question of God: C.S. Lewis and Sigmund Freud Debate God, Love, Sex, and the Meaning of Life

    $12.15
  • The Complete Works of Nietzsche

    $33.08
  • Estoicismo para principiantes: Herramientas para la resiliencia y el positivismo emocional (Spanish Edition)

    $15.95
  • The Socratic Dialogues: Late Period, Volume 1: Timaeus, Critias, Sophist, Statesman, Philebus

    $16.99
  • Beyond Good and Evil

    $3.99
  • Groundwork for the Metaphysics of Morals (Oxford World’s Classics)

    $12.95
  • Mortgage Loan Officer Training: How to Master the Fundamentals of Building Your Mortgage Business: During a Recession in Less Than 30 Days Without … (How To Without Sticking A Fork In Your Eye)

    $9.99
  • Quine’s Philosophy: An Introduction

    $26.95
  • Meditations on First Philosophy (Hackett Classics)

    $10.00
  • The Varieties of Religious Experience

    $9.89
  • The Ramayana: A New Retelling of Valmiki’s Ancient Epic–Complete and Comprehensive (Tarcher Cornerstone Editions)

    $21.00
  • The Philosophy of Aristotle (Signet Classics)

    $5.99
  • How Not to Kill Yourself: A Portrait of the Suicidal Mind

    $16.99
  • Mastering The Stoic Way Of Life: Improve Your Mental Toughness, Self-Discipline, and Productivity with Ancient Stoic Wisdom

    $19.99

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

R

Rational

That which accords with rules of reason. https://youtube.com/shorts/5sMc9c9w-uU?feature=share
I

Inference to the best explanation

Ampliative method of inference concluding that the explanation that best explains the available evidence is likely to be true. https://youtube.com/shorts/K2LhdmvK-3g?feature=share
H

Historicism

Originally the view that all human knowledge is irreducibly historical, and thus to some extent relativistic, historicism increasingly came to mean the (largely unfalsifiable) view that historical development is subject…
S
Sublime
M
Minor premise
F
Four Noble Truths
M
Metaphysics
S
Slave morality
E
Empirical ego
L
Liberty
R
Reflective equilibrium
T
Tarski’s T-Schema
View All