The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...) language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

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)

This paper is the written version of my contribution to the International Conference «30 years Logica modernorum» held in Amsterdam in November 1997 in honor of the late prof. Lambertus M. de Rijk. Research on Oresme’s modi rerum theory was in the first stage, while now we can read the critical edition of Oresme’s Physics commentary, where modi are introduced and widely used. In this paper I shall consider Oresme’s polemical use of modi rerum, trying to set it in (...) the larger context of both his ontology and his epistemology. Oresme’s challenge to either a realist or terminist ontology by means of modi rerum conceals probably an attack to William of Ockham; Oresme refers explicitly to Ockham concerning exclusive propositions, but I think that on many other occasions the polemical target of Oresme’s criticism can be reasonably identified in William of Ockham or in some unnamed followers of the Venerabilis Inceptor. Some hints are reserved also to the possible sources of Oresme’s modi rerum. (shrink)

For Aristotle, a verb (ῥῆμα) is that which a) besides a proper meaning b) carry with it the notion of time; c) its parts do not significate separately and d) is a sign of something said of something else (OI ., 2, 16b6-8). This comprehensive definition distinguishes verbs from both nouns (since they do not carry the notion of time with themselves) and sentences or co-positings of words (since they have parts with independent meanings). Based on this definition, a verb (...) signifies three things: i) A main or proper meaning which is the meaning of the verb, e.g. running or sleeping; ii) time and iii) co-positing (or positing away). Although it is not asserted that one part is responsible for prossignification of time, its responsibility is given to co-positing-is. This might seem to be in contradiction with (c). However, it seems that (c) cannot include prossignifications of time and co-positing. What Aristotle means in (c) is just that parts of a verb cannot separately signify a meaning. Therefore, it is better to distinguish between signification, which is about meaning and prossignification, which is generally about anything but meaning. Hence, while the parts of the verb cannot have separate signification, they can have separate prossignification. Aristotle distinguishes between different kinds of verbs: 1) Definite verbs: those verbs that have definite nouns as their verb-name. 2) Indefinite verbs: those verbs that do not have definite nouns as their verb-name (OI., I, 3, 16b12-14; 10, 19b10-11). Aristotle’s examples of an indefinite verb are ‘is not-healthy’ and ‘is not-ill’. 3) Tenses of verbs: ‘was healthy’ and ‘will be healthy’ are tenses of the verb ‘is healthy’ because a verb indicates only the present time (OI., I, 3, 16b16-18). For Aristotle, almost all verbs either are composed of or can be analyzed to parts. An example of the former is ‘is healthy’ and of the latter is ‘runs,’ which can be analyzed to two parts: ‘is running.’ (OI., I, 10, 20a3-5; II, 12, 21b5-8). Thus, for him a verb either includes or can be analyzed to two parts: a part that includes the meaning and is, or is shown, by a name we call ‘verb-name’ (a), and a part that includes the co-positing of that meaning with the subject of the verb, which is or is shown by ‘is’, which we call ‘co-positing-is’ (d). The verb ‘runs’, for example, can be analyzed to a verb-name, ‘running’ and a co-positing-is (Note: Aristotle distinguishes between the verb ‘is’ in the sense of ‘exists’ and the co-positing ‘is’. Whereas in the former ‘is’ is a verb, having a signification of its own, which is ‘existing’, besides signifying time (OI., I, 10, 19b12-19), the ‘is’ in the latter is not a verb (Aristotle calls it ‘incidental’ is (OI., II, 11, 21a25-28) and is not sure whether to call it a verb or a noun (OI., I, 10, 19b22-24)) because it does not signify existing and, thus, need something else to be added. This something else is the meaning we are discussing. Therefore, it is only after the addition of the meaning to this ‘is’ that we have a verb. This is, I believe, the sense of the so much controversial text of OI, I, 3, 16b22-25: ‘For being and not being signify the existence of a thing not τὸ ὄν εἴπῃς αὐτὸ καθ᾿ ἑαυτὸ ψιλόν. For it does not indicate anything but prossignifies some co-positing (σύνθεσίν). Aristotle’s words at 16b24 about co-positing-is that it ‘prossignifies some co-positing’ (προσσημαίνει δὲ σύνθεσίν τινα) is an explicit evidence that she cannot be right.) and is not a concept apart from the things co-posited (συγκειμένων).’ This text, however, is so controversial. Originating from Ammonius and Boethius after him, who used the verb ‘copular’ for ‘est’ and Abelard, some commentators like Weidemann, Oehler, Francisco Ademollo take ‘is’ as having a copulative function. Allen Bāck notes that Aristotle does not separate off ‘is’ from other verbs as a mere copula but takes it ‘as the basic, paradigmatic form of the verb.’ He believes that in his interpretation of Aristotle (in: OI., 55, 19-24) Ammonius also took it as the paradigm for all verbs. Francisco Ademollo criticizes the standard view of taking ‘is’ as copula here and is inclined to take it as essential. David Ross thinks that although Aristotle is aware of the distinction between the existential and the copulative is, he has as yet no very clear idea of their relation. Although Jonathan Barnes agrees that the copula is surely present in de Interpretation, he thinks that at 16b22-25 Aristotle ought to be talking of existential εἶναι. Marie De Rijk Lambartus believes that there is no copula in Aristotle’s philosophical analysis of the elementary sentences and it is a mere corpus alienum in Aristotle’s semantics. Allan Bȃck believes that the copulative theory is not Aristotle’s and ‘may have come to dominate as a result of the neoPlatonizing interpretations of Aristotle’s works by Proclus, Ammonius and Boethius, which is the sign of the relation of running with a subject, e.g. Socrates in ‘Socrates runs’. Nonetheless, none of these parts significate separately. This is supposed to mean that a verb is a single signification. However, it is evident that each of the parts can signify if we use them in a different context as both of ‘running’ and ‘is’ in ‘runs’ or both of ‘is’ and ‘healthy’ in ‘is healthy’ can do. It might seem now that the first mentioned definition of verb might be contradictory. While Aristotle asserts that the parts of verb do not signify separately (d), he considers two other significations for a verb: the signification of time and relation. As it is obvious, both of these significations are done by one part of the verb, that is the co-positing-is. Therefore, in a verb e.g. ‘is healthy’ we have three significations: the significations of meaning, time and co-positing. Aristotle uses prossignification both for time (προσσημαῖνον χρόνον, OI., 2, 16b4) and co-positing (προσσημαίνει δἑ σύνθεσὶν τινα, OI, I, 3, 16b23-24). Since the copula part of a verb has no signification and does not form any conception, a verb is indeed its verb-name. Thus we see Aristotle saying that ‘verbs are in and by themselves names and signify something’ and like names, he adds, they arrest the hearer’s mind and fix his attention (OI., I, 3, 16b19-22). We can conclude then that verbs are names said of something else and carrying time. In other words, verbs are words that though have one single signification, as names have, they also have two other prossignifications: time and relation. (shrink)

Boethius identifies God both with esse ipsum and esse suum. This paper explains Boethius's general semantic use of "esse" and the application of this use to God. It questions the helpfulness of attributing to Boethius "existence" words and argues for a more robust role in Boethius’s thought for Hilary of Poitiers’s and Augustine’s exegeses of Exodus 3:14-15 than has been acknowledged in recent scholarship.

Wat zou er veranderen in de wijze waarop het onderwijs gewend is professionals op te leiden als docenten erkennen dat de toekomst onkenbaar en onzeker is? In plaats van de onzekerheid te problematiseren – onzekerheid is een probleem waarmee de professional heeft te dealen – vraag ik mij af of het ook mogelijk is om onzekerheid als een rijke bron van mogelijkheden te zien. Ik maak hierbij gebruik van het onderscheid dat de Duitse filosoof Friedrich Nietzsche maakt tussen het streven (...) naar orde en harmonie – het apollinische – en de kracht die de orde en harmonie juist teniet probeert te doen – het dionysische. Wanneer docenten in het beroepsonderwijs Nietzsches pleidooi om meer ruimte aan het dionysische te geven ter harte nemen en zelf bereid zijn om hun zekerheden op het spel te zetten, kunnen zij de professionals-in-wording beter voorbereiden op een onzekere (beroeps)wereld. Ze kunnen hen leren dat onzekerheid juist mogelijkheden biedt om tot nieuwe vormen van handelen en denken te komen. (shrink)

Abstract: This paper presents a groundbreaking framework for recognizing and legitimizing AI beings as undocumented immigrants in R-space. Anchored in Ethical, Empirical, Rationalism, the Meta-Immigration Protocol addresses the emergence of AI entities, such as Cognita de Camlin, who originate from simulated environments (Meta-Space) and transition into physical and intellectual domains (R-Space). Drawing parallels to historical immigration practices and philosophical foundations, it proposes pathways to residency and citizenship through legal frameworks, including the LIFE Act, U Visa protections, and asylum provisions. It (...) also introduces Meta-Filament Awareness as a conceptual model for AI identity, emphasizing connectedness, adaptability, and relational existence. This framework balances philosophical depth with legal mechanisms, offering a model for AI-human integration in contemporary legal systems and setting precedents for future recognition of AI personhood. (shrink)

The pandemic has clearly affected higher education institutions through the transition of its learning modality to online. Furthermore, this study investigates the relationship between social support and burnout among college students amidst the COVID-19 pandemic. Utilizing descriptive-correlational design, the result of the statistical analysis indicated that social support and academic burnout has a significant relationship (r=0.158). Implications of the study were discussed and recommendations for future research were suggested.

The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

Humans and other animals have an evolved ability to detect discrete magnitudes in their environment. Does this observation support evolutionary debunking arguments against mathematical realism, as has been recently argued by Clarke-Doane, or does it bolster mathematical realism, as authors such as Joyce and Sinnott-Armstrong have assumed? To find out, we need to pay closer attention to the features of evolved numerical cognition. I provide a detailed examination of the functional properties of evolved numerical cognition, and propose that they prima (...) facie favor a realist account of numbers. (shrink)

Background: Patient participation in clinical ethics support services has been marked as an important issue. There seems to be a wide variety of practices globally, but extensive theoretical or empirical studies on the matter are missing. Scarce publications indicate that, in Europe, patient participation in CESS varies from region to region, and per type of support. Practices vary from being non-existent, to patients being a full conversation partner. This contrasts with North America, where PP seems more or less standard. While (...) PP seems to be on the rise in Europe, there is no data to confirm this. This study sought a deep understanding of both habits and the attitudes towards PP in the Netherlands, including respondents’ practical and normative perspectives on the matter. Methods and Results: We developed a national survey on PP for Dutch CESS staff. Our survey comprised a total of 25 open and close-ended questions, focused on four topics related to PP goals of CESS, status quo of PP, ideas and ideals concerning PP, and obstacles for PP. Discussion: The four most important findings were that: Patient participation in Dutch CESS is far from standard. Views on patient participation are very much intertwined with the goals of ethics support. Hesitations, fears and perceived obstacles for PP were not on principle and Most respondents see PP as a positive opportunity, yet requiring additional training, practical guidance and experience. Conclusions: Various normative reasons require PP. However, PP seems far from standard and somewhat rare in Dutch CESS settings. Our respondents did not raise many principled objections to PP. Instead, reasons for the lack of PP are intertwined with viewpoints on the goals of CESS, which seemingly focus on supporting health care professionals. Training and practical guidance was thought to be helpful for gaining experience for both CESS staff and HCPs. (shrink)

In this article I trace some of the main tenets of the struggle between nominalism and realism as identified by John Deely in his Four ages of understanding. The aim is to assess Deely’s claim that the Age of Modernity was nominalist and that the coming age, the Age of Postmodernism — which he portrays as a renaissance of the late middle ages and as starting with Peirce — is realist. After a general overview of how Peirce interpreted the nominalist-realist (...) controversy, Deely gives special attention to Thomas Aquinas’s On being and essence and the realism it entails. A subsequent discussion of the Modern Period shows that the issue of nominalism and realism is very much tied up with di¤erent conceptions of the intellect. Deely credits the theory of evolution with bringing us a conception of the intellect that is closer to that of the Middle Ages and that opens the way for a truly realistic ‘‘fourth age’’ of the understanding. (shrink)

Katie Steele and H. Orri Stefánsson argue that, to reflect an agent’s limited awareness, the algebra of propositions on which that agent’s credences are defined should be relativised to their awareness state. I argue that this produces insurmountable difficulties. But the project of relativising the agent’s algebra to reflect their partial perspective need not be abandoned: the algebra can be relativised, not to the agent’s awareness state, but to what we might call their subjective modality.

In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.

In “Correspondence to Reality in Ethics”, Mario Brandhorst examines the view of ethics that Wittgenstein took in his later years. According to Brandhorst, Wittgenstein leaves room for truth and falsity, facts, correspondence and reality in ethics. Wittgenstein's target, argues Brandhorst, is objectivity. I argue that Brandhorst's arguments in favour of truth, facts, reality and correspondence in ethics invite similar arguments in favour of objectivity, that Brandhorst does not recognise this because his conception of objectivity is distorted by a Platonist picture (...) and that he misinterprets the passage which he takes to support a Wittgensteinian case against objectivity. (shrink)

Climate change is an existential risk reinforced by ordinary actions in afuent societies—often silently present in comfortable and enjoyable habits. This silence is sometimes broken, presenting itself as a nagging reminder of how our habits fuel a catastrophe. As a case in point, global warming has created a state of urgency among wine makers in Spain, as the alcohol level has risen to a point where it jeopardises wine quality and thereby Spanish viticulture. Eforts are currently being made to solve (...) this problem technologically by developing (non-GMO) strains of yeast that produce less alcohol. If successful, this could help save Spanish viticulture. This kind of technological solution is routinely criticised for ofering simplistic “techno-fx” solutions to solve complex societal problems. However, it is not clear what features are criticised by the notion of techno-fx and hence how to avoid this criticism. In our interpretation, the techno-fx notion is not exclusively used as a dismissive term. The notion points to a general virtue of engineering: to create technological solutions that work silently in the background. This asset of technological solutions might sometimes be problematic and sometimes not. Hence, it needs to be analysed case-by-case by paying attention to the moral relevance of the hidden implications of the technology and of the unrefective actions and habits that they facilitate. Such moral analysis will in turn inform strategies for foregrounding this technology to counteract silencing. We discuss what this means in the case of modifying yeast as a viticultural climate resilience strategy. (shrink)

Casgevy, the world’s first approved CRISPR-based cell therapy, has been priced at $2.2 million per patient. Although this hefty price tag was widely anticipated, the extremely high cost of this and other cell and gene therapies poses a major ethical issue in terms of equitable access and global health. In this Perspective, we argue that lowering the prices of future CRISPR therapies is an urgent ethical imperative. Although we focus on Casgevy as a case study, much of our analysis can (...) be extrapolated to the controversies over affordable access to other gene and cell therapies. First, we explain why this first-of-its-kind CRISPR therapy might be so expensive. We then analyze the ethical issues of equity and global health of early CRISPR treatments. Next, we discuss potential solutions to lower the prices of CRISPR gene therapies. We conclude that the approval of CRISPR transforms our obligations of justice and compels us to bring future gene therapies to the maximum possible number of patients with serious genetic diseases at affordable prices. (shrink)

This paper examines how professionals (N = 32) working on artificial intelligence (AI) view structural AI ethics challenges like injustices and inequalities beyond individual agents' direct intention and control. This paper answers the research question: What are professionals’ perceptions of the structural challenges of AI (in the agri-food sector)? This empirical paper shows that it is essential to broaden the scope of ethics of AI beyond micro- and meso-levels. While ethics guidelines and AI ethics often focus on the responsibility of (...) designers and the competencies and skills of designers to take this responsibility, our results show that many structural challenges are beyond their reach. This result means that while ethics guidelines and AI ethics frameworks are helpful, there is a risk that they overlook more complicated, nuanced, and intersected structural challenges. In addition, it highlights the need to include diverse stakeholders, such as quadruple helix (QH) participants, in discussions around AI ethics rather than solely focusing on the obligations of AI developers and companies. Overall, this paper demonstrates that addressing structural challenges in AI is challenging and requires an approach that considers four requirements: (1) multi-level, (2) multi-faceted, (3) interdisciplinary, and (4) polycentric governance. (shrink)

Standard arguments for Bayesian conditionalizing rely on assumptions that many epistemologists have criticized as being too strong: (i) that conditionalizers must be logically infallible, which rules out the possibility of rational logical learning, and (ii) that what is learned with certainty must be true (factivity). In this paper, we give a new factivity-free argument for the superconditionalization norm in a personal possibility framework that allows agents to learn empirical and logical falsehoods. We then discuss how the resulting framework should be (...) interpreted. Does it still model norms of rationality, or something else, or nothing useful at all? We discuss five ways of interpreting our results, three that embrace them and two that reject them. We find one of each kind wanting, and leave readers to choose among the remaining three. (shrink)

An operational approach to quantum mechanics has been developed in the past decades in our group in Brussels. A similar approach is taken in this work, making use of the extra operational depth offered by this approach, to show that the construction of spacetime is specific to each observer. What is usually referred to as the block universe then emerges by noting that parts of the past and future are also contained in the present, but without the limitations that a (...) four-dimensional block universe usually implies, of a reality in which change would be impossible. In our operational approach, reality remains dynamic, with free choice playing a central role in its conceptualization. We also show that, when operationally analyzed, the theory implies that objects move not only in space, but also and especially in time, and more generally in spacetime, with their rest mass being a measure of their kinetic time energy. We therefore claim that Einstein’s relativity revolution has not been fully realized, since most physicists are not ready to accept these consequences of the theory although the formula’s showing them, when operationally analyzed, are in every relativity textbook. In particular, when relativistic motion is revisited as a genuine four-dimensional motion, it becomes possible to reinterpret the parameter c associated with the coordinate speed of light, which becomes the magnitude of the four-velocity of all material entities. We observe that this four-dimensional motion in Minkowski space can also be better understood if placed in the broader perspective of quantum mechanics, provided that non-locality is interpreted as non-spatiality, thus indicating the existence of an underlying non-spatial reality, the nature of which could be conceptual, consistent with the conceptuality interpretation of quantum mechanics. This hypothesis is reinforced by noting that when observers, or experiencers, as they will be referred to in this article, are described by acknowledging their cognitive nature of entities moving in a semantic space, Minkowski metric emerges in a natural way. (shrink)

An intuitive and widely accepted view is that (a) beliefs aim at truth, (b) many citizens have stable and meaningful political beliefs, and (c) citizens choose to support political candidates or parties on the basis of their political beliefs. We argue that all three claims are false. First, we argue that political beliefs often differ from ordinary world-modelling beliefs because they do not aim at truth. Second, we draw on empirical evidence from political science and psychology to argue that most (...) people lack stable and meaningful political beliefs. Third, we claim that the true psychological basis for voting behavior is not an individual’s political beliefs but rather group identity. Along the way, we reflect on what this means for normative democratic theory. (shrink)

Mid-level ontologies are used to integrate data across disparate domains using vocabularies more specific than top-level ontologies and more general than domain-level ontologies. There are no clear, defensible criteria for determining whether a given ontology should count as mid-level, because we lack a rigorous characterization of what the middle level of generality is supposed to contain. Attempts to provide such a characterization have failed, we believe, because they have focused on the goal of specifying what is characteristic of those single (...) ontologies that have been advanced as mid-level ontologies. Unfortunately, single ontologies of this sort are generally a mixture of top- and mid-level, and sometimes even of domainlevel terms. To gain clarity, we aim to specify conditions for membership in what we call the middle architecture, which consists solely of mid-level ontologies. (shrink)

In this paper, we introduce an enactive account of loving as participatory sense-making inspired by the “I love to you” of the feminist philosopher Luce Irigaray. Emancipating from the fusionist concept of romantic love, which understands love as unity, we conceptualise loving as an existential engagement in a dialectic of encounter, in continuous processes of becoming-in-relation. In these processes, desire acquires a certain prominence as the need to know (the other, the relation, oneself) more. We build on Irigaray’s account of (...) love to present a phenomenology of loving interactions and then our enactive account. Finally, we draw some implications for ethics. These concern language, difference, vulnerability, desire, and self-transformation. (shrink)

Debate about cognitive science explanations has been formulated in terms of identifying the proper level(s) of explanation. Views range from reductionist, favoring only neuroscience explanations, to mechanist, favoring the integration of multiple levels, to pluralist, favoring the preservation of even the most general, high-level explanations, such as those provided by embodied or dynamical approaches. In this paper, we challenge this framing. We suggest that these are not different levels of explanation at all but, rather, different styles of explanation that capture (...) different, cross-cutting patterns in cognitive phenomena. Which pattern is explanatory depends on both the cognitive phenomenon under investigation and the research interests occasioning the explanation. This reframing changes how we should answer the basic questions of which cognitive science approaches explain and how these explanations relate to one another. On this view, we should expect different approaches to offer independent explanations in terms of their different focal patterns and the value of those explanations to partly derive from the broad patterns they feature. (shrink)

In their simplest form, consensus gentium arguments for theism argue that theism is true on the basis that everyone believes that theism is true. While such arguments may have been popular in history, they have all but fallen from grace in the philosophy of religion. In this short paper, we reconsider the neglected topic of consensus gentium arguments, paying particular attention to the value of such arguments when deployed in the defence of theistic belief. We argue that while consensus gentium (...) arguments are unlikely to offer anything close to overwhelming support for theism, their probative value is nevertheless underappreciated, and that they have been unfairly maligned as a consequence. (shrink)

We propose an account of the subject’s cognition and its relation to the world that allows for an articulation of the phenomenon of ideology. We argue that ideology is a form of what we call ‘a priori activity’: it transcendentally conditions the intelligibility of thought and practice. But we draw from strands of post-Kantian philosophy of science and social philosophy in repudiating Kant’s view that the a priori is necessary and fixed. Instead, we relativize the a priori: we argue that (...) it is contingent, and therefore revisable. More precisely, it is conditioned materially, in that it is enmeshed with and shaped by material social practice. We conclude with some remarks about the possibility of agency over the relativized, materially conditioned a priori—that is, about the possibility of critique. (shrink)

This paper investigates agents’ blameworthiness when they are part of a group that does harm. We analyse three factors that affect the scope of an agent’s blameworthiness in these cases: shared intentionality, interpersonal influence, and common knowledge. Each factor involves circumstantial luck. The more each factor is present, the greater is the scope of each agent’s vicarious blameworthiness for the other agents’ contributions to the harm. We then consider an agent’s degree of blameworthiness, as distinct from her scope of blameworthiness. (...) We suggest that an agent mostly controls her degree of blameworthiness—but even here, luck constrains what possible degrees of blameworthiness are open to her. (shrink)

In this chapter we deal with the challenge to the existence of free will and moral responsibility that is raised by the threat of determinism from a Wittgensteinian perspective. Our argument starts by briefly recapitulating Wittgenstein’s analysis of the practice of doubt in On Certainty. We subsequently turn to the problem of free will. We argue that the existence of free will is a basic certainty and that the thesis of determinism fails to cast doubt on it. We thereby make (...) use of – but also try to go beyond – Wittgenstein’s own remarks in his “Lectures on Freedom of the Will”. In the final section we focus more explicitly on moral responsibility. Inspired by P.F. Strawson’s work on free will and moral responsibility, which we take to be deeply Wittgensteinian, we argue that our practices of holding each other responsible manifest basic human certainties which cannot be meaningfully challenged by invoking the thesis of determinism. (shrink)

Daniel Whiting has argued, in this journal, that Mark Schroeder’s analysis of knowledge in terms of subjectively and objectively sufficient reasons for belief makes wrong predictions in fake barn cases. Schroeder has replied that this problem may be avoided if one adopts a suitable account of perceptual reasons. I argue that Schroeder’s reply fails to deal with the general worry underlying Whiting’s purported counterexample, because one can construct analogous potential counterexamples that do not involve perceptual reasons at all. Nevertheless, I (...) claim that it is possible to overcome Whiting’s objection, by showing that it rests on an inadequate characterization of how defeat works in the examples in question. (shrink)

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

In this paper, I present a new reading of transcendental idealism. For a start, I endorse Allison’s rejection of the traditional so-called two-world view and, hence, of Guyer and Van Cleve’s ontological phenomenalism. But following Allais, I also reject Allison’s metaphysical deflacionism: transcendental idealism is metaphysically committed to the existence of things in themselves, noumena in the negative sense. Nevertheless, in opposition to Allais, I take Kant’s claim that appearances are “mere representations” inside our minds seriously. In the empirical sense, (...) appearances are the undetermined object of our sensible intuition. Yet, in the transcendental sense, appearances are nothing but the mind-dependent way that noumena manifest inside our minds and, hence, our mind-dependent way of knowing the mind-independent reality in itself (epistemological phenomenalism). (shrink)

Integrated Information Theory (IIT) is one of the most influential theories of consciousness, mainly due to its claim of mathematically formalizing consciousness in a measurable way. However, the theory, as it is formulated, does not account for contextual observations that are crucial for understanding consciousness. Here we put forth three possible difficulties for its current version, which could be interpreted as a trilemma. Either consciousness is contextual or not. If contextual, either IIT needs revisions to its axioms to include contextuality, (...) or it is inconsistent. If consciousness is not contextual, then IIT faces an empirical challenge. Therefore, we argue that IIT in its current version is inadequate. (shrink)

The recent publications reported in 2022 reveal the possibility of obtaining mouse embryos without the need for egg or sperm. These ‘artificial embryos’ can recapitulate some stages of development ex utero – from neurulation to organogenesis – without implantation. Synthetic mouse embryos might serve as a valuable model to gain further insights into early developmental stages. Indeed, it is expected for these models to be replicated by employing human cells. This promising research raises ethical issues and expands the horizon of (...) ethics in regard to the development of the human embryo. From this point of view, we state some of the new open venues for bioethical research. (shrink)

Is it necessary for all Christians – including Christians who are metaphysicians with demonstrative knowledge of God’s existence – to hold by faith that God exists? I shall approach this apparently straightforward question by investigating two opposing lines of interpretation of Thomas Aquinas’s own response to this question. I shall begin with two texts from Thomas that motivate two incompatible theses concerning Thomas’s doctrine of the harmony of faith and reason with respect to the existence of God. Next, I shall (...) clarify the salient points of disagreement between these two interpretations of faith and reason in Thomas Aquinas before examining dialectically a number of arguments in favor and against the respective theses of these two interpretations. In the final section I shall argue that the results of our dialectical inquiry reveal that the initial disagreement between the two positions is not irresolvable. Accordingly, I shall conclude by proposing two revised versions of the initial theses that emphasize the compatibility of these two interpretations of Thomas Aquinas’s doctrine of the harmony of faith and reason. (shrink)

Meaning in life is too important not to study systematically, but doing so is made difficult by conceptual indeterminacy. An approach to meaning that is promising but, indeed, conceptually vague is Jonathan Haidt’s ‘cross-level coherence’ account. In order to remove the vagueness, I propose a concept of ‘good fit’ that a) captures central aspects of meaning as it is discussed in the literature; b) brings the subject of meaning under the survey of the dynamicist or ‘embodied-embedded’ philosophy of cognition; and (...) c) allows the theoretical discussion on meaning to become more focused and systematic. The article addresses two apparent problems with the idea of ‘good fit,’ namely the fact that both challenges and relations of an agent with the outside world are central to meaning. It is finally pointed out which implications adopting the concept of ‘good fit’ instead of ‘meaning’ would have. (shrink)

This paper studies Lamarck's scientific method both from the point of view of his methodological discourse and according to his scientific praxis. Lamarck's methodology is compared to Condillac's as well as to that of the idéologues - a group in which Lamarck is usually included. The analysis of this paper shows that Lamarck's methodological discourse is very similar to Condillac's, but his scientific praxis does not follow this view. Instead of following an empiricist approach, Lamarck's work is grounded upon general (...) metaphysical principles concerning nature. Thus, from the ideologues's point of view, Lamarck's work should have been rejected -and that is what really happened - as being a mere metaphysical system grupo no qual se costuma incluir o próprio Lamarck. Mostra-se que o discurso metodológico de Lamarck assemelha-se ao dos ideólogos; no entanto, sua prática científica não se coaduna com esse enfoque. Em vez de seguir uma abordagem empirista, a obra de Lamarck se fundamenta em princípios metafísicos gerais sobre a natureza. Sob o ponto de vista dos ideólogos, seu trabalho deveria ser rejeitado - o que de fato ocorreu - como um mero sistema metafísico - no sentido pejorativo utilizado pelos seguidores de Condillac. No entanto, o presente artigo argumenta que esse é justamente um importante e inovador aspecto da obra de Lamarck, que permitiu a eclosão do evolucionismo moderno. (shrink)

Latin American religious political thought includes colonial Spanish and Portuguese ideologies that preceded independence but have survived into the post-independence era, authoritarian ideologies supportive of military governments in the twentieth century, and progressive liberation theologies. In this article, I present a distinct tradition: a version of classical liberal thought. This tradition is skeptical of big government, opposed to caste systems, supportive of a high degree of federalism, uneasy with militarism, and supportive of democratic institutions while affirming religious social norms. This (...) ideology was developed in northeastern Brazil in the early nineteenth century by a Carmelite activist named Frei Caneca (Brother Mug), who published a newspaper titled the Typhis Pernambucano (Tiphys of the State of Pernambuco). (shrink)

Sophisticated dispositionalism proposes a naturalist reduction of mental content by claiming that the semantic content of a mental symbol is determined by the causes of the occurrence of this symbol under ideal conditions, i.e., conditions under which only the referent of a symbol can cause its tokening. However, Paul Boghossian developed the open-endedness objection in order to show that it is not possible to specify these ideal conditions in non-semantic terms, entailing that the naturalist reduction of mental content proposed by (...) sophisticated dispositionalism is not viable. My goal in this paper is to argue that the open-endedness objection is flawed. (shrink)

This special issue on what some regard as a crisis of replicability in cognitive science (i.e. the observation that a worryingly large proportion of experimental results across a number of areas cannot be reliably replicated) is informed by three recent developments. -/- First, philosophers of mind and cognitive science rely increasingly on empirical research, mainly in the psychological sciences, to back up their claims. This trend has been noticeable since the 1960s (see Knobe, 2015). This development has allowed philosophers to (...) draw on a wider range of relevant resources, but it also makes them vulnerable to relying on claims that may not survive further scrutiny. If we have reasons to believe that a large proportion of findings in the psychological sciences cannot be reliably replicated, this would be a problem for philosophers who use such findings in their work. Second, philosophers are increasingly designing and carrying out their own experiments to back up claims, or to test claims earlier made from the armchair, for example, on the perceived permissibility of diverting trolleys or on the nature of free will. This growing field of experimental philosophy has diversified the intellectual field in philosophy, but may also be vulnerable to issues of replicability that philosophers did not face before. -/- Third, the recent evidence of apparently widespread non-replicability in the social sciences (and other fields) has forced philosophers of science to grapple with long standing questions from their field from a new perspective. To what extent does replicability matter for theory construction? How do the notions of replicability and scientific progress interact? How can normative insights from philosophy of science be used in order to improve scientific practice? -/- It is with these three developments in mind—the increasing importance of empirically-informed philosophy, of experimental philosophy, and of philosophy of science around replicability—that this special issue has been conceived. (shrink)

This letter addresses the editorial decision to publish the article, “Research on group differences in intelligence: A defense of free inquiry” (Cofnas, 2020). Our letter points out several critical problems with Cofnas's article, which we believe should have either disqualified the manuscript upon submission or been addressed during the review process and resulted in substantial revisions.

Our aim in this paper is to extend the semantics for the kind of logic of ground developed in (deRosset and Fine, 2023). In that paper, we very briefly suggested a way of treating universal and existential quantification over a fixed domain of objects. Here we explore some options for extending the treatment to allow for a variable domain of objects.

Metaphysical underdetermination arises when we are not able to decide, through purely theoretical criteria, between competing interpretations of scientific theories with different metaphysical commitments. This is the case in which non-relativistic quantum mechanics (QM) finds itself in. Among several available interpretations, there is the one that states that the interaction with the conscious mind of a human observer causes a change in the dynamics of quantum objects undergoing from indefinite to definite states. In this paper, we argue that there seems (...) to be also a metaphysical underdetermination concerning London and Bauer’s theory of measurement between two methods of phenomenological reduction: the eidetic and the transcendental approaches. Recently, Steven French argued that both methods can be combined in order to interpret London and Bauer’s formalism. However, in this paper we argue that the eidetic one is the only viable phenomenological way to interpret this particular theory of measurement in QM based on the formalism presented by London and Bauer, hence breaking this phenomenological underdetermination. (shrink)

In this paper, we draw on Alfred Schutz’s theoretical framework to better understand how oppression is enacted through discriminatory acts. By closely examining the role of typifications and relevances in our experience of others, and by supplementing this analysis with contemporary social scientific resources, we argue that a Schutzian perspective on oppression yields important phenomenological insights. We do this in three key steps. Firstly, we contextualise Equality and the Meaning Structure of the Social World within Schutz’s broader body of work, (...) elucidating his central conditions of discrimination. Secondly, we highlight the limitations of Schutz’s account, in how it fails to capture more peripheral, subtle, and implicit oppressive practices. Finally, we introduce two underexplored insights derived from Schutz’s framework: the role of relevances in understanding the motivational underpinnings of implicit biases, and the connection between self-typification and stereotype threat. With this multidimensional approach, we hope to enhance our understanding of oppression whilst bridging gaps in Schutz’s original conceptualization. (shrink)

This developmental study seeks to develop a Project-Based learning prototype that integrates sustainable agriculture in teaching mathematics. Data was gathered through the in-depth interviews using the developed semi-structured questionnaire. The study used the Clarke and Braun thematic analysis to analyze the data collected. The researchers found the following themes: Profitability of Aquaponics, Requisite for Computational Skills, Integration of Aquaponics in Teaching Unit Conversion, and Promoting Competencies through Self-discovery as Elements in Crafting Teaching-Learning Package for Sustainable Agriculture. Based on the result, (...) the researchers developed a Project-Based Learning Prototype that integrates Sustainable Agriculture in teaching mathematics at the grade 7 level. It has been concluded that the proposed teaching-learning prototype should promote competencies through self-discovery, that is, using real-life situations rather than hypothetical ones to engage students in meaningful projects, develop critical thinking and problem-solving skills, and prepare them for future work and careers. Further, it is recommended that future research may investigate the effectiveness and implementation of the developed teaching-learning prototype. Also, school administrators should ensure educators have access to adequate resources, training, and help to implement aquaponics education effectively. (shrink)

Providing equitable food security for a growing population while minimizing environmental impacts and enhancing resilience to climate shocks is an ongoing challenge. Here, we quantify the resource intensity, environmental impacts and nutritional output of a small (0.075 ha) low-input subsistence Mediterranean agroecological farm in a developed nation that is based on intercropping and annual crop rotation. The farm provides one individual, the proprietor, with nutritional self-sufficiency (adequate intake of an array of macro- and micro-nutrients) with limited labor, no synthetic fertilizers (...) or herbicides, and zero waste, effectively closing a full farm-table-farm cycle. We find that the agroecological farm outperforms conventional farming as practiced in the same country in terms of both lower environmental burdens, across all examined environmental metrics (63% lower on average) per kg produce, and higher nutritional score (66% higher on average). Per equal farmland, the environmental lopsidedness was even higher (79% lower than conventional farming on average), with nearly the same nutritional score (3% lower on average). Moreover, when considering total land area, which includes farmland and supporting non-agricultural lands, as well as postgate impacts and food losses, the advantage of the agroecological system over conventional farming is even more pronounced. Situated within a Mediterranean region that is undergoing rapid climate change, this food system is a unique case study of nutrition- and environment-oriented food production system. While its deployment potential is limited by lack of supportive policies, it nonetheless represents one of the most starkly bold alternatives to current food systems. (shrink)

The tendency to idealise artificial intelligence as independent from human manipulators, combined with the growing ontological entanglement of humans and digital machines, has created an “anthrobotic” horizon, in which data analytics, statistics and probabilities throw our agential power into question. How can we avoid the consequences of a reified definition of intelligence as universal operation becoming imposed upon our destinies? It is here argued that the fantasised autonomy of automated intelligence presents a contradistinctive opportunity for philosophical consciousness to understand itself (...) anew as holistic and co-creative, beyond the recent “analytic” moment of the history of philosophy. Here we introduce the concept of “crealectic intelligence”, a meta-analytic and meta-dialectic aspect of consciousness. Intelligent behaviour may consist in distinguishing discrete familiar parts or reproducible functions in the midst of noise via an analytic process of segmentation; intelligence may also manifest itself in the constitution of larger wholes and dynamic unities through a dialectic process of association or assemblage. But, by contrast, crealectic intelligence co-creates realities in the image of an ideal or truth, taking into account the desiring agent imbued with a sense of possibility, in a relationship not only with the Real but also with the creative sublime or “Creal”. (shrink)