Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But (...) the mathematical theory of categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness (“n-awareness”). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness by appealing to the (...) mathematical formalism of higher category theory. The beauty of higher category theory lies in its universality. Pluralism is categorical. In particular, we model awareness using the theories of derived categories and (infinity, 1)-topoi which will give rise to our meta-language. We then posit a “grammar” (“n-declension”) which could express n-awareness, accompanied by a new temporal ontology (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? Another question which could be re-conceptualized in our model is one of soteriology related to this pluralism: what is a self in this context? A new model of “personal identity over time” is thus introduced. (shrink)

From the perspective of an African ethic, analytically interpreted as a philosophical principle of right action, what are the proper final ends of a publicly funded university and how should they be ranked? To answer this question, I first provide a brief but inclusive review of the literature on Africanising higher education from the past 50 years, and contend that the prominent final ends suggested in it can be reduced to five major categories. Then, I spell out an intuitively (...) attractive African moral theory and apply it to these five final ends, arguing that three of them are appropriate but that two of them are not. After that, I maintain that the African moral theory prescribes two additional final ends for a public university that are not salient in the literature. Next, I argue that employing the African moral theory as I do enables one to rebut several criticisms of Africanising higher education that have recently been made from a liberal perspective. I conclude by posing questions suitable for future research. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). (...) While STT, understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the (...) system QS4M+BF+FIN. It corresponds to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections. (shrink)

In this paper, we propose a mathematical model of subjective experience in terms of classes of hierarchical geometries of representations (“n-awareness”). We first outline a general framework by recalling concepts from higher category theory, homotopy theory, and the theory of (infinity,1)-topoi. We then state three conjectures that enrich this framework. We first propose that the (infinity,1)-category of a geometric structure known as perfectoid diamond is an (infinity,1)-topos. In order to construct a topology on the (...) (infinity,1)-category of diamonds we then propose that topological localization, in the sense of Grothendieck-Rezk-Lurie (infinity,1)-topoi, extends to the (infinity,1)-category of diamonds. We provide a small-scale model using triangulated categories. Finally, our meta-model takes the form of Efimov K-theory of the (infinity,1)-category of perfectoid diamonds, which illustrates structural equivalences between the category of diamonds and subjective experience (i.e.its privacy, self-containedness, and self-reflexivity). Based on this, we investigate implications of the model. We posit a grammar (“n-declension”) for a novel language to express n-awareness, accompanied by a new temporal scheme (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? We also examine the notion of “self” within our framework. A new model of personal identity is introduced which resembles a categorical version of the “bundle theory”: selves are not substances in which properties inhere but (weakly) persistent moduli spaces in the K-theory of perfectoid diamonds. (shrink)

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

Ambitious higher-order theories of consciousness aim to account for conscious states when these are understood in terms of what-it-is-like-ness. This paper considers two arguments concerning this aim, and concludes that ambitious theories fail. The misrepresentation argument against HO theories aims to show that the possibility of radical misrepresentation—there being a HO state about a state the subject is not in—leads to a contradiction. In contrast, the awareness argument aims to bolster HO theories by showing that subjects are aware of (...) all their conscious states. Both arguments hinge on how we understand two related notions which are ubiquitous in discussions of consciousness: those of what-it-is-like-ness and there being something it is like for a subject to be in a mental state. This paper examines how HO theorists must understand the two crucial notions if they are to reject the misrepresentation argument but assert the awareness argument. It shows that HO theorists can and do adopt an understanding—the HO reading—which seems to give them what they want. But adopting the HO reading changes the two arguments. On this reading, the awareness argument tells us nothing about those states there is something it is like to be in, and so offers no support to ambitious HO theories. And to respond to the misrepresentation understood according to the HO reading is to simply ignore the argument presented, and so to give no response at all. As things stand, we should deny that HO theories can account for what-it-is-like-ness. (shrink)

Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided (...) into 5 sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory. (shrink)

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions can (...) be abstracted in purely arrow-theoretic way for abstract category theory. In short, the language of elements & distinctions is the conceptual language in which the category of sets is written, and abstract category theory gives the abstract arrows version of those definitions. (shrink)

Emotional states of consciousness, or what are typically called emotional feelings, are traditionally viewed as being innately programed in subcortical areas of the brain, and are often treated as different from cognitive states of consciousness, such as those related to the perception of external stimuli. We argue that conscious experiences, regardless of their content, arise from one system in the brain. On this view, what differs in emotional and non-emotional states is the kind of inputs that are processed by a (...) general cortical network of cognition, a network essential for conscious experiences. Although subcortical circuits are not directly responsible for conscious feelings, they provide non-conscious inputs that coalesce with other kinds of neural signals in the cognitive assembly of conscious emotional experiences. In building the case for this proposal, we defend a modified version of what is known as the higher-order theory of consciousness. (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)

ABSTRACTAmbitious Higher-order theories of consciousness – Higher-order theories that purport to give an account of phenomenal consciousness – face a well-known objection from the possibility of ra...

The representational content or subject matter of a picture is normally distinguished from various non-representational components of meaning involved in artworks, such as expressive, stylistic or intentional factors. However, I show how such non subject matter components may themselves be analyzed in content terms, if two different categories of representation are recognized--aspect indication for stylistic etc. factors, and normal representation for subject matter content. On the account given, the relevant kinds of content are hierarchically structured, with relatively unconceptualized lower level (...) aspectual contents encoding or symbolizing higher level conceptualized representational subject matter. Such an account is strongly supported by the latest findings of cognitive science regarding levels of conceptualization. The paper also demonstrates how the account given is compatible with the actual pictorial competence of normal viewers of visual artworks. (shrink)

Doerig et al. have set several criteria that theories of consciousness need to fulfill. By these criteria, higher-order theories fare better than most existing theories. But they also argue that higher-order theories may not be able to answer both the ‘small network argument’ and the ‘other systems argument’. In response, we focus on the case of the Perceptual Reality Monitoring theory to explain why higher-order theories do just fine.

The concept of universal in Aristotle’s philosophy has several aspects. 1) Universal and plurality Aristotle posits universal (καθόλου) versus particular (καθ᾿ ἕκαστον) each covering a range of elements: some elements are universal while others are particulars. Aristotle defines universal as ‘that which by nature is predicated (κατηγορεῖσθαι) of many subjects’ and particular as ‘that which is not’ so. (OI ., I, 7, 17a38-b1) The plurality of possible subjects of universal is what Aristotle insists on. The inclusion of the notion of (...) ‘plurality’ in the definition of universal might make us expect to have ‘singularity’ in the definition of particular. So, when Aristotle says that universal is that which is naturally predicable of many subjects, we expect him to define the particular as ‘that which is predicable of one subject only.’ Nonetheless, Aristotle does not and indeed cannot define it this way. We cannot find a text in which he defines particular as such simply because particulars are not predicable of any subject unless we regard their predication of themselves a predication, which Aristotle does not, at least in a genuine sense. Thus, he defines a particular only negatively. Hence, the capability of predication of a plurality is indeed the capability of predication itself because the particular cannot be predicated of anything. A particular is that which cannot be predicated of anything (or: of anything else, if saying of a thing of itself is to be considered as predication). It is ‘numerically one’ and what of which the universal is predicated (Met., B, 999b34-1000a1). Those that cannot be predicated of anything, or particulars, are of two kinds: primary substances and individual accidents. Besides Categories we can hardly find a text where Aristotle discusses individual accidents maybe because they are of much less importance for him compared with substances. However, substances are what he mentions repeatedly so that we can confine particulars to substances. In fact, it is substance that Aristotle considers so repeatedly as what cannot be predicated. As the main particulars and individuals, substances are posited as the main things that are not universal. The closeness of the two concepts of ‘substance’ and ‘unpredicability’ is to the extent that he ignores individual accidents and makes these concepts equal and as the opposite of universal: ‘what is not predicated of a subject is said a substance (οὐσία λέγετα τὸ μὴ καθ᾿ ὑποκειμένου) but what is always said of some subject is called a universal.’ (Met., Z, 1038b15-16. cf. Met., B, 1003a7-9) Therefore, since particulars cannot be predicated of any subject and, thus, every predication is necessarily a predication of a plurality of subjects, the inclusion of ‘plurality’ in the definition of universal is either i) in the sense of ‘representation’ or it must be regarded as ii) an unnecessary addition mentioned just for clarification or iii) only for avoiding cases where something is predicated of itself. By the first we mean this: though a substance is not said of anything, it represents some one thing and there is some one thing that is that substance. A universal, on the other hand, can represent a plurality of things. There is, however, a third possibility that has no essential difference with the sense of representation. Aristotle might have ‘arbitrary predication’ in mind when he suses ‘plurality’ in the definition of universal: while a particular can be the arbitrary predicate of just one thing, a universal can be predicated, both really and arbitrarily, of many things. Whatever Aristotle’s intention was, what is important for our investigation is this: Aristotle uses the notion of plurality in the definition of universal in spite of the fact that it is not necessary. What this implies is that this notion is so important for Aristotle that albeit every predictability is a predictability of a possible plurality, he adds the notion of plurality. What makes this notion important, I believe, is that he has something like a class in mind when he defines a universal because the notion of plurality is indistinguishable from a class. 2) Universal and whole; particular and part In Aristotle, the concepts of universal and whole are so close: ‘That which is true of a whole class and is said to hold good as a whole (which implies that it is a kind of whole) is true of a whole in the sense that it contains many things by being predicated of each, and that each and all of them, e.g. man, horse, god, are one because all are living things (τὸ μὲν γὰρ καθόλου καὶ τὸ ὃλως λεγόμενον ὡς πολλὰ περιέχον τῷ κατηγορεῖσθαι καθ’ ἑκάστου καὶ ἓν ἃπαντα εἶναι ὡς ἑκαστον, ...). Phil Corkum points to Aristotle’s distinction between quantitative and integral wholes in Met., 5, 26, 1023b26-33 where a quantitative whole is called homoiomerous, as the sum of animal while an integral whole, e.g. a house, is called heteromerous. He links the notion of homoiomerous to the notion of indivisibility of individuals (in 1b6-9 and 3b10-18) and indivisibility of universals. He believes that in PrA., I, 4, 25b32-26a2 it is the transitivity of mereological containment that is discussed. 3) Universal is common between instances Universal is common (κοινόν) between all the plurality of subjects it can be predicated of because what belongs to more than one thing must be common between them. (Met., Z, 1038b10-12) In the Same way, what is common cannot be a particular and, thus, a substance. (Met., Z, 1040b23-24) An individual or substance is a ‘this’ and a ‘this’ cannot be what common indicates simply because it is here in ‘this’ and can be nowhere else while common must be common between several things. In fact, what can be indicated by a common is indeed a ‘such.’ (Met., B, 1003a7-9) 4) Universal is the same in its instances We have a universal i) in all of its instances and ii) in the same way (ταὐτὸ ἐπὶ πὰντων). (Met, Γ, 1005a9-10) While the first point is evident (otherwise how could it be their universal?), the second point might seem not only ambiguous but the cause of many problems. For Aristotle, therefore, a universal must be ‘one’ in number and not many. This numerically one universal is the very universal for all its instances. It is the same universal that is predicated on each of its instances. This sameness is not, however, a mere homonymous sameness or the sameness of a homonymous word. All these three points, namely oneness, sameness and rejection of mere homonymous sameness are asserted in Aristotle’s own words τι ἕν καὶ τὸ αὐτὸ ἐπὶ πλειόνων μη ὁμώνυμον. (PsA., A, 11, 77a8-9) This non-homonymous unity is asserted also in PsA., A, 24, 85b15-16. 5) Universal as predicate Contrary to substance that cannot be a predicate, universal is what cannot be prevented from being in the place of predicate. Therefore, Aristotle distinguishes universal from subject because while the latter must necessarily be capable of being a predicate, though it might take the position of subject as well, the latter does not necessarily have such a capability especially when it is a this because it cannot be a predicate in such a case: ‘For the subject and universal differ in being or not being a ‘this’; like man and body and soul are the subject of accidents while the accident is something like musical or white.’ (Met., Θ, 1049a27-30) This indicates that a universal is basically different from subject and although it can be posited in the place of subject, it is the position of predicate that is its position as a universal. In Metaphysics, Z, 13, Aristotle asserts that ‘no universal can be substance.’ The same is asserted in Met., I, 1053b16-17 cf. 1060b21. As James H. Lesher points out, Aristotle’s position is that ‘nothing predicated universally is a substance.’ 6) Universal in substance In Met., 10388b8-9 Aristotle says that no universal is a substance. While a universal cannot be a substance in the way essence (to ti en einai) is, it is, Aristotle asserts, ‘in’ it (ἐν τούτῳ δὲ ἐνυπάρχειν) (Met., Ζ, 1038b16-18). Aristotle’s examples are: animal in man and horse. A universal is ‘in’ the thing it is its universal. But in what sense a universal can be in a thing? It cannot be in it as ‘in a subject’, which is denied in Categories for secondary substances. If we check the senses of being in, we can find some other senses of ‘being in’ some of which are compatible with this sense of ‘being in.’ Michael J. Loux believes that contrary to his earlier works like Peri Ideaon and Organon in which the immanence of universals signals a reproduction of the platonic two worlds picture, in his later works like Physics and Metaphysics, when Aristotle tells us that universals are in particulars he means that they are ‘components of or ingredients in sensible particulars.’ In Metaphysics (Δ, 1014b3-9) Aristotle compares elements with universals and call them ‘the most universal things because elements are present either in all or in many things. 7) Logos is of universal Not only universals have logos (Met., Z, 1038b18-19) but ‘Every logos and every science is of universals and not of particulars.’ (Met., K, 1059b25-26) The reason is that they are the same: the logos of the unjiversal ‘circle’ is nothing but ‘being circle’ and the logos of the universal ‘soul’ is ‘being soul.’ (Met., Z, 1035b33-1036a2) The same is said about definition. (Met, Z, 1036a27-29) 8) Universal: in the soul Contrasting individuals, universals are in the soul (So., 3, 5, 417b22-23; cf. PsA., B, 19, 100a6-7). Aristotle also says that the form, i.e. the essence, of the artwork is in the soul. (met., Z, 1032a32-b2) Moreover, as Michael J. Loux points out, ‘the Peri Ideon tells us that we need universals to serve as the objects of noetic acts.’ 9) Universal: not beside individual In spite of the fact that demonstration creates the opinion that demonstrating is based on the existence of universals as existing among the existing things, they do not have existence besides individuals (PsA., A, 24, 85a31-35; Met, Λ, 1071a19-23). Aristotle believes that universals of a P-series (B203, 71) are not παρὰ τὰ εἴδη: 999a6ff. Also check De Anima, II, 3, 414b20-25 10) Primary or commensurate universal Aristotle distinguishes ‘πρῶτον καθόλού’ (PsA., B, 17, 99a33-35) literally meaning ‘primary universal’ but mostly, and truly, translated as commensurate universal. While a universal merely ‘μὴ ἀντιςτρέφει,’ a primary universal ‘ᾧ ἓκαςτον μὲν μὴ ἀντιςτρέφει’ (PsA., B, 17, 99a33-35). Aristotle mentions three conditions for a commensurate universal. It is an attribute that i) belongs to every instance of its subject (without exception!!!), and this belonging is ii) essentially and iii) qua that subject itself (ᾗ αύτό). (PsA., A, 4, 73b26-28) However, he insists that the second and the third conditions are indeed the same. (PsA., A, 4, 73b28-30) The first condition he paraphrases as ‘to belong to any random instance of that subject’ and the second and the third as ‘when the subject is the first thing to which it can be shown to belong.’ (PsA., A, 4, 73b32-74a3) Aristotle’s example is ‘the equality of its angles to two right angles’. This attribute is not a commensurate universal of figure due to the first condition: it cannot be demonstrated of any figure. Nonetheless, though it can be demonstrated of every isosceles because every isosceles has angles equal to two right angles, it is not a commensurate universal of isosceles due to the other conditions: it is not predicated of isosceles qua isosceles but qua triangle. These conditions seem to be like regulators: they organize everything to match to the right group. The method of finding commensurate universal is like test and error method based on elimination: you must eliminate each of the higher or lower universals and check if the attribute remains or not. The commensurate universal is that which remains in between eliminated universals. (cf. PsA., A, 5, 74a37-b4) Brad Inwoodpresents an understanding of commensurate universal that is different from what I have understood and, thus, must be checked: ‘These universals are propositions in which, for example, ‘all A are B’ is true and which are still true universal statements if converted: ‘all B are A’ is also true.’ -/- . (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal (...) profile of $\Omega$-logical validity, and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

Materialism, reductionism, behaviorism, functionalism, dynamic systems theory and computationalism are popular views, but they were shown by Wittgenstein and more recently by Searle to be incoherent. The study of behavior encompasses all of human life but behavior is largely automatic and unconscious and even the conscious part, mostly expressed in language (which Wittgenstein equates with the mind), is not perspicuous, so it is critical to have a framework which Searle calls the Logical Structure of Rationality (LSR) and I call (...) the Descriptive Psychology of Higher Order Thought (DPHOT). After summarizing the framework worked out by Wittgenstein and Searle, as extended by myself and by modern reasoning research, I comment on this first book in a trilogy on Human Nature by P.M.S. Hacker, the leading authority on Wittgenstein and one of the best modern philosophers. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

Materialism, reductionism, behaviorism, functionalism, dynamic systems theory and computationalism are popular views, but they were shown by Wittgenstein to be incoherent. The study of behavior encompasses all of human life but behavior is largely automatic and unconscious and even the conscious part, mostly expressed in language (which Wittgenstein equates with the mind), is not perspicuous, so it is critical to have a framework which Searle calls the Logical Structure of Rationality (LSR) and I call the Descriptive Psychology of (...) class='Hi'>Higher Order Thought (DPHOT). After summarizing the framework worked out by Wittgenstein and Searle, as extended by modern reasoning research, I comment on this first book in a trilogy on Human Nature by the leading authority on Wittgenstein. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

This article addresses the recent reception of Franz Brentano's writings on consciousness. I am particularly interested in the connection established between Brentano's theory of consciousness and higher-order theories of consciousness and, more specifically, the theory proposed by David Rosenthal. My working hypothesis is that despite the many similarities that can be established with Rosenthal's philosophy of mind, Brentano's theory of consciousness differs in many respects from higher-order theories of consciousness and avoids most of the criticisms (...) generally directed to them. This article is divided into eight parts. The first two sections expound the basic outline of Rosenthal's theory, and the third summarizes the principal objections that Rosenthal addresses to Brentano, which I, then, examine in sections 4 and 5. In sections 6 and 7, I discuss Brentano's principle of the unity of consciousness, and in section 8, I consider the scope of the changes that Brentano brings to his theory of consciousness in his later writings, which follow the 1874 publication of Psychology. I then draw the conclusion that Brentano's theory rests on a view of intransitive and intrinsic self-consciousness. (shrink)

We investigate the idea of sleep as the protostate, and posit the idea of dark consciousness where dark is a 2-fold hybrid. We model dark consciousness as a 2-topos in p-adic time, and outline perfectoid and diamond-like versions. We then introduce and illustrate implications of Dark Imaginarium, which is a higher order Curiosity Artificial Intelligence, an Infinity-Curiosity Type, that thinks in infinity categories.

According to higher-order theories of consciousness, a mental state is conscious only when represented by another mental state. Higher-order theories must predict there to be some brain areas (or networks of areas) such that, because they produce (the right kind of) higher-order states, the disabling of them brings about deficits in consciousness. It is commonly thought that the prefrontal cortex produces these kinds of higher-order states. In this paper, I first argue that this is likely correct, (...) meaning that, if some higher-order theory is true, prefrontal lesions should produce dramatic deficits in visual consciousness. I then survey prefrontal lesion data, looking for evidence of such deficits. I argue that no such deficits are to be found, and that this presents a compelling case against higher-order theories. (shrink)

Proponents of the higher‐order (HO) theory of consciousness (e.g., Lau and Rosenthal) have recently appealed to brain lesion evidence to support their thesis that mental states are conscious when and only when represented by other mental states. This article argues that this evidence fails to support HO theory, doing this by first determining what kinds of conscious deficit should result when HO state‐producing areas are damaged, then arguing that these kinds of deficit do not occur in the (...) studies to which HO theorists appeal. The article also develops an apparatus that can be used to evaluate whether other lesion evidence confirms or disconfirms HO theory. (shrink)

In this article, we will describe higher order thought theories of consciousness. Then we will describe some examples from synesthesia. Finally, we will explain why the latter may be relevant to the former.

Abstract: According to a higher-order theory of consciousness, you are in a conscious (psychological) state if and only if you are conscious of being in that state. This paper develops and discusses a Euthyphro dilemma for theories of this sort; that is, a dilemma which asks whether the state is conscious because you are conscious of being in it, or, alternatively, whether you are conscious of being in it because it is conscious. I focus on two different versions (...) of the higher-order theory: the higher-order thought theory, defended by David Rosenthal, Hakwan Lau and Richard Brown, among others, and the higher-order acquaintance theory, defended by Brie Gertler, Martine Nida-Rümelin and David Chalmers, among others. I argue that both versions of the view face a Euthyphro dilemma though the issue takes a different form in each case. (shrink)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic (...) treatment of concrete universals along with a new concept to abstractly model the functions of a brain. (shrink)

Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used (...) for constructing categories, and it is explicitly shown with a formalized argument that this “foundationless” naive category theory therefore contains a paradox similar to the Russell paradox of naive set theory. (shrink)

This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus (...) that the paradoxes arose from having one theory (e.g., Frege's Paradise) where universals could be either self-predicative or non-self-predicative (instead of being always one or always the other). (shrink)

The following text is divided in four parts. The first presents the inner relation between the phenomenological concept of intentionality and space in a general mathematical sense. Following this train of though the second part brie_ly characterizes the use of the geometrical concept of manifold (Mannigfaltigkeit) in Husserl’s work. In the third part we present some examples of the use of the concept in Husserl’s analyses of space, time and intersubjectivity, pointing out some dif_iculties in his endeavor. In the fourth (...) and _inal part we offer some points of coincidence between phenomenology and category theory suggesting that the latter can work as a formal frame for ontology in the former. Our thesis is that intentionality operates in different levels as a morphism, functor and natural transformation. (shrink)

The following text is divided in four parts. The first presents the inner relation between the phenomenological concept of intentionality and space in a general mathematical sense. Following this train of though the second part brie_ly characterizes the use of the geometrical concept of manifold (Mannigfaltigkeit) in Husserl’s work. In the third part we present some examples of the use of the concept in Husserl’s analyses of space, time and intersubjectivity, pointing out some dif_iculties in his endeavor. In the fourth (...) and _inal part we offer some points of coincidence between phenomenology and category theory suggesting that the latter can work as a formal frame for ontology in the former. Our thesis is that intentionality operates in different levels as a morphism, functor and natural transformation. (shrink)

Notions such as Sunyata, Catuskoti, and Indra's Net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nagarjuna considered two levels of reality: one called conventional reality and the other ultimate reality. Within this framework, Sunyata refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuskoti refers to the claim (...) that four truth values, along with contradiction, are admissible in reasoning. Indra's Net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions which are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of Sunyata. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of Catuskoti. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's Net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

In this article, the authors try to answer the following questions: How can an object/instance seen for the first time extend a category or update a concept? How is it possible to determine the reference of a concept that represents a behaviour? In the first case, the authors discuss the learning of inferential linguistic competence used to update a concept through an approach based on prototype theory. In the second case, the authors discuss the learning of referential linguistic (...) competence used to determine the reference of a concept (i.e., determination of an actual behaviour) through an approach based on embodied cognition. The authors show how combining prototype-based and embodied categorization in Wittgenstein’s rule-following praxis (the individual and community dimension), linguistic learning of a concept (inferential competence), and determination of its reference (referential competence) can be traced back to the same model. Keywords Action, Categorization, Embodied Cognition, Embodiment, Linguistic Inferential Competence, Linguistic Referential Competence, Perception, Prototype Theory, Reference, Sign. (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. In this paper, I propose a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with a fundamental level at the bottom? And (...) what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? (2) Are there emergent properties? (3) Are higher-level descriptions reducible to lower-level ones? (4) Can the relationship between normative and non-normative domains be viewed as one involving levels? Although I use the terminology of “levels”, the proposed framework can also represent “scales”, “domains”, or “subject matters”, where these are not linearly but only partially ordered by relations of supervenience or inclusion. (shrink)

According to what Birch (2022) calls the theory-heavy approach to investigating nonhuman-animal consciousness, we select one of the well-developed theories of consciousness currently debated within contemporary cognitive science and investigate whether animals exhibit the neural structures or cognitive abilities posited by that theory as sufficient for consciousness. Birch argues, however, that this approach is in general problematic because it faces what he dubs the dilemma of demandingness—roughly, that we cannot use theories that are based on the human case (...) to assess consciousness in nonhuman animals and vice versa. We argue here that, though this dilemma may problematize the application of many current accounts of consciousness to nonhuman animals, it does not challenge the use of standard versions of the higher-order thought theory (“HOTT”) of consciousness, according to which a creature is in a conscious mental state just in case it is aware of being in that state via a suitable higher-order thought (“HOT”). We show this in two ways. First, we argue that, unlike many extant theories of consciousness, HOTT is typically motivated by a commonsense, and more importantly, neutral condition on consciousness that applies to humans and animals alike. Second, we offer new empirical and theoretical reasons to think that many nonhuman animals possess the relevant HOTs necessary for consciousness. Considering these issues not only reveals the explanatory power of HOTT and some of its advantages over rival accounts, but also enables us to further extend and clarify the theory. (shrink)

I seek to answer the question of whether publicly funded higher education ought to aim intrinsically to promote certain kinds of ‘‘blue-sky’’ knowledge, knowledge that is unlikely to result in ‘‘tangible’’ or ‘‘concrete’’ social benefits such as health, wealth and liberty. I approach this question in light of an African moral theory, which contrasts with dominant Western philosophies and has not yet been applied to pedagogical issues. According to this communitarian theory, grounded on salient sub-Saharan beliefs and (...) practices, actions are right insofar as they respect relationships in which people both share a way of life, or identify with one another, and care for others’ quality of life, or are in solidarity with each other. I argue that while considerations of identity and solidarity each provide some reason for a state university to pursue blue-sky knowledge as a final end, they do not provide conclusive reason for it to do so. I abstain from drawing any further conclusion about whether this provides reason to reject the Afro-communitarian moral theory or the intuition that blue-sky knowledge is a proper final end of public higher education. I do point out, however, that the dominant Western moral theories on the face of it do no better than the African one at accounting for this intuition. (shrink)

The massive debate in philosophy and psychology and neuroscience about higher-order theories of consciousness has not adequately distinguished between the following two claims. (Necessary Awareness): For any conscious mental state M and subject S, if S is in M, then S is aware of M. (The Higher-Order Theory): For any conscious mental state M and subject S, if S is in M, then M is conscious because S is aware of M. -/- While I will assume that (...) the first claim is true, I will argue that we should reject higher-order theories of consciousness. We should turn them on their head to go with the following theory: (The Ascending Road): For any conscious mental state M and subject S, if S is in M, then S is aware of M because M is conscious. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, (...) and indicate a number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Higher-order thought theories of consciousness attempt to explain what it takes for a mental state to be conscious, rather than unconscious, by means of a HOT that represents oneself as being in the state in question. Rosenthal Consciousness and the self: new essays, Cambridge University Press, Cambridge, 2011) stresses that the way we are aware of our own conscious states requires essentially indexical self-reference. The challenge for defenders of HOT theories is to show that there is a way to (...) explain the required reference-fixing mechanisms that is compatible with the theory. According to Rosenthal, the reference to oneself as such is grounded in the disposition to identify the individual the HOT refers to as the individual who has that HOT. I argue that this leads to a vicious infinite regress on the more than plausible assumption that our cognitive capacities are limited. This leaves such theories without a foundation, since self-reference is thought essential to consciousness. (shrink)

Various psychopathologies of self-awareness, such as somatoparaphrenia and thought insertion in schizophrenia, might seem to threaten the viability of the higher-order thought (HOT) theory of consciousness since it requires a HOT about one’s own mental state to accompany every conscious state. The HOT theory of consciousness says that what makes a mental state a conscious mental state is that there is a HOT to the effect that “I am in mental state M” (Rosenthal 2005, Gennaro 2012). In (...) a previous publication (Gennaro 2015), I argued that a HOT theorist can adequately respond to this concern with respect to somatoparaphrenia. Somatoparaphrenia is a “depersonalization disorder” which is characterized by the sense of alienation from parts of one’s body. It is a bizarre type of body delusion where one denies ownership of a limb or an entire side of one’s body. My focus in the chapter, however, is on “inserted thoughts” which is a common symptom of schizophrenia, although it will also be useful to contrast it with somatoparaphrenia. Schizophrenia is a mental disorder which most commonly manifests itself through auditory hallucinations, paranoid or bizarre delusions, or disorganized speech and thinking. Thought insertion is the delusion that some thoughts are not “one’s own” in some sense or are somehow being inserted into one’s mind by someone else. Graham and Stephens (2000), for example, have suggested that thought insertion should be understood as alienated self-consciousness or meta-representation. I argue that HOT theory has nothing to fear from this phenomenon either and can consistently explain what happens in this admittedly unusual case. (shrink)

Samuel Alexander was one of the first realists of the twentieth century to defend a theory of categories. He thought that the categories are genuinely real and grounded in the intrinsic nature of Space-Time. I present his reduction of the categories in terms of Space-Time, articulate his account of categorial structure and completeness, and offer an interpretation of what he thought the nature of the categories really were. I then argue that his theory of categories has some advantages (...) over competing theories of his day, and finally draw some important lessons that we can learn from his realist yet reductionist theory of categories. (shrink)

Among our conscious states are conscious thoughts. The question at the center of the recent growing literature on cognitive phenomenology is this: In consciously thinking P, is there thereby any phenomenology—is there something it’s like? One way of clarifying the question is to say that it concerns whether there is any proprietary phenomenology associated with conscious thought. Is there any phenomenology due to thinking, as opposed to phenomenology that is due to some co-occurring sensation or mental image? In this paper (...) we will present two arguments that a “yes” answer to this question of cognitive phenomenology can be obtained via appeal to the HOT theory of consciousness, especially the version articulated and defended by David Rosenthal. (shrink)

In this paper, I explore a line of argument against one form of realism about fictional characters : abstract artifact theory, the view according to which fictional characters like Harry Potter are part of our reality, but, they are abstract objects created by humans, akin to the institution of marriage and the game of soccer. I will defend artifactualism against an objection that Mark Sainsbury considers decisive against it: the category-mistake objection. The objection has it that artifactualism attributes (...) to people who produce and process sentences and thoughts about Harry Potter massive error, indeed, a category mistake about what kind of thing Harry Potter is; for an abstract object isn’t the sort of thing that can wear glasses, ride a double-decker bus, attend school. Given problems with this objection, artifactualism, I shall conclude, remains a tenable contender. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a (...) sui generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

Nonnaturalist realism is the view that normative properties are unique kind of stance-independent properties. It has been argued that such views fail to explain why two actions that are exactly alike otherwise must also have the same normative properties. Mark Schroeder and Knut Olav Skarsaune have recently suggested that nonnaturalist realists can respond to this supervenience challenge by taking the primary bearers of normative properties to be action kinds. This paper develops their response in two ways. First, it provides additional (...) motivation for the previous claim about the bearers of normative properties by drawing from the work of H. A. Prichard. Second, and more importantly, it formulates a plausible metaphysical framework based on the contemporary trope theory to explain why action kinds would have their second-order properties, including their normative properties, necessarily. (shrink)

The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the biomathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of “category” and the correlative concept of “natural equivalence” in mathematical modeling applied to living beings. Our questions are the following: According to Rosen, to what extent does the mathematical notion of category give access to more “natural” formalisms in the modeling of living (...) beings? Is the so -called “naturalness” of some kinds of equivalences (which the mathematical notion of category makes it possible to generalize and to put at the forefront) analogous to the naturalness of living systems? Rosen appears to answer “yes” and to ground this transfer of the concept of “natural equivalence” in biology on such an analogy. But this hypothesis, although fertile, remains debatable. Finally, this paper makes a brief account of the later evolution of Rosen’s arguments about this topic. In particular, it sheds light on the new role played by the notion of “category” in his more recent objections to the computational models that have pervaded almost every domain of biology since the 1990s. (shrink)

It is widely acknowledged that categories play significant roles in the appreciation of artworks. This paper argues that the correct categories of artworks are institutionally established through social processes. Section 1 examines the candidates for determining correct categories and proposes that this question should shift the focus from category membership to appreciative behaviour associated with categories. Section 2 draws on Francesco Guala’s theory of institutions to show that categories of artworks are established as rules-in-equilibrium. Section 3 reviews the (...) explanatory benefits of this institutional theory of the correct category. [Winner of the 2022 Debates in Aesthetics Essay Prize]. (shrink)