<!DOCTYPE html><HTML lang="en"> <head><meta charset="utf-8"> <title>Armstrong (David) - In Conclusion (Universals and Scientific Realism Vol. 2: A Theory of Universals) (Theo Todman's Book Collection - Paper Abstracts) </title> <link href="../../TheosStyle.css" rel="stylesheet" type="text/css"><link rel="shortcut icon" href="../../TT_ICO.png" /></head> <BODY> <CENTER> <div id="header"><HR><h1>Theo Todman's Web Page - Paper Abstracts</h1><HR></div><A name="Top"></A> <TABLE class = "Bridge" WIDTH=950> <tr><th><A HREF = "../../PaperSummaries/PaperSummary_08/PaperSummary_8765.htm">In Conclusion (Universals and Scientific Realism Vol. 2: A Theory of Universals)</A></th></tr> <tr><th><A HREF = "../../Authors/A/Author_Armstrong (David).htm">Armstrong (David)</a></th></tr> <tr><th>Source: Armstrong - Universals and Scientific Realism (Vol. 2: A Theory of Universals), 1978</th></tr> <tr><th>Paper - Abstract</th></tr> </TABLE> </CENTER> <P><CENTER><TABLE class = "Bridge" WIDTH=600><tr><td><A HREF = "../../PaperSummaries/PaperSummary_08/PaperSummary_8765.htm">Paper Summary</A></td><td><A HREF = "../../PaperSummaries/PaperSummary_08/PapersToNotes_8765.htm">Notes Citing this Paper</A></td><td><A HREF="#ColourConventions">Text Colour-Conventions</a></td></tr></TABLE></CENTER></P> <hr><P><FONT COLOR = "0000FF"><U>Full Text</U><FONT COLOR = "800080"><ol type="1"><li>In the <em>Parmenides</em> young Socrates, after declaring his faith in the theory of Forms, is asked by Parmenides what he takes the extent of the realm of the Forms to be (130 a-d). That question has confronted not merely Platonists, but every Realist about <a name="1"></a><A HREF="../../Notes/Notes_10/Notes_1008.htm">universals</A><SUP>1</SUP>, ever since. My suggestion has been that the Empiricist, at least, should answer that for the most part it is not up to the philosopher to answer the question. There is much that he can say about the nature of the question and the <em>form</em> that answers should take. This work, long as it is, has only begun to grapple with the problems involved. But the <em>content</em> of the answer must be determined, not by abstract reasoning, but by the natural sciences with their ultimate dependence upon observation and experiment. </li><li>However, as the discussion has developed, what has been presented is not simply a theory of <a name="2"></a><A HREF="../../Notes/Notes_10/Notes_1008.htm">universals</A><SUP>2</SUP> but a first philosophy or ontology, a theory of the nature of reality in its most general aspect. Not every topic which a first philosophy might be expected to cover has been covered, but comprehensiveness may be too much to expect. Perhaps it should not even be sought. </li><li>At any rate, if what has been offered is a first philosophy, it may be appropriate to conclude by considering where the main difficulty for this philosophy appears to lie. I think that the answer to this question is clear. It is the difficulty which faces any Empiricist philosophy: the problem of necessary truth. Can an Empiricist give a satisfactory account of the logically necessary truths of mathematics, of logic, of philosophy itself, especially first philosophy? </li><li>The problem disappears if there are no necessary truths, if the whole distinction between logically necessary and contingent truths is not a real one. This is the view of <a name="5"></a><A HREF = "../../Authors/Q/Author_Quine (W.V.).htm">W.V. Quine</A>, denier of distinctions. But I find this extreme Empiricist view difficult to accept. The "Rational sciences" of logic and mathematics can be, and are, developed in a purely <em>a priori</em> manner. This would not be possible if their propositions had no different logical status from those of the natural sciences. </li><li>It is clear, then, that what is required is an Empiricist theory of necessary truth. If an Empiricist theory of necessary truth can be developed at all, it is clear what general form it must take. The source of necessity must be located in the words, or concepts, in which the propositions are expressed. What the details of this theory are to be, and how various powerful objections to such a theory are to be overcome, I do not know. One objection, however, which I cannot take seriously is the contention that the notions of meaning, and hence synonymy, are irremediably confused. </li><li>But what of the theory of <a name="3"></a><A HREF="../../Notes/Notes_10/Notes_1008.htm">universals</A><SUP>3</SUP> put forward in this book? A great deal of our argument has consisted in the rejection of alleged <em>a priori</em> necessities. It has been pointed out that there are logical possibilities open where earlier theories saw only contradiction. An example is the rejection in this book of the necessity for simple <a name="4"></a><A HREF="../../Notes/Notes_10/Notes_1008.htm">universals</A><SUP>4</SUP>. Logical Atomism proclaims their necessity. But we have argued that logic cannot determine the matter. </li><li>Nevertheless, at a few points our arguments seemed to bind rather than to loose. A conspicuous example is the link between particularity and universality. It was argued that every particular must have properties and relations (though no particular properties and relations). Equally it was argued that every property and relation must be a property and relation of some particular (though not of any particular particular). </li><li>The connection between particularity and universality is so close that we can do no more than draw Scotus' 'formal distinction' between them. Here we seem to be in the presence of a logical necessity in things. Yet we are committed to the denial of any <em>de re</em> logical necessity. Can we find some account of this distinction, and of our knowledge of it, which is compatible with Empiricism? </li></ol></FONT><FONT COLOR = "0000FF"><HR></P><a name="ColourConventions"></a><p><b>Text Colour Conventions (see <A HREF="../../Notes/Notes_10/Notes_1025.htm">disclaimer</a>)</b></p><OL TYPE="1"><LI><FONT COLOR = "0000FF">Blue</FONT>: Text by me; &copy; Theo Todman, 2018</li><LI><FONT COLOR = "800080">Mauve</FONT>: Text by correspondent(s) or other author(s); &copy; the author(s)</li></OL> <BR><HR><BR><CENTER> <TABLE class = "Bridge" WIDTH=950> <TR><TD WIDTH="30%">&copy; Theo Todman, June 2007 - August 2018.</TD> <TD WIDTH="40%">Please address any comments on this page to <A HREF="mailto:theo@theotodman.com">theo@theotodman.com</A>.</TD> <TD WIDTH="30%">File output: <time datetime="2018-08-02T07:14" pubdate>02/08/2018 07:14:28</time> <br><A HREF="../../Notes/Notes_10/Notes_1010.htm">Website Maintenance Dashboard</A></TD></TR> <TD WIDTH="30%"><A HREF="#Top">Return to Top of this Page</A></TD> <TD WIDTH="40%"><A HREF="../../Notes/Notes_11/Notes_1140.htm">Return to Theo Todman's Philosophy Page</A></TD> <TD WIDTH="30%"><A HREF="../../index.htm">Return to Theo Todman's Home Page</A></TD> </TR></TABLE></CENTER><HR> </BODY> </HTML>