Writing PhilosophyWHAT IS GOOD WRITING?
November 24, 2023

WHAT IS GOOD WRITING?

What is good music? What is good art? What is good writing? Such questions unleash many opinions. The branch of traditional philosophy called Aesthetics is devoted to answering such questions…
FORMS OF PHILOSOPHICAL WRITINGWriting PhilosophyTHE EXPOSITORY PAPER
November 19, 2023

THE EXPOSITORY PAPER

We have already touched on the expository paper, but let’s discuss it briefly here. Look at the adjective expository. It is derived from the noun exposition, which is the noun…
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…
THE EARLY MODERN PERIODHistory Of PhilosophyLIBERALISM
November 15, 2023

LIBERALISM

A political philosophy whose central claim is that a government’s authority is justified only insofar as it secures the liberty of its subjects, Liberalism is generally traced to John Locke…
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…
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…
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…
LogicINTUITIONISM
November 15, 2023

INTUITIONISM

One of the most familiar non-classical logics is intuitionism, which, in simple terms, is based upon the rejection of the law of excluded middle: (P ∨ ¬P). There are both…
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…
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…
NON-WESTERN PHILOSOPHICAL TRADITIONSHistory Of PhilosophyMIDDLE EASTERN TRADITIONS
November 15, 2023

MIDDLE EASTERN TRADITIONS

As the Middle East is often called the cradle of civilization, it is also the source of some of the earliest philosophical literature. Much of it is devoted to what…
NON-WESTERN PHILOSOPHICAL TRADITIONSNON-WESTERN PHILOSOPHICAL TRADITIONS
November 15, 2023

NON-WESTERN PHILOSOPHICAL TRADITIONS

As explained at the beginning of this chapter, this book is intended primarily for philosophy students, especially new philosophy students, whose focus is mainly or even exclusively on Western philosophical…
Writing PhilosophyWHAT PHILOSOPHY PROFESSORS WANT FROM STUDENT WRITERS
November 24, 2023

WHAT PHILOSOPHY PROFESSORS WANT FROM STUDENT WRITERS

Some 2,300 years ago, Aristotle introduced the syllogism into the intellectual world. A threeelement formula, it is the elementary building block of syllogistic logic and deductive reasoning. The syllogism combines…
THE EARLY MODERN PERIODHistory Of PhilosophyTRANSCENDENTAL IDEALISM
November 15, 2023

TRANSCENDENTAL IDEALISM

The philosophical system developed by Immanuel Kant (1724–1804), Transcendental Idealism sought to overcome the epistemological problems of Empiricism while providing a rational justification for Liberalism.
Modern Branches of PhilosophyPhilosophy BranchesPHILOSOPHY OF LANGUAGE
November 14, 2023

PHILOSOPHY OF LANGUAGE

The study of natural languages is conventionally divided among questions of syntax, semantics, and pragmatics, all of which raise significant issues for the philosophy of language. In terms of syntax…

Books

  • The Philosophy of Space and Time (Dover Books on Physics)

    $20.00
  • A Brief History of Everything (20th Anniversary Edition)

    $12.99
  • El extranjero / The Stranger (Spanish Edition)

    $16.95
  • The Boy, the Mole, the Fox and the Horse: The Animated Story

    $17.36
  • Be Not Afraid of Life: In the Words of William James

    $17.29
  • On Human Nature

    $16.50
  • Beyond Good and Evil: The Philosophy Classic (Capstone Classics)

    $9.99
  • Just So: An Odyssey into the Cosmic Web of Connection, Play, and True Pleasure

    $41.99
  • How the World Works: Philosophy: From the Ancient Greeks to great thinkers of modern times (How the World Works, 1)

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

    $26.00
  • What We Owe to Each Other

    $34.00
  • The Conscious Mind: In Search of a Fundamental Theory (Philosophy of Mind)

    $20.55
  • Cómo no ser un esclavo del sistema

    $17.11
  • Thus Spoke Zarathustra

    $14.99
  • Resounding Events: Adventures of an Academic from the Working Class

    $27.49
  • Michel de Montaigne – The Complete Essays (Penguin Classics)

    $25.11

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

F

Formal proof

In a formal deductive system, a step-by-step demonstration of the truth of a claim followingfrom a set of premises. (See also Proof.) https://youtube.com/shorts/DT1-2WEXXbc?feature=share
M

Matter of fact

David Hume’s term for an empirical claim, which is the result of empirical observation and experience. Also: reasoning experientially, versus via relations of ideas. https://youtube.com/shorts/vG3vbfBRBkM?feature=share
I

Inclusive disjunction

In formal logic, a disjunction is inclusive, so the expression, “One or the other” includes“…or both.” Exclusivity must be explicitly noted, as in, “One or the other, but not both.”…
A
Areté
Q
Qualities
E
Epistemic closure
C
Cosmopolitanism
C
Coherence theory of truth
S
Semiotics
C
Complement
F
False dilemma
I
Immediate inference
View All