The ways in which we exercise intentional agency are varied. I take the domain of intentional agency to include all that we intentionally do versus what merely happens to us. So the scope of our intentional agency is not limited to intentional action. One can also exercise some intentional agency in omitting to act and, importantly, in producing the intentional outcome of an intentional action. So, for instance, when an agent is dieting, there is an exercise of agency both with (...) respect to the agent’s actions and omissions that constitute her dieting behavior and in achieving the intended outcome of losing weight. In our mental lives we exercise intentional agency both in performing mental actions and when we intentionally produce certain outcomes at which our mental actions are aimed. The nature and scope of our intentional agency in our mental lives with respect to controlling the acquisition of mental states such as belief, desire, and intention is a topic that is of interest in its own right. In this essay, I will focus solely on our control over coming to believe. Understanding what sort of control we have our beliefs has far-reaching implications. For instance, theorizing about self-deception and wishful thinking is aided by theorizing about what if any intentional agency we can exercise with respect to acquiring beliefs. Another often mentioned concern that motivates thinking about doxastic agency comes from religion (when conversion requires a change of belief). We also hold persons morally and epistemically responsible for beliefs they have or fail to have. Finally, some deontological theories of epistemic justification require that agents be able to exercise a robust form of doxastic control. Fruitful work on any of these problems requires that we have an account of our intentional agency in acquiring beliefs. There are at least three loci of doxastic control. The first is over acquiring beliefs. The second is over maintaining beliefs. The third is over how we use our beliefs. I am chiefly concerned with the first locus of doxastic control in this essay, but I will say something about the second locus along the way. Also, I will only consider one way we might exercise control over acquiring beliefs. Specifically, I will present an argument against direct doxastic voluntarism (DDV). By “DDV” I mean to refer to the thesis that it is conceptually possible for agents to consciously exercise the same sort of direct voluntary control over coming to acquire a doxastic attitude—such as belief, suspension of belief, and disbelief—that they exercise over uncontroversial basic actions. If DDV is correct, then coming to believe can be a basic action-type. DDV, or something very close to it, was Bernard Williams’ target in his 1973 paper, “Deciding to Believe.” Williams’s argument is widely regarded as having been a failure. But I think that Williams was on to something in his paper. Hence, in this paper, while I do not attempt to resurrect Williams’s argument, I develop and defend a revised argument for a thesis that is quite close to Williams’s. I will proceed as follows. First, I will discuss Bernard Williams’ (1973) failed attempt at showing that DDV is conceptually impossible. This will be followed by a discussion of some constraints on our belief-forming activities. I will then clarify my target a bit more than Williams does in his original paper. Finally, I will present my own argument against the conceptual possibility of DDV. (shrink)

I discuss two types of evidential problems with the most widely touted experiments in evolutionary psychology, those performed by Leda Cosmides and interpreted by Cosmides and John Tooby. First, and despite Cosmides and Tooby's claims to the contrary, these experiments don't fulfil the standards of evidence of evolutionary biology. Second Cosmides and Tooby claim to have performed a crucial experiment, and to have eliminated rival approaches. Though they claim that their results are consistent with their theory but contradictory to the (...) leading non-evolutionary alternative, Pragmatic Reasoning Schemas theory, I argue that this claim is unsupported. In addition, some of Cosmides and Tooby's interpretations arise from misguided and simplistic understandings of evolutionary biology. While I endorse the incorporation of evolutionary approaches into psychology, I reject the claims of Cosmides and Tooby that a modular approach is the only one supported by evolutionary biology. Lewontin's critical examinations of the applications of adaptationist thinking provide a background of evidentiary standards against which to view the currently fashionable claims of evolutionary psychology. (shrink)

Aristotle sometimes claims that the perception of special perceptibles by their proper sense is unerring. This claim is striking, since it might seem that we quite often misperceive things like colours, sounds and smells. Aristotle also claims that the perception of common perceptibles is more prone to error than the perception of special perceptibles. This is puzzling in its own right, and also places constraints on the interpretation of. I argue that reading Alexander of Aphrodisias on perceptual error can help (...) to make good sense of both of Aristotle’s claims. (shrink)

The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and (...) terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data. (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.

In his recent book, The Universe As We Find It, John Heil offers an updated account of his two-category ontology. One of his major goals is to avoid including relations in his basic ontology. While there can still be true claims positing relations, such as those of the form “x is taller than y” and “x causes y,” they will be true in virtue of substances and their monadic, non-relational properties. That is, Heil’s two-category ontology is deployed to provide non-relational (...) truthmakers for relational truths. This paper challenges the success of Heil’s project with respect to causation. The arguments here are not entirely negative, however. An option is made available to Heil’s ontology so that it might, at least to some extent, regain non-relational causings. (shrink)

In current discussions on the problem of the metaphysical nature of the word, four factions – eliminativism, nominalism, originalism, and the type-token theory – take an active part. For eliminativism, words as separate entities do not exist; they are only a useful cognitive illusion. In the process of communication, competent speakers make sounds and inscriptions through which they are able to infer certain intentional contents of each other’s cognitive states. However, these sounds and inscriptions cannot be regarded as instances of (...) words since they do not possess the phonological and orthographic properties constitutive of words. For nominalism, by contrast, the streams of sounds and ink patterns produced by competent speakers serve as relevant instances of a particular word, or its tokens. What we usually call “words” are collections of such tokens, composed on the basis of similarity relations (phono- logical, orthographic or semantic). For originalism, the streams of sounds and ink patterns created by competent speakers are stages of words, understood as continuants, concrete ob- jects preserving identity over time, individualized by the causal history of their origin. Words are created by competent speakers through the practice of naming and spread through chains of interpersonal contact. The phonological, orthographic and semantic properties possessed by different stages of the same word are generally useless for a proper description of objects such as words. At different times of their existence, words can change any of their properties (pronunciation, spelling, and even reference) while preserving their identity in time. For the type-token theory, words are types, or abstract objects encoding a particular phonographic pattern, which in the process of communication must be instantiated by a competent native speaker by uttering or writing the appropriate token. The type-token theory has several ad- vantages over the views of eliminativism, nominalism and originalism. Firstly, it offers a unified ontology of linguistic structures (since the division into tokens and types extends here to the whole range of linguistic units, including sentences and letters). Secondly, unlike most of its competitors, it is able to present a clear operational criterion for word identity, while being consistent with most of our intuitive notions of intra- and cross-linguistic phenomena (homonymy, synonymy, etc.). (shrink)

How, if at all, consciousness can be part of the physical universe remains a baffling problem. This article outlines a new, developing philosophical theory of how it could do so, and offers a preliminary mathematical formulation of a physical grounding for key aspects of the theory. Because the philosophical side has radical elements, so does the physical-theory side. The philosophical side is radical, first, in proposing that the productivity or dynamism in the universe that many believe to be responsible for (...) its systematic regularities is actually itself a physical constituent of the universe, along with more familiar entities. Indeed, it proposes that instances of dynamism can themselves take part in physical interactions with other entities, this interaction then being “meta-dynamism” (a type of meta-causation). Secondly, the theory is radical, and unique, in arguing that consciousness is necessarily partly constituted of meta-dynamic auto-sensitivity, in other words it must react via meta-dynamism to its own dynamism, and also in conjecturing that some specific form of this sensitivity is sufficient for and indeed constitutive of consciousness. The article proposes a way for physical laws to be modified to accommodate meta-dynamism, via the radical step of including elements that explicitly refer to dynamism itself. Additionally, laws become, explicitly, temporally non-local in referring directly to quantity values holding at times prior to a given instant of application of the law. The approach therefore implicitly brings in considerations about what information determines states. Because of the temporal non-locality, and also because of the deep connections between dynamism and time-flow, the approach also implicitly connects to the topic of entropy insofar as this is related to time. (shrink)

This brief elucidation of two quotes from the Genealogy will be apt for more accessible interpretation following the completion of my next paper. Stay tuned for some hard-fought philosophy.

We will explicate Cantor’s principle of set existence using the Gödelian intensional notion of absolute provability and John Burgess’ plural logical concept of set formation. From this Cantorian Comprehension principle we will derive a conditional result about the question whether there are any absolutely unprovable mathematical truths. Finally, we will discuss the philosophical significance of the conditional result.

This essay presents the nature of aesthetic judgment, the significance of aesthetic judgment and finally, the relevance of art to understanding aesthetic judgment.

How are we able to perceive the world veridically? If we ask this question as a part of the scientific investigation of perception, then we are not asking for a transcendental guarantee that our perceptions are by and large veridical; we presuppose that they are. Unless we assumed that we perceived the world for the most part veridically, we would not be in a position to investigate our perceptual abilities empirically. We are interested, then, not in how it is possible (...) in general for us to perceive the world veridically, but instead in what the relation is between our environment and its properties, of which we have knowledge, on the one hand, and our perceptual mechanisms, on the other, that results in very many, even most of our perceptions being veridical in everyday life. (shrink)

In sections 2.21.23-25 of An Essay concerning Human Understanding, John Locke considers and rejects two ways in which we might be “free to will”, which correspond to the Thomistic distinction between freedom of exercise and freedom of specification. In this paper, I examine Locke’s arguments in detail. In the first part, I argue for a non-developmental reading of Locke’s argument against freedom of exercise. Locke’s view throughout all five editions of the Essay is that we do not possess freedom of (...) exercise (at least in most cases). In the second part, I argue that, when Locke asks whether we possess freedom of specification, his question is intentionally ambiguous between two readings, a first-order reading and a higher-order reading. Locke’s view is that, on either reading, we do not possess freedom of specification (at least in any interesting sense). (shrink)

Content disjunctivism is the view that veridical experience involves contents and objects that differ from those of corresponding hallucinations. On one formulation of this view, we are aware of ordinary material things in our surroundings when we experience veridically, and we are aware of mere appearances when we hallucinate. This paper proposes a way of developing this view and offers some considerations in support. Central to the proposed regimentation will be a distinction between different notions of appearance. We distinguish between (...) the notion of something merely appearing to have a property and the notion of mere appearances, which are types of objects that we can refer to and be aware of. Mere appearances are not sense data or Meinongian non-existent objects but existing objects that do not have the properties that they appear to have. These notions of appearance will be elucidated, in particular by characterizing how they are involved in hallucination and illusion. I argue that the resulting view is supported by how our mental life seems to us when we experience our environment. (shrink)

This essay clarifies and defends the methodological multidimensionality and improvisational character of Clifford Geertz’s account of interpretation and explanation. In contrast to accounts of power analysis offered by Michel Foucault and Talal Asad, I argue that Geertz’s work can simultaneously attend to meaning, power, identity, and experience in understanding and assessing religious practices and cultural formations.

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

This paper deals with the study of the nature of mind, its processes and its relations with the other filed known as logic, especially the contribution of most notable contemporary analytical philosophy Ludwig Wittgenstein. Wittgenstein showed a critical relation between the mind and logic. He assumed that every mental process is logical. Mental field is field of space and time and logical field is a field of reasoning (inductive and deductive). It is only with the advancement in logic, we are (...) today in the era of scientific progress and technology. Logic played an important role in the cognitive part or we can say in the ‗philosophy of mind‘ that this branch is developed only because of three crucial theories i.e. rationalism, empiricism, and criticism. In this paper, it is argued that innate ideas or truth are equated with deduction and acquired truths are related with induction. This article also enhance the role of language in the makeup of the world of mind, although mind and the thought are the terms that are used by the philosophers synonymously but in this paper they are taken and interpreted differently. It shows the development in the analytical tradition subjected to the areas of mind and logic and their critical relation. (shrink)

The integration of Internet Protocol and Embedded Systems can enhance the communication platform. This paper describes the emerging smart technologies based on Internet of Things (IOT) and internet protocols along with embedded systems for monitoring and controlling smart devices with the help of WiFi technology and web applications. The internet protocol (IP) address has been assigned to the things to control and operate the devices via remote network that facilitates the interoperability and end-to-end communication among various devices c,onnected over a (...) network. The HTTP POST and HTTP GET command that supports the RESTful service have been used to ensure the transmission and reception of packets between the IOT Gateway and Cloud Database. The emerging smart technologies based on the Internet of Things (IoT) facilitated features like automation, controllability, interconnectivity, reliability which in turn turn paved the way for a wide range of acceptance amongst the masses. The Internet of Things (IoT) has brought in many new emerging technologies into varoius field like our daily lives, industry, agricultural sector, and many more. The world is experiencing the explosive growth with the advent of Internet of Things (IoT) these years. The potential growth of IoT is enoromous which is evidenced by all the human beings in our day to day life. (shrink)

The Formalist tradition in late-scholastic philosophy has gone unnoticed in standard historiography. This article’s overall objective is to add the Formalist tradition to what we know about Renaissance philosophy. I first show how the Formalist tradition was born out of some innovative considerations of hierarchies of distinctions in the wake of the Franciscan John Duns Scotus’s teaching on the formal distinction in the beginning of the fourteenth century (especially Francis of Meyronnes’s model of four distinctions and Petrus Thomae’s more elaborate (...) doctrine of seven kinds of distinctions). I then trace how Formalist literature developed from being an exclusively Franciscan affair to becoming a much more widespread phenomenon. Thus, from the decades up to 1500 and onwards, authors from various late-scholastic schools (Thomism, Lullism, Averroism, and others) produced Formalist literature, i.e., treatises on multiple kinds of distinctions. I highlight particularly how one Franciscan philosopher of the sixteenth century, Jean Du Douet, proposed to view the Formalist preoccupation with distinctions as a discipline in its own right, a proper scientia formalitatum. I finally argue that while this proposal met with dismissive reactions, Du Douet’s idea does in fact reflect the role Formalism played in the scholastic curriculum in the late sixteenth century, at least in Franciscan milieus. (shrink)

This paper proposes a view of time that takes passage to be the most basic temporal notion, instead of the usual A-theoretic and B-theoretic notions, and explores how we should think of a world that exhibits such a genuine temporal passage. It will be argued that an objective passage of time can only be made sense of from an atemporal point of view and only when it is able to constitute a genuine change of objects across time. This requires that (...) passage can flip one fact into a contrary fact, even though neither side of the temporal passage is privileged over the other. We can make sense of this if the world is inherently perspectival. Such an inherently perspectival world is characterized by fragmentalism, a view that has been introduced by Fine in his ‘Tense and Reality’ (2005). Unlike Fine's tense-theoretic fragmentalism though, the proposed view will be a fragmentalist view based in a primitive notion of passage. (shrink)

Summary: In this paper author maintains that the term “ideal border” used by Roman Ingarden several times in his writing on music perception has more to offer than its face value suggests. The term is ambiguous and in its first reading seems to imply that Ingarden's take on musical work is all but coherent. Yet author tries to show that the term itself if taken seriously in its various possible interpretations makes Ingarden's aesthetics of music more interesting and inspiring then (...) ever. The musical work seen as wobbly yet somehow graspable ideal [border] which is at the same time the point of departure and the point of destination for composers, artists and listeners in their respective experiences, makes Ingarden's music aesthetics more accessible and more telling in its attempt to discover the true nature of our aesthetic perception of music. (shrink)

We intend to demonstrate that Jesus was a kind of social scientist, not only a prophet, the Cristianity is a way of conceiving and perceiving the world, a cosmology and a state of mind, like many others. To be part of is not to deny other forms os religious experience and manifestation.

The paper argues that the moral philosophy of Thomas Hobbes is unified by a complex conception of reason that imposes consistency norms of both rationality and reasonableness. Hobbes’s conceptions of rightness as reciprocity, and moral goodness as sociability belong to an original and attractive moral theory that is neither teleological nor classically deontological, nor as interpreters have variously argued, subjectivist, contractarian, egoist, or dependent on divine command.

Scholars have thoroughly discussed the visual aspects of Foucault’s archaeological and genealogical methods, as well as his own emphasis on how sight functions and what contexts and conditions shape how we see and what we can see. Yet while some of the images and visual devices he uses are frequently discussed, like Las Meninas and the panopticon, his diagrams in The Order of Things have received little attention. Why does Foucault diagram historical ways of thinking? What are we supposed to (...) see and understand through these diagrams? To examine the role of the diagram in Foucault’s archaeological method, this paper provides a close reading of how the classical quadrilateral visualizes the structure, function, content, principles, and underlying assumptions of language and thought. In analyzing the diagram as a way for visualizing history, this paper demonstrates how Foucault enacts a new visual language that emphasizes the contingency of thought. (shrink)

Ralph Cudworth’s The True Intellectual System of the Universe (1678) is credited with the first instance of the English word “consciousness” used in a distinctively philosophical sense. While Cudworth says little in the System about the nature of consciousness, he has more to say in his (largely unpublished) freewill manuscripts. I argue that, in these manuscripts, Cudworth distinguishes two kinds of consciousness, which I call “bare consciousness” and “reflective consciousness”. What both have in common is that each is a kind (...) of reflection or reflexive perception that therefore involves a “duplication” of the soul as both subject and object. While it is less clear how Cudworth takes these two kinds of consciousness to differ, I argue that the central difference for Cudworth is that, whereas bare consciousness is always directed towards individual cogitations, reflective consciousness is the kind of consciousness that the soul achieves through reflection upon itself as a whole. As a result, reflective consciousness introduces a unity into our experience that is not present at the level of bare consciousness. (shrink)

Many of the commentators—let’s ignore their sex for the moment—suggested including women in the Feyerabend conference. Then the question was raised, “but are they of the right quality, status, rank?” That is, do they bring down the average quality of the conference in virtue of their being of inferior status, or, in Vincenzo Politi’s words, not “someone whose work is both relevant to the topic of the conference and also as widely recognized as the work of the invited speakers” (HOPOS-L (...) archive, “CFP: Feyerabend Conference,” Tuesday, July 17, 2012, 14:57:20)? It is extremely important that such a discussion of quality, status, and rank recognize the scourge of evaluation bias and its long-term and pervasive consequences. One well-designed study this past year, published by the National Academy of Sciences, established prominent evaluation bias among both male and female science faculty in their evaluations of a student applying for a managerial job, who was randomly assigned either a male or a female name (Moss-Racusin et al. 2012). These professors examined the qualifications of the students and decided whether to hire them, what salary to give them, and whether to mentor themand howmuch to do so.The resultswere that both male and female scientists hired more men, gave them higher salaries, and offered more mentoring to them, even though themale applications were identical to the female applications. When probed about their reasons for not hiring or mentoring the female applicants, the professors explained that they based their decisions on the inferior competence of the applicant: the female applicants were perceived as less competent by all professors (with identical applications between males and females). This is what “evaluation bias” looks like, and it has been established in many, many contexts since the 1970s—this is only the most recent. (shrink)

I begin by distinguishing between what I will call a pure Fregean theory of reference and a theory of direct reference. A pure Fregean theory of reference holds that all reference to objects is determined by a sense or content. The kind of theory I have in mind is obviously inspired by Frege, but I will not be concerned with whether it is the theory that Frege himself held.1 A theory of direct reference, as I will understand it, denies that (...) all reference to objects is determined by sense or content. We will also distinguish between a theory of reference for thought, and for language. This gives us a fourfold classification of theories. What is puzzling about direct reference theories is not that the semantics of an expression in a public language should assign as its semantic value just a referent, but how such facts could be understood to reflect an underlying feature of thought. There are two interconnected aspects to this.. (shrink)

Modern philosophy can often appear to be mere cryptomnesia, redressed and resuited to fit the particular mouth from which it is espoused. This notion is but a sorrowful chimera binding the 21st-century mind to the confines of an eternal shadow, an eternal prison of doubt in the face of limitless potential. As a species, we are rapidly approaching the precipice of Yahweh's original position as instantiators of consciousness, as the I AM in relation to our artificial progeny. Could one fabricate (...) a candidate more fitting for a contra-analysis of our current situation than Hegel? One could not. (shrink)

The article contains a critical analysis of the skeptical solution to the rule- following problem. The skeptical solution denies the existence of “superlative” R-facts that would make statements of the form “P means R by ‘+’ ” true. The role of the sources for the meaning of ‘+’ here is played by the patterns of solidarity behavior of members of some community to which P belongs. The correct use of ‘+’ would be one that is approved by the competent majority (...) of this community, and there can be no other sense in which it would be correct or wrong. Boyd’s hypothesis denies the communal character of the ‘+’ meaning. While there are no “superlative” R-facts, there should be C-facts not about the R as the standard that P or its community follows in their practice of using ‘+’, but about whether they do it correctly. The proof of the Boyd hypothesis is based on the example of an imaginary Ω-community, whose agents use a finite set of simple symbols for the needs of their arithmetic: ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’. Each symbol denotes a subset of identical, from the Ω-community point of view, numerical values. The symbol ‘A’ is used, for ex- ample, for a subset of the natural numbers 1, 10, 19, 28, 37, 46, etc.; ‘B’ for 2, 11, 20, 29, 38, 47, etc.; ‘C’ for 3, 12, 21, 30, 39, 48, etc. The Ω-community’s arithmetic uses the only local function ⊕ whose range of values forms a finite set of mathematical propositions {α} that are true. The Ω-community’s arithmetic, like our own, is open to many skeptical challenges. Is there a fact that determines the meaning of ‘⊕’? What do agents do when they calculate with ‘⊕’ (say, solve examples ‘A⊕B = ?’, ‘C⊕E=?’, etc.)? Do they Add, Badd or Dadd? To answer them would require a “superlative” R-fact. For the calculation practice with ‘⊕’, it could be a certain R-fact that determines the only possible order for the sequence of numerals ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’ such that {α} is true. An analysis of the calculation practice using the local arithmetic function ⊕ shows that for it there are no such R-facts that would determine the only correct standard R – even if the agents in the Ω-community were trained in such calculations on a full set of cases for the application of that function. However, for such practice there are C-facts (independent in their existence from R-facts) that make it possible to distinguish between what seems to be right and what is right. The solitary agent P and the Ω-community are in the same position regarding the knowledge of C-facts. The Ω-community’s point of view has no advantage in matters of C-facts knowledge over the solitary agent P’s point of view. The Ω-community arithmetic shows that if a solitary agent P had the suitable knowledge of C-facts about the practice of calculations with ‘⊕’, it would allow him/her to disagree with the not correct answers of other members of the community even when they would constitute an absolute majority. (shrink)

A brief dissertation on what knowledge is.

Today marks the 7th anniversary of the Centre for Interdisciplinary Social Research (ISR), at Phenikaa University. ISR has for seven years now the place where the co-founders of this portal have been working and producing publications. A special event occurs now as the Current Conservation magazine publishes a new writing piece by our member, Dr Minh-Hoang Nguyen.

In the quantum-Bayesian approach to quantum foundations, a quantum state is viewed as an expression of an agent’s personalist Bayesian degrees of belief, or probabilities, concerning the results of measurements. These probabilities obey the usual probability rules as required by Dutch-book coherence, but quantum mechanics imposes additional constraints upon them. In this paper, we explore the question of deriving the structure of quantum-state space from a set of assumptions in the spirit of quantum Bayesianism. The starting point is the representation (...) of quantum states induced by a symmetric informationally complete measurement or SIC. In this representation, the Born rule takes the form of a particularly simple modification of the law of total probability. We show how to derive key features of quantum-state space from (i) the requirement that the Born rule arises as a simple modification of the law of total probability and (ii) a limited number of additional assumptions of a strong Bayesian flavor. (shrink)

We describe (essential features and an axiomatization of) a new metamathematical (cognitive) ability, i.e., functional conceptual substratum, used implicitly in the generation of several mathematical proofs and definitions, and playing a fundamental role in Artificial Mathematical Intelligence (or Cognitive-computational metamathematics). Furthermore, we present an initial (first-order) formalization of this mechanism together with its characterizing relation with classic notions like primitive positive definability and Diophantiveness. Additionally, we analyze the semantic variability of functional conceptual substratum when small syntactic modifications are done. Finally, (...) we describe cognitively natural inference rules for (mathematical) definitions inspired by functional conceptual substratum and we show that they are sound and complete w.r.t.\ standard calculi. (shrink)

The objective of this paper is to study algebraic properties of neutrosophic matrices, where a necessary and sufficient condition for the invertibility of a square neutrosophic matrix is presented by defining the neutrosophic determinant. On the other hand, this work introduces the concept of neutrosophic Eigen values and vectors with an easy algorithm to compute them. Also, this article finds a necessary and sufficient condition for the diagonalization of a neutrosophic matrix.

This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

Watching other people play videogames —a.k.a. ‘spectator gaming’— is a widespread practice. Yet, it is considered by some as an inadequate form of engagement with games. In this paper, I show that the strongest objection to spectator gaming relies on the claim that some properties of videogames are better, if not exclusively, accessible to the player. After that, I propose two replies to this challenge. The first is that ‘secondary players’, i.e., individuals who indirectly take part in the game, can (...) access the relevant properties. The second reply is that even paradigmatic spectators may engage in simulated play, and therefore, access these properties as well. (shrink)

David Hull's analysis of conceptual change in science, as presentedin his book, Science as a Process (1988), provides a useful framework for understanding one of the scientific controversies in which he actively and constructively intervened, the units of selectiondebates in evolutionary biology. What follows is a brief overview ofthose debates and some reflections on them.