ANALYTIC PHILOSOPHYHistory Of PhilosophyLOGICAL ATOMISM
November 15, 2023

LOGICAL ATOMISM

Although mostly associated with the logical analysis of language, analytic philosophy began in the philosophy of mathematics. Working independently, both Gottlob Frege and Bertrand Russell pursued programs of reducing mathematics…
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…
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…
FORMS OF PHILOSOPHICAL WRITINGWriting PhilosophyTHE POSITION PAPER
November 19, 2023

THE POSITION PAPER

A position paper may be viewed as a type of argumentative paper in that it states a claim—your position—concerning a topic, issue, or question and presents a justification for that…
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…
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…
MEDIEVAL PHILOSOPHYHistory Of PhilosophySCHOLASTICISM
November 15, 2023

SCHOLASTICISM

A general term for those philosophers influenced by the medieval rediscovery of classic texts, Scholasticism is broadly characterized by an interest in logic and disputation and is motivated to resolve…
CONTINENTAL PHILOSOPHYHistory Of PhilosophySTRUCTURALISM
November 15, 2023

STRUCTURALISM

Structuralism refers to research undertaken in the social sciences, predominantly in France, between the 1950s and 1970s, which sought to understand various social phenomena as a “closed system” of elements.
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…
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…
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…
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…
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,…
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…
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…

Books

  • Summary of Unchecked: A Guide to Rachael Bade’s Book

    $12.99
  • In Praise of Shadows

    $9.83
  • Awakening Power in the Yoga Sutra: Vibhuti Pada

    $19.77
  • Courage To Be Happy

    $15.99
  • Penguin Classics Fear and Trembling: Dialectical Lyric By Johannes De Silentio (Penguin Pocket Hardbacks)

    $23.27
  • The Original Bhagavad Gita — True to Tradition — With Clear and Concise Commentary

    $35.99
  • Ockham Explained: From Razor to Rebellion (Ideas Explained)

    $17.99
  • Complete Works of Lao Tzu: Tao Teh Ching & Hau Hu Ching

    $14.79
  • Intuitive Thinking as a Spiritual Path

    $12.99
  • Metafisica 4 en 1, Vol. I (Spanish Edition)

    $16.60
  • The New Leviathans: Thoughts After Liberalism

    $27.00
  • The Superhumanities: Historical Precedents, Moral Objections, New Realities

    $29.34
  • Tractatus Logico-Philosophicus

    $8.75
  • THE PRINCE (Wisehouse Classics Edition)

    $1.00
  • Self-Reliance: The Wisdom of Ralph Waldo Emerson as Inspiration for Daily Living

    $14.99
  • All Desire Is a Desire for Being

    $18.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

A

Assumptive proof

A nested proof—that is, a proof that occurs within a larger proof sequence. (See also Subproof.) https://youtube.com/shorts/1a3bbVukq6U?feature=share
C

Consequent

The “then” clause in an “if…then” (conditional) claim is the consequent. https://youtube.com/shorts/f_xpmIj9CWw?feature=share
N

Negative right

An entitlement not to be interfered with in the pursuit of one’s interests. https://youtube.com/shorts/afLGSXMmDzo?feature=share
M
Myth of the given
O
Obversion
E
Epistemic closure
P
Principle of induction
O
O-proposition
A
Act utilitarianism
D
Deductive system
A
Antecedent conditions
E
Equivocation
View All