Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

In recent years, calls have been made to address the relative dearth of qualitative sociological investigation into the sensory dimensions of embodiment, including within physical cultures. This article contributes to a small, innovative and developing literature utilizing sociological phenomenology to examine sensuous embodiment. Drawing upon data from three research projects, here we explore some of the ‘sensuousities’ of ‘intense embodiment’ experiences as a distance-running-woman and a boxing-woman, respectively. Our analysis addresses the relatively unexplored haptic senses, particularly the ‘touch’ of heat. (...) Heat has been argued to constitute a specific sensory mode, a trans-boundary sense. Our findings suggest that ‘lived’ heat, in our own physical-cultural experiences, has highly proprioceptive elements and is experienced as both a form of touch and as a distinct perceptual mode, dependent upon context. Our analysis coheres around two key themes that emerged as salient: (1) warming up, and (2) thermoregulation, which in lived experience were encountered as strongly interwoven. (shrink)

Epistemic akrasia arises when one holds a belief even though one judges it to be irrational or unjustified. While there is some debate about whether epistemic akrasia is possible, this paper will assume for the sake of argument that it is in order to consider whether it can be rational. The paper will show that it can. More precisely, cases can arise in which both the belief one judges to be irrational and one’s judgment of it are epistemically rational in (...) the sense that both are supported by sufficient evidence. (shrink)

I Can we make promises to ourselves? This is a question that has not received much consideration in the large body of philosophical work on promising. And in what commentary there is, the answer is uniformly negative. I think this negativity is a mistake, and that the conventional view that we can't make reflexive promises is wrong. I also think that this has some important implications for promissory theory in general. In what follows, I will attempt to argue for the (...) first of these two claims, and to briefly outline my reasons for the second. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composed of matter and form. If a house is a substance, then its matter would be a collection of bricks and timbers, and its form is something like the structure of those bricks and timbers. It is widely agreed that matter bears a mereological relationship to substance; the bricks and timbers are parts of the house. But with form things are more controversial. Is the structure of the bricks and timbers (...) best conceived as a part of the house, or is it related to the house in some non‐mereological fashion? Kathrin Koslicki argues that substances have formal parts and that forms are best conceived as bearing a mereological relation to substances. This paper shows that her argument fails, given the traditional and plausible distinction between substances and accidental unities. I close with a brief suggestion for a non‐mereological construal of forms. (shrink)

Respiratory rhythms sustain biological life, governing the homeostatic exchange of oxygen and carbon dioxide. Until recently, however, the influence of breathing on the brain has largely been overlooked. Yet new evidence demonstrates that the act of breathing exerts a substantive, rhythmic influence on perception, emotion, and cognition, largely through the direct modulation of neural oscillations. Here, we synthesize these findings to motivate a new predictive coding model of respiratory brain coupling, in which breathing rhythmically modulates both local and global neural (...) gain, to optimize cognitive and affective processing. Our model further explains how respiratory rhythms interact with the topology of the functional connectome, and we highlight key implications for the computational psychiatry of disordered respiratory and interoceptive inference. (shrink)

Within the sociology of sport, phenomenologically-inspired perspectives on sensory embodiment have emerged in recent years. This corpus includes investigations into the senses in water-based sports such as scuba diving (Merchant, 2011), performance swimming (Allen-Collinson et al., 2021 ; McNarry et al., 2021) and in land-based sports such as distance running (Allen-Collinson et al., 2018, 2021 ; Allen-Collinson & Jackman, 2021), and cycling (Hammer, 2015 ; Spinney, 2006). In this article, I draw upon phenomenological sociology (Allen-Collinson, 2009) (...) and ‘sensory work’, to investigate the experience of asthma in sports participants. Currently, despite the prevalence of asthma globally, there remains a lack of in-depth research on actual experiences of coping with asthma and ‘breathing battles’ in sporting contexts. Here, I draw on data from two linked research projects: a collaborative autoethnography and an interview-based study , which generated findings that highlighted sensory aspects relating to the lived experience of asthma and sporting embodiment. (shrink)

Methodologically rigorous description, analysis, and critique of postmodern phenomena presuppose a rigorous theory of postmodernity, for which the philosophy of Martin Heidegger holds great untapped promise. This essay explicates the basic content of Heidegger’s “metametaphysics,” since for Heidegger a “metaphysics” is the epochally prevailing projection of the meaning of being in general, and he offers a theory of Western metaphysics. I begin with Heidegger’s analysis of the “regional ontologies” of the sciences in his 1927 magnum opus Being and Time, since (...) the metametaphysical works of the “late middle” Heidegger in the 1930s–1940s extend this analytical framework to metaphysics as global ontology. I then explicate Heidegger’s views on modern metaphysics, focusing on his analyses of modern science and the philosophy of Descartes, before turning to his theory of postmodernity, which I extract from his analyses of modern technology and the philosophy of Nietzsche. (shrink)

Philosophy and Phenomenological Research, EarlyView.

This paper is a history of philosophy in Australia in the first decade of the twenty-first century. It considers, among other things: (1) the state of the higher education sector; (2) the state of the humanities; (3) the state of philosophy in the academy; (4) support for philosophy in the academy; (5) the role of philosophy beyond the academy; (6) changes in philosophical practice in this decade,; (7) changes in the teaching of philosophy in this decade; and (8) the domains (...) of inquiry in which philosophers worked in this decade. (shrink)

Bu [makalede], nihai olarak kesin bir sonucu olduğunu iddia etmemekle birlikte, ateizm için geliştirebileceğim en iyi argümanı öne sürmeye çalışacağım ve ortaya koyacağım şeyin, Tanrı’nın varlığına dair yürütülen tartışmaların herhangi bir kısmındaki, en iyi argüman olduğunu iddia edeceğim.

This paper attempts to provide a high-level comparison of Eastern and Western conceptions of deity. It finds some significant similarities—involving worshipworthiness and the ideal shape of human lives—and some important differences—concerning the ultimate nature of reality, the relation of supreme deity to the rest of reality, and the relative frequency of divine incarnation.

In this paper, I examine Kant’s discussion of ‘the cosmological argument’ in The Critique of Pure Reason, Transcendental Doctrine of Elements, Second Part, Second Division, Book 2, Chapter Three, Section Five (‘The Impossibility of a Cosmological Proof of the Existence of God’). While there are other places where Kant provides related discussions of ‘the cosmological argument’—e.g. in The Only Possible Argument in Support of a Demonstration of the Existence of God, Lectures on Philosophical Theology, and Religion within the Limits of (...) Reason Alone—I do not attempt to consider any of these further works in this paper. First, I argue that it is not true that cosmological arguments depend upon ontological arguments, and that Kant is simply mistaken when he argues that ‘the cosmological argument’ ‘assumes’ ‘the ontological argument’. Second, I argue that Kant does not provide a compelling critique of cosmological arguments to the conclusion that there is an absolutely necessary being. (shrink)

This chapter states the contrast between presumptivism about testimonial warrant (often called anti-reductionism) and strict reductionism (associated with Hume) about testimonial warrant. Presumptivism sees an analogy with modest foundationalism about perceptual warrant. Strict reductionism denies this analogy. Two theoretical frameworks for these positions are introduced to better formulate the most popular version of persumptivism, a competence reliabilist account. Seven arguments against presumptivism are then stated and critiqued: (1) The argument from reliability; (2) The argument from reasons; (3) the argument from (...) positive reasons; (4) the argument from negative reasons; (5) the argument from agency; (6) the argument from psychological force; and (7) the argument from gullibility. If presumptivm is false, it is not for any of these arguments. (shrink)

Robert Audi’s Seeing, Knowing, and Doing argues that knowledge does not entail justification, given a broadly externalist conception of knowledge and an access internalist conception of justification, where justification requires the ability to cite one’s grounds or reasons. On this view, animals and small children can have knowledge while lacking justification. About cases like these and others, Audi concludes that knowledge does not entail justification. But the access internalist sense of “justification” is but one of at least two ordinary senses (...) of the term. On a broader or looser sense, “justification” means “being in the right” where that involves meeting a standard or norm. I argue that the beliefs of animals and small children can then meet standards or norms associated with truth and knowledge such that their beliefs may count as justified in this broader or looser sense. I then question whether knowledge fails to entail justification on this broader sense. (shrink)

Agent-based virtue ethical theories must deal with the problem of right action: if an action is right just in case it expresses a virtuous motive, then how can an agent perform the right action but for the wrong reason, or from a vicious motive? Some recent agent-based accounts purport to answer this challenge and two other related problems. Here I assess these accounts and show them to be inadequate answers to the problem of right action. Overall, it is shown that (...) the most recent and promising attempts at squaring agent-based virtue ethics with commonsense morality are flawed, and so, the case for agent-basing in general that much dimmer. (shrink)

According to our folk theory of lying, liars leak observable cues of their insincerity, observable cues that make it easy to catch a liar in real time. Various prominent social epistemologists rely on the correctness of our folk theory as empirically well-confirmed when building their normative accounts of the epistemology of testimony. Deception detection research in communication studies, however, has shown that our folk-theory is mistaken. It is not empirically well-confirmed but empirically refuted. Michaelian (2010) and Shieber (2012) have already (...) discussed some of this literature and its relevance for epistemology, especially for the most worked out reliance on our folk theory by Elizabeth Fricker (1994, 2016, 2017a, 2024). Fricker (2016) raises a reasonable objection to their presentations of the research: is the research ecologically valid? Do the experiments in the lab carry over to real life? This chapter conveys the methodology of the research, defends its ecological validity, and addresses further research on the nature and frequency of lies in ordinary life. Social epistemologists stand to gain from understanding the nuts and bolts of deception detection research and its findings. The chapter concludes with a detailed examination of Fricker’s relilance on folk theory in her “local reductionist” epistemology of testimony. Further areas of research relevant to social epistemology are listed. (shrink)

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (shrink)

Hylomorphism is the Aristotelian theory according to which substances are composites of matter and form. If my house is a substance, then its matter would be a collection of bricks and timbers and its form something like a structure that unites those bricks and timbers into a single substance. Contemporary hylomorphists are divided on how to understand forms best, but a prominent group of theorists argue that forms are emergent powers. According to such views, when material components are arranged appropriately, (...) a novel substance emerges with the power to impose unity on its components through time. I argue that these accounts of form fall prey to a bootstrapping problem, and so, suffer from issues of redundancy, given plausible assumptions about inherence. In their place, I suggest an ontologically minimalist conception of forms as collective manifestations of the powers of matter. (shrink)

This paper investigates the question whether we could have reason to believe that time is two-dimensional. I connect discussion of this question to discussion of the question whether we could have reason to believe that there has been a global time freeze.

Things strike me in a variety ways. F and F# sound slightly different, ripe and unripe tomatoes neither look nor taste nor smell the same, and silk feels smoother than corduroy. In each case, I distinguish an experience of something on the basis of what it is like to be its subject. That is to say, in philosophical parlance, if not quite the vernacular, its “quale,” leads me to categorize it and, thus, respond appropriately to its stimulus. The function of (...) a quale being established, we must define it along with its subject and, as Sartre maintained, their relation. How should we understand the subject and predicate terms and the copula in sentences such as ‘He is listening to Chopin’ or ‘She is seeing the sights of Paris’? Elaborating upon adverbialism, I shall argue that the subject of experiencing is a hylomorphic compound that is temporarily identical to the 'accidental compound' that it forms along with a qualified passion. I begin by explicating the adverbialist’s treatment of qualitative consciousness and defending it against the charge of circularity. (shrink)

In this paper, I will argue that Locke is a substance dualist in the general sense, in that he holds that there are, independent of our classificatory schema, two distinct kinds of substances: wholly material ones and wholly immaterial ones. On Locke’s view, the difference between the two lies in whether they are solid or not, thereby differentiating him from Descartes. My way of establishing Locke as a general substance dualist is to be as minimally committal as possible at the (...) outset, especially with respect to the classic debates on Locke’s positions in this domain, including those concerning substrata, real essences, and the like. Nonetheless, I show that minimal commitments about Locke’s primary/secondary quality distinction are sufficient to derive some substantive conclusions about his positions on these issues, as well as that he is a general substance dualist. (shrink)

Illusionism treats the almost universally held belief in our ability to make free choices as an erroneous, though beneficent, idea. According to this view, it is sadly true, though virtually impossible to believe, that none of a person’s choices are avoidable and ‘up to him’: any claim to the effect that they are being naïveté or, in the case of those who know better, pretense. Indeed, the implications of this skepticism are so disturbing, pace Spinoza, that it must not be (...) allowed to see the light of intellectual day, confined to the nether regions of consciousness. Even those who have ‘done the philosophy’ and disabused themselves here should nevertheless (somehow) continue believing in free will, lest they come to regard our lives as meaningless, spreading despair and social upheaval. Thus, the “Illusionists” who propound this view are themselves circumspect in doing so. -/- But is escaping the (putative) truth really possible here? Could a disabused philosopher ever return to something like his former intellectual innocence? Self-deception may not be possible; but would an attempt at it reveal anything significant about choice formation? If one were to try to regain one’s illusion, what would one realize? I shall argue here that one would reflectively discover precisely the opposite of what the Illusionists contend- that there are indeed free choices. Let us begin by considering the inconsistency that supposedly entails the illusion of free will. (shrink)

According to the common conception of argument, the virtues of arguments turn, in part, on the virtues of assertion of their premises. I suggest that, on plausible Gricean assumptions about cooperative conversation, the common conception yields the claim that it is never appropriate to advance arguments in cooperative conversations. But that claim is absurd! Holding on to the Gricean assumptions, I reject the common conception of argument in favour of an alternative conception, on which all that matters, as far as (...) premises go, for the virtue of arguments, is whether those premises belong to the arguments’ targets: interlocutors’ beliefs, theories, etc. (shrink)

This paper is a response to a paper by Rich Davis in which he argues that David Lewis' modal realism is inconsistent with classical theism. I provide what I take to be a coherent modal realist formulation of classical theism.

: Agents are enkratic when they intend to do what they believe they should. That rationality requires you to be enkratic is uncontroversial, yet you may be enkratic in a way that does not exhibit any rationality on your part. Thus, what I call the enkratic requirement demands that you be enkratic in the right way. In particular, I will argue that it demands that you base your belief about what you should do and your intention to do it on (...) the same considerations. The idea is that, if you base your belief and your intention on different considerations, then you are inconsistent in your treatment of those considerations as reasons. The enkratic requirement demands that you be enkratic by treating considerations consistently as reasons. (shrink)

Globally, there are calls to increase physical activity levels in relatively sedentary populations, including via physical activity programmes, often targeted at those body-selves deemed at risk of ‘sedentariness’. Despite the salience of sensory pleasures and displeasures in engagement with (and abandonment of) these programmes, the sensory, embodied experiences of participation remain under-researched. Here, we draw on findings from a two-year ethnographic study of a national programme in Wales, which used the aesthetic attractions of ‘natural’ outdoor environments to encourage and sustain (...) physical activity. Employing insights from phenomenological sociology, we explore the programme participants’ (n=146) lived experiences, analysed via a phenomenological lens, cohering around a panoply of sensory pleasures and displeasures, and somatic learning that is shaped and reshaped by weather encounters. (shrink)

We respond to a Letter to the Editor regarding "Principlism and contemporary ethical considerations for providers of transgender health care." We address criticisms by Castle & Klein (2024) of blatant fatphobia related to the ethical elements concerning BMI restrictions for gender-affirming surgery. Our response corrects several mischaracterizations of the article and clarifies our position. My co-authors and I remain focused on advocating for patient-centered, ethically sound, evidence-based, and equitable healthcare policies.

In “On Oppy’s Objections to the Modal Perfection Argument,” Philo 8, 2, 2005, 123–30, Robert Maydole argues that his modal perfection argument—set out in his “The Modal Perfection Argument for a Supreme Being,” Philo 6, 2, 2003, 299–313—“remains arguably sound” in the face of the criticisms that I made of this argument in my “Maydole’s 2QS5 Argument,” Philo 7, 2, 2004, 203–11. I reply that Maydole is wrong: his argument is fatally flawed, and his attempts to avoid the criticisms that (...) I have made of his argument are to no avail. (shrink)

I argue that the Hume of the Treatise maintains an account of knowledge according to which (i) every instance of knowledge must be an immediately present perception (i.e., an impression or an idea); (ii) an object of this perception must be a token of a knowable relation; (iii) this token knowable relation must have parts of the instance of knowledge as relata (i.e., the same perception that has it as an object); and any perception that satisfies (i)-(iii) is an instance (...) of knowledge. I then apply this account to the case of sense perception. I argue that Hume holds that relations of impressions can be intuited, are knowable, and are necessary. For Hume, these relations constitute sensory knowledge. While Hume is rightly labeled an empiricist for many reasons, a close inspection of his account of knowledge reveals yet another way in which he deserves the label. (shrink)

The prelims comprise: Introduction: Two Semantic Projects History The Uses of Semantics Conclusions.

The standard taxonomy of theories of epistemic justification generates four positions from the Foundationalism v. Coherentism and Internalism v. Externalism disputes. I develop a new taxonomy driven by two other distinctions: Fundamentalism v. Non-Fundamentalism and Actual-Result v. Proper-Aim conceptions of epistemic justification. Actual-Result theorists hold that a belief is justified only if, as an actual matter of fact, it is held or formed in a way that makes it more likely than not to be true. Proper-Aim theorists hold that a (...) belief is justified only if it is held or formed in a way that it proper or correct insofar as truth is the aim or norm. Fundamentalists hold that which particular ways of holding or forming beliefs that confer justification is knowable a priori; epistemic principles are a priori necessary truths. Non- Fundamentalists disagree; epistemic principles are empirical contingent truths. The new taxonomy generates four positions: Cartesianism, Reliabilism, Intuitionism, and Pragmatism. The first two are Actual-Result; the second two are Proper-Aim. The first and third are Fundamentalist, the second and fourth are Non-Fundamentalist. The new taxonomy illuminates much of the current debate in the theory of epistemic justification. (shrink)

Some of Aristotle’s statements about the indemonstrability of the Principle of Non-Contradiction (PNC) in Metaphysics Γ 4 merit more attention. The consensus seems to be that Aristotle provides two arguments against the demonstrability of the PNC, with one located in Γ 3 and the other found in the first paragraph of Γ 4. In this article, I argue that Aristotle also relies upon a third argument for the same conclusion: the argument from truth. Although Aristotle does not explicitly state this (...) argument, it is the best argument that he could use to defend some of his statements in the second paragraph of Γ 4. Since the argument relies on only a few of Aristotle’s core views about truth, I propose that it is faithful to his considered position throughout his corpus, and it may be the strongest argument he could offer for the indemonstrability of the PNC. (shrink)

There are some necessary conditions on causal relations that seem to be so trivial that they do not merit further inquiry. Many philosophers assume that the requirement that there could be no temporal gaps between causes and their effects is such a condition. Bertrand Russell disagrees. In this paper, an in-depth discussion of Russell’s argument against this necessary condition is the centerpiece of an analysis of what is at stake when one accepts or denies that there can be temporal gaps (...) between causes and effects. It is argued that whether one accepts or denies this condition, one is implicated in taking on substantial and wide-ranging philosophical positions. Therefore, it is not a trivial necessary condition of causal relations and it merits further inquiry. (shrink)

Samuel Butler is usually remembered for Erewhon, widely considered among the best English satires. He also contributed to philosophical biology in works that collectively compose the nineteenth century's finest statement of the evolutionary argument associated with the name of Lamarck. In writing on evolution, Butler was not presenting science for a popular audience but deliberately intervening in the scientific argument about Darwinism. Surprised by the success of his first venture in philosophical biology, Life and Habit, Butler committed himself to the (...) project of developing an alternative to Darwinism, which he did in three additional volumes, and these are the works canvassed in this “delayed book review.”. (shrink)

The dominance of the Abrahamic tradition in contemporary analytic philosophy of religion has led some to call for greater exploration of alternatives to the traditional conception of God, such as Pantheism, Ultimism, and Axiarchism. While we think this call for alternatives is important, we go in a different direction. Rather than explore and defend alternative conceptions of God, we defend a range of fairly traditional but non-religious conceptions of God. This range of views, from deism to philosophical theism, enjoys a (...) variety of benefits over its religious competitors and deserves greater attention. (shrink)

This paper argues that the plethora of experiments with decentralized social technologies (DSTs)—clusters of which are sometimes called “the Web 3.0 ecosystem” or “the Fediverse”—have brought us to a constitutional moment. These technologies enable radical innovations in social, economic, and political institutions and practices, with the potential to support transformative approaches to political economy. They demand governance innovation. The paper develops a framework of prudent vigilance for making ethical choices in this space that help to both grasp positive opportunities for (...) transformation and avoid the potentially problematic consequences. Most of our specific examples and concerns come from the blockchain/Web3 universe, as this has received the greatest investment, attention, and adoption to date. However, we aim to offer a framework for governance decision-making in conditions of uncertainty that applies more broadly to other DSTs. Specifically, under the framework of prudent vigilance, we propose a pragmatic, democratic, and pluralist approach to navigating bold experimentation with social practices and political economy enabled by these technologies. Our overarching goal is to provide a framework open to transformative improvement and constrained by guardrails and guiding values supportive of democracy, freedom, and pluralism. We take a relatively strong position, rather than simply laying out ethical issues and potential approaches. We seek to be provocative in order to spur further work and hope this paper will serve as a first bridge between academic philosophy and the DST community, which have hardly interacted to date. (shrink)

This paper discusses the treatment of "infinity" in philosophy of religion, including its use in discussions of divine attributes, and its use in various arguments about the existence of God (including the kalam cosmological argument and Pascal's wager). The aim of the paper is to set out -- and where possible, to resolve -- various foundational problems about infinity.

Background: Transgender health care is a subject of much debate among clinicians, political commentators, and policy-makers. While the World Professional Association of Transgender Health (WPATH) Standards of Care (SOC) establish clinical standards, these standards contain implied ethics but lack explicit focused discussion of ethical considerations in providing care. An ethics chapter in the SOC would enhance clinical guidelines. Aims: We aim to provide a valuable guide for healthcare professionals, and anyone interested in the ethical aspects of clinical support for gender (...) diverse and transgender people of all ages. Recognizing that the WPATH is a global association, we address broad challenges. We offer a reflection on general ethical principles, providing conceptual tools for healthcare providers, patients, and families to navigate the specific challenges they might encounter in transgender health care, in line with WPATH’s worldwide mission and scope. Method: This article employs a descriptive analysis, and our framework of reference is the four principles of biomedical ethics: respect for autonomy, beneficence, nonmaleficence, and justice. Results: The article presents a discussion on the four ethical principles as applied to transgender health care. We address issues such as respect for patient autonomy in decision-making, the role of beneficence and nonmaleficence in clinical interventions, and the importance of justice in equitable treatment and access to care. Some of the ethical concerns we address in this article pertain to the current sociopolitical climate, where there has been increasing legal interference, internationally, for transgender and nonbinary people, particularly youth, seeking medical care. Discussion: We highlight the interplay between ethical principles and clinical practice, underscoring the need for ethical guidance in addressing the diverse challenges faced by healthcare providers and patients in transgender health care. We advocate for continuous refinement of ethical thinking to ensure that transgender health care is not only medically effective but also ethically sound. (shrink)

Nicomachean Ethics/NE, Book III, Chapters 1-5, provides Aristotle’s account of “Voluntary Movement.” It, thus, draws the Passion-Action distinction, only posited earlier in Categories, while also serving as the linchpin of NE’s discussion of Virtue, in explicitly connecting it to Right Reason. My explication of this text renders its terminology consistent with the Law of Excluded Middle and rebuts two criticisms of the Eudaimonistic Axiology on which it is based. These results are shown to be entailments of Aristotle’s doctrine that Voluntary (...) is (a) Relative. That categorization is then used to help treat a problematic case of Deliberation beyond his purview. (shrink)

This article is a response to Martin Orensanz’s argument that object-oriented ontology ought to accept the existence of matter as both a sensual and a real object. That matter can exist as a sensual object is a point immediately granted, since “sensual object” is such a broad term that nothing could be excluded from this designation. Yet I argue that this is not the case with respect to real objects, which must exist independently of any other entity that might encounter (...) them. This leads to a related debate on whether parthood is transitive, in which Orensanz takes up a recent argument of Daniel Korman while I defend the modified Aristotelian position that only the proximate parts of an object can be said to belong to it in the strict sense. (shrink)

This article critically examines the structure and implications of the argument in ST 1, Q2, A3, associated with Aquinas’ First Way. Our central endeavor is to discern whether a certain disambiguation of point 6 (“There is something that is not moving/changing that moves/changes other things”) can be logically inferred from points 1-5. Through a three-part proof, the article establishes that under specific conditions, it can indeed be inferred. However, this interpretation notably diverges from Aquinas’ intended conclusion and subsequent stronger interpretations (...) of the claim. The paper also engages in discussions surrounding the soundness of the argument, assessing the plausibility of its premises in light of physics and logical analysis. The contribution does not seek to speculate on Aquinas’ understanding or to dismiss his perspective but rather to delineate what follows from his First Way premises, highlighting discrepancies with contemporary views on the nature of existence, particularly the notion of God. (shrink)

This is an initial survey of some philosophical questions about divine language. Could God be a language producer and language user? Could there be a divine private language? Could there be a divine language of thought? The answer to these questions that I shall tentatively defend are, respectively: Yes, No and No. (Because I use some technical terms from recent philosophy of language, there is an appendix to this chapter in which I explain my use of those terms.).

The transformative power of artificial intelligence (AI) is coming to philosophy—the only question is the degree to which philosophers will harness it. In this paper, we argue that the application of AI tools to philosophy could have an impact on the field comparable to the advent of writing, and that it is likely that philosophical progress will significantly increase as a consequence of AI. The role of philosophers in this story is not merely to use AI but also to help (...) develop it and theorize about it. In fact, we argue that philosophers have a prima facie obligation to spend significant effort in doing so, at least insofar as they should spend effort philosophizing. (shrink)

The French existentialist philosopher, Simone de Beauvoir, long ago signalled the potentially empowering force of outdoor exercise and recreation for women, drawing on feminist phenomenological perspectives. Feminist phenomenological research in sport and exercise, however, remains relatively scarce, and this article contributes to a small, developing research corpus by employing a feminist phenomenological theoretical framework to analyse lived experiences of running in ‘public’ space. As feminist theorists have argued, such space is gendered and contested, and women’s mobility remains constrained by fears (...) of harassment and violent attack. Running also generates intense pleasure, however, and embodied empowerment. Drawing on findings from two separate but linked automethodological running research projects, here I explore salient and overlapping themes cohering around lived experience of pleasure and danger in both urban and rural spaces. (shrink)

I endorse the following claims in this paper. (1) Agnosticism is suspension of judgment on existence claims concerning gods and God. (2) Historical agnostics accepted (1) but unwisely insisted on further conditions best set aside. (3) Particular case agnosticism is less problematic than general principle-based agnosticism. (4) Agnostics should suspend judgment on—or, on occasion, reject—atomic claims of the form ‘God is F’.

Jennifer Lackey ('Testimonial Knowledge and Transmission' The Philosophical Quarterly 1999) and Peter Graham ('Conveying Information, Synthese 2000, 'Transferring Knowledge' Nous 2000) offered counterexamples to show that a hearer can acquire knowledge that P from a speaker who asserts that P, but the speaker does not know that P. These examples suggest testimony can generate knowledge. The showpiece of Lackey's examples is the Schoolteacher case. This paper shows that Lackey's case does not undermine the orthodox view that testimony cannot generate (...) knowledge. This paper explains why Lackey's arguments to the contrary are ineffective for they misunderstand the intuitive rationale for the view that testimony cannot generate knowledge. This paper then elaborates on a version of the case from Graham's paper 'Conveying Information' (the Fossil case) that effectively shows that testimony can generate knowledge. This paper then provides a deeper informative explanation for how it is that testimony transfers knowledge, and why there should be cases where testimony generates knowledge. (shrink)

There is an important distinction between two different kinds of expressions of gratitude: propositional expressions of gratitude and prepositional expressions of gratitude. I argue that there is a corresponding distinction between two different kinds of expression of resentment: propositional expressions of resentment and prepositional expressions of resentment. I then argue that theists should suppose neither that propositional expressions of gratitude are prepositional expressions of gratitude to God, nor that propositional expressions of resentment are prepositional expressions of resentment of God.

This introductory article outlines how this special issue contributes to existing scholarship that calls for a rethinking and re-evaluation of common assumptions about early modern philosophy. One way of challenging existing narratives is by questioning what role systems or systematicity play during this period. Another way of rethinking early modern philosophy is by considering assumptions about the role of philosophy itself and how philosophy can effect change in those who form philosophical beliefs or engage in philosophical argumentation. A further way (...) of advancing early modern scholarship is by examining the tight links between early modern views on metaphysics and epistemology, on the one hand, and moral, social, and political philosophy, on the other hand. Moreover, there are ongoing debates whether and how the traditional distinction between rationalism and empiricism, which has been questioned for several reasons, should be replaced. It has been proposed to replace it with a distinction between experimental and speculative philosophy, but this distinction cannot easily accommodate early modern debates concerning moral, social, and political philosophy. In addition to highlighting several ways how early modern philosophy has and can be rethought, we summarize how the papers in this special issue contribute to these ongoing efforts. (shrink)