Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

As conceived by analytic philosophers ontology consists in the application of the methods of mathematical logic to the analysis of ontological discourse. As conceived by realist philosophers such as Meinong and the early Husserl, Reinach and Ingarden, it consists in the investigation of the forms of entities of various types. The suggestion is that formal methods be employed by phenomenological ontologists, and that phenomenological insights may contribute to the construction of adequate formal-ontological languages. The paper sketches an account of what (...) might be involved in this new discipline, an account which is illustrated in application to the formal-ontological problems raised by negative states of affairs. (shrink)

Este livro é um 'ancestral' em pré-print do meu livro de 2006, Introdução à Teoria da Predicação em Aristóteles (ISBN 978-85-268-0716-1), publicado pela Editora da Unicamp (ver https://www.academia.edu/6912408/Introdu%C3%A7%C3%A3o_%C3%A0_teoria_da_predica%C3%A7%C3%A3o_em_Arist %C3%B3teles). O ancestral foi felizmente muito citado, mesmo depois da aparição do livro definitivo em 2006. -/- This is an ancestor (in pré-print) of my 2006 Book, 'Introdução à Teoria da Predicação em Aristóteles' (ISBN 978-85-268-0716-1), published by Editora da Unicamp (see https://www.academia.edu/6912408/Introdu%C3%A7%C3%A3o_%C3%A0_teoria_da_predica%C3%A7%C3%A3o_em_Arist %C3%B3teles). The ancestor was cited by many, even after the definitive book (...) appeared in 2006. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

The appeal to possible worlds in the semantics of modal logic and the philosophical defense of possible worlds as an essential element of ontology have led philosophers and logicians to introduce other kinds of `worlds' in order to study various philosophical and logical phenomena. The literature contains discussions of `non-normal worlds', `non-classical worlds', `non-standard worlds', and `impossible worlds'. These atypical worlds have been used in the following ways: (1) to interpret unusual modal logics, (2) to distinguish logically equivalent propositions, (3) (...) to solve the problems associated with propositional attitude contexts, intentional contexts, and counterfactuals with impossible antecedents, and (4) to interpret systems of relevant and paraconsistent logic. However, those who have attempted to develop a genuine metaphysical theory of such atypical worlds tend to move too quickly from philosophical characterizations to formal semantics. (shrink)

David Wiggins; II*—Deliberation and Practical Reason, Proceedings of the Aristotelian Society, Volume 76, Issue 1, 1 June 1976, Pages 29–52, https://doi.org/10.

This paper sets out to demonstrate that a contrast can be drawn between coherentism as an account of the structure of justification, and coherentism as a method of inquiry. Whereas the former position aims to offer an answer to the ‘regress of justification’ problem, the latter position claims that coherence plays a vital and indispensable role as a criterion of truth, given the fallibility of cognitive methods such as perception and memory. It is argued that ‘early’ coherentists like Bradley and (...) Blanshard were coherentists of the latter kind, and that this sort of coherentism is not open to certain sorts of standard objection that can be raised against justificatory coherentism. (shrink)

Richard Sorabji; VII*—Aristotle On the Rôle of Intellect in Virtue, Proceedings of the Aristotelian Society, Volume 74, Issue 1, 1 June 1974, Pages 107–129, htt.

This paper is concerned with the wholly metaphysical question of whether necessity and possibility rest on nonmodal foundations—whether the truth conditions for modal statements are, in the final analysis, nonmodal. It is argued that Lewis’s modal realism is either arbitrary and stipulative or else it is circular. Even if there were Lewisean possible worlds, they could not provide the grounds for modality. D. M. Armstrong’s combinatorial approach to possibility suffers from similar defects. Since more traditional reductions to cognitive or linguistic (...) facts suffer similar fates, the conclusion that the alethic modality is primitive and incapable of reduction is offered. (shrink)

Łukasiewicz distinguishes three formulations of the principle of contradiction in Aristotle’s works: ontological, logical, and psychological. The first two formulations are equivalent though not synonymous, but neither of them is equivalent to the psychological one, which expresses not a principle but only an empirical law. Furthermore, the principle of contradiction is neither a simple and ultimate law nor is it necessary for conducting an inference, because the syllogism is independent of it. The further explanation of this concept leads Łukasiewicz to (...) formulate the idea of a non-Aristotelian logic, that is, a logic operating without the principle of contradiction. If the principle of contradiction shall be valid, it must be proved. A proof can be supplied only on the basis of a definition of object, as something that cannot have and not have the same property at the same time. However, this definition does not hold for all objects, i.e., for contradictory objects. In virtue of its ontological character the Aristotelian principle of contradiction is then different from that of symbolic logic. (shrink)

Łukasiewicz distinguishes three formulations of the principle of contradiction in Aristotle’s works: ontological, logical, and psychological. The first two formulations are equivalent though not synonymous, but neither of them is equivalent to the psychological one, which expresses not a principle but only an empirical law. Furthermore, the principle of contradiction is neither a simple and ultimate law nor is it necessary for conducting an inference, because the syllogism is independent of it. The further explanation of this concept leads Łukasiewicz to (...) formulate the idea of a non-Aristotelian logic, that is, a logic operating without the principle of contradiction. If the principle of contradiction shall be valid, it must be proved. A proof can be supplied only on the basis of a definition of object, as something that cannot have and not have the same property at the same time. However, this definition does not hold for all objects, i.e., for contradictory objects. In virtue of its ontological character the Aristotelian principle of contradiction is then different from that of symbolic logic. (shrink)

I argue that there is nothing about truth as such that prevents contradictions from being true. I argue this by considering the main standard accounts of truth, and showing that they are quite compatible with the existence of true contradictions. Indeed, in many cases, they are actually friendly to the idea.

In lieu of an abstract, here is a brief excerpt of the content:Aristotle and the AppearancesPaul Nieuwenburg1.G. E. L. owen’s influential article Tithenai ta phainomena1 has had a very special efficacy in converting long-standing suspicions into the certainty of what one might call, without exaggeration, an orthodoxy. One of Owen’s arguments is widely thought to remove, in a quite definite way, all doubt surrounding the interpretation of the ambiguous term ta phainomena, usually rendered ‘the appearances,’ as it figures in one (...) of Aristotle’s reflections on ‘the methods of ethics.’2 And indeed, as the pun on Sidgwick’s The Methods of Ethics suggests,3 the argument paves the way for extracting from Aristotle’s instructions [End Page 551] a telos not unlike that of a certain modern conception of ethics—a coherent body of propositions wrought from our common-sense intuitions about moral matters.Point of departure is a quotation of the methodological reflection from the Nicomachean Ethics (EN 1145b2–7), the subject of the argument in question. The reflection sketches the procedure to be followed in the treatment of akrasia, or the phenomenon of, to put it in a rather slipshod manner, doing what one knows to be wrong. It will be helpful to comply with standard practice and to give Owen’s own translation of the bulk of this passage (b2–6), supplementing it with the missing final clause (b6–7).Here as in other cases we must set down [tithentas] the phainomena and begin by considering the difficulties [diaporêsantas], and so go on to vindicate if possible all the common conceptions [ta endoxa] about these states of mind [peri tauta ta pathê], or at any rate most of them and the most important; {for when both the difficulties are solved and the endoxa are left [kataleipêtaı], it would have been proven sufficiently [dedeigmenon hikanôs].} (EN 1145b2–7)Owen argues that W. D. Ross’ ‘empiricist’ construal of the term phainomena (‘observed facts’) cannot be consistently maintained in a dialectical examination of beliefs on moral matters—and we shall presently see why this should be so. Indeed, the term must be systematically ambiguous, referring to ‘hard’ empirical data in one context (notably APr 46a20) and to endoxa (or legomena [EN 1145b20]), i.e., ‘common conceptions’ in the other.As a consequence, the method outlined in this passage would look like this. First, you have to assemble and present a collection of beliefs (tithenai ta phainomena) on the relevant subject-matter. Since it is most likely that tensions will disfigure the set of endoxa you have garnered, you must, second, by way of preliminary exercise ‘go through the perplexities’ (diaporein) they raise, in order to pinpoint the inconsistencies and infelicities barring the way to endoxic coherence. The removal of these frictions will result in a ‘maximal consistent subset’ of endoxa on the matter, namely, when the perplexities (aporiai), or difficulties (duskherê), are solved. Sufficient proof has been given when all, most, or the most important (kuriôtata) endoxa reappear in this final set. “And then? And then nothing: your philosophical task is over. “4The intersubstitutability of ‘appearances’ (phainomena) and ‘reputable beliefs’ [End Page 552] (as I prefer to render endoxa)5 is buttressed by a fairly general consensus in contemporary Aristotelian scholarship. Many authors assume that in the text under consideration and, in its wake, in certain other ethical contexts, both terms have the same reference, without, however, being synonymous.6 Henceforth, I shall label this assumption (I) (for ‘intersubstitutability assumption’), covering both Owen’s conclusion and the argument leading up to it, on the obvious supposition that espousing the conclusion entails a commitment to the validity of the argument. Against all appearances, however, (I) is not as foolproof as its widespread acclaim suggests. Although extensions of (I) to other methodological contexts in Aristotle’s ethical writings (in particular EE 1214b28–1215a) prejudice a due understanding of Aristotelian ethics, the point is, I believe, worth arguing in its own right.In what follows, I shall first lay bare a ‘perplexity’ latent in (I). It will emerge that its premises do not as firmly support the conclusion as it has seemed to many writers. Therefore, I shall not side with those... (shrink)

Arístotle's notion of identity is investigated on this article. This ínvestigation is focused on Top. I7, where different ways of using of the word `same' are analysed. Two major claims are made. First of all, Aristotle does not seem to be committed to hold that there are different types of identity, The second point concerns contingent identíty. What Aristotle says about numerical identity does not commit him to the view that identity can be contingent and it is consistent with the (...) claim that identity statements are in all cases necessary. (shrink)

The topic of homonymy, especially the variety of homonymy that has gone under the title, “focal meaning,” is of fundamental importance to large portions of Aristotle’s work-not to mention its central place in the ongoing controversies between Aristotle and Plato. It is quite astonishing, therefore, that the topic should have gone so long without a book-length treatment. And it is all the more gratifying that the new book on homonymy by Christopher Shields should be so comprehensive, and of such uniformly (...) high quality.’ Everyone who cares about Aristotle will be in his debt. Shields’s book falls into two parts. In the first, he is concerned to lay out the basic structure of Aristotle’s views about homonymy; in the second part, we are led through the various applications of the idea, to the analysis of friendship, for example, the homonymy of the body, the account of goodness and, not least, the homonymy of being. Shields’s book brings out well how the topic of homonymy weaves in and out of the fabric of Aristotle’s thinking in a variety of areas. I will resist the temptation to follow Shields through these various subject-matters, and instead take up essentially two topics. First, (I), the basic outline of Aristotle’s notion of homonymy, more or less independently of its different applications (here, I follow Shields’s example in the first half of his book). Thereafter, I discuss a single application: the homonymy of being (this is the subject of Shields’s last and longest chapter). Here, I will be interested (II) in how homonymy relates to the theory of the categories; and (III) in the application of homonymy to the analysis of substance in the Metaphysics. (shrink)

The topic of homonymy, especially the variety of homonymy that has gone under the title, “focal meaning,” is of fundamental importance to large portions of Aristotle’s work—not to mention its central place in the ongoing controversies between Aristotle and Plato. It is quite astonishing, therefore, that the topic should have gone so long without a book-length treatment. And it is all the more gratifying that the new book on homonymy by Christopher Shields should be so comprehensive, and of such uniformly (...) high quality. Everyone who cares about Aristotle will be in his debt. (shrink)

Realism concerning a given subject-matter is characterised as a semantic doctrine with metaphysical consequences, namely as the adoption, for the relevant class of statements, of a truth-conditional theory of meaning resting upon the classical two-valued semantics. it is argued that any departure from classical semantics may, though will not necessarily, be seen as in conflict with some variety of realism. a sharp distinction is drawn between the rejection of realism and the acceptance of a reductionist thesis; though intimately related, neither (...) entails the other. realism is to be classified as "naive", "semi-naive" or "sophisticated": the first of these involves an all but unintelligible epistemological component. (shrink)

Critical discussion of Alan Code's paper "Aristotle's Investigation of a Basic Logical Principle: Which Science Investigates the Principle of Non-Contradiction?".

Aristotle not only fonnulates the problem of intentionality explicitly, he makes a solution to it a requirement for any adequate theory of mind. His own solution, however, is not to be found in his theory of sensation, as Brentano and others have thought. In fact, it is precisely because Aristotle regards this theory as inadequate that he goes on to argue for a distinct new ability he calls “phantasia.” The theory of content he develops on this basis (unlike Brentano’s) is (...) profoundly naturalistic: it is a representational theory, formulated in tenns of the causal powers and physical magnitudes of the body. (shrink)

Aristotle not only formulates the problem of intentionality explicitly, he makes a solution to it a requirement for any adequate theory of mind. His own solution, however, is not to be found in his theory of sensation, as Brentano and others have thought. In fact, it is precisely because Aristotle regards this theory as inadequate that he goes on to argue for a distinct new ability he calls "phantasia." The theory of content he develops on this basis (unlike Brentano's) is (...) profoundly naturalistic: it is a representational theory, formulated in terms of the causal powers and physical magnitudes of the body. (shrink)

My object is Aristotle's discussion of principle of non-contradiction in the first stretch of Metaphysics IV.4. My main focus rests on the connections between Aristotle's discussion of the principle and some key notions of his (explicit or implied) semantics.

RECENT attempts to explain and justify Aristotle's principle of non-contradiction have focused to a great extent on the dialectical dimension of Aristotle's account. For example, T. Irwin maintains that Aristotle justifies the PNC by arguing that there is a sub-set of dialectical opinions which no one can rationally give up. J. Lear supports the importance of the dialectical dimension by summarizing Aristotle's defense of the PNC as follows: The opponent of the PNC tries to argue dialectically that one should not (...) accept it. "Aristotle's point is that there is no conceptual space in which such a rational discussion can occur." By appealing to the limits of rationally, externally, expressible discourse as the basis of the PNC, Irwin and Lear fail to take seriously the more explicitly psychological and metaphysical bases of the PNC. C. Kirwan, and most recently, R. Smith also either argue against or ignore the role of the psychological and metaphysical bases. Smith goes so far as to argue that common axioms like the PNC are simply empty statement schemata of universal validity, i.e., general verbal forms or patterns which no one can deny with intelligibility. (shrink)