Modern Branches of PhilosophyPhilosophy BranchesBIOETHICS
November 14, 2023

BIOETHICS

A branch of ethics concerned with the moral and political issues raised by medical science, and with advances in medical technology, bioethics has now become a largely autonomous area of…
History Of PhilosophyANALYTIC PHILOSOPHYORDINARY LANGUAGE PHILOSOPHY
November 15, 2023

ORDINARY LANGUAGE PHILOSOPHY

Between the 1940s and the 1960s, analytic philosophy shifted away from investigating the (supposed) underlying logical structure of language. While it was still primarily concerned with conceptual analysis, this was…
Philosophy BranchesTraditional Branches of PhilosophyETHICS
December 12, 2023

ETHICS

Ethics is the study of morality and can be divided into three main areas of inquiry. Descriptive ethics concerns the actual moral beliefs held by specific individuals or societies and…
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.
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…
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…
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”…
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,…
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.
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…
FORMS OF PHILOSOPHICAL WRITINGTHE ESSAY OF AFFIRMATION
November 20, 2023

THE ESSAY OF AFFIRMATION

The essay of affirmation takes the position I agree. If you want to write an essay agreeing with—affirming—the ideas of another, such as a philosopher, a simple statement of agreement…
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…
MEDIEVAL PHILOSOPHYHistory Of PhilosophyMEDIEVAL PHILOSOPHY
November 15, 2023

MEDIEVAL PHILOSOPHY

The Medieval Period is usually dated between the fall of the Western Roman Empire (476)and the beginning of the Renaissance (c. 1300). In terms of philosophy, the period begins inthe…
Modern Branches of PhilosophyPhilosophy BranchesPHILOSOPHY OF MATHEMATICS
November 14, 2023

PHILOSOPHY OF MATHEMATICS

The philosophy of mathematics is traditionally concerned with the ontological and epistemological foundations of mathematics. The two questions, of ontology and epistemology, are intimately related, as a satisfactory account of…

Books

  • The Rebel: An Essay on Man in Revolt

    $13.89
  • The Soul of Civility: Timeless Principles to Heal Society and Ourselves

    $24.36
  • Think Like A Monk EXPORT

    $15.00
  • Basic Writings of Nietzsche

    $18.59
  • Tao Te Ching

    $6.25
  • The Ever-Present Origin, Part One: Foundations of the Aperspectival World and Part Two: Manifestations of the Aperspectival World

    $45.00
  • Justice: What’s the Right Thing to Do?

    $7.69
  • The Little Book of Philosophy: An Introduction to the Key Thinkers and Theories You Need to Know

    $13.95
  • Think Straight: Change Your Thoughts, Change Your Life

    $14.99
  • Muscular Christianity: A Case for Spiritual and Physical Fitness

    $19.99
  • Lao Tzu: Tao Te Ching: A Book about the Way and the Power of the Way

    $5.99
  • Domestic Extremist: A Practical Guide to Winning the Culture War

    $18.79
  • Metaphysical Presuppositions of Being-in-the-World

    $49.95
  • Visual Thinking

    $23.99
  • On Liberty

    $18.99
  • Aquinas and Modern Science: A New Synthesis of Faith and Reason

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

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

Terms & Concepts

P

Proof by cases

A proof strategy whereby a conclusion is proved from a disjunction. (See also Disjunction elimination.) https://youtube.com/shorts/JZ_RCMpCjsU?feature=share
R

Reason

1) Justification for a claim. 2) The capacity, faculty, or ability to think abstractly, such as drawing an inference or contemplating general concepts. https://youtube.com/shorts/2Qw_Q4hSuyg?feature=share
I

Individual constant

In first-order logic, symbols stand for individually named things (object, person, place, time,and so on). An individual constant is assumed to denote one, and only one, thing. https://youtube.com/shorts/wHqv7vweUI4?feature=share
S
Sovereign
D
Dolor
I
Internal meaning
O
Original position
E
Existential elimination
P
Principle of equal liberty
P
Proof by contradiction
L
Liberty
C
Constitute
View All