The reintroduction of Aristotle's Analytics to the Latin West—in particular, the reintroduction of the Posterior Analytics—forever altered the course of medieval epistemological discussions. Although the Analytics fell decidedly from grace in later centuries, the sophisticated account of human cognition developed in the Posterior Analytics appealed so strongly to thirteenth-century European scholars that it became one of the two central theories of knowledge advocated in the later Middle Ages. Robert Grosseteste's 'Commentarius in Posteriorum Analyticorum Libro', written in the 1220s, is (...) most likely the first complete Latin commentary on the Posterior Analytics. As the thirteenth century wore on, Aristotle’s account of human cognition was generally set in opposition to the Augustinian-influenced theory of divine illumination that was de rigueur in the early thirteenth century. Although common consensus holds that this pattern of opposition was set already in Grosseteste’s CPA, I argue that the story of the Posterior Analytics’s early reception is, in fact, quite different. In particular, I maintain that, rather than seeing himself as forced to choose between his earlier theory of divine illumination and the “new” Aristotelian epistemology, Grosseteste is perfectly content to blend and bring together the diverse elements of these systems and to present a consciously synthetic rather than adversarial picture of these differing accounts of human cognition. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

This thesis focuses on Abelard’s solution to the problem of understanding universals as presented in the Tractatus de Intellectibus. He examines this issue by asking what is understood when we consider the term ‘man’, a problem I call the ‘homo intelligitur [man is understood]’ problem. This is an important question, since earlier in the Treatise, Abelard states that understandings paying attention [attendens] to things otherwise than they are are empty, and thus, cannot be true. The challenge is therefore to (...) explain how understandings about universals, such as genera and species, can be sound, given that Abelard is a nominalist and, as such, does not believe in the existence of universal entities. His own answer to the problem is that such understandings attend to natures. However, since natures are, on his view, nothing more than the individuals they belong to, it is unclear how his solution is intended to work. I propose two ways to understand Abelard’s solution to the ‘homo intelligitur’ problem, identifying their respective merits and drawbacks. The first one is to treat ‘nature’ as meaning ‘status’. I explore this solution in Chapters 2 and 3, and conclude that while it has the advantage of establishing links between De Intellectibus and previous logical works by Abelard, it has some significant drawbacks, most notably that it is unclear how we can have epistemic access to status given that status are not things, which renders unclear how the criteria for the soundness of understandings can be met. The second one involves treating natures as referring to behaviors typical of members of a given genus or species. These behaviors come from the particular essential forms possessed by individuals, i.e. their differentiae understood as analogous to nuclear tropes in Peter Simons’ trope theory. I conclude that this solution is more intuitive than the first one and has the advantage of not depending on a specific interpretation of the evolution of Abelard’s thought. However, it is unclear how to treat behaviors and regularities in his ontology. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along (...) the way. (shrink)

The first decade of this century has seen the nascency of the first mathematical theory of general artificial intelligence. This theory of Universal Artificial Intelligence (UAI) has made significant contributions to many theoretical, philosophical, and practical AI questions. In a series of papers culminating in book (Hutter, 2005), an exciting sound and complete mathematical model for a super intelligent agent (AIXI) has been developed and rigorously analyzed. While nowadays most AI researchers avoid discussing intelligence, the award-winning PhD thesis (...) (Legg, 2008) provided the philosophical embedding and investigated the UAI-based universal measure of rational intelligence, which is formal, objective and non-anthropocentric. Recently, effective approximations of AIXI have been derived and experimentally investigated in JAIR paper (Veness et al. 2011). This practical breakthrough has resulted in some impressive applications, finally muting earlier critique that UAI is only a theory. For the first time, without providing any domain knowledge, the same agent is able to self-adapt to a diverse range of interactive environments. For instance, AIXI is able to learn from scratch to play TicTacToe, Pacman, Kuhn Poker, and other games by trial and error, without even providing the rules of the games. These achievements give new hope that the grand goal of Artificial General Intelligence is not elusive. This article provides an informal overview of UAI in context. It attempts to gently introduce a very theoretical, formal, and mathematical subject, and discusses philosophical and technical ingredients, traits of intelligence, some social questions, and the past and future of UAI. (shrink)

Medieval authors generally agreed that we have the freedom to choose among alternative possibilities. But most medieval authors also thought that there are situations in which one cannot do otherwise, not even will otherwise. They also thought when willing necessarily, the will remains free. The questions, then, are what grounds the necessity or contingency of the will’s acts, and – since freedom is not defined by the ability to choose – what belongs to the essential character of freedom, (...) the ratio libertatis. This article studies medieval theories of freedom without choice from William of Auxerre to William of Ockham and their background in Augustine, Anselm of Canterbury, and Bernard of Clairvaux. (shrink)

Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

This article investigates the relationship between Hume’s causal philosophy and Newton ’s philosophy of nature. I claim that Newton ’s experimentalist methodology in gravity research is an important background for understanding Hume’s conception of causality: Hume sees the relation of cause and effect as not being founded on a priori reasoning, similar to the way that Newton criticized non - empirical hypotheses about the properties of gravity. However, according to Hume’s criteria of causal inference, the law of universal gravitation is (...) not a complete causal law, since it does not include a reference either to contiguity or to temporal priority. It is still argued that because of the empirical success of Newton ’s theory—the law is a statement of an exceptionless repetition—Hume gives his support to it in interpreting gravity force instrumentally as if it bore a causal relation to motion. (shrink)

xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx.

Drawing upon Martha Fineman’s vulnerability theory, the paper argues that the legal claims of homeless appellants before and during the COVID-19 pandemic illustrate our universal vulnerability which stems from the essential, life-sustaining activities flowing from the ontological status of the human body. By recognizing that housing availability has constitutional significance because it provides for life-sustaining activities such as sleeping, eating and lying down, I argue that the legal rationale reviewed in the paper underscores the empirical, ontological reality of the (...) body as the basis for a jurisprudence of universal vulnerability. By tracing the constitutional basis of this jurisprudence from Right to Travel to Eighth Amendment grounds during COVID-19, the paper outlines a distinct legal paradigm for understanding vulnerability in its universal, constant and essential form – one of the central premises of vulnerability theory. (shrink)

This thesis examines the prospects for mechanical procedures that can identify true, complete, universal, first-order logical theories on the basis of a complete enumeration of true atomic sentences. A sense of identification is defined that is more general than those which are usually studied in the learning theoretic and inductive inference literature. Some identification algorithms based on confirmation relations familiar in the philosophy of science are presented. Each of these algorithms is shown to identify all purely universal theories without function (...) symbols. It is demonstrated that no procedure can solve this universal theory inference problem in the more usual senses of identification. The question of efficiency for theory inference systems is addressed, and some definitions of limiting complexity are examined. It is shown that several aspects of obvious strategies for solving the universal theory inference problem are NP-hard. Finally, some non-worst case heuristic search strategies are examined in light of these NP-completeness results. These strategies are based upon an isomorphism between clausal entailments of a certain class and partition lattices, and are applicable to the improvement of earlier work on language acquisition and logical inductive inference. (shrink)

In [5], Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract “core” of logics in general, where logical syntax and semantics are “two sides of the same coin”. The central suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal (...) logic. However, the reduction to bivaluation may be a side effect of the architecture of ordinary sequents, which is both overly restrictive, and entails certain expressive restrictions over the language. This paper provides an expansion of Béziau’s completeness results for logics, by showing that there is a natural extension of that line of thinking to n-sided sequent constructions. Through analogical techniques to Béziau’s construction, it is possible, in this setting, to construct abstract soundness and completeness results for n-valued logics. (shrink)

In this enquiry I establish Universal Desire Theory as the nominal designation of my active ethical framework, a system heavily influenced by the natural essentialists Philippa Foot and Jenny Teichman, wherein the comparative amalgamation of all subjectively experienced biological harm and benefit is the foundation of objective normativity. Highlights of this paper include the sections where I discuss the moral life of the cell, as well as the moral fallibility of hallucinating persons under this system which combines biological observation (...) with conscious awareness of action. I hope you enjoy. (shrink)

To highlight the promise of Jordan Pascoe’s Kant’s Theory of Labour, my comments concern the diagnostic and prescriptive dimensions of the book’s excellent intersectional critique of dependent labour relations. The diagnostic dimension of Pascoe’s critique establishes that the organisation of dependent labour relations is a neglected problem of Kantian justice. The prescriptive dimension offers solutions to this problem but is underdeveloped. To enhance the book’s prescriptive dimension, I draw on the noted Africana philosopher W. E. B. Du Bois for (...) guidance. For Du Bois, a constitutional republic ought to strive for the abolition of a ‘second’ slavery following the abolition of de jure black chattel slavery with the end of the American Civil War. Given Du Bois’ call for meaningful Emancipation, I argue that philosophers should reinterpret the Kantian normative ideal of freedom as universal independence to uproot the postbellum conditions of second slavery. (shrink)

False belief tasks have enjoyed a monopoly in the research on children’s development of a theory of mind. They have been granted this status because they promise to deliver an unambiguous assessment of children’s understanding of the representational nature of mental states. Their poor cousins, true belief tasks, have been relegated to occasional service as control tasks. That this is their only role has been due to the universal assumption that correct answers on true belief tasks are inherently ambiguous (...) regarding the level of the child’s understanding of mental states. It has also been due to the universal assumption that nothing in the child’s developing theory of mind would lead to systematically incorrect answers on true belief tasks. We review new findings that 4- and 5-year-olds do err, systematically and profoundly, on the true belief versions of all the extant belief tasks. This reveals an intermediate level of understanding in the development of children’s theory of mind. Researchers have been unaware of this intermediate level because it produces correct answers in false belief tasks. A simple two-task battery—one true belief task and one false belief task—is sufficient to remove the ambiguity from each task. The new findings show that children do not acquire an understanding of beliefs, and hence a representational theory of mind, until after 6 years of age, or 2 years later than most developmental psychologists have concluded. This raises the question of how to interpret other new findings that infants are able to pass false belief tasks. We review these new infant studies, as well as recent studies on chimpanzees, in light of older children’s failure on true belief tasks, and end with some speculation about how all of these new findings might be reconciled. (shrink)

During the 13th century, several logicians in the Latin medieval tradition showed a special interest in the nature of impossibility, and in the different kinds or ‘degrees’ of impossibility that could be distinguished. This discussion resulted in an analysis of the modal concept with a fineness of grain unprecedented in earlier modal accounts. Of the several divisions of the term ‘impossible’ that were offered, one became particularly relevant in connection with the debate on ars obligatoria and positio impossibilis: the (...) distinction between ‘intelligible’ and ‘unintelligible’ impossibilities. In this article, I consider some 13th-century tracts on obligations that provide an account of the relation between impossibility and intelligibility and discuss the inferential principles that are permissible when we reason from an impossible – but intelligible – premise. I also explore the way in which the 13th-century reflection on this topic survives, in a revised form, in some early 14th-century accounts of positio, namely, those of William of Ockham, Roger Swineshead and Thomas Bradwardine. (shrink)

The paper considers the proper method for theorizing about criminal jurisdiction. It challenges a received understanding of how to substantiate the right to punish, and articulates an alternative account of how that theoretical task is properly conducted. The received view says that a special relationship is the ground of a tribunal’s authority to prosecute and, hence, that a normative theory of that authority is faced with identifying a distinctive relation. The alternative account locates prosecutorial standing on an institution’s capacity (...) to address the basic reasons generating criminal liability. This reframes the normative issues at stake, and has the result that various, perhaps quite heterogeneous, considerations can substantiate penal authority. It also eliminates the existence of a special relation as a necessary condition for legitimate criminal accountability. The argument proceeds by offering an analysis and account of universal jurisdiction. Not only does the alternative elegantly perform where the received view struggles, it can accommodate much of what motivates the pursuit of relational ties in existing efforts to vindicate jurisdictional conclusions. (shrink)

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the (...) toolkit is substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

Moral error theory is a meta-ethical view that discusses how one makes an error when making a moral judgment or claim. The error resides in the fact that the moral values about which the judgments are made, do not exist in the natural fabric of the world. In the first section of this article, I shall discuss about the moral error theory itself and the claims that it makes. Since the moral error theory in a structured form (...) first came from the philosopher J.L. Mackie, I shall discuss his standard account in the second section and show how this standard account has been misconceived over the time. The third section sets up a base of the view that I seek to endorse in this article, showing what is actually meant by an action being „objectively good or bad‟. The fourth section seeks a critical examination of the contemporary moral error theories and discusses the issues that arise while these theories answer the „now what‟ question. Section five enlists various contemporary objections to the moral error theory which ultimately undermine the arguments made by error theorists. Since the error theory only considers true what is out there in the world, it poses a „correspondence threat‟ to the error theory which is discussed in the sixth section. The seventh section comprises a defense of the formal objections made against the error theory and shows how the formal objection stands by undermining the error theorists‟ view. The main aim of this article is to provide a critical examination of the moral error theory and show how it provides an implausible account of how morality is to be viewed. (shrink)

One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a (...) semantics for the theory and a provably sound axiomatization. (shrink)

The Pythagorean tradition dominates the understanding of beauty up until the end of the 18th Century. According to this tradition, the experience of beauty is stimulated by certain relations perceived to be between an object/construct's elements. As such, the object of the experience of beauty is indeterminate: it has neither a determinate perceptual analogue (one cannot simply identify beauty as you can a straight line or a particular shape) nor a determinate concept (there are no necessary and sufficient conditions for (...) beauty at the semantic level). By the 13th Century in the West, the pleasure experienced in beauty is characterized as disinterested. Yet, on the basis that all cultural manifestations of the pythagorean theory of beauty recognize that judgments of beauty are genuine judgments, we would want to say that judgments of beauty are lawful. In addition, from ancient times, up until after Kant, philosophers of beauty within this tradition recognize two kinds of beauty: a universal, unchanging beauty coexisting with a relative, dynamic beauty. These two kinds of beauty and the tensions discussed above, are reconciled and dissolved respectively, according to the metaphysical/religious commitments of the particular author. As yet, however, these features of beauty have not been reconciled within a physicalist worldview. This is what I set out to do. (shrink)

Universal Energetic Field Theory -/- Additional Argumentation No1: Newton's Third Law relation with the Universal Energetic Field -/- The atom nucleus Quarks energy, and their three generations energy or energy gain, are too submit to the (Albert Einstein) “Law Of The Conservation Of Energy”. Thus, throughout the Quarks 3 generations energetic states and generations transformations, the Newton's Third Law impose the addition of the Universal Energetic Field theory. Martin B.J. Thibault December 2020 .

In his 2000 paper, “Determinables are Universals”, Ingvar Johansson defends a version of immanent realism according to which universals are either lowest determinates, or highest determinables – either maximally specific and exact features (like Red27 or Perfectly Circular) or maximally general respects of similarity (like Colored or Voluminous). On Johansson 2000’s view, there are no intermediate-level determinable universals between the highest and the lowest. Let me call this the Protestant Theory of Determinable Universals, because according (...) to it the humble lowest determinates commune directly with the most high determinables. My question here shall be whether the Protestant theory is not too austere, and whether a more Catholic approach, with a richer hierarchy, is called for. I will be arguing that it may be: between Red27 and Colored, we may need Cardinal Red to intervene. I will here develop several challenges to the Protestant view. Each challenge presents a task that determinable universals should perform if we are going to invoke them at all, but that turns out to be something they can only do if we countenance more of them than the austere Protestant allows. In section one I will consider the task of analyzing resemblance relations, in section two I will consider some tasks to do with causation and the laws of nature, and in section three I will consider the task of making sense of the possibility of continuous change in gunky objects. (shrink)

One of the most disputed controversy over the priority of scientific discoveries is that of the law of universal gravitation, between Isaac Newton and Robert Hooke. Hooke accused Newton of plagiarism, of taking over his ideas expressed in previous works. In this paper I try to show, on the basis of previous analysis, that both scientists were wrong: Robert Hooke because his theory was basically only ideas that would never have materialized without Isaac Newton's mathematical support; and the latter (...) was wrong by not recognizing Hooke's ideas in drawing up the theory of gravity. Moreover, after Hooke's death and taking over the Royal Society presidency, Newton removed from the institution any trace of the former president Robert Hooke. For this, I detail the accusations and arguments of each of the parts, and how this dispute was perceived by the contemporaries of the two scientists. I finish the paper with the conclusions drawn from the contents. -/- Keywords: Isaac Newton, Robert Hooke, law of gravity, priority, plagiarism -/- CONTENTS -/- Abstract Introduction Robert Hooke's contribution to the law of universal gravitation Isaac Newton's contribution to the law of universal gravitation Robert Hooke's claim of his priority on the law of universal gravitation Newton's defense The controversy in the opinion of other contemporary scientists What the supporters of Isaac Newton say What the supporters of Robert Hooke say Conclusions Bibliography -/- DOI: 10.13140/RG.2.2.19370.26567 . (shrink)

This dissertation is concerned with a fundamental problem at the heart of Arendt’s The Human Condition—namely, ‘the problem of idleness’. This problem is related to the three types of human Arendt identifies as correlated to dominant activities in one’s life, animal laborans, homo faber, and the acting person. It explores Arendt’s predictions of an oncoming automation crisis, and the possibility of a corresponding crisis in the production—consumption cycle. The problem of idleness can be understood as the claim that if people (...) are provided freedom from job-holding so that they may pursue other activities, they would likely turn to consumption to occupy their time. I claim that this problem of idleness is important in any consideration of an oncoming automation crisis, especially in relation to Universal Basic Income (UBI) as a solution to such a crisis. I claim that there is a hole in the UBI literature concerning this problem of idleness, and if left unaddressed it would result in both an ineffective UBI, and in a crisis of meaning for the general populace. This dissertation demonstrates what the problem of idleness is, why it is important, and what possible solutions exist. This contributes to the UBI literature by diagnosing and attempting to solve a gap in the literature which I argue would cause practical challenges in the implementation and stability of a UBI system. I also contribute to the Arendtian literature by problematizing traditional readings of Arendt, and offering a reappraisal of her thought on Marx, art, and the social. (shrink)

Plato’s theory of mimesis is expressed clearly and mainly in Plato’s Republic where he refers to his philosophy of Ideas in his definition of art, by arguing that all arts are imitative in nature. Reality according to him lies with the Idea, and the Form one confronts in this tangible world is a copy of that universal everlasting Idea. He poses that a carpenter’s chair is the result of the idea of chair in his mind, the created chair is (...) once removed from reality and since a painter’s chair is imitation of a carpenter’s chair, it is twice removed from reality. Thus, the artist deals in illusion. Plato thus rejected imitative art on the foundation that it is a copy or imitation of the unreal. We may ask; if the Carpenter makes a chair, what does he imitate? And if he imitates reality, can we call him an artist of a kind? This article therefore argues following Plato’s analogy that carpentry is an art of a kind and a carpenter is capable of knowing reality as against the notion that only philosophers are suitable for such a task. (shrink)

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

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

International human rights law is profoundly oxymoronic. Certain well-known international treaties claim a universal character for human rights, but international tribunals often interpret and enforce these either narrowly or, if widely, they rely upon sovereign states to enforce the rights against themselves. International lawyers and diplomats have usually tried to resolve the apparent contradiction by pressing for more general rules in the form of treaties, legal doctrines, and institutional procedures. Despite such efforts, aliens remain who are neither legal nor illegal (...) and who thereby slip through a discourse that claims universality. I ask, why does international legal discourse claim a universality of human rights enforceable by impartial, politically neutral tribunals when it also recognises that a state may refuse to recognise some groups as “persons”? I turn to the works of Bernhard Waldenfels for an explanation. To that end, I briefly outline two examples of state-centered human rights treaties. I then reconstruct Waldenfels’ explanation as to how a territorial sense of space needs an alien exterior to the space. The territorial structure assumes time is frozen as of the date of the foundation of the structure. The body of the alien is taken as a biological body. The personality, motives, and actions of the alien are the consequence of the imagination of people inside the territorial boundary. The dominant international legal discourse reinforces and institutionalises such a territorial sense of space and frozen time because the territorial state is considered the primary legal subject of international law. I also retrieve, however, an experiential but concealed sense of space and time. To retrieve this sense of space and time requires that lawyers see the world through the twilight of legality heretofore ignored as pre-legal. (shrink)

[What is the Human Being? Peter Auriol and the Role of Cognitive Psychology in the Medieval Definition of the Human Being: ] This paper explores how medieval philosophers used cognitive psychology in defining what the human being is, paying special attention to the Franciscan thinker Peter Auriol (c. 1280 – 1322). First, I examine the motivations of Auriol’s claim that the property of being alive is bound to the property of being cognitive (i. e. being capable of cognition). (...) Then, the foundations of medieval faculty psychology and Auriol’s conception of cognition are introduced. I also argue that the emphasis which Auriol puts on the activity of soul’s faculties leads him to the conclusion (unusual in his days) that the distinction among these faculties is established from the first person perspective. Finally, Auriol’s cognitive definition of the human being is introduced – human beings are human beings precisely because their cognitive experience differs from the way the cognition works in animals on the one hand and in God on the other hand. Whereas animals have only sensory soul’s faculties, humans have the intellect in addition and, therefore, they are capable of universal cognition. Moreover, since humans have not only intellect but also the inner senses (particularly, the phantasy), the universals appear to the human intellect only as blended with the individual that the universal was abstracted from, and the human intellect is not capable of paying attention to no more than just one object at the same moment. Since God and angels have only intellect, these distinctively human features are absent from their cognitive experience. (shrink)

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the (...) toolkit is substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

Heidegger claims that Dasein’s capacity for adopting intentional stances toward the world is grounded in the reflective structure of its being, which dictates that Dasein exists for the sake of a possibility of itself. Commentators have glossed this reflective structure in terms of the idea that our subjection to the normative demands of intentionality is grounded in a basic commitment to upholding an identity-concept, such as an occupation or social role. I argue that this gloss has serious adverse implications for (...) Heidegger’s philosophical project and for the internal coherence of his theory of intention. I recommend an alternative gloss on the reflective structure of existence, according to which sustaining a robust claim to openness to the world specifies the universal, formal object of intentional stance-taking. The reflective structure of existence should be understood through the concept of self-maintenance, rather than self-definition. (shrink)

An extended analysis compared to observations shows that modern “globalised” world civilisation has passed through the invisible “complexity threshold”, after which usual “spontaneous”, empirically driven kind of development (“invisible hand” etc.) cannot continue any more without major destructive tendencies. A much deeper, non-simplified understanding of real interaction complexity is necessary in order to cope with such globalised world development problems. Here we introduce the universal definition, fundamental origin, and dynamic equations for a major related quantity of (systemic) risk characterising real (...) complex system development tendencies at any level of dynamics. Practically important conclusions are derived, opening further detailed applications in economy, finance and development practice. (shrink)

This research looks at the various interpretations of "Mind" found in the Astika Darshanas, which cover the six main schools of Indian philosophy. At the same time, it looks into the profound East Asian Buddhist doctrine of One Mind as presented by Wonhyo, a great Korean Buddhist monk. This study seeks to identify the interesting similarities and differences that lie at the nexus of various philosophical domains by travelling through the complex landscape of different intellectual traditions. By using a comparative (...) approach, it aims to clarify the connections and distinguishing characteristics that form the conception of 'Mind' in both Korean Buddhist philosophy and the six schools of Indian philosophy, thereby advancing our understanding of the various philosophical currents that have influenced the intellectual fabric of these traditions. Focusing on the transmission and assimilation of Indian philosophical ideas into Buddhist philosophies, the research explores how these concepts were adapted and evolved as Buddhism spread across East Asian cultures. This research seeks to bridge these dissimilar contexts in order to reveal the interconnections of Indian and Korean philosophical traditions, contributing to a better understanding of the universal threads that connect these landscapes and highlighting the enduring resonance of fundamental concepts in the pursuit of enlightenment. (shrink)

This article seeks the origin, in the theories of Ibn al-Haytham (Alhazen), Descartes, and Berkeley, of two-stage theories of spatial perception, which hold that visual perception involves both an immediate representation of the proximal stimulus in a two-dimensional ‘‘sensory core’’ and also a subsequent perception of the three dimensional world. The works of Ibn al-Haytham, Descartes, and Berkeley already frame the major theoretical options that guided visual theory into the twentieth century. The field of visual perception was the first (...) area of what we now call psychology to apply mathematics, through geometrical models as used by Euclid, Ptolemy, Ibn al-Haytham, and Descartes (among others). The article shows that Kepler’s discovery of the retinal image, which revolutionized visual anatomy and entailed fundamental changes in visual physiology, did not alter the basic structure of theories of spatial vision. These changes in visual physiology are advanced especially in Descartes' Dioptrics and his L'Homme. Berkeley develops a radically empirist theory vision, according to which visual perception of depth is learned through associative processes that rely on the sense of touch. But Descartes and Berkeley share the assertion that there is a two-dimensional sensory core that is in principle available to consciousness. They also share the observation that we don't usually perceived this core, but find depth and distance to be phenomenally immediate, a point they struggle to accommodate theoretically. If our interpretation is correct, it was not a change in the theory of the psychology of vision that engendered the idea of a sensory core, but rather the introduction of the theory into a new metaphysical context. (shrink)

Two universal functional principles of Grossberg’s Adaptive Resonance Theory [19] decipher the brain code of all biological learning and adaptive intelligence. Low-level representations of multisensory stimuli in their immediate environmental context are formed on the basis of bottom-up activation and under the control of top-down matching rules that integrate high-level long-term traces of contextual configuration. These universal coding principles lead to the establishment of lasting brain signatures of perceptual experience in all living species, from aplysiae to primates. They are (...) re-visited in this concept paper here on the basis of examples drawn from the original code and from some of the most recent related empirical findings on contextual modulation in the brain, highlighting the potential of Grossberg’s pioneering insights and groundbreaking theoretical work for intelligent solutions in the domain of developmental and cognitive robotics. (shrink)

Universal Game Theory - The theory that all of life is a game played by consciousness’es, (Living Beings). The board is a dream like structure of the universe. The progression is through an active process of intent witnessing, and passive meditation. Which releases the tension in the nerves of the body and leads to selfless actions, moral goodness, and eventually the finish, Enlightenment. Just like a wounded creature only cares about it’s own self. Man in tensionthrough self-centered thought (...) only thinks about his own predicaments. Even if he is thinking about others it is only through his own objectionable view from his false-created center. The enemy or deterrents in the game is the conditioning created by society for ambition, greed, control and general brain washing to give theindividual a false sense of identity, the ego. This is achieved by Religion; tradition, culture, education, reasoning, linear thought, and the creation of time. Leaving him/her in constant anxiety about millions of future contingencies. Through witnessing one realizes the whole futility of one dimensional thought which only leads to more and more thought. Simple or constructed elaborately, thought being time, a human construction. The final step of the Universal Game Theory is understanding the whole process of thought and the eventual revelation of Enlightenment, Bliss, ecstasy. Which the person then understands that he/she is the creator of the life/dream with which they are in. That point being a sexual ecstasy similar to what happens in death to men. i.e. Human males release semenwhen they die, having a sexual ecstasy at their last breath. (shrink)

According to Danièle Moyal-Sharrock, Wittgenstein’s On Certainty presents a theory of hinges, and hinges have a role to play in a foundationalist epistemology (2013). Michael Williams (2005) and Annalisa Coliva (2013 ) have claimed that the hinges are not suitable to play such a role as they are not shared universally. Moyal-Sharrock has replied that a subset of the hinges is suitable to play such a role: the “universal” hinges. I argue that for Moyal-Sharrock’s reply to be sustained, she (...) must construe the set of universal hinges much more narrowly than she does currently. For instance, Moyal-Sharrock claims that “I have a brain” is a universal hinge, which consigns people who know nothing about brains to stand outside the bounds of sense. I also provide a novel way of thinking about the universal hinges, which I argue is better textually motivated than Moyal-Sharrock’s own way, and which provides a set of hinges more suitable to play a role in foundationalist epistemology. (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and (...) a natural extension of BLT is definitionally equivalent with ZF. (shrink)

Gardeners, poets, lovers, and philosophers are all interested in the redness of roses; but only philosophers wonder how it is that two different roses can share the same property. Are red things red because they resemble each other? Or do they resemble each other because they are red? Since the 1970s philosophers have tended to favour the latter view, and held that a satisfactory account of properties must involve the postulation of either universals or tropes. But Gonzalo Rodriguez-Pereyra revives (...) the dormant alternative theory of resemblance nominalism, showing first that it can withstand the attacks of such eminent opponents as Goodman and Armstrong, and then that there are reasons to prefer it to its rival theories. The clarity and rigour of his arguments will challenge metaphysicians to rethink their views on properties. (shrink)

Any logic is represented as a certain collection of well-orderings admitting or not some algebraic structure such as a generalized lattice. Then universal logic should refer to the class of all subclasses of all well-orderings. One can construct a mapping between Hilbert space and the class of all logics. Thus there exists a correspondence between universal logic and the world if the latter is considered a collection of wave functions, as which the points in Hilbert space can be interpreted. The (...) correspondence can be further extended to the foundation of mathematics by set theory and arithmetic, and thus to all mathematics. (shrink)

The property theory of musical works is the view that identifies works of music with properties as universals. The purpose of this article is to distinguish different versions of the property theory and argue that none of them can satisfy certain demands we expect from a successful theory of musical works. I conclude that although properties as universals are familiar and useful in other domains, we cannot rely on them to explain the ontological nature of (...) musical works. (shrink)

Widespread amongst scholars is the legend according to which Locke shows a strong aversion to abstract ideas, similar to that of Berkley in the Treatise. This legend is endorsed by influential commentators on Locke. He does not even propose the reduction of ideas to mental pictures (a reduction which in Berkeley and Hume will form the base of the negation of the existence of abstract ideas in the mind). Locke is not in the least afraid of abstract ideas; his constant (...) concern, which is evident in his treatment of the complex question of the relation between real and nominal essence, is to refute the position of the Scholastics, according to which a universal concept in the mind (post rem) reflects the universal present in all things as substantial form (the universal in re), without assuming positions which are purely conventionalist and nominalist with regard to knowledge, such as those of Mersenne, Gassendi, Hobbes and sceptical and anti-Cartesian free-thinkers. To show this, I offer an analysis of the relation Locke makes between real and nominal essence, with regard to the relations which link term to idea and idea to things. The nature of the relation between signifier and signified is variable, though, in the relation between ideas and things with respect to the various kinds of complex ideas which the human mind may frame. The greatest difference is to be found between complex ideas of mixed mode and complex ideas of substance. (shrink)

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

Universal social institutions, such as marriage, commons management and property, have emerged independently in radically different cultures. This requires explanation. As Boyer and Petersen point out ‘in a purely localist framework would have to constitute massively improbable coincidences’ . According to Boyer and Petersen, those institutions emerged naturally out of genetically wired behavioural dispositions, such as marriage out of mating strategies and borders out of territorial behaviour. While I agree with Boyer and Petersen that ‘unnatural’ institutions cannot thrive, this one-sided (...) explanation of universal social institutions in terms of genetic human nature is unsatisfactory. Drawing on the literature on multi-level selection and gene-culture coevolution, I argue that universal social institutions are first and foremost the products of cultural selection. They occupy fitness peaks in the landscape of cultural possibilities, much in the same way that biological adaptations occupy fitness peaks in the landscape of biological possibilities. To show this, I use game-theory. By modelling the domains of social interaction in which marriage, commons management, and property emerged as Prisoner’s dilemma situations, it becomes clear how an institutional framework allows the group to move to an interactive equilibrium with a larger payoff. Institutions do so by incentivising all parties to adopt a cooperative strategy. They are culturally selected ways of optimising genetically constrained domains of human social interaction. (shrink)

"Richard Burthogge's Conceptualism and Its Origins in the Medieval Perspectivist Optics" The paper aims to analyse the historical determinants of the conceptualist argument for epistemological idealism made by the seventeenth-century English philosopher Richard Burthogge. The crux of this argument, unprecedented in earlier philosophy, is an attempt to prove the inherent inadequacy of human cognition from the divergence between the general concepts and the extra-mental singulars. At the same time, Burthogge considers the relationship between the universal and the particular to (...) be analogous to the relation between the visual image and the thing. I argue that, as suggested by certain significant aspects of Burthogge’s theory, it was medieval perspectivist optics that had decisively influenced the conception of visual cognition, which provided the basis for this analogy and, consequently, for the conceptualist argument itself. (shrink)

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every (...) science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

Nell'alto medioevo vi erano tre possibilità per il filosofo che volesse difendere l'esistenza degli universali: in primo luogo ante rem, seguendo la linea platonico-agostiniana degli universali trascendenti e questa è la via teologica; in secondo luogo la via post rem, cioè la via del concettualismo, conosciuta oggi come astrattismo, per cui gli universali sono il prodotto dell'astrazione della mente e questa è una via logica; la terza via è quella in re e difende gli universali immanenti che esistono negli universali (...) ed è una risposta ontologica. La seconda via fu difesa da Boezio nel secondo commento a Porfirio. La prima teoria è stata generalmente accettata da tutti i filosofi dell'alto medioevo eccetto Abelardo, mentre la terza via, quella degli universali immanenti, che ha come fonti antiche l'Isagoge di Porfirio e le Categoriae di Aristotele, fu difesa principalmente da quattro autori: Giovanni Scoto Eriugena, Anselmo d'Aosta, Odone di Cambrai e Guglielmo di Champeaux. L'A. prende in esame e confronta le soluzioni di Anselmo di Canterbury e Odone di Cambrai. (shrink)

The relation-theory of mental acts proposes that a mental act is a kind of relative entity founded upon the mind and directed at the object of perception or thought. While most medieval philosophers recognized that there is something importantly relational about thought, they nevertheless rejected the view that mental acts are wholly relations. Rather, the dominant view was that a mental act is either in whole or part an Aristotelian quality added to the mind upon which such a (...) relation to the object can be founded. In this paper, I examine Durand of St.-Pourçain's defense of the relation-theory of mental acts against two objections raised against it: the first from John Duns Scotus, among others, and the second from an anonymous Thomist and Adam Wodeham. -/- . (shrink)

The reason for physics’ failure to find a final theory of the universe is examined. Problems identified are: the lack of unequivocal definitions for its fundamental elements (time, length, mass, electric charge, energy, work, matter-waves); the danger of relying too much on mathematics for solutions; especially as philosophical arguments conclude the universe cannot have a mathematical basis. It does not even need the concept of number to exist. Numbers and mathematics are human inventions arising from the human predilection for (...) measurement. Following Aristotle, a single fundamental cause is proposed to explore the efficacy of using pure non-mathematical philosophy to explain the universe, contrary to current quantum physical views. The cause is taken as Time, which is then defined, surprisingly leading automatically to a definition of a three-dimensional space answering the question into what can a universe be placed (space before space seems non-sensical). This enables the philosophical arguments to derive a universal rule giving clear-cut descriptions (definitions) of force (both gravitational and electromagnetic), motion, energy, and particles. The formation of atomic nuclei and atomic properties together with an unexpected role for neutrinos follow. In particular, a Popper-test can be prepared by introducing the concept of measurement to allow the philosophy arguments to be tested in another discipline - mathematics. The solution agrees with human physical observations to a remarkable degree of accuracy, automatically explaining and predicting values for Planck’s and the fine-structure constants. Although mathematical, it is included as confirming the efficacy of philosophy in attaining a final theory. (shrink)