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
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.
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…
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 WRITINGTHE ESSAY OF ASSERTION
November 20, 2023

THE ESSAY OF ASSERTION

The essay of assertion takes the position I believe. It is an argumentative essay in which you convey to the reader some belief or beliefs that you hold. If you…
FORMS OF PHILOSOPHICAL WRITINGWriting PhilosophyTHE ESSAY OF REFUTATION
November 20, 2023

THE ESSAY OF REFUTATION

The essay of refutation takes the position “I disagree.” Its objective is to persuade the reader that the argument of another is false, flawed, unlikely, implausible, or in some other…
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…
History Of PhilosophyTHE SOPHISTS
November 15, 2023

THE SOPHISTS

The Sophists were not a single school but a professional grouping of largely itinerant teachers of rhetoric, philosophy, and legal argumentation. Their importance lies not in any specific doctrines but…
CLASSICAL PHILOSOPHYHistory Of PhilosophySTOICISM
November 15, 2023

STOICISM

Founded by Zeno of Citium (334–262 BC), early Stoicism shared many similarities with Epicureanism, including the belief that the world was largely deterministic and that the overall goal of the…
Modern Branches of PhilosophyPhilosophy BranchesPHILOSOPHY OF SCIENCE
November 14, 2023

PHILOSOPHY OF SCIENCE

Many of the topics within the philosophy of science overlap with topics in metaphysics, epistemology, and the philosophy of language insofar as they apply within our scientific practice. Metaphysical issues,…
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…
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,…
ANALYTIC PHILOSOPHYHistory Of PhilosophyANALYTIC PHILOSOPHY IN THE TWENTIETH CENTURY
November 15, 2023

ANALYTIC PHILOSOPHY IN THE TWENTIETH CENTURY

The analytic tradition arose partly as a rejection of Hegelian idealism in favor of what George Edward Moore (1873–1958) called a “common sense” view of the world, alongside developments in…
THE EARLY MODERN PERIODHistory Of PhilosophyRATIONALISM
November 15, 2023

RATIONALISM

Rationalism designates a variety of philosophical schools maintaining that reason, as opposed to empirical investigation, is the most important method of acquiring knowledge.
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…

Books

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

    $27.89
  • Vida contemplativa: Elogio de la inactividad / Contemplative Life: A Praise to I dleness (Spanish Edition)

    $17.95
  • The Courage to Be Happy: Discover the Power of Positive Psychology and Choose Happiness Every Day

    $15.89
  • The ethics of ambiguity;

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

    $14.29
  • On the Shortness of Life

    $13.99
  • Decoding Jung’s Metaphysics: The Archetypal Semantics of an Experiential Universe

    $19.95
  • The Mastery of Self: A Toltec Guide to Personal Freedom (Toltec Mastery Series)

    $10.79
  • Phenomenology (The MIT Press Essential Knowledge series)

    $15.95
  • The Art of Happiness: A Handbook for Living

    $9.99
  • Gratitude

    $12.95
  • Foucault: A Very Short Introduction (Very Short Introductions)

    $11.85
  • When Things Fall Apart: Heart Advice for Difficult Times

    $7.64
  • An Unlikely Guru: How a Neurotic Jewish Real Estate Developer from New Jersey Found Enlightenment (And How You Can, Too)

    $17.99
  • Pragmatism as Anti-Authoritarianism

    $19.95
  • The Metaphysical Thought of Thomas Aquinas: From Finite Being to Uncreated Being (Monographs of the Society for Medieval and Renaissance Philosophy, 1)

    $42.96

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

C

Causal theory of perception

The theory that sensations and ideas are caused by physical things acting upon our organs of sense. https://youtube.com/shorts/neBGV0mB2A0?feature=share
C

Conditional elimination

In symbolic logic, a valid inference in a system of truth-functional rules. The consequent of a conditional claim is inferred when the antecedent of that claim is affirmed. (See also…
R

Ren

Confucian virtues, such as benevolence, sympathy, and respect for others. https://youtube.com/shorts/6hloZB1o5Ks?feature=share
N
Necessary condition
A
Absolutism
R
Reductio ad absurdum
U
Universalizability
T
Turing Test
C
Criterion
P
Paradigm
I
Informal proof
V
Void
View All