Skip to main content
Humanities LibreTexts

3.4: Aristotle

  • Page ID
    17578
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Aristotle is a towering figure in the history of philosophy and science. Aristotle made substantive contributions to just about every philosophical and scientific issue known in the ancient Greek world. Aristotle was the first to develop a formal system of logic. As the son of a physician he pursued a life-long interest in biology. His physics was the standard view through Europe’sMiddle Ages. He was a student of Plato, but he rejected Plato’s other-worldly theory of forms in favor of the view that things are a composite of substance and form. Contemporary discussions of the good life still routinely take Aristotle’s ethics as their starting point. Here I will offer the briefest sketch of Aristotle’s logic and metaphysics. We will return to his ethics later in the course.

    Logic

    Aristotle’s system of logic was not only the first developed in the West, it was considered complete and authoritative for well over 2000 years. The core of Aristotle’s logic is the systematic treatment of categorical syllogisms. You might recall this argument from Chapter 2:

    1. All monkeys are primates.
    2. All primates are mammals.
    3. So, all monkeys are mammals.

    This argument is a categorical syllogism. That’s a rather antiquated way of saying it’s a two premise argument that uses simple categorical claims. Simple categorical claims come in one of the following four forms:

    • All A are B
    • All A are not B
    • Some A are B
    • Some A are not B

    There are a limited number of two premise argument forms that can be generated from combinations of claims having one of these four forms. Aristotle systematically identified all of them, offered proofs of the valid one’s, and demonstrations of the invalidity of the others. Beyond this, Aristotle proves a number of interesting things about his system of syllogistic logic and he offers an analysis of syllogisms involving claims about what is necessarily the case as well.

    No less an authority than Immanuel Kant, one of the most brilliant philosophers of the 18th century, pronounced Aristotle’s logic complete and final. It is only within the past century or so that logic has developed substantially beyond Aristotle’s. While Aristotle’s achievement in logic was genuinely remarkable, this only underscores the dramatic progress of the 20th century. The system of symbolic logic we now teach in standard introductions to logic (PHIL 120 here at BC) is vastly more powerful than Aristotle’s and while this system was brand new just a century ago, it is now truly an introduction, a first step towards appreciating a great many further developments in logic. Reasonably bright college students now have the opportunity to master deductive reasoning at a level of sophistication unknown to the world a mere 150 years ago. The methods and insights of modern symbolic logic are already so thoroughly integrated into contemporary philosophy that much of contemporary philosophy would not be possible without it.

    Metaphysics

    While Aristotle was a student of Plato’s, his metaphysics is decidedly anti-Platonist. The material of the world takes various forms. Here it constitutes a tree and there a rock. The things constituted of matter have various properties. The tree is a certain shape and height, the rock has a certain mass. Plato accounts for the various forms matter takes and the ways things are in terms of their participating in abstract and ideal forms to one degree or another. Plato’s metaphysics centrally features an abstract realm of eternal unchanging and ideal forms. Plato’s forms are not themselves part of the physical spatio-temporal world. Aristotle rejects the theory of abstract forms and takes everything that exists to be part of the physical spatio-temporal world. It might thus be tempting to think of Aristotle as a materialist, one who thinks all that exists is matter, just atoms swirling in the void. Some pre-Socratic philosophers could accurately be described as materialists. But this would miss key elements of Aristotle’s metaphysics. While Aristotle denies the existence of an abstract realm of eternal and unchanging ideal entities, his account of the nature of things includes more than just matter. Aristotle holds the view that form is an integral part of things in the physical world. A thing like a rock or a tree is a composite of both matter and form. In addition to matter, the way matter is gets included in Aristotle’s metaphysics.

    Among the ways things are, some seem to be more central to their being what they are than others. For instance, a tree can be pruned into a different shape without the tree being destroyed. The tree can survive the loss of its shape. But if it ceased to be a plant, if it got chipped and mulched, for instance, it would also cease to be a tree. That is to say, being a plant is essential to the tree, but having a certain shape isn’t. An essential property is just a property a thing could not survive losing. By contrast, a property something could survive losing is had accidentally. Aristotle introduces the distinction between essential and accidental characteristics of things. This was an important innovation. When we set out to give an account of what a thing is, we are after an account of its essence. To say what a thing is essentially is to list those ways of being it could not survive the loss of. My hair length is not essential to me, and neither is my weight, my having four limbs, or a given body/mass index. But my having a mind, perhaps, is essential to being me.

    How a thing functions is a critical aspect of its nature in Aristotle’s view. As an organism, I metabolize. As an organism with a mind, I think. These are both ways of functioning. For Aristotle, what makes something what it is, its essence, is generally to be understood in terms of how it functions. Aristotle’s account of the essential nature of the human being, for instance, is that humans are rational animals. That is, we are the animals that function in rational ways. Functioning is, in a sense, purposeful. Aristotle would say that functioning is ends oriented. The Greek term for an end or a goal is telos. So Aristotle has a teleological view of the world. That is, he understands things as functioning towards ends or goals, and we can understand the essence of things in terms of these goal-oriented ways of functioning. We still understand people’s actions as teleological or goal oriented. We explain why people do things in terms of their purposes and methods. Aristotle similarly understands natural processes generally as ends oriented. Even Aristotle’s physics is fundamentally teleological. So water runs downhill because it is part of its essential nature to seek out the lower place.

    Explanation: The Four Causes

    What does it mean to explain something? If we’d like to have some idea what we are up to when we explain things, giving some account of explanation should seem like an important methodological and epistemological issue. In fact, the nature of explanation continues to be a central issue in the philosophy of science. Aristotle was the first to address explanation in a systematic way and his treatment of explanation structures and guides his philosophical and scientific inquiry generally. According to Aristotle, to explain something involves addressing four causes. Here we need to think of “causes” as aspects of explanation or “things because of which . . . .” Only one of Aristotle’s four causes resembles what we would now think of as the cause of something. Three of the four causes, or explanatory principles, are reflected in Aristotle’s metaphysics and will be familiar from the discussion above. Part of explaining something involves identifying the material of which it is made. This is the material cause. Thales account of the nature of the world addressed its material cause. A further part of explaining something is to give an account of its form, its shape and structure. The chair I am sitting on is not just something made of wood, it is something made of wood that has a certain form. A complete explanation of what this chair is would include a description of its form. This is the formal cause. Pythagoras and Plato introduce the explanation of formal causes. The idea of a final cause refers to the function, end, or telos of a thing. What makes the chair I’m sitting on a chair is that it performs a certain function that serves the end or telos of providing a comfortable place to sit. Again, Aristotle sees final causes as pervasive in the natural world. So part of explaining what a tomato plant is, for instance, will involve giving an account of how it functions and the goals towards which that functioning is aimed. Bear in mind Aristotle’s interest in biology here. A complete biological account of an organism includes both its anatomy (its material and formal causes) and physiology (which involves functioning and final causes). The remaining cause (explanatory principle) is the one we can identify as a kind of cause in our normal sense of the word. The efficient cause of a thing is that which brings it into existence or gives form to its material. So, for instance, the activity of a carpenter is the efficient cause of my chair.


    This page titled 3.4: Aristotle is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by Russ W. Payne via source content that was edited to the style and standards of the LibreTexts platform.