The general methodology of "algebraizing" logics is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved.

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions (...) of the form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is (...) an m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

Although it seems intuitively clear that acts of requesting are different from acts of commanding, it is not very easy to sate their differences precisely in dynamic terms. In this paper we show that it becomes possible to characterize, at least partially, the effects of acts of requesting and compare them with the effects of acts of commanding by combining dynamified deontic logic with epistemic logic. One interesting result is the following: each act of requesting is appropriately differentiated from (...) an act of commanding with the same content, but for each act of requesting, there is another act of commanding with much more complex content which updates models in exactly the same way as it does. We will also consider an application of our characterization of acts of requesting to acts of asking yes-no questions. It yields a straightforward formalization of the view of acts of asking questions as requests for information. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of (...) the approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge (...) and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. (...) We then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal (...) with conflicting attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation. (shrink)

A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL has (...) helped to foster the various mistaken stereotypes about Logical Empiricism which were combined into the received view. I will begin by examining Ayer’s all too brief presentation of an Anglocentric lineage for his ideas. This lineage, as we shall see, simply omits the major 19th century Germanophone influences on the rise of analytic philosophy. The Germanophone ideas he presents are selectively introduced into an Anglophone context, and directed towards various concerns that arose within that context. I will focus on the differences between Carnap’s version of the overcoming of metaphysics, and Ayer’s reconfiguration into what he calls the elimination of metaphysics. Having discussed the above, I will very briefly outline the consequences that Ayer’s radicalisation of the Vienna Circle’s doctrines had on the subsequent Anglophone reception of Logical Empiricism. (shrink)

The truth functional account of conditional statements ‘if A then B’ is not only inadequate; it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. All approaches that treat conditionals as functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to (...) the joint occurrence of A and B. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally (...) two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The (...) questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Heidegger’s latest work Contributions of Philosophy. Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the Park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their ↪Quart Nr 2(52)/2019 logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in Kant’s philosophy, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. (shrink)

This paper provides an original approach to research on the logical processes that determine how certain forms participate in others. By introducing the concept of relational participation, the problems of self-referentiality of the Platonic forms can be dealt with more effectively. Applying this to the forms of likeness and unlikeness in Parmenides 132d-133a reveals a possible way to resolve different versions of the Third Man Argument. The method of generating numbers from oddness and evenness may also be of interest; (...) relational participation in these forms clarifies the interpretation of Parmenides 143e-144a. (shrink)

Companies committed to corporate social responsibility should ensure that their managers possess the appropriate competencies to effectively manage the CSR adaptation process. The literature provides insights into the individual competencies these managers need but fails to prioritize them and adequately contextualize them in a manner that makes them meaningful in practice. In this study, we contextualized the competencies within the different job roles CSR managers have in the CSR adaptation process. We interviewed 28 CSR managers, followed by a survey (...) to explore the relative importance of the competencies within each job role. Based on our analysis, we identified six distinct managerial roles, including strategic, coordinating, and stimulating roles. Next, we identified per role key individual CSR-related competencies as prioritized by the respondents. Our results show that the context, as indicated in this study by CSR managers’ job roles, indeed influenced the importance of particular CSR-related competencies, because each role seems to require a different combination and prioritization of these competencies. Moreover, the results suggest that the relative importance of these competencies within each role may be driven by business logic rather than an idealistic logic. The results are presented as a competence profile which can serve as a reflection tool and as a frame of reference to further develop the competence profile for CSR managers. (shrink)

Two stories have dominated the historiography of early modern philosophy: one in which a seventeenth century Age of Reason spawned the Enlightenment, and another in which a skeptical crisis cast a shadow over subsequent philosophy, resulting in ever narrower "limits to knowledge." I combine certain elements common to both into a third narrative, one that begins by taking seriously seventeenth-century conceptions of the topics and methods central to the rise of a "new" philosophy. In this revisionist story, differing approaches to (...) the central subject matter of early modern metaphysics--knowledge of substances through their essences and causal powers--arise as a result of disagreements about the powers of the human cognitive faculties. Methodological writings are seen as attempts to direct readers in the proper use of their cognitive faculties. The early modern rejection of the Aristotelian theory of cognition ranks equally in importance with rejection of Aristotelian doctrines about nature. Skepticism is more often than not a tool to be used in teaching the reader the proper use of the cognitive faculties, or indeed in convincing the reader of the existence or inexistence of certain cognitive faculties or powers. Instead of early modern "epistemology" or "theory of knowledge," one speaks, with seventeenth century writers, of theories of the cognitive faculties and their implications for the possibility of human knowledge. The early modern rejection of Aristotelian logic can then be seen as reflecting a negative assessment about the fit between syllogistic reasoning and logic as an art of reasoning or thinking which refines the use of the cognitive faculties. -/- Central to this new historiography is the story of the relation between the intellect and senses as cognitive faculties or powers. The development of philosophy from Descartes to Kant can be portrayed as a series of claims about the power of the intellect to know the essences of things, with resulting consequences for ontology and the foundations of natural philosophy. I illustrate this revised narrative by comparing three conceptions of the intellect in three philosophical settings, provided by several late scholastic Aristotelians, Descartes, and Locke. I have two aims: first, to exhibit the central role played by the conception of intellect or understanding in these authors, and, second, to locate their discussions of the cognitive faculties in relation to recent understandings of psychology, epistemology, logic, mind, and their relations. Early modern writings do not easily fit into the modern categories of epistemology and psychology; more generally, the early modern concern with the workings of mind does not coincide with recent conceptions of naturalism. These findings can help us to see problems with our current categories. (shrink)

The principle of Information Conservation or Determinism is a governing assumption of physical theory. Determinism has counterfactual consequences. It entails that if the present were different, then the future would be different. But determinism is temporally symmetric: it entails that if the present were different, the past would also have to be different. This runs contrary to our commonsense intuition that what has happened in the future depends on the past in a way the past does (...) not depend on the future. To understand how this can be so we observe that while the truth of some counterfactuals is guaranteed by the laws of logic or the laws of nature, some are not. It is among the latter contingent, counterfactuals that we find temporal asymmetry. It is this asymmetry that gives causation a temporal direction. The temporal asymmetry of these counterfactuals is explained by the fact that the dynamical laws of nature are logically irreversible functions from partial states of the world onto other partial states. (Logical reversibility is not to be confused, though it too often is, with time-reversal invariance). Though these irreversible laws are locally indeterministic, they can sum to give a globally deterministic description of the world. This combination of global determinism and local indeterminism gives rise to contingent counterfactual dependence and gives that dependence a direction. That direction is independent of the direction of entropy. The direction of contingent counterfactual dependence is time's arrow. (shrink)

Critique of Sarcastic Reason is a philosophical dissertation that combines several different fields in order to pave the way for those studying sarcasm at the neurobiological, communicative and socio-political levels of analysis where sarcasm appears, respectively, through associated brain activity, between two or more individuals with higher level metabeliefs, and as a method by which political, religious and other social ideologies are attacked (i.e., one form of "biting sarcasm"). The academic disciplines involved in Critique of Sarcastic Reason include social (...) cognitive and developmental psychology, neuroscience, critical theory, modern and contemporary philosophy of mind, evolutionary biology, logic, metaphysics and epistemology. Sarcasm is argued to only function at the highest levels of metacognition, and sarcasm occurs within social situations during which there are tendencies for two or more people to form desires and disgusts directly related to beliefs about beliefs. Sarcasm is compared to deception and is argued to be best analyzed as either spontaneous or rehearsed. (shrink)

People inhabit a vast and intricate social network nowadays. In addition to our own decisions and actions, we confront those of various groups every day. Collective decisions and actions are more complex and bewildering compared to those made by individuals. As members of a collective, we contribute to its decisions, but our contributions may not always align with the outcome. We may also find ourselves excluded from certain groups and passively subjected to their influences without being aware of the source. (...) We are used to being in overlapping groups and may switch identities, supporting or opposing the claims of particular groups. But rarely do we pause to think: What do we talk about when we talk about groups and their decisions? At the heart of this dissertation is the question of collective agency, i.e., in what sense can we treat a group as a rational agent capable of its action. There are two perspectives we take: a philosophical and logical one. The philosophical perspective mainly discusses the ontological and epistemological issues related to collective agency, sorts out the relevant philosophical history, and argues that the combination of a relational view of collective agency and a dispositional view of collective intentionality provides a rational and realistic account. The logical perspective is associated with formal theories of groups, it disregards the psychological content involved in the philosophical perspective, establishes a logical system that is sufficiently formal and objective, and axiomatizes the nature of a collective. The first topic that is addressed is the ontology of collective agency, i.e., the question what exactly is collective agency. The philosophical discussion of collective agency centres around the reduction problem of the concept of a collective. Individualism and Cartesian internalism have long influenced orthodox theories and made them face the choice between an irreducible concept of a collective and ontological reductionism. Heterodox theories such as functionalism and interpretationism reinterpret the concept of agency and accept it as also realized on the level of a collective. To adequately explain social phenomena that are essentially relational in nature, we propose a relational, holistic account of collective agency and argue that functionalism and interpretationism can be integrated into such an account. While acknowledging the irreducibility of the concept of a collective, we find that there is a deep incompatibility between the concept of a collective and the concept of intentionality as the mark of the mental. To explain how collective intentionality nevertheless is possible and why we tend to use it analogously to how we use the concept of individual intentionality, we explore a dispositional account of intentionality which enables us to give an account of the concept of intentionality at both the individual and collective level. Specifically, we subdivide the dispositional account into three aspects: behavioral, purely mental, and cognitive. We then argue that collective intentionality is real by analyzing different forms of attributive judgments of intentionality and by introducing the perspective of indispensable collective responsibility. We also analyze how philosophical theories about collective agency relate to central features of formal theories about collective decisions, such as game theory. Although the two fields are both concerned with collectives, there are also differences that need to be addressed. For example, game theory is clearly anti-psychologistic since its aim is a formal and objective analysis. However, from the relational and dispositional perspective, intentionality at the individual level and collective intentionality as we analyze it, inevitably involve mental content. In order to explain this difference and identify where the boundary is, we analyze the relationships between the three basic concepts involved, namely intentionality, preference, and dependency, so as to provide a unified picture of collective theory across philosophical and formal theories. After paving the nexus between philosophical and formal perspectives, the logical perspective becomes the theme of our discussion. To be able to express game theoretical concepts and to connect them to our philosophical perspective, We present a logic of preference and functional dependence and its hybrid extension, and provide an axiomatization which is sound and strongly complete. The decidability of this logic is also proved. Its application to modeling non-cooperative and cooperative games in strategic form is explored. The resulting framework provides a unified view of Nash equilibrium, Pareto optimality, and the core. The philosophical relevance of these game-theoretical notions to discussions of collective agency is made explicit. Finally, we conclude and clarify the position of our theory in the broader field of research on the topics addressed in the thesis. Also, we point out many new questions and directions suggested by our analysis, including philosophical and logical open problems. (shrink)

The electric activities of cortical pyramidal neurons are supported by structurally stable, morphologically complex axo-dendritic trees. Anatomical differences between axons and dendrites in regard to their length or caliber reflect the underlying functional specializations, for input or output of neural information, respectively. For a proper assessment of the computational capacity of pyramidal neurons, we have analyzed an extensive dataset of three-dimensional digital reconstructions from the NeuroMorphoOrg database, and quantified basic dendritic or axonal morphometric measures in different regions and layers (...) of the mouse, rat or human cerebral cortex. Physical estimates of the total number and type of ions involved in neuronal electric spiking based on the obtained morphometric data, combined with energetics of neurotransmitter release and signaling fueled by glucose consumed by the active brain, support highly efficient cerebral computation performed at the thermodynamically allowed Landauer limit for implementation of irreversible logical operations. Individual proton tunneling events in voltage-sensing S4 protein alpha-helices of Na+, K+ or Ca2+ ion channels are ideally suited to serve as single Landauer elementary logical operations that are then amplified by selective ionic currents traversing the open channel pores. This miniaturization of computational gating allows the execution of over 1.2 zetta logical operations per second in the human cerebral cortex without combusting the brain by the released heat. (shrink)

The eminent French biologist and historian of biology, François Jacob, once notoriously declared “On n’interroge plus la vie dans les laboratoires”: laboratory research no longer inquires into the notion of ‘Life’. Nowadays, as David Hull puts it, “both scientists and philosophers take ontological reduction for granted… Organisms are ‘nothing but’ atoms, and that is that.” In the mid-twentieth century, from the immediate post-war period to the late 1960s, French philosophers of science such as Georges Canguilhem, Raymond Ruyer and Gilbert Simondon (...) returned to Jacob’s statement with an odd kind of pathos: they were determined to reverse course. Not by imposing a different kind of research program in laboratories, but by an unusual combination of historical and philosophical inquiry into the foundations of the life sciences (particularly medicine, physiology and the cluster of activities that were termed ‘biology’ in the early 1800s). Even in as straightforwardly scholarly a work as La formation du concept de réflexe aux XVIIe et XVIIIe siècles (1955), Canguilhem speaks oddly of “defending vitalist biology,” and declares that Life cannot be grasped by logic (or at least, “la vie déconcerte la logique”). Was all this historical and philosophical work merely a reassertion of ‘mysterian’, magical vitalism? In order to answer this question we need to achieve some perspective on Canguilhem’s ‘vitalism’, notably with respect to its philosophical influences such as Kurt Goldstein. (shrink)

The Einstein of the New Age holds forth in his unique and brilliant style on the history of world views and how to put spirit back in our life. If you have the patience to learn his jargon and read slowly there is alot of serious brainfood here. I read this and his Sex, Ecology and Spirituality(1995) with Hofstadter´s famous Godel, Escher, Bach(GEB) written in 1980(both of which I have reviewed here). Wilber´s work has many parallels with GEB, both of (...) them massive works attempting to tie together disparate fields and different views of life. Unlike Hofstadter, who was mainly interested in the nature of intelligence, Wilber does not treat math, music or DNA, and he concentrates on world views that have a spiritual relevance but like Hofstadter he lacks any grasp of the logical structure of rationality, the dual systems of thought or the works of Wittgenstein and Searle, which obviates much of his work. For an account of those see my articles. He spent a vast amount of time working out the relationships between ideas and how they relate to individual and society, spirit and science. If you don´t have the time or patience for the whole book, read Superconsciousness Parts 1 and 2 which are an excellent summary. His shortest book, `The Marriage of Self andSoul is a much easier read that gives you a good idea of his style and purpose. He details alot of intellectual history (philosophy, psychology, religion, ecology, feminism, sociology, etc) and shows where nearly everyone went too far in the direction of Ascent (to the spirit) or Descent (to science,materialism, reductionism or Flatland). He trys to show how to heal the rifts by combining sense and soul (spiritual and material life, science and religion, internal and external, individual and social). Everything is related to everything else (holons in holarchies). The Age of Enlightenment denied the the spirit, the individual and the interior life but developed art, morals and science and led to democracy, feminism, equality and ecology, but this reductionism compressed the intellect and the spirit into the Flatland of science, rationality and materialism. He sees the loss of the spiritual point of view with the Age of Enlightenment as the major factor responsible for the malaise of modern times, but real spirituality or ìntelligent religion (i.e., the quest for enlightenment) as opposed to primitive religion (everything else-see my review of Boyer´s 'Religion Explained') was always rare. It is intelligent religion he sees as the panacea, but it is primitive religion that the masses understand, and it too has only materialistic goals. In sum, in spite of its shortcomings it is still unique and well worth the effort. -/- 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)

In this paper I argue that a truth functional account of conditional statements ‘if A then B’ not only is inadequate, but that it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. But this is not a flaw only of truth functionality and the material conditional. All approaches that try to treat (...) conditionals as mere functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to the joint occurrence of A and B. What we need is a non-extensional approach to conditionals that can account for hypotheticality, potentiality, and dependency, none of which can be understood by looking to the antecedent or consequent per se. (shrink)

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles (...) and be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

This paper argues that there is no possible structural way of drawing a distinction between objects of different types, such as individuals and properties of different adicities and orders. We show first that purely combinatorial information (information about how objects combine to form states of affairs) is not sufficient for doing this. We show that for any set of such combinatorial data there is always more than one way of typing them – that is, there are always several (...) ways of classifying the different constituents of states of affairs as individuals and properties. Therefore, contrary to received ontological opinion, no object is essentially of any specific type. In the second part we argue that taking into account logical information does not help either, since logic presupposes the very distinction we are trying to draw. Furthermore, this distinction is not even essential for logic, since logic can function perfectly well without it. We conclude that certain distinctions which have been traditionally regarded as ontologically basic (such as that between individuals and properties) cannot be as fundamental as is often supposed. (shrink)

Some people believe that critical thinking is not a modern science, but its roots are old and deeply rooted in the history of philosophy. Its roots date back to Aristotle, the inventor of logic and who was called the first teacher by virtue of this invention. Aristotle was impressed by the language of mathematics and wanted to invent a language to logic similar to the language of Mathematics. What encouraged Aristotle to do so is that Math language is quite (...) class='Hi'>different from daily life language. For example , when you say one in Mathematics language, what is this one you mean or intend? That is what is one? Is it a specific man or an animal or something abstract or any creature of the creatures of the natural world? The one we are talking about is neither this nor that and you can use it to talk about one human being or one animal or one creature. Therefore, the concept of the one is something abstract and it is so far from the creatures of the exterior world. Geometry has the same case. Triangle, quarter and rectangle as such are mere geometrical shapes and are far away from real life language. But when we use them in our daily life language we give them specific life meanings. -/- As I said, Aristotle was impressed by the language of Mathematics and wanted to build a similar language for logic .The rationale behind this is to get away from the language of ambiguity caused by the use of daily life language .One word or utterance in a language has many usages in one language or when translated into other languages , and therefore it causes many problems in usage instead of simplifying it and this is what Aristotle tried to avoid. Aristotle chose letters instead of words, the letter is part of the word, and the letter is meaningless unless it is a part of the word. The meaning of a letter depends on its occurrence in the word. If you compose a word from a group of letters and use it , it becomes ambiguous because it becomes part of the used language. -/- However, Aristotle did not combine letters in a word but he used them as abstract letters and gave them meanings in the language of logic where there is no divergence about its use. Aristotle used them in syllogism and they mean the limits of reason . Until recently critical thinking was part of formal logic and learning it means that you have logical background or at least you are familiar with the rules and fundamentals of logic. But critical thinking theorists soon took the initiative to separate it from logic because the latter started to suffer from its rules which are difficult to understand and which require some awareness and thoughts on the part of the scholar to understand. Hence , critical thinking is not supposed to possess a background of logic and it adopts a specific questioning approach where it suggests a number of questions the practitioner of critical thinking has to successively answer since he has to make sure that the opinion he reaches does not rely on any subjective considerations. This is how the skills that are acquired on a continuum of related critical questions are established ,this is not to mention that the concept of critical thinking itself is usually defined in this context as the awareness of such kinds of questions and the ability to arouse and answer them at appropriate times. My paper explains, How to be able to implement these skills in high education and what are the benefits of these skills? The paper includes; Critical Thinking and Logic Socrates `s Approach The impact of critical thinking on teaching methods Questioning How questions are organized in the light of critical thinking? Using Critical Thinking in Problem-Solving Use of Non-Oral language in Critical Thinking. (shrink)

As is the case in other situations of deep uncertainty, the unknowns related to the COVID-19 pandemic have aroused a great deal of attention in the media. Drawing insights both from mediatization theory and ignorance studies, we discuss the coverage of the AstraZeneca vaccine controversies to develop a new concept that we call the mediatization of ignorance. In doing so, we conceptualize the procedure through which unknowns become mediatized as a three-step process that results from a combination of (...) class='Hi'>logics from the areas of politics, health, and science/industry. Moreover, we argue that the mediatization of ignorance may have promoted vaccine hesitancy at a moment when vaccination was crucial for addressing the COVID-19 pandemic. We conclude by suggesting the need to explore in further detail the role that ignorance plays not only in the management of the COVID-19 crisis but also in different areas of society. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they (...) provide a new semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In (...) this paper, we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (shrink)

Of all twentieth century philosophers, it is Gilles Deleuze whose work agitates most forcefully for a worldview privileging becoming over being, difference over sameness; the world as a complex, open set of multiplicities. Nevertheless, Deleuze remains singular in enlisting mathematical resources to underpin and inform such a position, refusing the hackneyed opposition between ‘static’ mathematical logic versus ‘dynamic’ physical world. This is an international collection of work commissioned from foremost philosophers, mathematicians and philosophers of science, to address the wide range (...) of problematics and influences in this most important strand of Deleuze’s thinking. Contributors are Charles Alunni, Alain Badiou, Gilles Châtelet, Manuel DeLanda, Simon Duffy, Robin Durie, Aden Evens, Arkady Plotnitsky, Jean-Michel Salanskis, Daniel Smith and David Webb. (shrink)

In this chapter we will deal with “mechanizing” induction, i.e. with ways in which theoretical computer science approaches inductive generalization. In the field of Machine Learning, algorithms for induction are developed. Depending on the form of the available data, the nature of these algorithms may be very different. Some of them combine geometric and statistical ideas, while others use classical reasoning based on logical formalism. However, we are not so much interested in the algorithms themselves, but more on the (...) philosophical and theoretical foundations they share. Thus in the first of two parts, we will examine different approaches and inductive assumptions in two particular learning settings. While many machine learning algorithms work well on a lot of tasks, the interpretation of the learned hypothesis is often difficult. Thus, while e.g. an algorithm surprisingly is able to determine the gender of the author of a given text with about 80 percent accuracy [Argamon and Shimoni, 2003], for a human it takes some extra effort to understand on the basis of which criteria the algorithm is able to do so. With that respect the advantage of approaches using logic are obvious: If the output hypothesis is a formula of predicate logic, it is easy to interpret. However, if decision trees or algorithms from the area of inductive logic programming are based purely on classical logic, they suffer from the fact that most universal statements do not hold for exceptional cases, and classical logic does not offer any convenient way of representing statements which are meant to hold in the “normal case”. Thus, in the second part we will focus on approaches for Nonmonotonic Reasoning that try to handle this problem. Both Machine Learning and Nonmonotonic Reasoning have been anticipated partially by work in philosophy of science and philosophical logic. At the same time, recent developments in theoretical computer science are expected to trig- ger further progress in philosophical theories of inference, confirmation, theory revision, learning, and the semantic and pragmatics of conditionals. We hope this survey will contribute to this kind of progress by building bridges between computational, logical, and philosophical accounts of induction. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs (...) recover the validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

Will I die? As a hypothesis, in my natural scientific understanding, the psyche, is nothing more than, and exclusively just some states of my living brain – I will die as a result of his death. -/- In presented answer, psyche – itself own immediate reality itself, that is – undoubted. -/- This work was performed in reality “in the first person” (“subjective reality”, “phenomenal consciousness”). To realize, how, what it is the reality of the “in the first person” let’s (...) imagine ourselves as an experimenter, who does not replace reality with reasoning about it. – Now for us, as experimenters, how (what it is) psychic is an immediate and undoubted reality. And the awareness of “I am” is a direct reality, and not knowledge about it, which is always doubtful. That is, in psychic reality, nothing prevents us from answering undoubtedly and definitively the question, asked by this psychic reality itself about itself. The author acts from the position of “being in reality – not going beyond its limits, for example, into philosophy” (philosophy, including methodology, is the replacement of reality itself with always dubious reasoning about reality) – explores phenomenal consciousness (“psychic”) directly and as an immediate reality. That is, this work is the mastery of psychic reality through subjective-psychical experimentation – don’t philosophize, but experiment! -/- For example, Descartes, introspectively experimenting in his own psyche reality with his own psyche, informed us about the immutability of the “mind” and proposed to understand this immutability as our own immortality: “the mind does not represent any combination of accidents, it is a pure substance, and although all its accidents are subject to change, it understands some things, it desires others or feels others, etc. – nevertheless, in itself it does not change; and as for the human body, it changes, if only because they are subject to a change in the shape of some of its parts. It follows from this that the body perishes very easily, while the mind, by its very nature, is immortal” (Декарт Р., p. 13). Note that, Descartes did not realize that he was immortal, but logically deduced his own immortality from the immutability of the mind. However, Descartes’ unchanging “mind” itself is such that there is something to die. And in my natural scientific understanding, the immutability of the mind does not imply its immortality – it will die without changing in its subjective self-perception, while instantly fading away as a result of brain death. Psyche (psychical) – a designation of the fact that this is one’s own immediate reality (that is, undoubtedly) – how (what) I myself am immediately, undoubtedly, and that immediate reality of mine, how and through which I myself and everything in general for me there is, and which is exclusively the only one for me. It should be noted that while I am unconscious (brain injury or dreamless sleep), there is nothing at all. -/- But this does not mean that “I”, having completely gone into oblivion, I'll die. This does not exclude that, I will disappear completely into oblivion and does not exist, but (at the same time) “I” – am. So, let’s define immortality as the impossibility of dying because there is nothing to die (psychic, but is such that there is nothing to die – is immortal) and will make a conclusion important for this work: if I am, as psyche, exclusively only is such that there is something to die and nothing else, then, therefore, my death is not excluded. But am I like that? The idea of this work is that I, as a psyche can to manifest (reveal) and realize myself as such (I such), that there is nothing to die, but (at the same time) I – am. I will realize of myself as immortal – such that to die (to decease) nothing. In other words, if I will approach with a bias and, acting purposefully, will reveal the subjective reality “I (psyche) such is that to die (to decease) nothing, but I – am”, that is – I am immortal, that the hypothesis “I will die” will falsified and excluded. -/- To realize this in the work, it is proposed to use the subject-object model, shift the boundary of “I” to the pole of the subject and become objectless, manifesting (revealing) oneself as such that there is nothing to die. Therefore, the aim (goal) of the work – to realize: I – am, but such that there is to die (decease) nothing. To become objectless and wondering about the possibility to dying, as a result, or I will exclude the immortality of the manifested state, or I will manifest (will reveal) immortal undoubtedly and definitively. -/- At the same time, I, as a subject, am “a necessary pole of subject-object relations. … An object is what the activity of … a subject is directed at. … In fact, everything that exists can become an object. … it is important to keep in mind the fundamental fact that the object is always outside the subject, does not merge with it. This externality also takes place when the subject deals with the states of his own consciousness, his Self ... it is important to emphasize that the relation of the subject and the object is not the relation of two different worlds, but only two poles as part of some unity” (Лекторский В.А., p. 6-7). That is, everything that I find existing in myself, this (such) is as an object. “The subject always refers to all “objects”, but it can never become an object for itself” (Титлин Л.И., p. 23). “… you will not be able to see the seeing vision ...” (Титлин Л.И., p. 40), and in this model this implies the “limit” of the subject. As the limit of the subject, I am “objectless”. And, therefore, in its own pole the subject is “ideal” – in its (own) limit (as its own limit, its own limit), I do not exist for myself (non-existent). -/- Using the “fact of the mobility of the boundaries of the subject” (for example, Тхостов А.Ш., p. 16), I have the opportunity to “pull” the boundary of the “I” into myself and become my own limit. At the same time, it is necessary to realize and accept that “inside” the limit of the subject and behind – “beyond of the subject”, and in general the very “inside” and “behind” in this version – unreality. In such a subject limit, the required paradoxical subjective state is assumed – I exist and see, but at the same time I am such that I do not exist for myself, that is, I am, but (subjectively such that) there is nothing to die (“immortality”). -/- Accordingly, the following tasks are indicated in the experiment: 1. In the object-subject sphere of visual perception, shift (and shift) the boundary of “I” into oneself –» to run into one’s own limit and become one’s own limit (without thickness: without depth, without “from within” and without reverse side) –» 2. Having become your own limit, which in its own limit is, but for myself I do not exist (non-existent), realize: • Myself – I am and this is real; • Will I die? – or there is nothing to die, which of the options is to me, as a psyche (as itself the psychic “I”), is applicable: • or I am such that it is not impossible that I will die, and the realized state is not immortal; • or “I” am such that “I” – am (is reality), but such that myself “I” to die nothing, that is, my own immortality – I am immortal; • Is this real? -/- Instruction for reproducing the target result: sequence of actions and results in a subjective-psychic experiment (hereinafter referred to as SPE) -/- At a distance of 25-40 cm from the wall (so that the wall occupies the entire field of view or its overwhelming part), • Here and now, focus on your face: “I am” – reality (and not is the knowing about it). • In yourself step back and look out of yourself at this wall. • Without moving your head, cover the field of vision with your attention as wide as possible and at the same time perceive everything at once (all this) as a single whole. • Perceive a high and wide wall (option: look up at an angle of 135-150 degrees in front of you) in such a way that the space (volume) surveyed by you without turning your head is a closed asymmetrical “lens” • limited in a circle in the periphery of the field of view, • convex in you; You – the beholder, rearwards concave in self (“subject”) – which one of you are watching? • Without moving your head, perceive the field of view as a single whole –» • Into yourself “draw in” –» “backing away” –» step back from everything –» • lean back into yourself –» up to dead-end limit –» • become a dead end itself – a concave (reflector-like) limit-plane. • You – into yourself – backward concave – a perceiving visual screen (limit-dead end), plane –» • lean back and press –» • something in general somehow inside the dead-end plane and behind the dead-end plane, as well as “inside” and “behind”, “behind the dead-end plane” – unreality; • myself – a dead-end plane without thickness (depth), without “inside”, without a reverse side for oneself. • –» That is, as a psychic reality (what is it psychically) will I die? –» or • Something there is, and that is I will die (it is possible); or • I am such that there is nothing to die, but I – am. or • Subjective-psychic experiment is incomplete… • –» Realize that this is reality (realize the reality of it) and emphasize (answer). -/- As a result, “I” am, but there is nothing to die/not to die, that is, the hypothesis “I will die” is unrealistic. -/- Remarks -/- • Each completed SPE is completed with the target result: “I am such that there is nothing to die, but I – am”. And the that what I will die (not excluded) does not correspond to this, that is unreality and is excluded by this. • But I am not such that I will not die. The concepts “I will die/ I will not die” to me, as a psyche are not applicable. That is, I, as a psyche, is immortal, but I am not eternal (not eternal – endlessly lasting, such that there is something to last) – to last, to be eternal and to end there is nothing. This is “immortality”. • In the target result of this work, I – am, but such that there is nothing to die/not die (“immortality”). And such a “I” is not the Atman of the Hindu schools of Nyaya, Vaisheshika and Purva Mimamsa, which E.A. Torchinov. Since the “I” – psychic, and not a substance with the psyche as an attributes. • According to illusionism, what I am as a result of the experiment given in the work is an illusion. And the impression of immortality is a product of the brain. But in reality I am such that I will die (it is not excluded). However, it is necessary to realize that illusionism is a detached reasoning about the “I”, but not is the self itself. And to what I am (as psiche), reasoning and questions about the reality of the “I” (for example, question: am I really like this, what am I like as psyche?) and other expressing illusionism do not correspond. That is, subjectively (psychic, in the psychic reality of the “first person”, in first person perspective), the illusionism of the “I” is unreality. Subjectively (psychic, in the psychic reality of the “first person”, in first person perspective), this is undeniable and final. • Reasoning about what such a “I” is in this (mine) or not in this brain, as well as (for example, holding a real skull in my hands), questions like “how (or, but now where is it here) such “I” – how is it after brain death?” – To the fact that is such an “I” these questions do not correspond and is falsified by this. • After being unconscious, the impression remains that I'm is not and that there is nothing at all. That is, my “unconsciousness” is psychic indistinguishable from my non-existence. However, science has not shown, but and it is not excluded that before and after I exist physically (there is something to die), I still or I no longer exist, there is still or nothing to die as a soul, substance, or otherwise. But what I am in the target result of this work is what I – am, and not “died and already now or still unreality” and I am such that there is nothing to die, this is – reality. That is, I will die? – there is nothing (to die), but I – am (reality), even if I am not (don’t exist). Or I do not exist as something. • I am such that there is nothing to be and die, but I am. And subjectively (psychic, in the psychic reality of the “first person”, in first person perspective), this immortality is – reality. But this reality eludes my rational explanation. -/- Conclusion -/- Will I die? – In the target result the I am, but at the same time I am such that there is nothing to die. That is, I am immortal, but at the same time, I am not eternal (“I” not something eternal (endlessly continuing)) – I am such that to be eternal there is nothing. And, if we accept the subjective (psychic, “first person”, in first person perspective) reality without trying to understand it rationally, then I am exactly like that – I realize that this is my undoubted nature. That is, “I will die / I will not die” is an unreality. Subjectively (psychic, in the psychic reality of the “first person”, in first person perspective), it is undoubted and final. Despite the unscientific nature, this work is a way of mastering reality. The author would be grateful for the identified and shown unreality of the fact that the “I” – am, but such that there is nothing to die, and ideally, the awareness: “I will die (not excluded).” -/- Bibliography -/- Декарт Р., Размышления о первой философии //Декарт Р. Соч.: В 2 т. Т. 2. М., 1994. Лекторский В.А. Субъект в истории философии: проблемы и достижения // Методология и история психологии. 2010. Том 5. Выпуск 1. С. 5-18. Титлин Л.И. Проблема субъекта в индийской философии («Пудгалавинишчая» Васубандху) [Текст] / [Л. И. Титлин]; Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук. – Москва: ОнтоПринт: Сделано-Сказано, 2018. – 361, [1] с. Тхостов A. Ш. Культурно-историческая патопсихология: монография, – М.: Канон+ РООИ «Реабилитация», 2020. – 320 с. Торчинов Е.А. «Словарик индуизма» (Дата написания: 2003; дата файла: 15.06.2007). Торчинов Е.А. Пути философии Востока и Запада: познание запредельного — СПб.: «Азбука-классика», «Петербургское Востоковедение», 2005. — 480 с. ISBN 5-352-01371-5 (Азбука-классика) ISBN 5-85803-258-3 (Петербургское Востоковедение). -/- Скончаюсь? – я бессмертен (как осознать бессмертие «от первого лица») -/- Скончаюсь? В качестве гипотезы в моем естественно-научном понимании психическое (каково психически), это не более чем, и исключительно только всего лишь некоторые состояния моего живого мозга – скончаюсь в результате его смерти. -/- В представленном ответе психическое – сама собственная непосредственная реальность, то есть, то, каково психически, это – несомненно. -/- Данная работа выполнена в реальности «первого лица» («субъективная реальность», «феноменальное сознание»). Чтобы осознать то, как, каково это, представим себя экспериментатором, который не подменяет реальность рассуждениями о ней. – Теперь для нас, как экспериментаторов, то, как (каково) психически, это непосредственная и несомненная реальность. И осознание «я есть», это непосредственная реальность, а не знание об этом, которое всегда сомнительно. То есть, в психической реальности, на вопрос, заданный самой этой психической реальностью самой себе о себе самой, нам ничто не запрещает ответить несомненно и окончательно. Автор действует с позиции «быть в реальности – не выходить за ее пределы, например, в философию» (философия, включая методологию, это подмена самой реальности всегда сомнительными рассуждениями о реальности) – исследует феноменальное сознание («психическое») непосредственно и в качестве непосредственной реальности. То есть, данная работа, это овладение психической реальностью посредством субъективно-психического экспериментирования – не философствуй, а экспериментируй! -/- Например Декарт, интроспективно экспериментируя в собственной психической реальности с собственным психическим, сообщил нам о неизменности «ума» и предложил эту неизменность понять в качестве нашего собственного бессмертия: «ум не представляет какого-то соединения акциденций, являет собой чистую субстанцию и, хотя все его акциденции подвержены изменению — он то понимает какие-то вещи, то желает другие или чувствует третьи и т.д.,— тем не менее сам по себе он не изменяется; а что касается тела человека, то оно изменяется хотя бы уже потому, что подвержены изменению формы некоторых его частей. Из этого следует, что тело весьма легко погибает, ум же по самой природе своей бессмертен» /Декарт Р., стр. 13. Заметим, Декарт не осознавал себя бессмертным, а логически вывел собственное бессмертие из неизменности ума. Однако, неизменный «ум» Декарта таков, что скончаться есть чему. А в моем естественно-научном понимании из неизменности ума не следует его бессмертие – он, не изменяясь в своем субъективном само-восприятии, при этом мгновенно угаснув в результате смерти мозга, скончается. Психически (психическое) – обозначение того, что это сама собственная непосредственная реальность (то есть – несомненно) – то, как (каково) я сам непосредственно, несомненно, и та моя непосредственная реальность, как и посредством чего я сам и всё вообще для меня есть, и которое для меня исключительно единственное. Следует заметить, что пока бываю без сознания (травма мозга или сон без сновидений), ничего и никак нет вообще. -/- Но это не значит, что «я» ушедши в небытие окончательно – скончаюсь. Этим не исключено, что таковой ушедший в небытие «я» не существую, но (при этом) есть. Итак, определим бессмертие, как невозможность скончаться потому, что скончаться нечему (например, если «умерший» психически есть, но уже таков, что скончаться больше нечему, то теперь он бессмертен) и сделаем важный для данной работы вывод: если психически я исключительно только таков, что скончаться есть чему и ни каков иначе, то, следовательно, то, что скончаюсь, это не исключено. Но таков ли я? Идея данной работы в том, что мне удастся проявить (выявить) и осознать себя таковым (я таков), что скончаться нечему, но (при этом) я есть. Иначе выражаясь, если я подойду предвзято и действуя целеустремленно, выявлю субъективную реальность «я есть, но таков, что скончаться нечему» – то смерть мне, как психическому несвойственна, то есть, я бессмертен – гипотеза возможности субъективно скончаться («я скончаюсь») будет фальсифицирована и исключена. -/- Чтобы это реализовать в работе предлагается воспользоваться субъект-объектной моделью, сдвинуть границу «я» в полюс субъекта и стать безобъектным, проявившись (выявившись) собой таковым, что скончаться нечему. Следовательно, цель работы – осознать: я таков, что есть, но скончаться нечему. Стать безобъектным и задаваясь вопросом о возможности скончаться, или исключу бессмертие проявленного состояния, или проявлюсь (выявлюсь) бессмертным несомненно и окончательно. -/- При этом, я, как субъект, являюсь «необходимым полюсом субъектно-объектных отношений. … Объект – то, на что направлена активность … субъекта. … В действительности объектом может стать все, что существует. … важно иметь в виду тот принципиальный факт, что объект всегда внеположен субъекту, не сливается с ним. Эта внеположность имеет место и тогда, когда субъект имеет дело с состояниями собственного сознания, своим Я … важно подчеркнуть, что отношение субъекта и объекта – это не отношение двух разных миров, а лишь двух полюсов в составе некоторого единства» /Лекторский В.А., стр. 6-7. То есть, всё, что нахожу в себе существующим, это (таковое) есть в качестве объекта. «Субъект – всегда относится ко всем «объектам», но он никогда не может стать объектом для самого себя» /Титлин Л.И., стр. 23. Иначе это выражая – «ты не сможешь увидеть видящего видение…» /Титлин Л.И., стр. 40, и в данной модели таковое предполагает «предел» субъекта. Как предел субъекта я «безобъектен». То есть, «идеален» – своим (собственным) пределом (в качестве собственного предела) самим для себя не существую (несуществующий). -/- Используя «факт подвижности границ субъекта» /например, Тхостов А.Ш., стр. 16, я имею возможность границу «я» в себя-назад «втянуть» и стать собственным пределом. При этом необходимо осознать и принять, что внутри предела субъекта и сзади – «за пределом субъекта», и вообще само «внутри» и «сзади» в этой модели – нереальность. Таким субъектным пределом предполагается требуемое парадоксальное субъективное состояние – я есть и вижу, но при этом я таков, что для себя не существую, то есть, я есть, но (психически таков, что) умереть нечему («бессмертие»). -/- Соответственно, в эксперименте обозначаются следующие задачи: 1. В объект-субъектной сфере зрительного восприятия сдвинуть (и сдвинув) границу «я» в себя-назад –» упереться в собственный предел и стать самим собственным пределом (без толщены: без глубины, без «внутри» и без обратной стороны) –» 2. Став собственным пределом, которым есть, но для себя не существую (несуществующий), осознать: • Себя – я есть и это реально; • Скончаюсь? – есть ли чему скончаться или скончаться нечему, какой из вариантов мне (как психическому «я») свойственен: • или я таков, что то, что скончаюсь не исключено, и реализованное состояние не бессмертно; • или я есть, но таков, что скончаться нечему, то есть, собственное бессмертие – я бессмертен; • Реальность ли это. -/- Инструкция воспроизведения целевого результата: последовательность действий и результатов в субъективно-психическом эксперименте (далее СПЭ) -/- На расстоянии 25-40 см от стены (так, чтобы стена занимала всё поле зрения или его подавляющую часть), • Здесь и сейчас сосредоточьтесь на своём лице: «я есть» – реальность (а не знание об этом). • В себе отстранитесь назад и смотрите из себя на эту стену. • Не двигая головой, охватите поле зрения вниманием предельно широко и одновременно всё сразу (всё это) воспримите единым целым. • Высокую и широкую стену (вариант: смотрите вверх под углом 135-150 градусов перед собой) воспримите так, что обозреваемое вами без поворота головы пространство (объем), это – ограниченная по окружности в периферии поля зрения замкнутая несимметричная «линза» • плоская с противоположной вам стороны • и выпуклая в вас; Вы – вогнутый в себя-назад смотрящий («субъект») – каков? – кто из вас сейчас на всё это смотрит? • Не двигая головой, поле зрения воспримите единым целым –» • В себя-назад «втянитесь» –» и «пятьтесь» –» «за мысли» и за всё вообще –» из этого всего назад вытесняясь –» от всего вообще взад отстранитесь –» • собой в себя-назад подайтесь и упершись в собственный (себя) задний к объектному обращённый (развернутый) тупиковый предел –» • станьте самим пределом-тупиком – в себя-назад вогнутой (рефлектор-подобной) пределом-плоскостью смотрящей – воспринимающим зрительным экраном –» станьте плоскостью-тупиком –» • «проскользните» по себе – плоскости-тупику и охватите вниманием целиком –» • собой – самим плоскостью-тупиком назад надавить, нажать –» • осознать: что-то как-то внутри плоскости-тупика и сзади за плоскостью-тупиком, и там вообще «что-то как-то», а также само «внутри» и «сзади», «за плоскостью-тупиком» и вообще «там» – нереальность; • самого себя – плоскости-тупика без толщины (глубины), без «внутри», без обратной стороны для себя нет. • –» То есть – в качестве психической реальности (каково психически) я скончаюсь? –» или • скончаться есть чему – скончаюсь (не исключено). или • я таков, что скончаться нечему, но я есть. или • субъективно-психический эксперимент не завершён. • –» Осознайте, что это – реальность (осознать реальность этого) и подчеркните (ответ). -/- В результате я есть, но скончаться/не скончаться нечему, то есть гипотеза «скончаюсь» – нереальность. -/- Замечания -/- • Каждый завершённый СПЭ завершён целевым результатом: «я таков, что скончаться нечему, но я есть». И тому, каков я в результате СПЭ, то, что скончаться есть чему – скончаюсь (не исключено) не соответствует, то есть нереальность и этим исключено. • То есть, я и не таков, что не скончаюсь. «Я скончаюсь/не скончаюсь» ко мне, как к психике, неприменимо. Иначе это выражая, тому, каков я, смерть несвойственна. То есть, я, как психика (психическое), бессмертен, но я не вечен (не вечный – бесконечно длящийся, таковой, что есть чему длиться) – длиться, быть вечным и не скончаться нечему. Таково «бессмертие». • В целевом результате данной работы я есть, но таков, что скончаться/не скончаться нечему («бессмертие»). И таковой «я» не Атман индуистских школ ньяя, вайшешика и пурва-миманса, о котором сообщает Е.А. Торчинов. Так как «я» психичен, а не субстанция с психическим в качестве атрибута. • Согласно иллюзионизму, то, каков я в результате данного в работе эксперимента, это иллюзия. И впечатление бессмертия, это порождение мозга. А реально я таков, что скончаюсь (не исключено). Однако, необходимо осознать, что иллюзионизм, это отстраненные рассуждения о «я», но не сам я непосредственно. И тому, каков я психически (каково психически), рассуждения и вопросы о реальности «я» (например, таков ли я реально, каков психически?) и другие выражающие иллюзионизм «я» не соответствуют. То есть, каково психически, иллюзионизм «я» – нереальность. Психически, это несомненно и окончательно. • Рассуждения о том, что таковой «я» в этом (моем) или не в этом мозге, а также (например, держа в руках реальный череп), вопросы, типа «а как же (или, но теперь где же здесь) таковой «я» – как это после смерти мозга?» тому, каков таковой «я» эти вопросы не соответствуют. • После пребывания без сознания остается впечатление, что без сознания меня нет и ничего никак нет вообще. То есть, моё «бессознание» психически неотличимо от моего несуществования (небытия). Однако, наукой не показано и не исключено то, что до и после того, как я есть физически (скончаться есть чему), меня ещё или уже нет, скончаться ещё или уже нечему в качестве души, субстанции или как-то иначе. Но, то, каков я в целевом результате данной работы, таковой я есть, а не «скончался и уже теперь или ещё нереальность» и я таков, что скончаться нечему – реален (реалия). То есть, скончаюсь? – нечему (скончаться), но я есть, даже если меня нет (не существую). • Я таков, что быть и скончаться нечему, но я есть. И то, как (каково) психически, это бессмертие – реальность. Но эта реальность ускользает от моего рационального её объяснения. -/- Заключение -/- Скончаюсь? – в целевом результате я есть и вижу, но при этом я таков, что умереть (скончаться) нечему. То есть, я бессмертен, но при этом я не вечен (не нечто вечное (бесконечно длящееся)) – быть вечным нечему. И, если принять психическое реальностью не пытаясь понять это рационально, то я именно таков – осознаю, что такова моя несомненная для меня природа. То есть, «скончаюсь/не скончаюсь» – нереальность. Психически, это несомненно и окончательно. Несмотря на ненаучность, данная работа – способ овладения реальностью. Автор был бы признателен за выявленную и показанную нереальность целевого результата данной работы, а в идеале, за осознание: «скончаюсь (не исключено)». -/- Annex 2. The key essence of this work (only in Russian to convey the nuances without distortion) -/- Performed, expressed and transmitted initially by means of Russian, the native language of the author, and, in order to avoid distortions in the correspondence of the linguistic nuances of the reproduced subjective reality, it assumes an independent translation into the language of the experimenter by the experimenter himself in the process of reproducing the target result of this work. -/- «Я» скончаюсь? – нечему (скончаться), но «Я» есть. Will “I” die (decease)? – to die (decease) nothing, but “I” am. -/- Заметить: • Выполнено, выражено и передано изначально посредством русского – родного для автора языка и, чтобы избежать искажений соответствия языковых нюансов воспроизводимой психической реальности, предполагается самостоятельный перевод на язык экспериментатора самим экспериментатором в процессе воспроизведения целевого результата данной работы. • В «кавычки» взяты слова и выражения, требующие «субъективного» приведения в соответствие психическому содержанию. Подготовка: • Вам потребуется уединённое место (там, где вас не отвлекут). • На первоначальном этапе понадобится некоторое (возможно длительное) время для того, чтобы усвоить предложенный алгоритм действий в психической реальности в процессе реализации и воспроизвести целевой результат впервые. • Возможно, результату поспособствует отклонение от предложенного алгоритма «психических действий», импровизация в направлении целевого результата. • В процессе эксперимента количество попыток не ограничено и затраченное на это время не имеет значения. Необходим исключительно только именно целевой результат. Реализация: • В уединении встать перед плоской широкой и высокой (достаточно большой, чтобы её границы были на периферии вашего поля зрения) стеной, например, покрытой однородной светлой (но не белой) керамической, не глянцевой (не отражающей на вас свет или отвлекающих внимание изображений, не дающей бликов) плиткой с лёгким текстурным рисунком (позволяющим глазам «зацепиться» за стену и отчётливо воспринимать перед собой поверхность, а не «утонуть» в однородном (монотонном) пространстве), на расстоянии 25-40 см от неё (так, чтобы стена занимала всё поле зрения или его подавляющую часть) –» • Скончаюсь (1)? – каково психически (психическое), в моем естественно-научном понимании – это (я) не более чем и исключительно только некоторые состояния функционирующего (живого) мозга – скончаюсь, как и уже скончался каждый умерший мозг – того каждого, кто скончался, как реальности (реального, реалии) (2) уже теперь нет окончательно. Теоретически, если психически я исключительно только таков, что скончаться есть чему и ни каков иначе, то, следовательно, что (я) скончаюсь, это не исключено. • Глядя на стену, здесь и сейчас сосредоточиться на своём лице (и осознать): «я есть» – реальность (а не знание об этом) –» • В себе «отстраниться» назад – смотрю из себя на эту стену –» • Не двигая головой, охватить поле зрения вниманием предельно широко (поднять (вздернуть) брови, если это расширит поле зрения) и одновременно всё сразу (всё это) воспринять единым целым –» • Высокую и широкую стену (вариант: смотреть вверх под углом 135-150 градусов перед собой) воспринять так, что обозреваемое без поворота головы пространство (объем), это – ограниченная по окружности в периферии поля зрения замкнутая несимметричная «линза» • плоская (ограниченная стеной) с противоположной мне стороны • и «выпуклая в меня» –» • Я – «вогнутый» в «себя-назад» смотрящий, каков? – кто из меня сейчас на всё это смотрит? –» • Не двигая головой, поле зрения воспринять единым целым –» • в себя-назад «втянуться» –» и «пятиться» –» «за мысли» и за всё вообще –» из этого всего назад «вытесняясь» –» от всего вообще «взад отстраниться» –» • «собой» в себя-назад «податься» и «упершись» в «собственный (себя) задний к объектному обращённый (развернутый)» «предел тупиковый» («тупо-уперто») –» • «стать» самим «пределом-тупиком» – «в себя-назад вогнутой (рефлектор-подобной)» «пределом-плоскостью» смотрящей – воспринимающим «зрительным экраном» –» стать «плоскостью-тупиком» –» • «проскользнуть» по себе – плоскости-тупику и охватить вниманием целиком –» • собой — самим плоскостью-тупиком «назад надавить, нажать»: • осознать: «что-то как-то внутри плоскости-тупика» и «сзади – за плоскостью-тупиком», и «там вообще» «что-то как-то», а также само «внутри» и «сзади», «за плоскостью-тупиком» и вообще «там» – нереальность; • самого себя – плоскости-тупика без толщины (глубины), без «внутри», без обратной стороны для себя нет –» Собой – плоскостью-тупиком: • без глубины (толщины), без «внутри», без обратной стороны таков, что скончаться есть чему – скончаюсь (не исключено) –» • смотрю –» смотря –» «Непосредственно-психически» -/- Заметить: • Специфику используемых в данной работе слов (терминов), названий и выражений необходимо осознать в соответствии с (4.1.) (данный пункт смотрите ниже). • Необходимо от себя – (как) «смотрящего плоскости-тупика», такового, что скончаться есть чему, оттождествиться собой — «самим психическим» (каково психически) (3) –» • –» «отличить (4)» «Я» –» «Я-лик». • Отличив, и себя такового обозначая, но не имея в языке отличающего местоимения, именую «Я» (5). • «Соединённое-через-дефис-в-кавычках» реализовать и/или воспринять «одним-единым-целостным»; • Последовательность слов и знаков предполагает последовательность психических действий (алгоритм действий в собственном психическом); • Вопросительность слова, фразы или отдельной её, именно вопросительной части задаётся знаком «?» расположенным перед и после них. Требование к действию задаётся знаком «!» расположенным перед и после слова (фразы); • Субъективно-психический эксперимент завершён, если воспроизведен (4.1.), иначе субъективно-психический эксперимент не завершён. -/- Собой – плоскостью-тупиком … смотрю –» смотря –» -/- «Психически» (6) 1. ?кто? видит –» !отличить «Я»! –» 2. –» !«Я-видящий-лик»! –» 3. –» !«Я-лик»! –» 4. –» !«Я-ликом» всем «психически-назад-надавить(нажать)»: «Я» ?скончаюсь?! –» !«Я-ликом» всем «психически-назад-давить(жать)»: (4.1.) – нечему (7), но «Я» есть.! -/- Признательность: Согласно иллюзионизму, то, каков «Я» (как (каково) «скончаться нечему, но «Я» есть.»), реально, это не так (не таково). То есть, таковой «Я» нереален (нереальность), а реально – таков, что скончаюсь (не исключено). Однако, необходимо осознать, что это «отстраненные» от «Я» рассуждения о «Я», но не сам «Я» непосредственно. И тому, каков «Я» (как (каково) скончаться нечему, но «Я» есть.) таковое (рассуждения) не соответствует. То есть, эти рассуждения о «Я» – заблуждение. Это (как осознание) несомненно и окончательно. Не так? – за выявленную и показанную нереальность (того, что) «Скончаюсь? – нечему (скончаться), но «Я» есть.», за показанную реальность того, что скончаться не исключено, а в идеале, за осознание: «скончаюсь (не исключено)» я был бы признателен. -/- (Сноски) (1) Именно «скончаюсь, скончался», то есть – как реальности (реального, реалии) нет окончательно. (2) Реалия, реально, реален, реальность, реальное – само то, что (каково это) непосредственно, как само таковое – само то, каково познаваемое и как-либо моделируемое вне его познания и иного (вообще) моделирования. То есть, само само-осознание себя реальностью, например, «я-реалия», «я есть» или «скончаться – нечему, но «Я» есть.» – реальность. То есть – нам ничто не запрещает ответить на вопрос «скончаюсь?» несомненно и окончательно. (3) Психически (психическое) – то, как (каково) я сам непосредственно, несомненно, и та моя непосредственная реальность, как и посредством чего я сам и всё вообще для меня есть, и которое для меня исключительно единственное. Следует заметить, что пока бываю без сознания (травма мозга или сон без сновидений), ничего и никак нет вообще. Также само обозначение того, что это сама собственная непосредственная реальность (то есть – несомненно). И чтобы её осознать, представьте себя экспериментатором, который не подменяет реальность рассуждениями о ней. – Теперь для вас, как экспериментатора, то, как (каково) психически, это – несомненно (непосредственная несомненная реальность). Не философствуй (не рассуждай, не моделируй её), а экспериментируй! (4) «Я-Лик» – специфическое выражение, соответствующее психическому в данный момент СПЭ. (5) «Я» – целевой (конечный, «предельный») и «ключевой» результат данной работы. «Я» в данной работе не склоняется, выделено полужирным подчеркнутым шрифтом и заключено в кавычки. (6) «Каково психически» – то, как (каково) «Я» сам непосредственно, несомненно – само «первое лицо» (субъект психического), а также обозначение принятия позиции «первого лица» и сообщения «от первого лица». (7) Пока я бываю без сознания («бессознание», например, сплю без сновидений), моего сознания нет (оно сведено на нет, угасло) – ничего и никак нет вообще (это моё абсолютное небытие) – (каково) психически, мне скончаться нечем. А в целевом результате данной работы, психически (то есть – непосредственно), «Я» таков, что скончаться не нечем, а именно нечему, но при этом «Я» есть. (shrink)

An important problem with machine learning is that when label number n>2, it is very difficult to construct and optimize a group of learning functions, and we wish that optimized learning functions are still useful when prior distribution P(x) (where x is an instance) is changed. To resolve this problem, the semantic information G theory, Logical Bayesian Inference (LBI), and a group of Channel Matching (CM) algorithms together form a systematic solution. MultilabelMultilabel A semantic channel in the G theory consists (...) of a group of truth functions or membership functions. In comparison with likelihood functions, Bayesian posteriors, and Logistic functions used by popular methods, membership functions can be more conveniently used as learning functions without the above problem. In Logical Bayesian Inference (LBI), every label’s learning is independent. For Multilabel learning, we can directly obtain a group of optimized membership functions from a big enough sample with labels, without preparing different samples for different labels. A group of Channel Matching (CM) algorithms are developed for machine learning. For the Maximum Mutual Information (MMI) classification of three classes with Gaussian distributions on a two-dimensional feature space, 2-3 iterations can make mutual information between three classes and three labels surpass 99% of the MMI for most initial partitions. For mixture models, the Expectation-Maxmization (EM) algorithm is improved and becomes the CM-EM algorithm, which can outperform the EM algorithm when mixture ratios are imbalanced, or local convergence exists. The CM iteration algorithm needs to combine neural networks for MMI classifications on high-dimensional feature spaces. LBI needs further studies for the unification of statistics and logic. (shrink)

Human language, hominin tool production modes, and multimodal communications systems of primates and other animals are currently well-studied for how they display compositionality or combinatoriality. In all cases, the former is defined as a kind of hierarchical nesting and the latter as a lack thereof. In this article, I extend research on combinatoriality and compositionality further to investigations of everyday primate skills. Daily locomotion modes as well as behaviors associated with subsistence practices, hygiene, or body modification rely on the hierarchical (...) nesting of different behavioral and cognitive actions into complex skills. I introduce a scheme which uses hierarchical organization to differentiate combinatorial from compositional skills. Combinatorial skills are defined either as aggregational or linearly hierarchical depending on whether the skill occurs momentarily in space or unfolds sequentially over time. Compositional skills are defined either as nested or interactionally hierarchical depending on whether the skill results in new constructs or in new interactions between existing constructs. The methodology I propose combines epistemological hierarchy theory with data from primatological field research and experimental and comparative psychological research and provides a means to integrate current constructionist and extended views on cognition and action with older research on behavioral logics in psychology and operational chain thinking in anthropology. The approach furthermore synchronizes with ongoing research on teleonomy, intentionality, and creativity. -/- . (shrink)

We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines (...) two weighted Description Logic formulas, each defining a concept, using the following general strategy. First it selects all the features needed for the combination, based on the logical distinc- tion between necessary and impossible features. Second, it determines the threshold and assigns new weights to the features of the combined concept trying to preserve the relevance and the necessity of the features. We illustrate how the algorithm works exploiting some paradigmatic examples discussed in the cognitive literature. (shrink)

The philosophy of mathematics has been accused of paying insufficient attention to mathematical practice: one way to cope with the problem, the one we will follow in this paper on extensive magnitudes, is to combine the `history of ideas' and the `philosophy of models' in a logical and epistemological perspective. The history of ideas allows the reconstruction of the theory of extensive magnitudes as a theory of ordered algebraic structures; the philosophy of models allows an investigation into the way epistemology (...) might affect relevant mathematical notions. The article takes two historical examples as a starting point for the investigation of the role of numerical models in the construction of a system of non-Archimedean magnitudes. A brief exposition of the theories developed by Giuseppe Veronese and by Rodolfo Bettazzi at the end of the 19th century will throw new light on the role played by magnitudes and numbers in the development of the concept of a non-Archimedean order. Different ways of introducing non-Archimedean models will be compared and the influence of epistemological models will be evaluated. Particular attention will be devoted to the comparison between the models that oriented Veronese's and Bettazzi's works and the mathematical theories they developed, but also to the analysis of the way epistemological beliefs affected the concepts of continuity and measurement. (shrink)

ABSTRACT: GEORGES CANGUILHEM’S BIOPHILOSOPHY The eminent French biologist and historian of biology, François Jacob, once notoriously declared «On n’interroge plus la vie dans les laboratoires»: laboratory research no longer inquires into the notion of “Life”. Certain influential French philosophers of science of the mid‐century such as Georges Canguilhem would disagree, or at least seek to resist some of Jacob’s diagnosis. Not by imposing a different kind of research program in laboratories, but by an unusual combination of historical and (...) philosophical inquiry into the foundations of the life sciences. Canguilhem speaks of «defending vitalist biology» and declares that Life cannot be grasped by logic. Is this history and philosophy of biology? Is it vitalism? It definitely is a different project from current philosophy of biology. One short‐lived term for it was “biophilosophy”. In this paper I explore the content of this term as it relates to the above questions. (shrink)

Iris Marion Young’s politics of difference promotes equality among socially and culturally different groups within multicultural states and advocates group autonomy to empower such groups to develop their own voice. Extending the politics of difference to the international sphere, Young advocates “decentered diverse democratic federalism” that combines local self-determination and cosmopolitanism, while adamantly rejecting nationalism. Herr argues that nationalism, charitably interpreted, is not only consistent with Young’s politics of difference but also necessary for realizing Young’s ideal in the global (...) arena. (shrink)

Transcendental philosophy was not born like Athena out of Zeus’s head, mature and in full armour from the very beginning. That is why in both prefaces to the Critique of Pure Reason (1781 and 1787) Kant introduces the concept of transcendental philosophy as an “idea.” The idea understood architectonically develops slowly and only gradually acquires a definite form. As witnessed by the works of Kant himself and of his predecessors and followers, the idea of transcendental philosophy has undergone a series (...) of changes and adjustments compared to the initial plan. In this context, my goal is not simply exegesis and historical investigation of transcendental philosophy, but also to look at it from a systematic and methodological perspective. I examine the concept of transcendental philosophy from the viewpoint of programmatic metaphilosophy. The first part discusses programmatics as a distinct subsection of metaphilosophy. I argue that Kant’s architectonic methodology and the methodology of Lakatos can be used to understand the inception, development and degradation of philosophical systems. In the second part I look at the project of transcendental philosophy and the stages of its development from the standpoint of architectonics. The third part shows that Lakatos’s methodology can provide a detailed insight into the elements of transcendental philosophy, a clear idea of its logic and identify the component parts that can be improved and developed. In spite of the different levels of detailing and epistemological prerequisites, the methodologies of Kant and Lakatos can be combined to achieve a metaphilosophically informed and progressive understanding of philosophical projects. (shrink)

(For English, scroll down) „Kreativität“ ist ein sehr junger Begriff und ein sehr altes Phänomen. Sie gilt als unaufklärbares Rätsel, als eine Art „Black Box“ des Denkens. Dem kollektiven Bewußtsein zufolge ist sie etwas Rares, Flüchtiges, strapaziös zu erzielen und nur wenige Glückliche begünstigend. Das vorliegende Buch präsentiert eine logische Grundidee zur Entstehung von schöpferisch Neuem – Elemente aus Logik, Symbotheorie, Informations-, Kommunikations- und Medientheorie verbindend. Diese „Formel“ wird an philosophischen Stationen von der Antike bis zur Gegenwart erprobt und weiterentwickelt, (...) darunter Theorien von Platon, Aristoteles, Leibniz, Baumgarten, Kant, Wittgenstein, Nelson Goodman und Gregory Bateson. Kreativität zeigt sich als ein Transformationsphänomen, welches das Denken auf eine andere logische Ebene führt, kategoriale Grenzen transformiert und Anschlußformen öffnet. Im Ergebnis ist sie nichts per Definition Abwesendes, erreichbar nur über den Umweg von unverfügbarer Gunst, weltabgewandter Passion oder verborgenen Tricks. Kreativität ist vielmehr omnipräsent, schöpferische Energien sind nur mit großem Aufwand zu unterdrücken, und die Frage, wie man sie erreicht, wird zur Frage, wie man ihr eine optimale Basis bereitet, ohne sie wesentlich zu behindern. Creativity" is a young term and an old phenomenon. It is considered an unexplainable enigma, a kind of "black box" of thought. According to the default view, it is something rare, fleeting, hard to achieve and favoring only a lucky few. The present book presents a logical formula for the emergence of creative newness - combining elements from logic, theories of symbolization, information-theory, communication- and media theories. This structural idea is tested and further developed by confronting it with select philosophical theories regarding the production of ‘newness’ from antiquity to the present, including theories by Plato, Aristotle, Leibniz, Baumgarten, Kant, Wittgenstein, Nelson Goodman and Gregory Bateson. As a result, creativity shows up as a transformation phenomenon, including different logical levels, thereby transforming categorical boundaries. As a result, it is not something mostly absent, attainable only through of luck, manic passion, or hidden tricks. Creativity is rather omnipresent, creative energies can only be suppressed with great effort, and the question of how to achieve it becomes the question of how to prepare an optimal basis without significantly hindering it. (shrink)

In his book Worlds and Individuals, Possible and Otherwise (2010), Takashi Yagisawa presents and argues for a novel and imaginative version of modal realism. It differs both from Lewis’s modal realism (Lewis 1986) and from actualists’ ersatz accounts (Adams 1974; Sider 2002). In this paper, I’ll present two arguments, each of which shows that Yagisawa’s metaphysics is incoherent. The first argument shows that the combination of Yagisawa’s metaphysics with impossibilia leads to triviality: every sentence whatsoever comes out true. This (...) is so even if Yagisawa accepts a paraconsistent notion of logical consequence, on which contradictions do not entail arbitrary conclusions. The second argument is independent of Yagisawa’s acceptance of impossibilia. It shows that Yagisawa’s metaphysics of possible worlds is incoherent. Using ordinary modal reasoning, I derive a contradiction from Yagisawa’s account of possible worlds. (shrink)

This paper has a dual character, combining a philosophical ontological exploration with a conceptual modeling approach in systems and software engineering. Such duality is already practiced in software engineering, in which the current dominant modeling thesis is object orientation. This work embraces an anti-thesis that centers solely on the process rather than emphasizing the object. The approach is called occurrence-only modeling, in which an occurrence means an event or process where a process is defined as an orchestrated net of events (...) that form a semantical whole. In contrast to object orientation, in this occurrence-only modeling objects are nothing more than long events. We apply this paradigm to (1) a UML/BPMN inventory system in simulation engineering and (2) an event-based system that represents medical occurrences that occur on a timeline. The aim of such a venture is to enhance the field of conceptual modeling by adding yet a new alternative methodology and clarifying differences among approaches. Conceptual modeling’s importance has been recognized in many research areas. An active research community in simulation engineering demonstrates the growing interest in conceptual modeling. In the clinical domains, temporal information elucidates the occurrence of medical events (e.g., visits, laboratory tests). These applications give an opportunity to propose a new approach that includes (a) a Stoic ontology that has two types of being, existence and subsistence; (b) Thinging machines that limit activities to five generic actions; and (c) Lupascian logic, which handles negative events. With such a study, we aim to substantiate the assertion that the “occurrence only” approach is a genuine philosophical base for conceptual modeling. The results in this paper seem to support such a claim. (shrink)

This is a reply to Luke Roelof's comments (2017) on my paper "A Dilemma for Russellian Monists about Consciousness" (2015). On both Russellian monism and dualism, experiences are distinct from neural-functional states and they are correlated with some neural-functional states and not others. The only difference between them concerns the status of the extra-logical principles linking experiences with their neural-functional correlates (e. g. increasing S1 firing rates results in increasing pain): Russellian monists hold that they are a priori and necessary, (...) while dualists say that they are a posteriori and contingent. How are we to decide between them? Roelofs suggests that Russellian monism is simpler than dualism. I argue against this. Both face the "T-shirt problem": both require a swarm of extra-logical principles linking brain states with experiences. The Russellian monist might engage in some unbridled speculation: they are somehow derivable from small set of more basic extra-logical principles ("principles of combination"), even if we cannot supply the details. But the dualist can do the same. The only difference is that the dualist will speculate that those more basic principles are contingent rather than necessary a priori. Given our limited evidence, there is no reason (and in particular no simplicity-based reason) to prefer the Russellian monist's speculations to the dualist's parallel speculations. (shrink)

Faced with the choice between saving one person and saving two others, what should we do? It seems intuitively plausible that we ought to save the two, and many forms of consequentialists offer a straightforward rationale for the intuition by appealing to interpersonal aggregation. But still many other philosophers attempt to provide a justification for the duty to save the greater number without combining utilities or claims of separate individuals. I argue against one such attempt proposed by Iwao Hirose. Despite (...) being consequentialist, his argument is aggregation-free since it relies on a non-aggregative value judgement method, instead of interpersonal aggregation, to establish that (other things being equal) a state of affairs is better when more people survive therein. I do not take issue with its consequentialist element; rather, I claim that there is no good reason to adopt the method in question, and thus no good reason to be moved by his argument overall. What we are in search of is not merely a logically possible method that can produce the conclusion that we already want, but one that we have good reason to adopt. Hirose's argument elegantly demonstrates how it could possibly be true that it is right to save the greater number; but it fails to show that we have reason to believe so - even when we do not combine the interests of different individuals. (shrink)

Since Nietzsche, the term “perspectivism” has been used as the name for an ill-defined epistemological position. Some have tried to find an adequate meaning for the word “perspectivism,” tacitly investing it with a set of different predicates, such as “the dependence of cognition on position,” “pluralism,” “anti-universalism,” “epistemic humility,” etc. This approach is related to two contestable attitudes: the monolateral linguistic paradigm and the metaepistemological position of multiplicity of incompatible epistemological programs. The monolateral linguistic paradigm proceeds from the assumption (...) that there is no obligatory connection between word and meaning. This makes it possible to denote logical content by any possible sign, and to explicate the sign in any number of ways. The metaepistemological position of multiplicity of incompatible epistemological programs encourages the support of artificial antagonism in the theory of cognition and the creation of “new” positions with different denotations. These attitudes can be contrasted with the method of empirical “originalist” analysis within the bilateral paradigm, as well as the theory of one epistemology and universal epistemic language. The content of the term “perspectivism” can be reconstructed by analyzing the original meanings of its individual constituent morphemes and their combination. The extremely precise and empirically provable definition of the word “perspectivism” is “the tendency to act by seeing through something”. This points to the problem of the impossibility of analytically deducing from it “the dependence of cognition on position,” “pluralism,” and other predicates. The same problem of inconsistency between the name of the epistemological position and its content is also encountered, for example, in the literature on relativism. It freely attributes a set of doctrinal beliefs to the term “relativism” without explicit linguistic signification of the predicates and blurs the difference between perspectivism and relativism. This points to the inexpediency of constructing epistemological positions on the basis of words denoting one of all possible interrelated cognitive actions, and the need to rethink epistemological practice. (shrink)

In this paper I present an interpretation of Immanuel Kant’s transcendental deduction of the categories (a dangerous interpretation it turns out), based primarily on the “two-step” argument of the B deduction of the Critique of Pure Reason. I undertake to show that Kant’s distinction between the “pure forms of intuition” and “pure formal intuition” is successful in its attempt to prove that all sensible intuitions presuppose the a priori categories, in a way which is compatible, I claim, with Kant’s statements (...) (in the Aesthetic and elsewhere) that sensible intuition is prior to all concepts; and therefore that the Transcendental Aesthetic presupposes the Transcendental Analytic. Thus my Interpretation is a "conceptualist" reading of the deduction, in holding that perception, as receptivity, presupposes an underlying spontaneity of the pure understanding and categories. The categories are held to be not just compatible with all possible sensible intuitions, but through their "transcendental content" constitutive of the relation of sensible intuitions to objects - and this explains how our thought can represent objects a priori. It is one of the claims of my interpretation that the logical forms of judgment of general logic derive from the pure categories of transcendental logic, rather than vice-versa. I.e. that the logical forms through which we make empirical judgments by combining analytical concepts in inner sense in time, are originally grounded in an atemporal categorial synthesis in pure intuition (i.e. in the form of time but not the dimension of time), referring an outer intuition in general to the transcendental object of intuition (as “something in general” outside sensibility or receptivity), thereby providing the synthetic unity of the manifold which “..all analysis presupposes.” My conceptualist reading of the deduction, I claim, avoids the problems associated with other conceptualist readings, for example inconsistency with the text (“Intuitions are prior to all concepts.” etc.) and blurring of the distinction between receptivity and spontaneity. In my paper I prove that the categories can correctly be held to provide the a priori unity of intuitions, notwithstanding the fact that the latter are “prior to all concepts,” because this unity is not provided by the categories as fully-fledged concepts in the empirical subject, but as the transcendental logical form of these concepts, as a unity in the pure understanding - and the categories therefore require their empirical content or application for their objective reality as concepts. I.e. the categories, as logical functions of judgment for transcendental apperception, in the pure forms of intuition, are prior to all "concepts", correctly speaking, as well as prior to all intuitions, and provide the necessary unity of both. Likewise, at the empirical level my version of conceptualism cannot be accused of blurring the distinction between receptivity and spontaneity, or sensibility and understanding, because although the transcendental content of the categories, as a logical function of judgment in the pure forms of intuition, in transcendental apperception, is in necessary relation to sensibility (in combining the manifold in the pure or formal representation of the transcendental object) their empirical content is not. - At the empirical level the divide between spontaneity (as judgment in the empirical subject) and receptivity (as the effect of transcendental synthesis and the transcendental object on outer and inner sense) remains intact. Conceptualist readings of the deduction also have to avoid infringing Kant’s requirement that the sensible manifold originally be given prior to and independently of all acts of the understanding, or otherwise to qualify the requirement in some way - e.g. by taking a Hegelian direction, such as that taken by John McDowell. On my reading of the deduction the sensible manifold given indeterminately in the pure forms of space and time must be given prior to the categorial synthesis of the manifold in the pure representation of the transcendental object, i.e. in the pure 'concept' of an object in general affecting sensibility. Therefore Kant’s requirement for an undetermined manifold given prior to, and independently of, all acts of the understanding (“..the manifold to be intuited must be given prior to the synthesis of understanding, and independently of it. How this takes place, remains here undetermined” [cf.B145/146]) is not infringed. In a later section of the paper, however, I will argue that the transcendental object (of intuition) does have pure theoretical reason as one of its two interacting immanent aspects, but is distinct from pure theoretical reason in the other of its (the transcendental object of intuition's) two interacting immanent aspects, i.e. pure will, which adds a Schopenhauerian element to my interpretation (which will be argued for in a way which supports Kantian optimism over Schopenhauerian pessimism however, in regard to the freedom of the will). Another perceived inconsistency in the deduction, which my interpretation can explain, is Kant’s description (in the B deduction) of the principle of the necessary synthetic unity of apperception as analytic, while in the A deduction it is described as synthetic. I explain this as a difference in the reference of terms such as “my representations” in the two versions - a transcendental reference in the B version but an empirical and transcendental reference in the A version of the principle. I also show that the first part of the two-step B deduction can correctly be characterised by Kant as analytic and the second, concluding part, synthetic (a point of dispute amongst Kant scholars) because transcendental logic (which refers to both the analytic and synthetic aspects of the principle of apperception) “does not abstract from the pure content of knowledge.” While being a “double aspect” rather than “two world” view of transcendental Idealism (because objects of intuition are comprised of both the empirical and transcendental object, i.e. transcendental referent, of intuition, my view differs significantly from the “double aspect” interpretation of Henry Allison (which distinguishes empirical reality from the “God’s eye” view). The view of transcendental idealism resulting from my reading of the deduction, I claim, allows a full empirical realism, because empirical intuitions, as objects of cognition, are the appearance of both the transcendental subject and the transcendental object (i.e. transcendental referent ) of transcendental synthesis (both as “something in general” outside sensibility or receptivity, or rather outside sensibility as receptivity). I conclude that Kant succeeds (although only with the addition of what I have called my 'Schopenhauerian element') in his attempt to prove that we have a transcendental unity of apperception which both constitutes, and is constituted by, the relation of sensible representations to objects, and that since transcendental apperception is the a priori underlying ground of empirical apperception, the categories (as the logical functions of judgment by which transcendental apperception relates sensible representations to objects) are the a priori underlying ground of all experience, and are therefore valid synthetically a priori for all objects of experience. (shrink)

The central concept of this edited volume is "blended cognition", the natural skill of human beings for combining constantly different heuristics during their several task-solving activities. Something that was sometimes observed like a problem as “bad reasoning”, is now the central key for the understanding of the richness, adaptability and creativity of human cognition. The topic of this book connects in a significant way with the disciplines of psychology, neurology, anthropology, philosophy, logics, engineering, logics, and AI. In (...) a nutshell: understanding better humans for designing better machines. It contains a Preface by the editors and 12 chapters. (shrink)

Derrida’s thought on “trace,” “différance,” “writing,” and “supplement” is always thought the breaking of logocentrism, the essence, the positive meaning, and the closure of the metaphysics of presence; this thinking is accordingly regarded the thinking with the fundamental structure of difference and openness. By tracking back to Saussure, Husserl and Levinas, this fundamental difference breaks the myth of ideal meaning as well as the illusion of the absolute open; its lack of ideality and absoluteness contains the fundamental difference within itself (...) and thus has the structure of open. However, from a broader perspective, I will re-ask the question “Whether or not Derrida’s ‘trace,’ ‘différance,’ ‘writing,’ and ‘supplement’ have a structure of open.” When the web of differences encompasses everything even its own “exit,” this “open” thus conceals and denies other modes of thinking. With the impossibility of going out of this mode of thinking, the structure of différance is closed. (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)