Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Juhani Yli-Vakkuri and John Hawthorne have recently presented a thought experiment—Mirror Man—designed to refute internalist theories of belief and content. We distinguish five ways in which the case can be interpreted and argue that on none does it refute internalism.

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 argues that the “Canberra Plan” picture of physicalistic reduction of mind--a picture shared by both its proponents and opponents, philosophers as diverse as David Armstrong, David Chalmers Frank Jackson, Jaegwon Kim, Joe Levine and David Lewis--neglects ground (Fine, 2001, 2012). To the extent that the point of view endorsed by the Canberra Plan has an account of the physical/functional ground of mind at all, it is in one version trivial and in another version implausible. In its (...) most general form, the point of view of the Canberra Plan is committed to unacceptably treating indexical or name-related facts as part of the ultimate physical/functional ground of the mental. (shrink)

I defend Frank Jackson's knowledge argument against physicalism in the philosophy of mind from a criticism that has been advanced by Laurence Nemirow and David Lewis. According to their criticism, what Mary lacked when she was in her black and white room was a set of abilities; she did not know how to recognize or imagine certain types of experience from a first-person perspective. Her subsequent discovery of what it is like to experience redness amounts to no more (...) than her acquisition of these abilities. The physicalist can admit this, since it does not commit one to the view that there are any facts of which Mary was ignorant . I argue against this view, on the grounds that the knowledge of what an experience is like cannot be equated with the possession of any set of abilities. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

În această lucrare analizez posibilitatea călătoriei în timp pe baza mai multor lucrări de specialitate, printre care cele ale lui Nicholas J.J. Smith ("Time Travel", The Stanford Encyclopedia of Philosophy”), William Grey (”Troubles with Time Travel”), Ulrich Meyer (”Explaining causal loops”), Simon Keller și Michael Nelson (”Presentists should believe in time-travel”), Frank Arntzenius și Tim Maudlin ("Time Travel and Modern Physics") și David Lewis (“The Paradoxes of Time Travel”). Lucrarea începe cu o Introducere în care fac o scurtă (...) prezentare a călătoriei în timp, și continuă cu o Istoria conceptului de călătorie în timp, prezentarea principalelor Aspecte fizice ale călătoriei în timp, inclusiv călătoria în timp în trecut în relativitatea generală și în fizica cuantică și călătoria în timp în viitor, apoi o prezentare a Paradoxul bunicului care este abordat în aproape toate lucrările de specialitate, urmat de o secțiune dedicată Filosofiei călătoriei în timp, și o secțiune în care analizez Buclele cauzale pentru călătoria în timp. Finalizez lucrarea cu Concluzii, în care expun opiniile personale privind călătoria în timp, și Bibliografia pe care se bazează lucrarea. (shrink)

In his contribution, Mark Alfano lays out a new (to virtue theory) naturalistic way of determining what the virtues are, what it would take for them to be realized, and what it would take for them to be at least possible. This method is derived in large part from David Lewis’s development of Frank Ramsey’s method of implicit definition. The basic idea is to define a set of terms not individually but in tandem. This is accomplished by assembling (...) all and only the common sense platitudes that involve them (e.g., typically, people want to be virtuous), conjoining those platitudes, and replacing the terms in question by existentially quantified variables. If the resulting sentence is satisfied, then whatever satisfies are the virtues. If it isn’t satisfied, there are a couple of options. First, one could just admit defeat by saying that people can’t be virtuous. More plausibly, one could weaken the conjunction by dropping a small number of the platitudes from it (and potentially adding some others). Alfano suggests that the most attractive way to do this is by dropping the platitudes that deal with cross-situational consistency and replacing them with platitudes that involve social construction: basically, people are virtuous (when they are) at least in part because other people signal their expectations of virtuous conduct, which induces virtuous conduct, which in turn induces further signals of expected virtuous conduct, and so on. (shrink)

[What It’s Like, or What It’s About? The Place of Consciousness in the Material World] Summary: The book is both a survey of the contemporary debate and a defense of a distinctive position. Most philosophers nowadays assume that the focus of the philosophy of consciousness, its shared explanandum, is a certain property of experience variously called “phenomenal character,” “qualitative character,” “qualia” or “phenomenology,” understood in terms of what it is like to undergo the experience in question. Consciousness as defined in (...) terms of its phenomenal aspect is often called “phenomenal consciousness.” The major issue that occupies most thinkers is whether this phenomenal character happens to be a physical property, or whether it is rather sui generis. Those who believe the former are materialists; those who conclude the latter are dualists. As the currently dominant metaphysic is materialism – also sometimes called physicalism – the challenge appears to be to slot phenomenal properties among the physical properties that ultimately make up the world. David Chalmers argued powerfully that we can go very far in situating many mental properties in the physical world – namely, the properties that can be understood in functional terms – but that phenomenal properties resist such a treatment. Chalmers calls this “the hard problem” of consciousness. But there are also some quite powerful positive arguments for dualism. The two most influential ones are the modal argument, also offered by Chalmers, and the knowledge argument invented by Frank Jackson. Chalmers invites us to conceive of creatures that are exactly like human beings – physically, functionally, behaviorally – only bereft of phenomenal consciousness. If such creatures are conceivable, says Chalmers, they are metaphysically possible. And if they are metaphysically possible, materialism is false. Jackson, for his part, suggests we imagine Mary who has spent her entire life inside a black-and-white room and has seen the world through a black-and-white TV screen. But she also happens to know everything there is to know about the physics of color. And yet, Jackson suggests that once Mary is finally released from her room and sees a lawn outside, she learns something new: that this is what it is like to experience green color. The current work on consciousness is by and large characterized by attempts to answer these two dualistic arguments. I try to make sense of the positions within the domain of philosophy of consciousness by means of two major distinctions that mutually intersect. First, there is a distinction between dualism and materialism. An apparent third alternative currently on offer, the so-called Russellian monism, is unstable, collapsing into either dualism (panpsychism) or materialism (Russellian physicalism). Materialism comes in two main flavors: either the a posteriori physicalism, which detects an epistemic gap between phenomenal and physical truths, hence denying that the former could be derived from the latter; or the a priori physicalism, which does not acknowledge any such obstacle. The second major distinction is between phenomenism and representationalism. It’s true that Ned Block, who introduced this contrast, meant to distinguish between two kinds of materialism. But I believe that the distinction actually intersects the one between materialism and dualism. We thus arrive at a table with six slots, representing six main positions in the philosophy of consciousness: (1) dualist phenomenism (Chalmers, the early Jackson, and Tyler Burge); (2) dualist representationalism (René Descartes); (3) aposteriori materialist phenomenism (Block); (4) a posteriori materialist representationalism (Michael Tye, Fred Dretske, David Rosenthal); (5) a priori materialist phenomenism (David Lewis); and (6) a priori materialist representationalism (Daniel Dennett, Derk Pereboom). However, this scheme is in fact somewhat misleading. It is true that Dennett is usually classified as an apriori materialist (or, more precisely an apriori materialist representationalist), but I believe that needs to be corrected. In order to understand why, I first analyze varieties of materialist representationalism in detail, in particular various construals of phenomenal character in terms of representation, or intentionality, which includes a discussion of the identity of its content (the issue of externalism). By contrast, Dennett rejects the concept of phenomenal character. Consciousness has no intrinsic, publicly inaccessible properties. On that ground, Dennett builds an empirical, fully functionalist theory of consciousness, which he also tries to integrate within a general Darwinian framework. From that point of view, one can contrast Dennettian and representationalist views on the issue of animal consciousness. In addition to his rejection of phenomenal character, Dennett also abstains from the regular metaphysical departure point of regular materialism. He does not so much ask how an enigmatic property of consciousness fits an antecedently characterized world, but rather how far we can investigate all aspects of the world, including consciousness, using the scientific method. He is thus a methodological naturalist, rather than a metaphysical materialist. While this approach removes obstacles to the science of consciousness, it does not solve what might be called “the hardest problem” – of intentionality, not phenomenal consciousness. The hardest problem consists in the fact that our intentional discourse involves conflicting commitments that prevent a coherent metaphysic of representational states. However, it does not follow that we should give up on this discourse as a theoretical means of reduction as well as a practical tool of explanation. But it might be that intentional discourse is a somewhat pseudo one. (shrink)

The term ‘continuous’ in real analysis wasn’t given an adequate formal definition until 1817. However, important theorems about continuity were proven long before that. How was this possible? In this paper, I introduce and refine a proposed answer to this question, derived from the work of Frank Jackson, David Lewis and other proponents of the ‘Canberra plan’. In brief, the proposal is that before 1817 the meaning of the term ‘continuous’ was determined by a number of ‘platitudes’ which (...) had some special epistemic status. (shrink)

About the possibility of time traveling based on several specialized works, including those of Nicholas J. J. Smith ("Time Travel"), William Grey (”Troubles with Time Travel”), Ulrich Meyer (”Explaining causal loops”), Simon Keller and Michael Nelson (”Presentists should believe in time-travel”), Frank Arntzenius and Tim Maudlin ("Time Travel and Modern Physics"), and David Lewis (“The Paradoxes of Time Travel”). The article begins with an Introduction in which I make a short presentation of the time travel, and continues with (...) a History of the concept of time travel, main physical aspects of time travel, including backward time travel in the past in general relativity and quantum physics, and time travel in the future, then a presentation of the Grandfather paradox that is approached in almost all specialized works, followed by a section dedicated to the Philosophy of time travel, and a section in which I analyze Causal loops for time travel. I finish my work with Conclusions, in which I sustain my personal opinions on the time travel, and the Bibliography on which the work is based. -/- ISSN 978-606-033-195-7, DOI: 10.58679/TW82554. (shrink)

À propos de la possibilité de voyager dans le temps sur la base de plusieurs ouvrages spécialisés, notamment ceux de Nicholas J. J. Smith (« Time Travel »), William Grey (« Troubles with Time Travel »), Ulrich Meyer (« Explaining causal loops »), Simon Keller and Michael Nelson (« Presentists should believe in time-travel »), Frank Arntzenius and Tim Maudlin (« Time Travel and Modern Physics »), et David Lewis (« The Paradoxes of Time Travel »). L'article commence (...) par une Introduction dans laquelle je fais une brève présentation du voyage dans le temps et poursuit par une Histoire du concept de voyage dans le temps, les principaux aspects physiques du voyage dans le temps, y compris les voyages dans le temps dans le passé dans la relativité générale et la physique quantique , et les voyages dans le temps dans le futur, puis une présentation du Paradoxe du grand-père abordé dans presque toutes les œuvres spécialisées, suivie d’une section consacrée à la Philosophie du voyage dans le temps et d’une section dans laquelle j’analyse les Boucles causales pour le voyage dans le temps. Je termine mon travail avec Conclusions, dans laquelle je maintiens mes opinions personnelles sur le voyage dans le temps et la Bibliographie sur laquelle repose le travail. -/- TABLE: -/- Abstract Introducere Istoria conceptului de călătorie în timp Paradoxul bunicului Filosofía călătoriei în timp Buclele cauzale Concluzii Note Bibliografie -/- DOI: 10.13140/RG.2.2.27116.51841. (shrink)

Second part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the last sections of the original paper. || Segunda parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a últimas secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

First part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the introduction and the first two sections of the original paper. || Primera parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a la introducción y las dos primeras secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

Recently, the practice of deciding legal cases on purely statistical evidence has been widely criticised. Many feel uncomfortable with finding someone guilty on the basis of bare probabilities, even though the chance of error might be stupendously small. This is an important issue: with the rise of DNA profiling, courts are increasingly faced with purely statistical evidence. A prominent line of argument—endorsed by Blome-Tillmann 2017; Smith 2018; and Littlejohn 2018—rejects the use of such evidence by appealing to epistemic norms that (...) apply to individual inquirers. My aim in this paper is to rehabilitate purely statistical evidence by arguing that, given the broader aims of legal systems, there are scenarios in which relying on such evidence is appropriate. Along the way I explain why popular arguments appealing to individual epistemic norms to reject legal reliance on bare statistics are unconvincing, by showing that courts and individuals face different epistemic predicaments (in short, individuals can hedge when confronted with statistical evidence, whilst legal tribunals cannot). I also correct some misconceptions about legal practice that have found their way into the recent literature. (shrink)

Recent years have seen fresh impetus brought to debates about the proper role of statistical evidence in the law. Recent work largely centres on a set of puzzles known as the ‘proof paradox’. While these puzzles may initially seem academic, they have important ramifications for the law: raising key conceptual questions about legal proof, and practical questions about DNA evidence. This article introduces the proof paradox, why we should care about it, and new work attempting to resolve it.

In this paper, I offer an analysis of the radical disagreement over the adequacy of string theory. The prominence of string theory despite its notorious lack of empirical support is sometimes explained as a troubling case of science gone awry, driven largely by sociological mechanisms such as groupthink (e.g. Smolin 2006). Others, such as Dawid (2013), explain the controversy by positing a methodological revolution of sorts, according to which string theorists have quietly turned to nonempirical methods of theory assessment given (...) the technological inability to directly test the theory. The appropriate response, according to Dawid, is to acknowledge this development and widen the canons of acceptable scientific methods. As I’ll argue, however, the current situation in fundamental physics does not require either of these responses. Rather, as I’ll suggest, much of the controversy stems from a failure to properly distinguish the “context of justification” from the “context of pursuit”. Both those who accuse string theorists of betraying the scientific method and those who advocate an enlarged conception of scientific methodology objectionably conflate epistemic justification with judgements of pursuit-worthiness. Once we get clear about this distinction and about the different norms governing the two contexts, the current situation in fundamental physics becomes much less puzzling. After defending this diagnosis of the controversy, I’ll show how the argument patterns that have been posited by Dawid as constituting an emergent methodological revolution in science are better off if reworked as arguments belonging to the context of pursuit. (shrink)

In this paper, I consider the relationship between Inference to the Best Explanation and Bayesianism, both of which are well-known accounts of the nature of scientific inference. In Sect. 2, I give a brief overview of Bayesianism and IBE. In Sect. 3, I argue that IBE in its most prominently defended forms is difficult to reconcile with Bayesianism because not all of the items that feature on popular lists of “explanatory virtues”—by means of which IBE ranks competing explanations—have confirmational import. (...) Rather, some of the items that feature on these lists are “informational virtues”—properties that do not make a hypothesis \ more probable than some competitor \ given evidence E, but that, roughly-speaking, give that hypothesis greater informative content. In Sect. 4, I consider as a response to my argument a recent version of compatibilism which argues that IBE can provide further normative constraints on the objectively correct probability function. I argue that this response does not succeed, owing to the difficulty of defending with any generality such further normative constraints. Lastly, in Sect. 5, I propose that IBE should be regarded, not as a theory of scientific inference, but rather as a theory of when we ought to “accept” H, where the acceptability of H is fixed by the goals of science and concerns whether H is worthy of commitment as research program. In this way, IBE and Bayesianism, as I will show, can be made compatible, and thus the Bayesian and the proponent of IBE can be friends. (shrink)

I insist that I was able to raise my hand, and I acknowledge that a law would have been broken had I done so, but I deny that I am therefore able to break a law. To uphold my instance of soft determinism, I need not claim any incredible powers. To uphold the compatibilism that I actually believe, I need not claim that such powers are even possible. My incompatibilist opponent is a creature of fiction, but he has his prototypes (...) in real life. He is modeled partly after Peter van Inwagen and partly on myself when I first worried about van Inwagen's argument against compatibilism. (shrink)

Recent work takes both philosophical and scientific progress to consist in acquiring factive epistemic states such as knowledge. However, much of this work leaves unclear what entity is the subject of these epistemic states. Furthermore, by focusing only on states like knowledge, we overlook progress in intermediate cases between ignorance and knowledge—for example, many now celebrated theories were initially so controversial that they were not known. -/- This paper develops an improved framework for thinking about intellectual progress. Firstly, I argue (...) that we should think of progress relative to the epistemic position of an intellectual community rather than individual inquirers. Secondly, I show how focusing on the extended process of inquiry (rather than the mere presence or absence of states like knowledge) provides a better evaluation of different types of progress. This includes progress through formulating worthwhile questions, acquiring new evidence, and increasing credence on the right answers to these questions. I close by considering the ramifications for philosophical progress, suggesting that my account supports rejecting the most negative views while allowing us to articulate different varieties of optimism and pessimism. (shrink)

ABSTRACT A thriving project in contemporary epistemology concerns identifying and explicating the epistemic virtues. Although there is little sustained argument for this claim, a number of prominent sources suggest that curiosity is an epistemic virtue. In this paper, I provide an account of the virtue of curiosity. After arguing that virtuous curiosity must be appropriately discerning, timely and exacting, I then situate my account in relation to two broader questions for virtue responsibilists: What sort of motivations are required for epistemic (...) virtue? And do epistemic virtues need to be reliable? I will sketch an account on which curiosity is only virtuous when rooted in a non-instrumental appreciation of epistemic goods, before arguing that curiosity can exhibit intellectual virtue irrespective of whether one is reliable in satisfying it. (shrink)

Should we use the same standard of proof to adjudicate guilt for murder and petty theft? Why not tailor the standard of proof to the crime? These relatively neglected questions cut to the heart of central issues in the philosophy of law. This paper scrutinises whether we ought to use the same standard for all criminal cases, in contrast with a flexible approach that uses different standards for different crimes. I reject consequentialist arguments for a radically flexible standard of proof, (...) instead defending a modestly flexible approach on non-consequentialist grounds. The system I defend is one on which we should impose a higher standard of proof for crimes that attract more severe punishments. This proposal, although apparently revisionary, accords with a plausible theory concerning the epistemology of legal judgments and the role they play in society. (shrink)

In this article, I will provide a critical overview of the form of non-deductive reasoning commonly known as “Inference to the Best Explanation” (IBE). Roughly speaking, according to IBE, we ought to infer the hypothesis that provides the best explanation of our evidence. In section 2, I survey some contemporary formulations of IBE and highlight some of its putative applications. In section 3, I distinguish IBE from C.S. Peirce’s notion of abduction. After underlining some of the essential elements of IBE, (...) the rest of the entry is organized around an examination of various problems that IBE confronts, along with some extant attempts to address these problems. In section 4, I consider the question of when a fact requires an explanation, since presumably IBE applies only in cases where some explanation is called for. In section 5, I consider the difficult question of how we ought to understand IBE in light of the fact that among philosophers, there is significant disagreement about what constitutes an explanation. In section 6, I consider different strategies for justifying the truth-conduciveness of the explanatory virtues, e.g., simplicity, unification, scope, etc., criteria which play an indispensable role in any given application of IBE. In section 7, I survey some of the most recent literature on IBE, much of which consists of investigations of the status of IBE from the standpoint of the Bayesian philosophy of science. (shrink)

I argue that traditional views on which beliefs are subject only to purely epistemic assessment can reject demographic profiling, even when based on seemingly robust evidence. This is because the moral failures involved in demographic profiling can be located in the decision not to suspend judgment, rather than supposing that beliefs themselves are a locus of moral evaluation. A key moral reason to suspend judgment when faced with adverse demographic evidence is to promote social equality—this explains why positive profiling is (...) dubious, along with more familiar cases of negative profiling, and why profiling is suspect even when no particular action is at stake. My suspension-based view, while compatible with revisionary normative positions, does not presuppose them. Philosophers of all stripes can reject demographic profiling both in thought and deed. (shrink)

The Preface Paradox is often discussed for its implications for rational belief. Much less discussed is a variant of the Preface Paradox for knowledge. In this paper, I argue that the most plausible closure-friendly resolution to the Preface Paradox for Knowledge is to say that in any given context, we do not know much. I call this view “Socraticism”. I argue that Socraticism is the most plausible view on two accounts—(1) this view is compatible with the claim that most of (...) our knowledge ascriptions are true, and (2) provided that (1) is true, the costs of accepting Socraticism are much less than the costs of accepting any other resolution to the Paradox. I argue for (1) in Section 2 by developing a question-sensitive contextualist model for knowledge that shows how Socraticism is compatible with the claim that most of our knowledge ascriptions are true. I also argue how this contextualist model can achieve this result where other contextualist models fail. I then consider other closure-friendly solutions to the paradox in Section 3 and show how accepting those solutions forces us to give up a number of plausible epistemic principles. (shrink)

Definition of the problem The umbrella term “explicability” refers to the reduction of opacity of artificial intelligence (AI) systems. These efforts are challenging for medical AI applications because higher accuracy often comes at the cost of increased opacity. This entails ethical tensions because physicians and patients desire to trace how results are produced without compromising the performance of AI systems. The centrality of explicability within the informed consent process for medical AI systems compels an ethical reflection on the trade-offs. Which (...) levels of explicability are needed to obtain informed consent when utilizing medical AI? Arguments We proceed in five steps: First, we map the terms commonly associated with explicability as described in the ethics and computer science literature, i.e., disclosure, intelligibility, interpretability, and explainability. Second, we conduct a conceptual analysis of the ethical requirements for explicability when it comes to informed consent. Third, we distinguish hurdles for explicability in terms of epistemic and explanatory opacity. Fourth, this then allows to conclude the level of explicability physicians must reach and what patients can expect. In a final step, we show how the identified levels of explicability can technically be met from the perspective of computer science. Throughout our work, we take diagnostic AI systems in radiology as an example. Conclusion We determined four levels of explicability that need to be distinguished for ethically defensible informed consent processes and showed how developers of medical AI can technically meet these requirements. (shrink)

Recent years have witnessed intensive efforts to specify which requirements ethical artificial intelligence (AI) must meet. General guidelines for ethical AI consider a varying number of principles important. A frequent novel element in these guidelines, that we have bundled together under the term explicability, aims to reduce the black-box character of machine learning algorithms. The centrality of this element invites reflection on the conceptual relation between explicability and the four bioethical principles. This is important because the application of general ethical (...) frameworks to clinical decision-making entails conceptual questions: Is explicability a free-standing principle? Is it already covered by the well-established four bioethical principles? Or is it an independent value that needs to be recognized as such in medical practice? We discuss these questions in a conceptual-ethical analysis, which builds upon the findings of an empirical document analysis. On the example of the medical specialty of radiology, we analyze the position of radiological associations on the ethical use of medical AI. We address three questions: Are there references to explicability or a similar concept? What are the reasons for such inclusion? Which ethical concepts are referred to? (shrink)

The editor's introduction discusses Clarence I. Lewis's conceptual pragmatism when compared with post-empiricist epistemology and argues that several Cartesian assumptions play a major role in the work, not unlike those of Logical Positivism. The suggestion is made that the Cartesian legacy still hidden in Logical Positivism turns out to be a rather heavy ballast for Lewis’s project of restructuring epistemology in a pragmatist key. More in detail, the sore point is the nature of inter-subjectivity. For Lewis, no (...) less than for the Logical Positivists at the time of the Protocols Controversy and Husserl in the Cartesian Meditations, this is a problem without a solution. The reason is that all these philosophers are apparently unable to realize that the existence of a plurality of knowing subjects cannot be treated at once both as a speculative problem and a methodological one. Lewis, thanks to his pragmatist approach both comes closer to the right answer and offers an even more naïve unsatisfactory solution to the pseudo-problem under discussion. The fact that he has clear in mind that inter-subjectivity means not only a plurality of linguistic utterances but also a co-existence of different kinds of practical behaviour. Eventually, the very idea of mind, the key-idea in the book, suffers from the above mentioned tension. In fact, if inter-subjective communication and action is considered at a methodological level, the very idea of mind would not need an analysis, and no kind of ‘reflexive’ analysis. Methodology might be limited to a ‘naïve’ level where the existence of the world and a plurality of subjects be taken as a bedrock of uncritically accepted evidence. Philosophical reflection on ultimate evidence, instead, would take a different approach, maybe the one Wittgenstein was putting into practice in the same years when Mind and the world order was written, namely it would be bound to question the very meaning of the idea of ‘mind’ as an undue fiction – the same carried out by Descartes – when he assumed the Cogito to be at once a body of self-evident truths and a thing or substance, the familiar Platonic idea of psyche or soul. (shrink)

We develop a Bayesian framework for thinking about the way evidence about the here and now can bear on hypotheses about the qualitative character of the world as a whole, including hypotheses according to which the total population of the world is infinite. We show how this framework makes sense of the practice cosmologists have recently adopted in their reasoning about such hypotheses.

Some properties are causally relevant for a certain effect, others are not. In this paper we describe a problem for our understanding of this notion and then offer a solution in terms of the notion of a program explanation.

In this paper, I critically evaluate several related, provocative claims made by proponents of data-intensive science and “Big Data” which bear on scientific methodology, especially the claim that scientists will soon no longer have any use for familiar concepts like causation and explanation. After introducing the issue, in Section 2, I elaborate on the alleged changes to scientific method that feature prominently in discussions of Big Data. In Section 3, I argue that these methodological claims are in tension with a (...) prominent account of scientific method, often called “Inference to the Best Explanation”. Later on, in Section 3, I consider an argument against IBE that will be congenial to proponents of Big Data, namely, the argument due to Roche and Sober Analysis, 73:659–668, that “explanatoriness is evidentially irrelevant.” This argument is based on Bayesianism, one of the most prominent general accounts of theory-confirmation. In Section 4, I consider some extant responses to this argument, especially that of Climenhaga Philosophy of Science, 84:359–368,. In Section 5, I argue that Roche and Sober’s argument does not show that explanatory reasoning is dispensable. In Section 6, I argue that there is good reason to think explanatory reasoning will continue to prove indispensable in scientific practice. Drawing on Cicero’s oft-neglected De Divinatione, I formulate what I call the “Ciceronian Causal-nomological Requirement”, which states, roughly, that causal-nomological knowledge is essential for relying on correlations in predictive inference. I defend a version of the CCR by appealing to the challenge of “spurious correlations,” chance correlations which we should not rely upon for predictive inference. In Section 7, I offer some concluding remarks. (shrink)

Despite playing an important role in epistemology, philosophy of science, and more recently in moral philosophy and aesthetics, the nature of understanding is still much contested. One attractive framework attempts to reduce understanding to other familiar epistemic states. This paper explores and develops a methodology for testing such reductionist theories before offering a counterexample to a recently defended variant on which understanding reduces to what an agent knows.

In this chapter we take stock of some of the complexities of the sprawling field of AI ethics. We consider questions like "what is the proper scope of AI ethics?" And "who counts as an AI ethicist?" At the same time, we flag several potential uses and abuses of AI ethics. These include challenges for the AI ethicist, including what qualifications they should have; the proper place and extent of futuring and speculation in the field; and the dilemmas concerning how (...) we use our public and academic resources. (shrink)

Criminal juries make decisions of great importance. A key criticism of juries is that they are unreliable in a multitude of ways, from exhibiting racial or gendered biases, to misunderstanding their role, to engaging in impropriety such as internet research. Recently, some have even claimed that the use of juries creates injustice on a large-scale, as a cause of low conviction rates for sexual criminality. Unfortunately, empirical research into jury deliberation is undermined by the fact that researchers are unable to (...) study live juries. The indirect sources of evidence used by researchers suffer from various problems, the most important of which is dubious levels of ecological validity. Real jury research—studying live jury deliberation—is controversial. However, as I argue, the objections to it are unconvincing. There is in fact a moral imperative to facilitate real jury research. (shrink)

Theory of "conceptual pragmatism" takes into account both modern philosophical thought and modern mathematics. Stimulating discussions of metaphysics, a priori, philosophic method, much more.

A question, long discussed by legal scholars, has recently provoked a considerable amount of philosophical attention: ‘Is it ever appropriate to base a legal verdict on statistical evidence alone?’ Many philosophers who have considered this question reject legal reliance on bare statistics, even when the odds of error are extremely low. This paper develops a puzzle for the dominant theories concerning why we should eschew bare statistics. Namely, there seem to be compelling scenarios in which there are multiple sources of (...) incriminating statistical evidence. As we conjoin together different types of statistical evidence, it becomes increasingly incredible to suppose that a positive verdict would be impermissible. I suggest that none of the dominant views in the literature can easily accommodate such cases, and close by offering a diagnosis of my own. (shrink)

Legal epistemology has been an area of great philosophical growth since the turn of the century. But recently, a number of philosophers have argued the entire project is misguided, claiming that it relies on an illicit transposition of the norms of individual epistemology to the legal arena. This paper uses these objections as a foil to consider the foundations of legal epistemology, particularly as it applies to the criminal law. The aim is to clarify the fundamental commitments of legal epistemology (...) and suggest a way to vindicate it. (shrink)

This paper defends the heretical view that, at least in some cases, we ought to assign legal liability based on purely statistical evidence. The argument draws on prominent civil law litigation concerning pharmaceutical negligence and asbestos-poisoning. The overall aim is to illustrate moral pitfalls that result from supposing that it is never appropriate to rely on bare statistics when settling a legal dispute.

In this paper, I examine Cicero’s oft-neglected De Divinatione, a dialogue investigating the legitimacy of the practice of divination. First, I offer a novel analysis of the main arguments for divination given by Quintus, highlighting the fact that he employs two logically distinct argument forms. Next, I turn to the first of the main arguments against divination given by Marcus. Here I show, with the help of modern probabilistic tools, that Marcus’ skeptical response is far from the decisive, proto-naturalistic assault (...) on superstition that it is sometimes portrayed to be. Then, I offer an extended analysis of the second of the main arguments against divination given by Marcus. Inspired by Marcus’ second main argument, I formulate, explicate, and defend a substantive principle of scientific methodology that I call the “Ciceronian Causal-Nomological Requirement” (CCR). Roughly, this principle states that causal knowledge is essential for relying on correlations in predictive inference. Although I go on to argue that Marcus’ application of the CCR in his debate with Quintus is dialectically inadequate, I conclude that De Divinatione deserves its place in Cicero’s philosophical corpus, and that ultimately, its significance for the history and philosophy of science ought to be recognized. (shrink)

Jury science is fraught with difficulty. Since legal and institutional hurdles render it all but impossible to study live criminal jury deliberation, researchers make use of various indirect methods to evaluate jury performance. But each of these methods are open to methodological criticism and, strikingly, some of the highest-profile jury research programmes in recent years have reached opposing conclusions. Uncertainty about jury performance is an obstacle for legal reform—ongoing debates about the ‘justice gap’ for complainants of sexual offences has rendered (...) these problems stark. This paper proposes a way to advance the debate. (shrink)

Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both these forms of reasoning has, until now, been lacking. We offer a solution in the form of (structural) causal games, which can be seen as extending Pearl's causal hierarchy to the game-theoretic domain, or as extending Koller and Milch's multi-agent influence diagrams to the causal domain. We then consider three (...) key questions: i) How can the (causal) dependencies in games - either between variables, or between strategies - be modelled in a uniform, principled manner? ii) How may causal queries be computed in causal games, and what assumptions does this require? iii) How do causal games compare to existing formalisms? To address question i), we introduce mechanised games, which encode dependencies between agents' decision rules and the distributions governing the game. In response to question ii), we present definitions of predictions, interventions, and counterfactuals, and discuss the assumptions required for each. Regarding question iii), we describe correspondences between causal games and other formalisms, and explain how causal games can be used to answer queries that other causal or game-theoretic models do not support. Finally, we highlight possible applications of causal games, aided by an extensive open-source Python library. (shrink)

In this article, I consider an important challenge to the popular theory of scientific inference commonly known as ‘inference to the best explanation’, one that has received scant attention.1 1 The problem is that there exists a wide array of rival models of explanation, thus leaving IBE objectionably indeterminate. First, I briefly introduce IBE. Then, I motivate the problem and offer three potential solutions, the most plausible of which is to adopt a kind of pluralism about the rival models of (...) explanation. However, I argue that how ranking explanations on this pluralistic account of IBE remains obscure and pluralism leads to contradictory results. In light of these objections, I attempt to dissolve the problem by showing why IBE does not require a ‘model’ of explanation and by giving an account of what explanation consists in within the context of IBE. (shrink)

Intuitions about intentional action have turned out to be sensitive to normative factors: most people say that an indifferent agent brings about an effect of her action intentionally when it is harmful, but unintentionally when it is beneficial. Joshua Knobe explains this asymmetry, which is known as ‘the Knobe effect’, in terms of the moral valence of the effect, arguing that this explanation generalizes to other asymmetries concerning notions as diverse as deciding and being free. I present an alternative explanation (...) of the Knobe effect in terms of normative reasons. This explanation generalizes to other folk psychological notions such as deciding, but not to such notions as being free. I go on to argue, against Knobe, that offering a unified explanation of all the asymmetries he discusses is in fact undesirable. (shrink)

Efforts to bridge emotion theory with neurobiology can be facilitated by dynamic systems (DS) modeling. DS principles stipulate higher-order wholes emerging from lower-order constituents through bidirectional causal processes cognition relations. I then present a psychological model based on this reconceptualization, identifying trigger, self-amplification, and self-stabilization phases of emotion-appraisal states, leading to consolidating traits. The article goes on to describe neural structures and functions involved in appraisal and emotion, as well as DS mechanisms of integration by which they interact. These mechanisms (...) include nested feedback interactions, global effects of neuromodulation, vertical integration, action-monitoring, and synaptic plasticity, and they are modeled in terms of both functional integration and temporal synchronization. I end by elaborating the psychological model of emotion–appraisal states with reference to neural processes. (shrink)

In this paper, I describe some strategies for teaching an introductory philosophy of science course to Science, Technology, Engineering, and Mathematics (STEM) students, with reference to my own experience teaching a philosophy of science course in the Fall of 2020. The most important strategy that I advocate is what I call the “Second Philosophy” approach, according to which instructors ought to emphasize that the problems that concern philosophers of science are not manufactured and imposed by philosophers from the outside, but (...) rather are ones that arise internally, during the practice of science itself. To justify this approach, I appeal to considerations from both educational research and the epistemology of testimony. In addition, I defend some distinctive learning goals that philosophy of science instructors ought to adopt when teaching STEM students, which include rectifying empirically well-documented shortcomings in students’ conceptions of the “scientific method” and the “nature of science.” Although my primary focus will be on teaching philosophy of science to STEM students, much of what I propose can be applied to non-philosophy majors generally. Ultimately, as I argue, a successful philosophy of science course for non-philosophy majors must be one that advances a student’s science education. The strategies that I describe and defend here are aimed at precisely that end. (shrink)

A lineage of prominent philosophers who have discussed the second-person relation can be regarded as advancing structural accounts. They posit that the second-person relation effects one transformative change to the structure of practical reasoning. In this paper, I criticise this orthodoxy and offer an alternative, substantive account. That is, I argue that entering into second-personal relations with others does indeed affect one's practical reasoning, but it does this not by altering the structure of one's agential thought, but by changing what (...) reasons can become available. The importance of second-personal thought for action is heterogenous. Second-person relations make possible the emergence of a wide variety of different kinds of practical reasons: creating some, revealing others. Recognising this diminishes the appeal of the traditional, structural accounts of the practical significance of such second-personal relations. Moving away from structural accounts facilitates a more thorough understanding of the intersubjective form of action. (shrink)

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..