Abu Hamid al-Ghazali

1058 CE – 1111 CE

Tus, Khorasan

Persian Sunni theologian, jurist, mystic, and philosopher whose work transformed kalam, ethics, logic, Sufism, and the reception of Avicennian philosophy.

Logic

Helped naturalize Aristotelian logic inside Sunni kalam and legal theory; wrote technical works on definition, demonstration, syllogism, analogy, and the standards of valid reasoning.

Abu Nasr al-Farabi

872 CE – 950 CE

Farab (Otrar), Transoxiana

Persian (Farab) philosopher from Farab (Otrar) associated with metaphysics, epistemology, and logic.

Logic

Systematized the Aristotelian logical corpus in Arabic and clarified demonstration, dialectic, rhetoric, poetics, certainty, and the relation between grammar and logic.

Abu Sulayman al-Sijistani

932 CE – 1000 CE

Sijistan (Sistan)

Persian Islamic humanist and logician from Sijistan whose Baghdad circle distinguished philosophy from revealed religion and worked on logic, metaphysics, soul, celestial nature, and human perfection.

Logic

Known as al-Mantiqi, the Logician, and remembered as a Baghdad teacher whose circle used logic as the grammar of philosophical disputation.

Abu Yusuf al-Kindi

801 CE – 873 CE

Kufa

Kufa-born Abbasid philosopher who turned Greek metaphysics, logic, medicine, optics, mathematics, music, and theology into an Arabic philosophical program, arguing for divine unity, finite creation, intellect, soul, and disciplined ethical life.

Logic

Helped naturalize Greek logical vocabulary in Arabic through works on definitions, descriptions, Aristotelian books, and systematic analysis.

Aenesidemus of Knossos

100 BCE – 50 BCE

Knossos (Crete)

Greek (Crete) philosopher from Knossos (Crete) who revived Pyrrhonian skepticism through the Ten Modes, suspension of judgment, and anti-dogmatic critique.

Logic

Organized the Ten Modes as argumentative patterns against dogmatic inference from variation, relativity, circumstances, mixtures, customs, quantities, positions, and appearances.

Albertus Magnus

1200 CE – 1280 CE

Lauingen (Swabia)

German Dominican philosopher and natural scientist whose Aristotelian commentaries, theology, logic, ethics, psychology, and natural philosophy shaped medieval scholastic thought.

Logic

Commented across the Aristotelian logical curriculum, including categories, analytics, topics, sophistical refutations, and demonstration.

Amartya Sen

1933 CE

Santiniketan (West Bengal)

Indian philosopher-economist from Santiniketan whose social-choice theory, capability approach, famine analysis, public reasoning, and theory of justice reshaped ethics, welfare economics, development, democracy, and global political philosophy.

Logic

Used formal social choice theory, impossibility results, collective choice, and comparative reasoning to analyze welfare, liberty, rights, and justice.

Anselm of Canterbury

1033 CE – 1109 CE

Aosta

Benedictine philosopher-theologian from Aosta whose faith-seeking-understanding method, ontological argument, account of truth, freedom, sin, atonement, and semantic analysis shaped medieval scholastic philosophy.

Logic

Used dialectical distinctions in De grammatico and other dialogues to separate grammar, signification, appellation, predication, necessity, and conceptual order.

Antiphon of Athens

480 BCE – 411 BCE

Rhamnus, Attica

Athenian logographer and sophistic thinker from Rhamnus whose homicide speeches, Tetralogies, and fragments on truth and concord explored law, nature, justice, rhetoric, equality, and political order.

Logic

Developed adversarial and antithetical reasoning through Tetralogies, proems, forensic speeches, and arguments from likelihood, motive, causation, and rebuttal.

Antisthenes of Athens

445 BCE – 365 BCE

Athens (Attica)

Athenian Socratic philosopher associated with Cynosarges whose ascetic ethics, virtue-sufficiency thesis, critique of luxury and convention, attacks on Platonic Forms, and paradoxes of definition and predication shaped Cynicism, Stoicism, ancient logic, and philosophy of language.

Logic

Pressed paradoxes about definition, predication, contradiction, and naming that made him a key figure in early ancient logic.

Arcesilaus of Pitane

315 BCE – 241 BCE

Pitane (Aeolis)

Greek Academic skeptic from Pitane who led Plato's Academy in Athens, attacked Stoic cognitive impressions, argued for suspension of assent, and framed practical action without dogmatic belief.

Logic

Used Socratic dialectic and anti-dogmatic argument to test opposing claims, especially Stoic criteria of truth and assent.

Aristotle

384 BCE – 322 BCE

Stagira, Chalcidice

Greek philosopher from Stagira, student of Plato, tutor of Alexander, and founder of the Lyceum whose logic, metaphysics, psychology, ethics, politics, rhetoric, poetics, biology, and philosophy of science shaped later philosophy.

Logic

Founded formal syllogistic logic; analyzed terms, propositions, and valid inference; made demonstration central to rigorous inquiry.

Arne Næss

1912 CE – 2009 CE

Slemdal (Oslo)

Norwegian philosopher, mountaineer, and founder of deep ecology whose empirical semantics, argumentation theory, Ecosophy T, and ecological self-realization reshaped environmental ethics and political ecology.

Logic

Used argumentation theory and applied semantics to clarify disagreement, communication, interpretation, and public reasoning.

Arthur Schopenhauer

1788 CE – 1860 CE

Danzig (now Gdansk)

German philosopher from Danzig whose account of representation, blind will, pessimistic metaphysics, compassion ethics, aesthetics, and music reshaped nineteenth-century and modern philosophy.

Logic

Analyzed eristic dialectic, fallacious disputation, conceptual reasoning, and the difference between truth-seeking and argumentative victory.

Avicenna

980 CE – 1037 CE

Afshana, near Bukhara

Persian philosopher-physician from Afshana near Bukhara whose system of metaphysics, essence/existence distinction, psychology, logic, medicine, natural philosophy, prophecy theory, and proof of the Necessary Existent shaped Islamic, Jewish, Latin scholastic, and early modern thought.

Logic

Developed modal syllogistic, definition, predication, demonstration, and the classification of sciences within the Arabic Aristotelian tradition.

Baruch Spinoza

1632 CE – 1677 CE

Amsterdam

Dutch-Jewish rationalist philosopher from Amsterdam whose substance monism, God-or-Nature metaphysics, geometric method, theory of adequate ideas, mind-body parallelism, ethics of freedom through understanding, biblical criticism, and democratic political thought reshaped early modern philosophy.

Logic

Uses geometric order, definitions, axioms, propositions, demonstrations, and conceptual analysis as a model of philosophical proof.

Bertrand Russell

1872 CE – 1970 CE

Trellech, Monmouthshire

British analytic philosopher, logician, mathematician, social critic, and Nobel laureate from Trellech whose logicism, theory of descriptions, logical atomism, epistemology, philosophy of language, ethics, pacifism, secular critique, and political writing shaped analytic philosophy and twentieth-century public reason.

Logic

Helped found modern mathematical logic through logicism, type theory, relations, propositional functions, quantification, and Principia Mathematica.

Bhartṛhari

450 CE – 510 CE

Ujjayinī region (Malwa)

Indian grammarian-philosopher from the Ujjayinī/Malwa tradition whose Vākyapadīya, sphoṭa theory, śabda-brahman metaphysics, sentence-meaning analysis, linguistic cognition, and discipline of speech shaped Sanskrit philosophy of language, ontology, epistemology, logic, and religious thought.

Logic

Used Sanskrit grammatical analysis to clarify categories, semantic relation, predication, and the logical structure of linguistic understanding.

Boethius

480 CE – 524 CE

Rome

late antique Roman philosopher, statesman, translator, and Christian theologian from Rome whose logical translations and commentaries, theory of universals, account of providence, eternity, free will, participation, and philosophical consolation transmitted Greek philosophy to the medieval Latin West.

Logic

Transmits Aristotelian and Porphyrian logic to Latin readers through translations, commentaries, syllogistic treatises, topical argument, division, and semantic analysis.

Bonaventure

1217 CE – 1274 CE

Bagnoregio

Franciscan philosopher-theologian from Bagnoregio, minister general and cardinal bishop, whose exemplarist metaphysics, divine illumination epistemology, theology of creation, soul's ascent to God, account of the arts, Franciscan poverty, Trinitarian thought, and mystical theology shaped medieval scholastic and Franciscan philosophy.

Logic

Uses scholastic disputation, distinctions, scriptural argument, and ordered theological reasoning while subordinating logic to wisdom and contemplation.

Carneades of Cyrene

214 BCE – 129 BCE

Cyrene (Cyrenaica)

Cyrenaic Greek Academic skeptic who led the New Academy, challenged Stoic certainty, developed the pithanon as practical guidance, argued on both sides of disputed questions, and made suspension of assent central to Hellenistic epistemology.

Logic

Used dialectical argument, argument on both sides, and anti-dogmatic refutation to expose weaknesses in Stoic criteria, theology, fate, and ethical claims.

Charles Sanders Peirce

1839 CE – 1914 CE

Cambridge, Massachusetts

American logician, scientist, and founder of pragmaticism whose work joined the pragmatic maxim, semiotic theory, fallibilism, abduction, probability, categories, scientific method, and evolutionary metaphysics.

Logic

Advanced the logic of relatives, quantification, existential graphs, mathematical logic, semiotic logic, abduction, induction, deduction, and diagrammatic reasoning.

Christian Wolff

1679 CE – 1754 CE

Breslau, Silesia (now Wrocław, Poland)

German Enlightenment rationalist whose systematic textbooks in logic, ontology, psychology, natural theology, ethics, natural law, aesthetics, and philosophy of science made Wolffian method the main bridge between Leibniz and Kant.

Logic

Made logic the discipline that orders concepts, judgments, demonstrations, scientific method, and the disciplined use of understanding in life and inquiry.

Chrysippus of Soli

279 BCE – 206 BCE

Soli, Cilicia

Stoic philosopher from Soli whose lost system of logic, physics, ethics, fate, providence, language, and knowledge made him the main architect of early Stoicism after Zeno and Cleanthes.

Logic

Systematized Stoic propositional logic through assertibles, conditionals, disjunctions, indemonstrable argument forms, modalities, fallacies, and dialectical method.

Cicero (Marcus Tullius Cicero)

106 BCE – 43 BCE

Arpinum, Roman Republic

Roman statesman, orator, lawyer, and philosopher who turned Greek ethics, skepticism, theology, rhetoric, and republican political thought into enduring Latin civic philosophy.

Logic

Adapted topical reasoning, rhetorical invention, status theory, probability, and argument-finding methods for legal, political, and philosophical use in works such as Topica and De Inventione.

Cleanthes of Assos

331 BCE – 232 BCE

Assos in the Troad

Early Stoic head from Assos whose Hymn to Zeus, lost title catalogue, and teaching on providence, duty, impulse, logic, beauty, and living according to nature carried Zeno school into Chrysippus generation.

Logic

Worked in dialectic, predicates, insoluble problems, tropes, and the structure of reasoning, helping sustain early Stoic logic before Chrysippus expanded the system.

Clement of Alexandria

150 CE – 215 CE

probably Athens

Greek Christian philosopher and Alexandrian teacher who joined Platonist learning, biblical interpretation, moral formation, and Christian gnosis into an early account of faith perfected by reason.

Logic

Used dialectic, classification, refutation, and anti-sophistical argument to sort pagan myth, heretical claims, and Christian teaching into ordered forms of knowledge.

Damascius

462 CE – 538 CE

Damascus

Last head of the Athenian Neoplatonic school, born in Damascus, whose aporetic first-principles metaphysics tests what language, thought, and theology can say about the ineffable.

Logic

Used Platonic dialectic and Parmenidean hypothesis analysis to test unity, plurality, negation, predication, and the coherence of theological language.

David Hume

1711 CE – 1776 CE

Edinburgh

Scottish Enlightenment philosopher who transformed empiricism, skepticism, moral psychology, aesthetics, political economy, natural religion, and the philosophy of science through a systematic science of human nature.

Logic

Reframed reasoning around relations of ideas, matters of fact, demonstrative proof, probability, and the habits by which human beings move from observed cases to expectations.

Democritus of Abdera

460 BCE – 370 BCE

Abdera, Thrace

Presocratic atomist from Abdera whose philosophy explained nature, mind, perception, ethics, language, mathematics, and religion through atoms, void, causal necessity, and measured cheerfulness.

Logic

Connected inquiry, causal necessity, naming, and disciplined reasoning to an atomist method that asks how appearances arise from underlying structures.

Edmund Husserl

1859 CE – 1938 CE

Prostějov (Prossnitz), Moravia

Founder of phenomenology, trained in mathematics and logic, whose work on intentionality, epoché, consciousness, meaning, evidence, and the lifeworld reshaped twentieth-century philosophy.

Logic

Husserl's critique of psychologism and analyses of meaning, judgment, formal ontology, and categorial intuition shaped modern philosophy of logic.

Euclid of Megara

435 BCE – 365 BCE

Megara

Socratic philosopher from Megara who joined Socratic concern for the good to Eleatic unity and founded the Megarian school of dialectical argument.

Logic

Euclid founded the Megarian line of argument associated with eristic and dialectical reasoning, preparing the ground for later Megarian paradoxes, modal arguments, and Stoic logic reception.

Eudemus of Rhodes

370 BCE – 300 BCE

Rhodes (island)

Peripatetic philosopher from Rhodes, pupil of Aristotle and companion of Theophrastus, remembered for systematizing Aristotelian logic and physics and for pioneering histories of Greek geometry, arithmetic, and astronomy.

Logic

Eudemus helped extend Aristotle's logical program through Analytics and related works, preserving a Peripatetic concern with demonstrative structure, predication, and teachable argument.

Eudoxus of Cnidus

390 BCE – 340 BCE

Cnidus, Caria

Mathematician, astronomer, geographer, and philosopher from Cnidus, remembered for proportion theory, homocentric-sphere astronomy, geography, calendrical work, and the ancient testimony about pleasure as the natural good.

Logic

Eudoxus' mathematical practice strengthened ancient demonstrative reasoning through ratio theory, exhaustion-style arguments, and exact relations between magnitudes.

Francis Bacon

1561 CE – 1626 CE

York House, Strand, London

English philosopher-statesman whose reform of learning, critique of idols, and experimental natural history helped shape early modern empiricism and the philosophy of science.

Logic

Novum Organum recasts logic as a method of discovery, replacing premature syllogistic certainty with tables, exclusions, experiments, and progressively tested axioms.

Francis Hutcheson

1694 CE – 1746 CE

Drumalig / near Saintfield, County Down, Ulster

Irish and Scots-Irish moral philosopher whose moral sense theory, aesthetics, benevolence ethics, and Glasgow teaching helped launch the Scottish Enlightenment.

Logic

His logic teaching presents signs, judgment, reasoning, method, and intellectual order as disciplines serving clear inquiry and moral-philosophical education.

Galileo Galilei

1564 CE – 1642 CE

Pisa, Duchy of Florence

Italian mathematical natural philosopher whose telescopic astronomy, mechanics, instrument work, and scriptural hermeneutics helped reshape early modern philosophy of science and the Scientific Revolution.

Logic

Galileo uses geometrical demonstration, counterexample, thought experiment, and dialogue to expose weak Aristotelian arguments and test physical claims.

Gautama (Akṣapāda)

200 BCE – 100 BCE

Indo-Gangetic region / early Nyāya milieu

Early Nyāya philosopher traditionally credited with the Nyāya Sūtra, whose analytic program systematized inference, debate, valid knowledge, realist categories, self, error, and liberation.

Logic

Nyāya develops formal patterns of inference, debate, examples, reasons, fallacies, doubt, and proof as disciplined tools for philosophical inquiry.

Georg Wilhelm Friedrich Hegel

1770 CE – 1831 CE

Stuttgart, Duchy of Württemberg

German Idealist philosopher of dialectic, absolute idealism, recognition, freedom, ethical life, history, art, nature, religion, and systematic philosophy.

Logic

Hegel recasts logic as speculative metaphysics, where being, essence, concept, judgment, objectivity, and idea develop through determinate negation.

Gongsun Long

325 BCE – 250 BCE

Zhao state region

Warring States School of Names philosopher of language, logic, names and actualities, white-horse paradox, hard-white distinction, reference, designation, and disputation.

Logic

He is central to early Chinese logical paradox and dialectic, using compact arguments about predication, class inclusion, identity, and intensional distinction.

Gorgias of Leontini

483 BCE – 375 BCE

Leontini (Sicily)

Siceliote Greek sophist and rhetorician from Leontini whose paradoxes about being, knowledge, and communication, and whose display speeches on Helen and Palamedes, made logos, persuasion, belief, and civic speech central problems for philosophy.

Logic

His paradoxes and defenses use contradiction, probability, negative argument, and reversals of burden to make speech itself a testing ground for reason.

Gottfried Wilhelm Leibniz

1646 CE – 1716 CE

Leipzig

German polymath and early modern rationalist whose monadology, pre-established harmony, sufficient reason, theodicy, calculus work, and plans for a universal symbolic language helped define metaphysics, logic, epistemology, philosophy of mind, philosophy of religion, and philosophy of science.

Logic

Universal characteristic, calculus ratiocinator, combinatorial logic, predicate-in-notion theory, modal logic, and early formal-symbolic ambitions.

Gottlob Frege

1848 CE – 1925 CE

Wismar

German logician, mathematician, and philosopher whose concept-script, modern quantificational logic, logicism, sense-reference distinction, concept-object analysis, and anti-psychologism helped launch analytic philosophy and reshape logic, language, mathematics, and truth.

Logic

Modern quantificational logic, predicate calculus, formal proof, function-argument analysis, concept-script, and higher-order logical notation.

Han Fei

280 BCE – 233 BCE

Han state (Xinzheng region)

Warring States Chinese Legalist philosopher and statesman whose Han Feizi synthesizes fa, shu, shi, xingming, rewards and punishments, human motivation, and impersonal standards into a classic theory of state power.

Logic

Developed Legalist reasoning through fa as explicit standards, xingming as the matching of names and performance, and institutional tests that expose contradiction, empty speech, and unreliable precedent.

Heraclitus of Ephesus

535 BCE – 475 BCE

Ephesus, Ionia

Ionian Greek Presocratic philosopher from Ephesus whose fragments on logos, flux, fire, unity of opposites, measure, self-knowledge, law, soul, and hidden harmony helped shape metaphysics, epistemology, logic, language, natural philosophy, religion, and later process thought.

Logic

Used paradox, opposition, tension, and identity-in-difference to expose the limits of ordinary binary thinking and later provoke debates over contradiction.

Hugh of St. Victor

1096 CE – 1141 CE

Saxony, probably the Harz/Hamersleben region

Saxon-born Victorine philosopher and theologian whose Didascalicon, De sacramentis, ark imagery, arts curriculum, symbolic exegesis, and contemplative psychology joined learning to spiritual restoration.

Logic

Classified philosophy into theoretical, practical, mechanical, and logical arts, treating logic and the language arts as instruments of ordered learning.

Hui Shi

380 BCE – 305 BCE

State of Song, probably the Shangqiu/Henan region

Warring States Chinese School of Names philosopher, disputer, and statesman whose lost Huizi tradition, Ten Theses, law-code story, and Zhuangzi dialogues shaped later debates about names, actualities, identity, difference, space, time, perspective, and public standards.

Logic

The Ten Theses and School of Names context make Hui Shi central to early Chinese paradox, disputation, and compact argument about identity and difference.

Hunayn ibn Ishaq

808 CE – 873 CE

al-Hira, near Baghdad

Arab Christian physician, translator, theologian, and scientific writer of Abbasid Baghdad whose Greek-Arabic and Greek-Syriac translation method, Galenic medicine, ophthalmology, logic transmission, and Christian Arabic apologetic work shaped medieval Islamic and Latin philosophy of science.

Logic

Hunayn and his circle transmitted Aristotelian logical works and used structured questions, definitions, divisions, and dialectical reasoning in medical and theological pedagogy.

Iamblichus of Chalcis

245 CE – 325 CE

Chalcis ad Belum, Coele-Syria, probably near modern Qinnasrin

Syrian Greek Neoplatonist of Chalcis whose theurgy, Pythagorean curriculum, Platonic commentary, mathematics, soul theory, metaphysics, and philosophy of religion shaped later Syrian and Athenian Neoplatonism.

Logic

Iamblichus' lost Categories commentary and curriculum place Aristotelian predication, classification, dialectic, and names within a Platonic propaedeutic to metaphysics.

Ibn Rushd (Averroes)

1126 CE – 1198 CE

Córdoba, al-Andalus

Andalusian Arab philosopher, jurist, physician, judge, and Aristotelian commentator whose work in logic, metaphysics, natural philosophy, medicine, law, rhetoric, poetics, and philosophy of religion shaped Islamic, Hebrew, and Latin philosophical traditions.

Logic

His compendia and commentaries on the Organon transmit Aristotelian definition, proposition, syllogism, demonstration, dialectic, rhetoric, poetics, and fallacy as a complete rational curriculum.

Immanuel Kant

1724 CE – 1804 CE

Königsberg, Prussia

Prussian Enlightenment philosopher whose critical philosophy of transcendental idealism, autonomy, public reason, aesthetic judgment, natural science, religion, and right reshaped modern metaphysics, epistemology, ethics, politics, and aesthetics.

Logic

Kant distinguished general logic from transcendental logic and used judgment forms, categories, inference, and dialectic to analyze the structure and limits of objective cognition.

Ishaq ibn Hunayn

830 CE – 910 CE

Baghdad

Arab Christian translator, physician, mathematician, astronomer, and philosophical transmitter of Abbasid Baghdad whose Arabic versions of Aristotle, Euclid, Ptolemy, Menelaus, Autolycus, and medical-biographical sources helped form the technical language of medieval Arabic philosophy and science.

Logic

His Organon translations and associated logic clusters transmitted predication, interpretation, syllogism, demonstration, and the language of proof in the Arabic Aristotelian curriculum.

Isidore of Seville

560 CE – 636 CE

Cartagena or Seville, Visigothic Hispania

Hispano-Roman and Visigothic Iberian bishop and encyclopedist whose Etymologiae, Sententiae, histories, ecclesiastical works, and natural-philosophy compilations transmitted Latin Christian learning, grammar, classification, and the liberal arts into the early medieval West.

Logic

The Differentiae, Etymologiae, and liberal-arts material preserve definition, distinction, classification, predication, argument, dialectic, and the logical function of verbal differences.

Īśvarakṛṣṇa

350 CE – 425 CE

probably northern India; exact birthplace unknown

Classical Indian Sāṃkhya philosopher credited with the Sāṃkhyakārikā, a compact verse synthesis of prakṛti, puruṣa, guṇas, pramāṇas, causation, mind, bondage, suffering, and liberation through discriminative knowledge.

Logic

His concise kārikās use enumerative analysis, causal reasoning, inference, classification, and proof-structures to argue for unmanifest nature, plurality of puruṣas, and liberation.

J. L. Austin

1911 CE – 1960 CE

Lancaster, Lancashire

British Oxford ordinary-language philosopher whose analyses of performatives, speech acts, excuses, other minds, truth, perception, and action reshaped twentieth-century analytic philosophy.

Logic

Austin contributed to philosophical logic by analyzing conditionals, modality, performatives, constatives, truth, and the grammar of ordinary expressions without reducing language to formal schemata.

Jacques Derrida

1930 CE – 2004 CE

El Biar, Algiers, French Algeria

French Algerian philosopher of deconstruction whose analyses of writing, differance, trace, hospitality, law, archives, ethics, politics, and metaphysics reshaped twentieth-century continental philosophy and critical theory.

Logic

Derrida analyzes oppositions, undecidables, aporias, iterability, and the limits of formal closure to show how philosophical distinctions depend on exclusions they cannot master.

Jaimini

350 BCE – 300 BCE

Indo-Gangetic region, exact birthplace unknown

Early Indian Mīmāṃsā philosopher credited with the Mīmāṃsā Sūtra, a foundational sūtra text on dharma, Vedic injunction, authorless scripture, ritual action, pramāṇa, śabda, and the interpretation of sacred language.

Logic

Jaimini uses compact sūtra reasoning, classification, adhikaraṇa-style problem structure, and rule-governed interpretation to resolve conflicts among Vedic injunctions.

Jalal al-Din al-Dawwani

1427 CE – 1502 CE

Dawan (near Kazerun, Fars)

Persian philosopher and theologian from Dawan whose post-Avicennian metaphysics, Illuminationist commentary, logic, ethics, and philosophical theology shaped late medieval Islamic philosophy.

Logic

Commented on the late madrasa logic curriculum through Sharh Tahdhib al-Mantiq wa-l-Kalam and related scholastic discussions.

Jean le Rond d'Alembert

1717 CE – 1783 CE

Paris

French Enlightenment philosopher, mathematician, physicist, music theorist, and encyclopedist from Paris, associated with mathematical physics, the Encyclopedie, the Preliminary Discourse, and philosophy of science.

Logic

His work on limits, analysis, mathematical method, and the ordering of sciences supports logical reconstruction of mechanics, classification, and demonstrative knowledge.

Johann Gottlieb Fichte

1762 CE – 1814 CE

Rammenau, Upper Lusatia, Saxony

German post-Kantian idealist philosopher of the Wissenschaftslehre, self-positing subjectivity, moral freedom, natural right, language, vocation, political economy, religion, and national education.

Logic

Fichte treats philosophy as a systematic science of knowledge whose principles order inference, deduction, grounding, and the relation between logic and transcendental method.

John Dewey

1859 CE – 1952 CE

Burlington, Vermont

American pragmatist philosopher of instrumentalism, democratic experimentalism, progressive education, inquiry, experience, logic, ethics, aesthetics, public life, science, and naturalistic religion.

Logic

Made logic a theory of inquiry, judgment, operations, consequences, and the transformation of indeterminate situations into warranted conclusions.

John Duns Scotus

1266 CE – 1308 CE

Duns, Berwickshire, now Scottish Borders

Scottish Franciscan scholastic philosopher of Scotism, univocity of being, haecceity, formal distinction, divine infinity, will, natural law, logic, and the Ordinatio.

Logic

Scotus contributes through logical questions on Porphyry and Aristotle, predication, categories, propositions, modality, fallacy, signification, and scholastic argument.

John Scotus Eriugena

815 CE – 877 CE

Ireland, probably Leinster

Irish Carolingian Neoplatonic philosopher and translator of apophatic theology, Periphyseon, Dionysian Greek patristic sources, predestination, dialectic, and Johannine exegesis.

Logic

His logical work applies dialectic and liberal-arts reasoning to predestination, scriptural exegesis, classification, division, negation, and the structure of philosophical theology.

John Stuart Mill

1806 CE – 1873 CE

Pentonville, London

English liberal utilitarian philosopher of liberty, individuality, higher pleasures, inductive logic, political economy, representative government, women's equality, religious skepticism, and empiricist method.

Logic

Mill develops an empiricist logic of deduction and induction, causal reasoning, methods of agreement and difference, fallacies, names, propositions, and the logic of the moral sciences.

Juan Luis Vives

1493 CE – 1540 CE

Valencia

Valencian Spanish Renaissance humanist philosopher of education, psychology, language, rhetoric, poor relief, peace, Christian reform, women's education, and the renewal of the disciplines.

Logic

His logic criticizes pseudodialectic, scholastic verbalism, and empty disputation while demanding clearer reasoning, method, and useful argument.

Jürgen Habermas

1929 CE – 2026 CE

Düsseldorf

German Frankfurt School philosopher of communicative rationality, discourse ethics, public sphere theory, deliberative democracy, law, postmetaphysical philosophy, religion in public reason, and European constitutional politics.

Logic

Analyzed argumentation, universal pragmatics, validity claims, discourse rules, justification, and the logic of social-scientific understanding.

Kaṇāda (Ulūka)

100 CE – 200 CE

probably northern India or the Indo-Gangetic region; exact birthplace unknown

Early Vaiśeṣika philosopher traditionally credited with the Vaiśeṣika Sūtra, where atomism, substances, qualities, motion, universals, inherence, dharma, and liberation are organized into a realist category system.

Logic

The sūtras classify entities, relations, causes, and properties with a disciplined analytic method that later joins Nyāya logical and inferential theory.

Karl Marx

1818 CE – 1883 CE

Trier, Rhine Province, Kingdom of Prussia

German philosopher of historical materialism, alienation, class struggle, ideology critique, political economy, capitalism, communism, religion critique, and social transformation.

Logic

Marx uses dialectical and immanent critique to expose contradictions in political economy, legal ideology, religion, and capitalist social forms.

Kuiji

632 CE – 682 CE

Chang'an, Tang China

Tang Faxiang Yogācāra scholastic whose Consciousness-Only commentaries, Buddhist logic, scripture exegesis, and Cheng Weishi Lun Shuji shaped East Asian philosophy of mind, epistemology, language, and religion.

Logic

Kuiji's Yinming commentary adapts Indian Buddhist logic and hetuvidyā for Tang China, explaining reasons, inferences, debate standards, and contradictory reasoning.

Kumārajīva

344 CE – 413 CE

Kucha (Kuqa), Tarim Basin

Kuchean Buddhist translator whose Chang'an translation bureau carried Prajñāpāramitā, Madhyamaka, Lotus, Vimalakīrti, Pure Land, and meditation texts into durable Chinese Buddhist philosophical language.

Logic

Through Zhong Lun, Twelve Gate Treatise, and Hundred Treatise translations, he transmitted Madhyamaka patterns of reductio, negation, anti-essentialist argument, and dialectical reasoning into East Asian Buddhist logic.

Kwame Anthony Appiah

1954 CE

London

Ghanaian-British-American analytic philosopher of cosmopolitanism, identity, race, culture, semantics, ethics, honor, religion, public philosophy, and global moral responsibility.

Logic

Early analytic work on assertion, conditionals, truth, necessity, and semantic theory contributes to logic and philosophy of language.

Leucippus of Abdera

500 BCE – 430 BCE

Abdera, Thrace; birthplace uncertain in ancient sources

Presocratic atomist associated with Abdera whose lost works and ancient testimonia explain nature through atoms, void, motion, and necessity.

Logic

Responded to Eleatic arguments about being, non-being, plurality, and motion by making void a condition for intelligible natural explanation.

Lorenzo Valla

1407 CE – 1457 CE

Rome

Italian Renaissance humanist, philologist, philosopher, textual critic, translator, and Catholic priest whose critique of scholasticism, Latin style, biblical scholarship, and exposure of the Donation of Constantine reshaped humanist method.

Logic

Repastinatio dialectice et philosophie attacks scholastic-Aristotelian dialectic and recasts logic through grammar, rhetoric, common usage, and ordinary reasoning.

Ludwig Wittgenstein

1889 CE – 1951 CE

Vienna, Austria-Hungary

Austrian-British analytic philosopher whose Tractatus, later ordinary-language method, language-games, private-language arguments, and remarks on mathematics, certainty, mind, aesthetics, ethics, and religious language reshaped twentieth-century philosophy.

Logic

Shapes early analytic logic through the Tractatus account of propositions, tautology, logical space, and the limits of sayability.

Mahāvīra (Vardhamāna)

599 BCE – 527 BCE

Kuṇḍagrāma near Vaiśālī, Vajji; traditional birthplace

Jain śramaṇa teacher and final tīrthaṅkara associated with ahiṃsā, anekāntavāda, aparigraha, ascetic liberation, kevala-jñāna, and the Jain Āgama teaching tradition.

Logic

Mahāvīra's teaching tradition is an approved source for later Jain many-sided logic, conditional predication, nayavāda, and syādvāda, while evidence notes distinguish later formalization from his oral teaching corpus.

Marsilio Ficino

1433 CE – 1499 CE

Figline Valdarno, Republic of Florence

Italian Renaissance Platonist, humanist, translator, priest, and Christian Neoplatonist whose Plato, Plotinus, Hermetic, soul, love, natural-philosophy, and prisca-theologia writings shaped Florentine Platonism.

Logic

Ficino inherits scholastic logic but subordinates dialectic to moral and religious formation, warning that argument without character formation produces pride, impiety, and misuse of reason.

Martin Heidegger

1889 CE – 1976 CE

Meßkirch, Baden, German Empire

German phenomenologist and hermeneutic ontologist whose Being and Time, Dasein analysis, critique of metaphysics, art, technology, language, and late Ereignis thinking reshaped twentieth-century philosophy.

Logic

He criticizes formal and propositional reductions of logos while retaining logic as a problem in truth, assertion, predication, judgment, language, and the limits of metaphysical thinking.

Melissus of Samos

500 BCE – 430 BCE

Samos

Samian Presocratic and Eleatic philosopher whose lost treatise argues for one unlimited, changeless being and denies void, motion, generation, and destruction.

Logic

Extended Parmenidean reasoning through explicit arguments against generation, destruction, motion, void, division, and plurality.

Mencius (Mengzi)

372 BCE – 289 BCE

Zou, State of Lu

Classical Confucian philosopher whose account of xingshan, the four sprouts, ren, yi, moral cultivation, benevolent government, and people-centered legitimacy shaped East Asian ethics and political thought.

Logic

Uses analogies, dilemmas, counterexamples, and ruler-adviser debates to test rival positions about profit, righteousness, human nature, and government.

Metrodorus of Lampsacus

331 BCE – 278 BCE

Lampsacus, Hellespont

Epicurean philosopher of the Garden whose lost works joined ethics, sensation, atomism, anti-dialectic polemic, friendship, bodily goods, and loyalty to Epicurus.

Logic

Attacks dialecticians and sophists through Epicurean polemic, favoring plain reasoning ordered toward therapy and stable living.

Michel Foucault

1926 CE – 1984 CE

Poitiers

French philosopher of archaeology, genealogy, power-knowledge, discipline, biopolitics, subjectivation, sexuality, governmentality, and care of the self.

Logic

Does not build formal logic, but analyzes the historical rules that make statements, classifications, exclusions, and discursive formations possible.

Montesquieu (Charles-Louis de Secondat)

1689 CE – 1755 CE

Chateau de la Brede, near Bordeaux

Enlightenment political philosopher of separation of powers, comparative law, rule of law, political liberty, commerce, climate, moderation, and despotism.

Logic

Uses typology, comparison, causal analysis, and institutional classification to distinguish republics, monarchies, despotisms, mixed government, and legal forms.

Mozi (Mo Di)

470 BCE – 391 BCE

State of Lu or State of Song, Warring States China

Warring States philosopher of Mohism, jian ai, impartial care, anti-aggression, meritocracy, frugality, Heaven, ghosts, standards, logic, optics, and siege defense.

Logic

Advances early Chinese logic through canons, explanations, major and minor illustrations, standards, names, kinds, analogies, and disputation.

Muhyi al-Din Ibn Arabi

1165 CE – 1240 CE

Murcia, al-Andalus

Sufi philosopher of Akbarian metaphysics, imagination, prophecy, sainthood, divine names, unveiling, cosmology, the Perfect Human, and Islamic mystical reception.

Logic

Uses analogical, symbolic, and exegetical reasoning rather than formal syllogistic system-building, while integrating philosophical and theological vocabularies.

Nagarjuna

150 CE – 250 CE

South India, often associated with Andhra

Madhyamaka Buddhist philosopher of emptiness, dependent origination, two truths, svabhava critique, catuskoti, Middle Way reasoning, and Prajnaparamita reception.

Logic

Employs reductio, catuskoti analysis, critique of categories, and anti-essentialist argument against both Buddhist and non-Buddhist philosophical positions.

Nasir al-Din al-Tusi

1201 CE – 1274 CE

Tus, Khorasan

Persian polymath of Avicennism, Shi i theology, ethics, logic, mathematics, astronomy, Maragha Observatory, the Tusi couple, and Ilkhanid scholarship.

Logic

Asas al-Iqtibas and related logical works systematize inference and make Persian logic central to Tusi's philosophical corpus.

Niccolo Machiavelli

1469 CE – 1527 CE

Florence, Republic of Florence

Renaissance political philosopher of Florence, the chancery, Italian Wars, virtu, fortuna, necessity, republican liberty, civic militia, corruption, and political realism.

Logic

Employs case comparison, rhetorical compression, antithesis, and prudential reasoning rather than formal logic.

Parmenides of Elea

515 BCE – 450 BCE

Elea, Magna Graecia

Eleatic philosopher of Being, the Way of Truth, the Way of Opinion, denial of not-being, monism, necessity, cosmology, and fragmentary poetic transmission.

Logic

Elea; Velia; Eleaticism; Being; Way of Truth; Way of Opinion; denial of not-being; monism; necessity; cosmology; proem; goddess; Zeno; Melissus; Plato; Aristotle; fragmentary transmission

Peter Abelard

1079 CE – 1142 CE

Le Pallet, Brittany

Medieval scholastic philosopher of logic, universals, dialectic, intention, moral responsibility, Trinitarian theology, Sic et Non, Heloise, and the schools of Paris.

Logic

Heloise; scholastic logic; universals; nominalism; conceptualism; dialectic; intention; moral responsibility; Sic et Non; Trinitarian theology; Council of Soissons; Bernard of Clairvaux; Paraclete; Cluny; Pere-Lachaise; complex transmission

Peter Singer

1946 CE

Melbourne

Australian applied ethicist of preference utilitarianism, animal liberation, speciesism, equal consideration of interests, practical ethics, global poverty, effective altruism, bioethics, and public moral argument.

Logic

Develops clear applied arguments from impartiality, equal consideration of interests, and preventable suffering, including the drowning-child analogy and anti-speciesist reasoning.

Phaedo of Elis

417 BCE – 345 BCE

Elis (Peloponnese)

Socratic philosopher from Elis, witness to Socrates' death, founder of the Elean school, and author of lost Socratic dialogues on dialectic, ethics, character, and philosophical conversation.

Logic

Ancient and reference sources associate Phaedo with dialectical Socratic writing, while the rebuilt profile marks his own doctrines as largely unrecoverable.

Philip of Opus

380 BCE – 330 BCE

Opus (Locris)

Early Academic philosopher of Opus, Plato's Academy, mathematical astronomy, Epinomis, astral theology, Opuntian Locris, and the reported arrangement of Plato's Laws.

Logic

The mathematical titles on arithmetic, means, prolific numbers, optics, and enoptics preserve evidence for disciplined Academic reasoning rather than a recovered logical system.

Philodemus of Gadara

110 BCE – 35 BCE

Gadara (Decapolis)

Epicurean philosopher and poet from Gadara whose Herculaneum papyri preserve work on rhetoric, poetry, music, sign inference, piety, death, frank criticism, passions, vices, and Epicurean book culture.

Logic

On Signs preserves Philodemus' major contribution to Epicurean logic through sign inference, analogy, evidence, and criticism of rival methods.

Plato

427 BCE – 347 BCE

Athens

Athenian philosopher of Forms, dialectic, recollection, the Good, tripartite soul, philosopher-rule, eros, rhetoric, language, cosmology, theology, the Academy, and the Platonic corpus.

Logic

Plato uses elenchus, collection and division, hypothesis, definition, and dialectical testing to clarify kinds, concepts, and arguments.

Plotinus

204 CE – 270 CE

Lycopolis (Upper Egypt)

Neoplatonic philosopher of the One, Intellect, Soul, emanation, return, henosis, beauty, evil as privation, contemplative ethics, anti-Gnostic polemic, and the Porphyrian Enneads.

Logic

Plotinus reworks Platonic and Aristotelian categories through dialectic, the kinds of being, intelligible unity, and the limits of discursive thought.

Plutarch of Chaeronea

46 CE – 120 CE

Chaeronea (Boeotia)

Middle Platonist moralist, biographer, and priest of Apollo at Delphi whose Parallel Lives and Moralia join virtue ethics, political counsel, religious Platonism, moral psychology, and literary biography.

Logic

Plutarch's dialectical method appears in anti-Stoic polemic, Platonic questions, interpretive problems, and the testing of rival philosophical doctrines.

Porphyry

234 CE – 305 CE

Tyre (Phoenicia)

Neoplatonic philosopher of Tyre, logic, the Isagoge, predicables, universals, Porphyrian Tree, soul purification, vegetarian ethics, Homeric allegory, Aristotle commentary, and anti-Christian polemic.

Logic

The Isagoge made Porphyry central to the history of logic by organizing genus, species, difference, property, accident, predication, classification, and universals.

Posidonius of Apamea

135 BCE – 51 BCE

Apamea (Orontes)

Middle Stoic philosopher of Apamea and Rhodes, cosmic sympathy, fate, divination, passions, Stoic physics, geography, tides, Canopus, earth measurement, meteorology, history, and Roman reception.

Logic

Posidonius worked on the criterion, diction, geometry, and argument, treating logic as a discipline joined to scientific explanation and ethical judgment.

Prasastapada

530 CE – 560 CE

Indo-Gangetic region (Vaisheshika scholasticism)

Vaisheshika scholastic philosopher of Padartha Dharma Sangraha, Prasastapada Bhashya, padartha taxonomy, substance, quality, motion, universal, particularity, inherence, pramana, atomism, and Nyaya-Vaisheshika realism.

Logic

Prasastapada's logic is taxonomic and explanatory: it clarifies categories, relations, inherence, universals, particulars, and the structure of inference used by later Nyaya-Vaisheshika authors.

Proclus of Lycia

412 CE – 485 CE

Xanthus (Lycia)

Late antique Neoplatonic scholarch of Athens whose work systematized the One, henads, procession, reversion, intellect, soul, theurgy, mathematics, astronomy, Plato commentary, and later Pseudo-Dionysian and Liber de Causis reception.

Logic

Proclus uses Platonic dialectic, Aristotelian categories, negation, division, and proposition-style proof to organize metaphysical and theological argument.

Prodicus of Ceos

465 BCE – 395 BCE

Ceos (Kea, island)

Cean sophist of language, semantic precision, synonym distinctions, moral choice, the Choice of Heracles, naturalistic theology, civic rhetoric, and Socrates' reported debt to Prodicus on names.

Logic

His logical importance lies in classification, distinction, and verbal discrimination rather than formal syllogistic theory.

Protagoras of Abdera

490 BCE – 420 BCE

Abdera, Thrace

Abderite sophist of man-measure relativism, appearances, antilogy, weaker and stronger arguments, orthoepeia, civic virtue, democratic political teaching, On the Gods, and fragmentary testimonial transmission.

Logic

Protagoras is central to antilogy, opposed arguments, controversial reasoning, and the skill of making rival cases persuasive.

Purana Kassapa

560 BCE – 480 BCE

Magadha region

Early Indian sramana teacher remembered for akiriyavada, denial of the moral efficacy of action, Magadhan debate culture, the six teachers, and the Samannaphala Sutta report.

Logic

The remembered position works by radical negation of karmic moral predicates, refusing to treat ordinary acts as producing merit, demerit, purity, impurity, or moral fruit.

Pyrrho of Elis

360 BCE – 270 BCE

Elis, Peloponnese

Greek skeptic from Elis whose transmitted way of life joins epoche, aphasia, ataraxia, appearances, non-assertion, Anaxarchus, eastern travel traditions, Timon, Aenesidemus, Sextus Empiricus, and the Pyrrhonian challenge to dogmatic knowledge.

Logic

Pyrrhonian argument works by balancing opposed claims, exposing equipollence, and weakening dogmatic inference rather than building a positive formal system.

Pythagoras of Samos

570 BCE – 495 BCE

Samos

Samian founder of the Pythagorean way of life whose testimonial profile joins number metaphysics, harmony, tetractys, metempsychosis, purification, communal discipline, Croton, Samos, mathematics, harmonics, and later ancient reception.

Logic

Pythagoras left no formal logic, but the Pythagorean habit of numerical classification, proportion, opposition, and ordered distinction became part of later philosophical analysis.

Qusta ibn Luqa

820 CE – 912 CE

Baalbek (Heliopolis)

Christian Arabic polymath and translator from Baalbek whose work joins medicine, mathematics, astronomy, mechanics, spirit-soul psychology, classification of sciences, and Latin scholastic reception.

Logic

Qusta treats logic as the instrument of philosophy and applies demonstrative reasoning to medicine, mathematics, astronomy, theology, and the ordering of the sciences.

Qutb al-Din al-Shirazi

1236 CE – 1311 CE

Shiraz

Persian Islamic polymath of Shiraz, Maragha astronomy, Avicennan medicine, Illuminationist commentary, planetary models, optics, rhetoric, Quran commentary, and Durrat al-Taj.

Logic

Qutb uses logic as a technical instrument in rhetoric, law, grammar, astronomy, medicine, and the explanation of difficult philosophical and scriptural problems.

Raikva

750 BCE – 700 BCE

Indo-Gangetic region

Upanishadic sage of the Chandogya Upanishad whose Samvarga Vidya joins Janasruti, humility before knowledge, the cart-man motif, Vayu as cosmic absorber, Prana as bodily absorber, food and eater imagery, and Vedic transmission.

Logic

The teaching reasons by analogy between macrocosm and microcosm, moving from wind as cosmic absorber to breath as bodily absorber and linking food, eater, and the Krita dice image.

René Descartes

1596 CE – 1650 CE

La Haye en Touraine

Early modern rationalist and mathematician of methodic doubt, the cogito, clear and distinct perception, mind-body dualism, innate ideas, analytic geometry, mechanical philosophy, optics, passions, free will, God, and Cartesian science.

Logic

Descartes treats method as ordered reasoning: simple natures, analysis, synthesis, mathematical discipline, and the movement from self-evident insight to extended demonstration.

Roger Bacon

1219 CE – 1292 CE

Ilchester (Somerset)

Medieval Franciscan philosopher of languages, signs, mathematics, optics, experimental science, natural philosophy, moral philosophy, theology, and the reform of learning.

Logic

Bacon works in grammar, sophisms, distinctions, dialectic, signs, and demonstration, treating logical training as inseparable from language and scientific inquiry.

Rudolf Carnap

1891 CE – 1970 CE

Ronsdorf, Wuppertal

German-American logical empiricist of the Vienna Circle, Aufbau construction theory, anti-metaphysics, physicalist language, logical syntax, semantics, linguistic frameworks, confirmation theory, inductive logic, probability, theoretical terms, and scientific philosophy.

Logic

Carnap advances logistic, formal syntax, semantic systems, modal logic, meaning postulates, inductive logic, and formal tools for scientific philosophy.

Śabara Svāmin

100 BCE – 1 BCE

Indian subcontinent, exact birthplace unknown

Early Mīmāṃsā commentator whose Śabara Bhāṣya shaped Indian philosophy of language and religion through its analysis of Vedic injunction, dharma, śabda, pramāṇa, ritual action, and scriptural authority.

Logic

Works through objections, counterexamples, distinctions, and sūtra-by-sūtra reasoning to clarify when a Vedic sentence commands, explains, restricts, or supports an action.

Sañjaya Belaṭṭhiputta

520 BCE – 450 BCE

Magadha region

Early Indian skeptic associated with Ajñāna and the Sāmaññaphala Sutta, where his remembered replies model suspension of judgment and metaphysical non-commitment.

Logic

Uses a repeated non-commitment formula that evades binary and fourfold alternatives, making his remembered position important for the history of Indian skeptical reasoning.

Saul Kripke

1940 CE – 2022 CE

Bay Shore, New York

American analytic philosopher and logician known for Kripke semantics, rigid designation, necessary a posteriori truth, truth theory, and rule-following skepticism.

Logic

Developed relational semantics for modal logic, completeness results, Kripke models, fixed-point truth theory, and formal tools that now carry his name across logic and computer science.

Seneca the Younger

4 CE – 65 CE

Corduba (Cordoba, Hispania)

Roman Stoic philosopher from Corduba whose letters, essays, and natural questions made virtue, anger, time, clemency, and self-command enduring topics in Latin philosophy.

Logic

Uses Stoic distinctions, paradox, examples, and therapeutic argument more than formal proof, showing how practical reasoning can expose mistaken judgments about externals, passions, and harm.

Sengzhao

384 CE – 414 CE

Jingzhao (Chang'an region)

Chinese Buddhist philosopher from Jingzhao whose Zhaolun essays shaped early Chinese Madhyamaka through emptiness, nonduality, non-knowing wisdom, language, and nameless nirvana.

Logic

Uses paradox, negation, and anti-reification arguments to unsettle binary claims about existence, nonexistence, motion, stasis, emptiness, wisdom, and nirvana.

Sextus Empiricus

160 CE – 210 CE

Alexandria (probable)

Greek Pyrrhonian skeptic from Alexandria (probable) whose works preserve ancient arguments about suspension, signs, proof, criteria, and life without dogmatic certainty.

Logic

Challenges proof, signs, criterion theories, inference, and claims about truth by pressing dogmatic logic toward circularity, regress, disagreement, or unsupported assumption.

Shang Yang

390 BCE – 338 BCE

Wei state region

Chinese Legalist reformer whose Qin reforms and attributed Book of Lord Shang shaped early theories of law, state power, rewards, punishments, agriculture, and war.

Logic

Uses stark oppositions between strong and weak states, agriculture and parasitic profit, law and private interest, and reward and punishment to make administrative reasoning deliberately binary and enforceable.

Shihāb al-Dīn Suhrawardī

1154 CE – 1191 CE

Suhraward (Zanjan region)

Persian Illuminationist philosopher of presential knowledge, ontology of lights, Avicennan critique, imagination, symbolic narrative, and later ishraqi reception.

Logic

Retains and revises Peripatetic logical training, using it as a disciplined threshold before higher illumination and as a tool for exposing limits in inherited Avicennan categories.

Siddhārtha Gautama

563 BCE – 483 BCE

Lumbinī

Founder of Buddhism whose transmitted early discourses frame suffering, liberation, dependent arising, not-self, mindfulness, ethics, and the Middle Way.

Logic

Uses analysis of views, conditionality, simile, and refusal of false alternatives to redirect speculation toward questions that conduce to liberation.

Siger of Brabant

1240 CE – 1284 CE

Brabant (Low Countries)

Paris arts master and radical Aristotelian associated with Latin Averroism, the unity of intellect controversy, metaphysics, logic, natural philosophy, and the autonomy of philosophical teaching.

Logic

Uses quaestiones, sophisms, impossibilia, and semantic puzzles to test predication, necessity, universals, demonstration, contradiction, and the language of being.

Socrates

470 BCE – 399 BCE

Alopece, Athens

Ancient Athenian philosopher whose public examination, care of the soul, ethical courage, piety inquiry, and trial shaped the Socratic tradition and classical philosophy.

Logic

Uses short question-and-answer refutation to expose contradiction, test definitions, distinguish examples from accounts, and press interlocutors toward clearer reasons.

Søren Kierkegaard

1813 CE – 1855 CE

Copenhagen

Danish philosopher of subjectivity, indirect communication, pseudonymous authorship, anxiety, despair, faith, love, the single individual, and critique of Christendom.

Logic

Uses dialectical contrasts, pseudonymous perspectives, irony, indirect communication, and paradox to show where formal mediation fails before existence and faith.

Thābit ibn Qurra

826 CE – 901 CE

Harran, Upper Mesopotamia

Harranian Sabian polymath of Baghdad, Greek-Syriac-Arabic translation, geometry, number theory, ratios, astronomy, statics, medicine, Galenic summaries, De imaginibus, and Latin/Hebrew reception.

Logic

Thabit uses logical and demonstrative structure in geometry, ratios, algebraic proof, Euclid's postulates, and the ordering of scientific problems.

Thales of Miletus

624 BCE – 546 BCE

Miletus, Ionia

Milesian natural philosopher and sage of water as arche, earth on water, natural explanation, astronomy, geometry, eclipse tradition, magnet/soul testimony, and Seven Sages reception.

Logic

Thales' logical importance lies in the later tradition of demonstrative geometry, theorem proof, and the classification of natural explanation through a first principle.

The Venerable Bede

672 CE – 735 CE

Wearmouth-Jarrow region, Northumbria

Northumbrian monk and scholar of Wearmouth-Jarrow, computus, chronology, AD dating, natural philosophy, grammar, rhetoric, biblical exegesis, ecclesiastical history, hagiography, and pastoral reform.

Logic

Bede's logic appears in computistical calculation, chronological ordering, exegetical distinctions, grammar, rhetoric, and structured questions on biblical texts.

Theodor W. Adorno

1903 CE – 1969 CE

Frankfurt am Main

German critical theorist, philosopher, sociologist, and music theorist of the Frankfurt School whose negative dialectics, nonidentity, culture industry critique, aesthetics, music sociology, authoritarianism analysis, and postwar social philosophy shaped contemporary critical theory.

Logic

Adorno uses dialectical logic against classificatory identity thinking, treating contradiction, constellation, mediation, and determinate negation as critical procedures.

Theophrastus of Eresus

371 BCE – 287 BCE

Eresos, Lesbos

Peripatetic philosopher from Eresos, Aristotle successor at the Lyceum, botanical classifier, natural scientist, logician, rhetorician, character writer, and major doxographical source for earlier Greek philosophy.

Logic

Theophrastus extends Aristotelian logic through modal, hypothetical, and prosleptic syllogistic, while systematizing Peripatetic argumentative practice.

Thich Nhat Hanh

1926 CE – 2022 CE

Hue, central Vietnam

Vietnamese Zen and engaged Buddhist philosopher of mindfulness, interbeing, deep listening, loving speech, nonviolence, Plum Village practice, antiwar witness, and global lay-monastic transmission.

Logic

His reasoning is non-dual, anti-dogmatic, attentive to skillful means, and resistant to fixed ideological views that harden suffering.

Thomas Aquinas

1225 CE – 1274 CE

Roccasecca, County of Aquino

Medieval Dominican scholastic philosopher of faith and reason, act and potency, essence and existence, divine simplicity, analogy, the Five Ways, natural law, virtue, beatitude, soul, Aristotle commentary, and Thomism.

Logic

His logic uses scholastic disputation, Aristotelian demonstration, analogy, distinction, definition, and careful treatment of signification and predication.

Thomas Hobbes

1588 CE – 1679 CE

Westport, near Malmesbury, Wiltshire

Early modern English philosopher of civil science, mechanistic materialism, state of nature, laws of nature, covenant, authorization, sovereignty, civil law as command, church authority, liberty and necessity, rhetoric, history, and translation.

Logic

His logic emphasizes definition, reckoning, names, propositions, absurdity, demonstrative order, and the political danger of confused language.

Thomas More

1478 CE – 1535 CE

London

English Renaissance humanist, lawyer, royal councillor, author of Utopia, and Catholic moral thinker whose works join civic counsel, conscience, political imagination, religious controversy, and prison consolation.

Logic

Uses legal distinction, humanist disputation, irony, and polemical refutation to test competing claims about heresy, authority, commonwealth, and conscience.

Thomas Reid

1710 CE – 1796 CE

Strachan, Kincardineshire

Scottish Enlightenment philosopher of common sense, direct realism, perception, first principles, active powers, moral liberty, natural signs, and criticism of the theory of ideas.

Logic

Reconstructs logic through Aristotelian inheritance, judgment, evidence, signs, and the critique of systems that mistake verbal or ideal intermediaries for acts of understanding.

Uddālaka Āruṇi

750 BCE – 700 BCE

Kuru-Panchala region

Early Upanishadic teacher of Shvetaketu whose Chandogya teaching joins sat, Atman, subtle essence, visible-to-invisible analogy, tat tvam asi, and later Vedanta reception.

Logic

Repeated analogical inference from cause to effect, part to whole, and material unity to many transformations, crystallized in the refrain tat tvam asi.

Val Plumwood

1939 CE – 2008 CE

Terrey Hills, near Sydney

Australian ecofeminist philosopher, logician, environmental ethicist, activist, and ecological-humanities figure whose work critiques mastery, human/nature dualism, anthropocentric reason, and ecological disconnection.

Logic

Work in relevant logic and later feminist critique of reason, hierarchy, dualism, and the political structure of rationality.

Vasubandhu

316 CE – 396 CE

Puruṣapura, Gandhāra; modern Peshawar region

Gandhāran Buddhist philosopher whose Abhidharma analysis, Yogācāra consciousness-only arguments, Buddhist logic, karma theory, and Mahāyāna commentary shaped Indian, Tibetan, and East Asian scholastic philosophy.

Logic

Vādavidhi and the argumentative structure of his treatises connect Vasubandhu to early Buddhist logic, debate procedure, and proof.

Vātsyāyana

390 CE – 460 CE

Indo-Gangetic scholastic milieu; exact birthplace unknown

Classical Nyāya commentator identified with the Nyāyabhāṣya, whose analysis of pramāṇa, debate, inference, testimony, self, and liberation made Sanskrit logical inquiry central to Indian philosophy.

Logic

The commentary gives classical Nyāya its argumentative grammar of inference, debate, examples, fallacies, objections, and defeat conditions.

W. V. O. Quine

1908 CE – 2000 CE

Akron, Ohio

American analytic philosopher and logician whose naturalized epistemology, ontological relativity, indeterminacy of translation, extensionalism, and mathematical logic reshaped twentieth-century philosophy.

Logic

Quine made mathematical logic, set theory, quantification, and logical regimentation central to twentieth-century analytic philosophy.

William of Ockham

1287 CE – 1347 CE

Ockham, Surrey

English Franciscan scholastic whose nominalism, terminist logic, mental-language theory, political theology, and parsimony arguments reshaped late medieval philosophy.

Logic

He systematized terminist logic through mental language, signification, supposition, propositions, consequences, obligationes, insolubles, syllogisms, demonstration, and fallacies.

Xenocrates of Chalcedon

396 BCE – 314 BCE

Chalcedon, Bithynia; now Kadikoy, Istanbul

Greek Academic philosopher who systematized Plato through formal numbers, the One and Indeterminate Dyad, demonology, and the tripartite division of philosophy.

Logic

He helped formalize philosophy into logic, physics, and ethics and cultivated dialectical classification through genera, species, divisions, and logical problem-solving.

Xuanzang

602 CE – 664 CE

Goushi or Chenliu near Luoyang, Henan, Tang China; source variants noted

Cistercian monk, abbot of Yogacara, and medieval Christian philosopher-theologian whose theology of love, humility, grace, free choice, mystical ascent, monastic ethics, scriptural exegesis, and ecclesial counsel shaped scholastic, monastic, and political theology.

Logic

Through yinming translations and related scholastic work, Xuanzang helped transmit Indian Buddhist logic, inference, and debate vocabulary into Chinese philosophy.

Xunzi

313 BCE – 238 BCE

State of Zhao, north-central China; exact birthplace uncertain

Late Warring States Confucian philosopher whose received Xunzi corpus argues that learning, ritual, music, names, cultivated artifice, and institutions transform unruly human tendencies into moral and political order.

Logic

Xunzi engages disputation, categories, distinctions, standards, and the rectification of names as tools for ordering thought and public judgment.

Zeno of Citium

334 BCE – 262 BCE

Citium / Kition, Cyprus; Greek city with Phoenician colony context

Cistercian monk, abbot of Stoic, and medieval Christian philosopher-theologian whose theology of love, humility, grace, free choice, mystical ascent, monastic ethics, scriptural exegesis, and ecclesial counsel shaped scholastic, monastic, and political theology.

Logic

Established the early Stoic concern with dialectic, signs, argument, and linguistic clarity that Cleanthes and Chrysippus developed systematically.

Zeno of Elea

490 BCE – 430 BCE

Elea (Velia), Lucania, Magna Graecia; now Campania, Italy

Cistercian monk, abbot of Eleatic, and medieval Christian philosopher-theologian whose theology of love, humility, grace, free choice, mystical ascent, monastic ethics, scriptural exegesis, and ecclesial counsel shaped scholastic, monastic, and political theology.

Logic

Helped establish reductio-style dialectic and paradox as philosophical methods for testing the consistency of assumptions.

Zhiyi

538 CE – 597 CE

Huarong, Jingzhou; source surfaces vary Hunan/Hubei, exact site uncertain

Sui Tiantai Buddhist philosopher whose Lotus Sutra hermeneutics, three-truths metaphysics, panjiao classification, and calming-insight meditation system shaped East Asian Buddhist thought.

Logic

Zhiyi uses classificatory and dialectical analysis of teachings, truths, and practices to coordinate apparently divergent Buddhist claims.

Zhuangzi

369 BCE – 286 BCE

Meng, state of Song, now near Shangqiu, Henan; exact site uncertain

Warring States Daoist philosopher whose received Zhuangzi tradition uses parable, skepticism, transformation, spontaneity, and perspectival reasoning to loosen fixed distinctions and reorient life toward wandering with dao.

Logic

Zhuangzi works through paradox, reversal, disputation, and playful argument, engaging Warring States language debates without reducing dao to formal proof.