This paper presents an artifactual approach to models that also addresses their fictional features. It discusses first the imaginary accounts of models and fiction that set model descriptions apart from imagined-objects, concentrating on the latter :251–268, 2010; Frigg and Nguyen in The Monist 99:225–242, 2016; Godfrey-Smith in Biol Philos 21:725–740, 2006; Philos Stud 143:101–116, 2009). While the imaginary approaches accommodate surrogative reasoning as an important characteristic of scientific modeling, they simultaneously raise difficult questions concerning how the imagined entities are related (...) to actual representational tools, and coordinated among different scientists, and with real-world phenomena. The artifactual account focuses, in contrast, on the culturally established external representational tools that enable, embody, and extend scientific imagination and reasoning. While there are commonalities between models and fictions, it is argued that the focus should be on the fictional uses of models rather than considering models as fictions. (shrink)

Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts of (...) the object—that is, are solids bounded by two-dimensional surfaces, surfaces by one-dimensional “edges” or “physical lines”, edges by dimensionless “simples”? If not, how does a perfectly spherical object manage to touch a perfectly flat object—what part of the sphere is in immediate contact with the plane, if the sphere has no unextended parts? But if such parts be admitted, are we not then saddled with “actual infinities” of simples, lines, and surfaces spread throughout each continuous object—the boundaries of all the object’s internal parts? Does it help to say that these internal boundaries exist only “potentially”? (shrink)

Application of the reliability of repairable systems on solving problems from constructing production systems takes an important place in the process of finding the optimal solution among the suggested system choices. The basic hypothesis when using the reliability of the repairable systems is that every machine is representing a component, a fact that is debatable when talking about technical sciences. However, considering the second assumption of the stationary process, the function of the availability is introduced. It represents the measure between (...) the reliability and the benefit of maintaining the components and the system as a whole one. An additional and the last reason for analyzing constructing machine as a whole one has an economic reason. From the aspect of the total cost and the capacity of the system, the function of the availability is catching more and more impact in the process of determinating the total cost in bill of quantities as the most important part of tender documents. Until former works, techno-economic optimisation usually ran over when choosing the system of the construction machines. In the work, there are shown the methodologies for gathering and analyzing the indicators of availabilities per unit of a company's machine park. The time of demission and reparation have been investigated among 34 components in the period of 6 years. Based on the obtained result for different conditions of machine exploitation and facilities, it is suggested the methodology of the future behaviour of the corresponding within the model optimization availability of constructing production system with the aim of eliminating extra criterion. The suggested model takes in consideration the total cost of the components when they are functional, and when they are not. This kind of approach enables the one who take choices decision of the height of profits, in the lenght of work in function of the projection of cash flow and managing with real indicators of functioning the system at the project level. Given the fact that the maintanance policy of machines is based on availability, and not on reliability of components, with the aim of maximizing the availability of different budget scenarios, a logical approach to the selection of the objective function in the terms of management of construction production systems is to minimize costs for a given availability of system constructing machinery is based on the use of historical data base with the values of the operational availability of components, conditions in which they function, in the process of forecasting the project availability for projects that follow. Ranking variant solutions is the result of the adopted function of the aim as a consequence due to enlargement methods of availability for serial parallel systems with the associated restrictions. For optimal system availability is taken a value that belongs to minimal total cost. However, it is predicted that after the end of the financial year, the real and projected indicators of system functions get compared to each other. Informational support to the proposed model is informational company system, which was built in the PHP programming language on the Linux software platform, and with data based in My SQL. The suggested model is tested on the system for the production and embedding bitumen bound materials on the specific project. Obtained results confirm the assumptions used in work. (shrink)

Bioethical discourse on organ donation covers a wide range of topics, from informed consent procedures and scarcity issues up to ‘transplant tourism’ and ‘organ trade’. This paper presents a ‘depth ethics’ approach, notably focussing on the tensions, conflicts and ambiguities concerning the status of the human body. These will be addressed from a psychoanalytical angle. First, I will outline Lacan’s view on embodiment as such. Subsequently, I will argue that, for organ recipients, the donor organ becomes what Lacan refers to (...) as an object a, the ‘partial object’ of desire, the elusive thing we are deprived of, apparently beyond our grasp. Within the recipient’s body an empty space emerges, a kind of ‘vacuole’, once occupied by a faltering organ. This space can only be filled by a ‘gift’ from the other, by an object a. Once implanted, however, this implant becomes an ‘extimate’ object: something both ‘external’ and ‘intimate’, both ‘embedded’ and ‘foreign’, and which is bound to remain an object of concern for quite some time, if not for life. A Lacanian analysis allows us, first of all, to address the question what organ transplantation has in common with other bodily practices involving bodily parts procured from others, such as cannibalism. But it also reveals the basic difference between the two, as well as the distance between the ‘fragmented body’ of Frankenstein’s ‘monster’—as an aggregate of replaceable parts—and the multiple organ recipients of today. (shrink)

For a while, life and environment have been regarded as two separate subjects, but recently life and environment are to be seen as different aspects of one single theme. There are able philosophers who maintain the connection of the two but Seokheon Ham is believed to present a more coherent case. To him, integration is not merely a property which is unifying various elements, but it has a deep ontological structure seen in his utterance “there is not a thing in (...) the world which does not have a reason to exist”. He is providing a model of deep integration by equivalently linking life and sense. And he offers apparent arguments of oneness as integration of animates and inanimates, seeds as an example of integration of sense and life, and suffering as a historical integration. But Ham’s arguments will be strengthened by philosophizing the notion of integration. Fortunately, I would suggest that the clue is found in the conception of integration of Zhungyong. I will take the major thrust of the book to be five theses: (1) integration of a thing is the capacity to realize its embedded objective in its interactions with all other things; (2) ‘mind’ denotes the capacity of humans as well as the capacity of all other entities: (3) integration is a capacity not only of humans but also of all other entities; (4) if the evolution demonstrates the history of species as the fittest, then the history expresses the evolution of life forms of intelligence and justice; (5) integration of an entity is a disposition to realize its embedded objective in the context of its interconnections with all others at a particular time and place. The ontology of integration I am submitting may be shown to be an alternative to traditional physicalism. The integrational ontology may be seen as virtuous in that it is coherent with the informational view of the contemporary culture and with the caring need for those who suffer. (shrink)

Philosophers of dispositionalism deny the Humean account of causality in terms of constant conjunction, contiguity, temporal priority and contingency. And some of them go further to explain the causal relation not between events or objects, but between properties, in terms of reciprocity, simultaneity, ubiquity, intentionality and holism. But their exposition seems to remain fragmented even though they try to make use of the notions of intentionality and holim. I would inquire reasons why it is piecemeal, by analysing that they employ (...) these notions of intentionality and holism which has been constructed within the dualistic tradition. If one wants to make the dispositional project to be powerful, she should look for the notions of intentionality and holism which are free of the dualistic traits and which have been constructed in the tradition of naturalism. The concept of integrationality may be a candidate for such a task. This conception was coined in Zhongyong under the name of cheng in that there is nothing without cheng, and was developed in one of Sok-hon Ham's thesis that any entity in the world contains "seed" within it to realize objectives shared by all involved. Humans are privileged and distinct from other natures, but there is continuity between them. An example of the integrationality applied to the case of humans would be that realization of myself and realizations of all others are one and not two. I would summarize notions of "cheng" and "seed" by offering the integrationality thesis, that is, that there is integrationality in any entity like dispositions such that the integrationality is a power to realize the embedded objective of it in the context where it interacts with all others. I would claim that integrationality is a metaphysical basis for a way of human thinking, by arguing that it is a necessary part of presupposition for our understanding of the world without which the world is not intelligible. The notion of integrationality is involved empirically as well as conceptually. Empirically, there are numerous reports from physics, biology and information science, which provide with a clue which may well be taken to show the ubiquitous integrationality. But some conceptual considerations would also indicate necessarily toward the same direction. These would include various theses of ontology, epistemology, disposition, modality, naturalized intentionality, fitting and topics like these. I will investigate some of them in order to justify my claim of this paper. (shrink)

Notions of fitting seem to be attractive in explaining language understanding. This paper tries to interpret "fitting" in terms of holistic (cheng, 誠) intentionality rather than the dualistic one. I propose to interpret “cheng” as a notion of integration: The cheng of an entity is the power to realize the embedded objective of it in the context where it interacts with all others; "Mind" refers to the ability of not a single kind of entity but to that of all entities (...) of complex degrees in processing informations and to any agent that integrates. I would like to discuss some cases where this notion of fitting is working. First, building of a primitive language could have been done by fittings of primitive expressions which came out of people's basic needs and desires, their forms of life. Second, we do not identify an object on the basis of a criterion of similarity, but by asking questions like whether it would be more fitting to identify two objects in the present context than not to.Third, what is involved in our recognition of a fact is a context. A context does not dictate one single description but does allow any number of descriptions, some of which are more or less fitting and others of which are more or less unfitting. It may take time for the community of language involved to come to a more fitting description. For the sake of convenience, this description may come to have a grammar for the community where it can be classified as true and others as false. (shrink)

Would it be possible to have an alternative to the physicalist world-view? If any type of dualism is not an option, I am tempted to consider an integrational world view, which was first claimed by Confucius under the notion of cheng. I would propose an integrational thesis that cheng of an entity is a power to realize the embedded objective of it in the context where it interacts with all others. The notion of compassion may be said to be both (...) dispositional and mental. Then, this notion is one candidate to shed lights on the integrational thesis. The thesis doesn't exclude roles the causal notion has to play in the integrational system. Rather it allows the causal notion in its proper place, not having to exclude other relational notions in the system. What it denies is that the causal relation is all there is among what is there. The notion of compassion is essentialist in two senses. The first is the sense in which Mencius said that compassion is necessary for one to be a human. The second is the sense that compassion is an essentialist disposition. "Compassion" does neither refer to a mental state nor reflect a human relation, but it denotes an abstract property, or a theoretical notion, which can be singled out by a Ramsey sentence. There are many challenges for the integrational thesis to meet. Some of them are how the integrational thesis could allow an essentialism of a kind?, Is there a way for the integrational view of language to meet the requirements of modal semantics?, and so on. The present paper may not able to explain all of these questions but it will try to suggest how to approach toward the task. (shrink)

Whereas the Humean accounts of causality in terms of contiguity, temporal priority, constant conjunction, and contingency face difficulties of one sort, the dispositional explanations of causality in terms of reciprocity, simultaneity, ubiquity, and holism seem to meet difficulties of another sort. But the difficulties which dispositionalism faces may be dissipated if one can appeal consistently to the logic of naturalism, rather than to the grammar of an implicit dualism, for example, as it is illustrated when G. Molnar tried to advance (...) the analogy between the mental intentionality and the physical intentionality.The notion of integration is taken to allow a conceptual space for naturalism of one kind. It may be expressed in the thesis that there is integrationality in any entity like dispositions, such that the integrationality is a power to realize the embedded objective of it in the context where it interacts with all others. The thesis would help to see how dispositions can be intentional, how the no... (shrink)

In the theoretical framework developed by Y. Lenoir and his colleagues, Bourdieu’s concept of habitus is fundamental to explaining the tacit aspect of teaching practices. This article takes a critical look at the connection the framework makes between the concept of habitus and that of embedded skills, which is derived from French ergonomic psychology. Our primary objective is to examine the relevance and the limitations of this connection, with specific focus on its methodological implications. Our results indicate that a cognitive (...) interpretation of the concept of habitus may contribute significantly to understanding the implicit aspect of professional practices. Dans le cadre théorique élaboré par Y. Lenoir et ses collègues, le concept bourdieusien d’habitus joue un rôle central pour expliquer la dimension tacite des pratiques enseignantes. Cet article propose de porter un regard critique sur le rapprochement proposé dans ce cadre entre le concept d’habitus et celui de compétence incorporée issu de psychologie ergonomique francophone. Notre objectif principal est d’examiner la pertinence et les limites de ce rapprochement, en portant une attention particulière à ses implications méthodologiques. Nos résultats indiquent la pertinence d’une interprétation cognitive du concept d’habitus, contribuant de façon significative à la compréhension de la dimension implicite des pratiques professionnelles. (shrink)

One objection to conventional AI ethics is that it slows innovation. This presentation responds by reconfiguring ethics as an innovation accelerator. The critical elements develop from a contrast between Stability AI’s Diffusion and OpenAI’s Dall-E. By analyzing the divergent values underlying their opposed strategies for development and deployment, five conceptions are identified as common to acceleration ethics. Uncertainty is understood as positive and encouraging, rather than discouraging. Innovation is conceived as intrinsically valuable, instead of worthwhile only as mediated by social (...) effects. AI problems are solved by more AI, not less. Permissions and restrictions governing AI emerge from a decentralized process, instead of a unified authority. The work of ethics is embedded in AI development and application, instead of functioning from outside. Together, these attitudes and practices remake ethics as provoking rather than restraining artificial intelligence. (shrink)

We investigate adverbial agreement in Sandəmarkesə (S. Marco in Lamis, Apulia) proposing phase-bound, local agreement relations, reducible to coordination, as in past and absolute participial constructions, suggesting a copulaless analysis where arguments are subjects in a small clause. With disjunct nominals with matching φ-features, the adverb agrees separately with each part in the set, otherwise resulting in ‘non-agreeing’ forms, which we test also with negative polarity items (niʃun-, ‘nobody’ and nentə, ‘nothing’). With fragment answers, the negation scopes over adverbs agreeing (...) with the two proposed topics: matching of the φ-features of both nouns values the negative operator with the same features. In fronted adverbs, agreement occurs when the question contains overt coordinated arguments, elements continuing a chain, and if coordinated arguments have matching φ-features. In agreement in topical contexts with fronted adverbs, agreement occurs with the aboutness-shift topic closely preceding them, rather than with the embedded direct object. (shrink)

This paper elaborates and defends an expressivist account of the claims of mind-independence embedded in ordinary moral thought. In response to objections from Zangwill and Jenkins it is argued that the expressivist 'internal reading' of such claims is compatible with their conceptual status and that the only 'external reading' available doesn't commit expressivisists to any sort of subjectivism. In the process a 'commitment-theoretic' account of the semantics of conditionals and negations is defended.

Determiner phrases embedded under a propositional attitude verb have traditionally been taken to denote answers to implicit questions. For example, 'the capital of Vermont' as it occurs in 'John knows the capital of Vermont' has been thought to denote the proposition which answers the implicit question 'what is the capital of Vermont?' Thus, where 'know' is treated as a propositional attitude verb rather than an acquaintance verb, 'John knows the capital of Vermont' is true iff John knows that Montpelier is (...) the capital of Vermont. The traditional view lost its popularity long ago, because it was thought to rest on the controversial assumption that determiner phases embedded under a propositional attitude verb function semantically in the same way as the corresponding wh-clauses. Here we defend the traditional assumption against objections. We then argue that wh-clauses are not to be given a uniform treatment as indirect questions. When occurring under a propositional attitude verb, wh-clauses are better treated as having a predicate-type semantic value. We conclude by considering some possible objections to the predicate view. (shrink)

A key objective of the law in the assessment of decision-making capacity in clinical settings is to allow clinicians and judges to avoid making value judgements about the reasons that patients use to refuse treatment. This paper advances two lines of argument in respect of this objective. The first is that authorities cannot rationally avoid significant evaluative judgements in the assessment of a patient’s own assessment of the facts of their case. Assessing reasoning is unavoidably value-laden. Yet the underlying motivation (...) behind clinicians’ and the law’s value-neutral aims, ie, the avoidance of undue paternalism, is worth preserving. That being so, the second line of argument will try to show that that underlying motivation is better served in a limited range of cases by embedding a ‘reversibility standard’ in the assessment process so that the patient can, if they wish, and in due course, bring about the consequences that they were prevented from realising as a result of a determination of incapacity. (shrink)

For anyone approaching the Encheiridion of Epictetus for the first time, this book provides a comprehensive guide to understanding a complex philosophical text. Including a full translation and clear explanatory commentaries, Epictetus's 'Encheiridion' introduces readers to a hugely influential work of Stoic philosophy. Scott Aikin and William O. Stephens unravel the core themes of Stoic ethics found within this ancient handbook. Focusing on the core themes of self-control, seeing things as they are, living according to nature, owning one's roles and (...) fulfilling the responsibilities that those roles entail, the authors elucidate the extremely challenging ideas in Epictetus's brisk chapters. Divided into five distinct parts, this book provides readers with: -/- - A new translation of the Encheiridion by William O. Stephens. - A new introduction to ancient Stoicism, its system of concepts, and the ancient figures who shaped it. - A fresh treatment of the notorious and counter-intuitive 'Stoic paradoxes'. - An accessible overview of the origin and historical context of the Encheiridion. - Detailed commentaries on each chapter of the Encheiridion that clarify its recurring themes and highlight their interconnections. - Careful attention to the presentation of the arguments embedded in Epictetus's aphoristic style. - A thoughtful discussion of serious criticisms of Epictetus's Stoicism and replies to these objections. -/- Written with clarity and authority, Epictetus's 'Encheiridion' provides a foundation from which readers can understand this important text and engage with the fundamental questions of Stoic philosophy and ethics. This guide will aid teachers of Epictetus, students encountering Stoicism for the first time, and readers seeking a greater understanding of Stoic ethics. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

The overall objective of the study was to examine the pros and cons of the participatory approach adopted in natural resource management in the ecologically protected areas of the Sundarbans mangrove of Bangladesh. A comparative study was done between the people who are involved and non-involved in this approach. Empirical data was collected through personal interviews with a structured questionnaire. The Gini coefficient was measured first and then embedded with the Lorenz curve to draw a line between perfect equality and (...) inequality vis-a-vis. The study revealed that the co-management built awareness in favor of biodiversity conservation and the efficient use of natural resources. Contradictorily, a segment of different hierarchical committees was involved in destructive activities like poisoning the wetlands for fishing. Therefore, a mixed outcome was found. The findings will help the policymakers in identifying the pitfalls and bottlenecks rooted in co-management. Hence, the study recommends revising the approach to ensure the community’s active participation on an equal basis and take action against them who degrade those resources. Exploring profitable alternative income-generating activities is warranted to narrow down the dependency on the Sundarbans mangrove’s natural resources. In order to address the tragedy of the commons, the study advocates for the unity of all knowledge ranging from science to humanistic scholarship for sound policymaking. (shrink)

Philosophers such as Nietzsche, Heidegger, Derrida, Deleuze and Gendlin pronounce that difference must be understood as ontologically prior to identity. They teach that identity is a surface effect of difference, that to understand the basis of logico-mathematical idealities we must uncover their genesis in the fecundity of differentiation. In this paper, I contrast Heidegger’s analyses of the present to hand logico-mathematical object, which he discuses over the course of his career in terms of the ‘as’ structure, temporalization and enframing , (...) with the approaches of Gendlin and Deleuze, supplementing this discussion with Husserl’s investigations of mathematical idealities. Deleuze and Gendlin distinguish between the representational power a logical pattern has in itself, apart from its virtual generative source, to exactly repeat itself, and the way this self-same pattern is generated and changed by the larger situational texture within which it is embedded. In so doing, they misconstrue the empty, meaningless temporalization of logical calculation as the explicitly preserving carrying-through of already instituted implicit sense. For Heidegger, by contrast, logical inference is less a supplement to or development of implicit experience than a narrowing of its scope , a deficient mode of handiness. Experiencing something as present to hand extension modifies the relevant usefulness of ‘as’ structured comportment by stripping away what is meaningful in our relation with beings, and in the process stripping away its intelligibility. Thus, contrary to the assertions of Deleuze and Gendlin, extensive repetition does not carry through intelligible, relevant meaning, it dissolves understanding into the nihilism of empty calculation. (shrink)

The standard of disinterested objectivity embedded within the US Data Quality Act (2001) has been used by corporate and political interests as a way to limit the dissemination of scientific research results that conflict with their goals. This is an issue that philosophers of science can, and should, publicly address because it involves an evaluation of the strength and adequacy of evidence. Analysis of arguments from a philosophical tradition that defended a concept of useful knowledge (later displaced by Logical Empiricism) (...) is used here to suggest how the legitimacy of scientific findings can be supported in the absence of disinterested objectivity. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

This study identified and characterised Wittgenstein’s socialised epistemology. It examined some arguments against Wittgenstein’s socialised epistemology. It also assessed the strength of Wittgenstein’s socialised epistemology in light of the arguments against it. This was with a view to redirecting epistemology from its endless attempts in refuting radical skepticism to providing a solid ground for knowledge in Wittgenstein’s notion of “forms of life”. The study made use of both primary and secondary sources of data. The primary source comprised a close reading (...) of Plato’s “Theatetus”, Roderick Chisholm’s Theory of Knowledge, D.W. Hamlyn’s The Theory of Knowledge, Ludwig Wittgenstein’s The Blue and Brown Books, Ludwig Wittgenstein’s Philosophical Investigation, and Ludwig Wittgenstein’s On Certainty. The Secondary source included books, journal articles and the Internet. The data collected were subjected to conceptual analysis and philosophical argumentation. The results showed that Wittgenstein’s epistemology was a rejection of the orthodox epistemology, which assumed a representational relationship between words and objects in providing valid basis for knowledge. The study discovered that Wittgenstein treated knowledge as a product of epistemic community. It found out that in spite of its shortcomings Wittgenstein’s epistemology remained a plausible alternative approach to orthodox epistemology. It also discovered that contrary to the criticisms against Wittgenstein’s socialised epistemology, there were numerous merits that made it worth adopting as an approach to the problems of knowledge. The study concluded that rather than endlessly seeking to refute radical skepticism, epistemologists should be contented with knowledge as provided by the form of life embedded in an epistemic community. It also concluded that it was in this form of life that the nature of knowledge could be properly understood and attained as a socialised phenomenon. (shrink)

The social world contains institutions, groups, objects, and more. This essay explores a puzzle about the essences of social items. There is widespread consensus against social essences because of problematic presuppositions often made about them. But it is argued that essence can be freed from these presuppositions and their problems. Even so, a puzzle still arises. In a Platonic spirit, essences in general seem detached from the world. In an Aristotelian spirit, social essences in particular seem embedded in the world. (...) The puzzle is that these inclinations are individually plausible but jointly incompatible. The essay has four aims: to clarify and refine the puzzle; to explore the puzzle's implications for essence in general and for social essences in particular; to illustrate the fruitfulness of the general distinction between detached and embedded; and to develop this distinction to sketch a novel solution to the puzzle. (shrink)

The phrase ‘person‐centred care’ (PCC) reminds us that the fundamental philosophical goal of caring for people is to uphold or promote their personhood. However, such an idea has translated into promoting individualist notions of autonomy, empowerment and personal responsibility in the context of consumerism and neoliberalism, which is problematic both conceptually and practically. From a conceptual standpoint, it ignores the fact that humans are social, historical and biographical beings, and instead assumes an essentialist or idealized concept of personhood in which (...) a person is viewed as an individual static object. From a practical standpoint, the application of such a concept of personhood can lead to neglect of a person's fundamental care needs and exacerbate the problems of social inequity, in particular for older people and people with dementia. Therefore, we argue that our understanding of PCC must instead be based on a dynamic concept of personhood that integrates the relevant social, relational, temporal and biographical dimensions. We propose that the correct concept of personhood in PCC is one in which persons are understood as socially embedded, relational and temporally extended subjects rather than merely individual, autonomous, asocial and atemporal objects. We then present a reconceptualization of the fundamental philosophical goal of PCC as promoting selfhood rather than personhood. Such a reconceptualization avoids the problems that beset the concept of personhood and its application in PCC, while also providing a philosophical foundation for the growing body of empirical literature that emphasizes the psychosocial, relational, subjective and biographical dimensions of PCC. (shrink)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

Consider the following sentences: In every race, the colt won; In every race, John won.John Hawthorne and David Manley say that the difference between these two sentences raises a problem for Predicativism about names. According to the currently more standard version of Predicativism, a bare singular name in argument position, like ‘John’ in , is embedded in a definite description with an unpronounced definite article. The problem is supposed to be that permits a covarying reading that allows for different races (...) to have been won by different colts, while does not permit a covarying reading—it can be true only if there is a single John that won every race. But, the objection runs, if the name ‘John’ is really embedded in a definite description with an unpronounced definite article, then the two sentences are structurally parallel and should not differ with respect to covariation. Appealing to Jason Stanley's ‘Nominal Restriction’ , I show that the difference between the two sentences above not only does not raise a problem for Predicativism but also is actually predicted by it. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Function talk is a constant across different life sciences. From macro-evolution to genetics, functions are mentioned everywhere. For example, a limb’s function is to allow movement and RNA polymerases’ function is to transcribe DNA. Biochemistry is not immune from such a characterization; the biochemical world seems to be a chemical world embedded within biological processes. Specifically, biochemists commonly ascribe functions to biomolecules and classify them accordingly. This has been noticed in the recent philosophical literature on biochemical kinds. But while a (...) lot has been written on biological and psychological functions, little has been said explicitly about biochemical fuctions. Here, I explore functional attribution to biochemical molecules. I argue that if we accept this attribution, then biochemical functions are constituted by chemical dispositional properties that causally contribute to selected biological processes. In section 2, I discuss the controversy concerning the characterization of biochemical functions. In section 3, I consider whether a biological or a chemical under- standing of function can be applied to biochemical functions, illustrating the account with the example of vitamin B12. The result is that none of the theories on their own provides an adequate characterization. In section 4, I present an account of biochemical functions. In section 5, I assess this account taking into consideration common requirements for a theory of functions and an objection. (shrink)

Philosophical treatments of natural kinds are embedded in two distinct projects. I call these the philosophy of science approach and the philosophy of language approach. Each is characterized by its own set of philosophical questions, concerns, and assumptions. The kinds studied in the philosophy of science approach are projectible categories that can ground inductive inferences and scientific explanation. The kinds studied in the philosophy of language approach are the referential objects of a special linguistic category—natural kind terms—thought to refer directly. (...) Philosophers may hope for a unified account addresses both sets of concerns. This paper argues that this cannot be done successfully. No single account can satisfy both the semantic objectives of the philosophy of language approach and the explanatory projects of the philosophy of science approach. After analyzing where the tensions arise, I make recommendations about assumptions and projects that are best abandoned, those that should be retained, and those that should go their separate ways. I also recommend adopting the disambiguating terminology of “scientific kinds” and “natural kinds” for the different notions of kinds developed in these different approaches. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

What experimental game theorists may have demonstrated is not that people are systematically irrational but that human rationality is heavily scaffolded. Remove the scaffolding, and we do not do very well. People are able to get on because they “offload” an enormous amount of practical reasoning onto their environment. As a result, when they are put in novel or unfamiliar environments, they perform very poorly, even on apparently simple tasks. -/- This observation is supported by recent empirically informed shifts in (...) philosophy of mind toward a view of cognition as (to cite the current slogan) “embodied, embedded, enactive, extended.” Andy Clark and others have made a very plausible case for the idea that a proper assessment of human cognitive competence must include environmental components. To limit our attention to what lies within the skin-skull boundary is, in effect, to miss the big story on human rationality. Insofar as we are rational, it is often because of our ingenuity at developing “work-arounds” to the glitches in the fast-and-frugal heuristic problem-solving capabilities that natural selection has equipped us with. And these work-arounds often involve a detour through the environment (so-called offloading of cognitive burdens). -/- When it comes to practical rationality, things are no different. Yet in many discussions of “the will,” there is still a tendency to put too much emphasis on what goes on inside the agent’s head. Our objective in this chapter is to articulate this conception of “the extended will” more clearly, using the strategies that people employ to overcome procrastination for the central set of examples. Procrastination, in our view, constitutes a particular type of self-control problem, one that is particularly amenable to philosophical reflection, not only because of the high volume of psychological research on the subject but also because of the large quantity of “self-help” literature in circulationa literature that provides an invaluable perspective on the everyday strategies that people use in order to defeat (or, better yet, circumvent) this type of self-defeating behavior pattern. In general, what we find is that the internalist bias that permeates discussions of the will gives rise to a set of practical recommendations that overemphasize changing the way one thinks about a task, while ignoring the much richer set of strategies that are available in the realm of environmental scaffolding. In the concluding section, we highlight some of the policy implications of this, particularly regarding social trends involving the dismantling of support structures. (shrink)

According to a chorus of authors, the human life-world is currently invaded by an avalanche of high-tech devices referred to as “emerging,” ”intimate,” or ”NBIC” technologies: a new type of contrivances or gadgets designed to optimize cognitive or sensory performance and / or to enable mood management. Rather than manipulating objects in the outside world, they are designed to influence human bodies and brains more directly, and on a molecular scale. In this paper, these devices will be framed as ‘extimate’ (...) technologies (both intimate and external; both embedded and foreign; both life-enhancing and intrusive), a concept borrowed from Jacques Lacan. Although Lacan is not commonly regarded as a philosopher of technology, the dialectical relationship between human desire and technological artefacts runs as an important thread through his work. Moreover, he was remarkably prescient concerning the blending of life science and computer science, which is such a distinctive feature of the current techno-scientific turn. Building on a series of Lacanian concepts, my aim is to develop a psychoanalytical diagnostic of the technological present. Finally, I will indicate how such an analysis may inform our understanding of human life and embodiment as such. (shrink)

Abstract The purpose of this paper is twofold: (i) we will argue that formal semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts, namely ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of, and relations between, objects of various ontological types; and (ii) we show that accounting for these differences amounts to a new formal semantics; one that integrates lexical and (...) compositional semantics in one coherent framework and one where formal semantics is embedded with a strongly typed ontology; an ontology that reflects our commonsense knowledge of the world and the way we talk about it in ordinary language. We will show how in such a framework a number of challenges in the semantics of natural language are adequately and systematically treated. (shrink)

The main goal of this paper is to investigate whether humans are unique in using tools and artifacts. Non-human animals exhibit some impressive instances of tool and artifact-use. Chimpanzees use sticks to get termites out of a mound, beavers build dams, birds make nests, spiders create webs, bowerbirds make bowers to impress potential mates, etc. There is no doubt that some animals modify and use objects in clever and sophisticated ways. But how does this relate to the way in which (...) humans make and use objects to achieve their goals? To answer this question, this paper first presents a taxonomy of artifacts, identifying four overlapping categories, namely embodied, perceptual, cognitive, and affective artifacts. It then discusses definitions of animal tool-use, arguing that we need a more liberal approach, one that goes beyond the use of tools that are embedded in occurrent perception-action cycles. This paper ends by analysing how instances of animal tool and artifact-use can be classified according to the four identified categories, concluding that some animals use embodied, perceptual, cognitive, and affective artifacts. In this sense, humans are thus not unique in the kinds of tools and artifacts we use. What is unique, however, is our unprecedented flexibility and openness to deeply incorporate a large variety of complex tools and artifacts into our embodied, perceptual, cognitive, and affective systems. (shrink)

Drawing on research in narrative theory and literary aesthetics, text and discourse processing, phenomenology and the experimental cognitive sciences, this paper outlines an embodied theory of presence in the reading of literary narrative. Contrary to common assumptions, it is argued that there is no straightforward relation between the degree of detail in spatial description on one hand, and the vividness of spatial imagery and presence on the other. It is also argued that presence arises from a first-person, enactive process of (...) sensorimotor simulation/ resonance, rather than from mere visualizing from the perspective of a passive, third-person observer. In sections 1 to 3, an inter-theoretical argument is presented, proposing that presence may be effectively cued by explicit references to object -directed bodily movement. In section 4, an attempt is made at explaining which ways of embedding such references in the narrative may be particularly productive at eliciting presence. (shrink)

Thus far, the recognition approach as described in the works of Axel Honneth has not systematically engaged with the problem of poverty. To fill this gap, the present contribution will focus on poverty conceived as social exclusion in the context of the European Union and probe its moral significance. It will show that this form of social exclusion is morally harmful and wrong from the perspective of the recognition approach. To justify this finding, social exclusion has to fulfil three conditions: (...) (i) it has to be experienced as harmful by the socially excluded, (ii) it has to meet certain objective criteria, and (iii) it has to violate normative claims embedded within society. (shrink)

Some researchers and autistic activists have recently suggested that because some ‘autism-related’ behavioural atypicalities have a function or purpose they may be desirable rather than undesirable. Examples of such behavioural atypicalities include hand-flapping, repeatedly ordering objects (e.g., toys) in rows, and profoundly restricted routines. A common view, as represented in the Diagnostic and Statistical Manual of Mental Disorders (DSM) IV-TR (APA, 2000), is that many of these behaviours lack adaptive function or purpose, interfere with learning, and constitute the non-social behavioural (...) dysfunctions of those disorders making up the Autism Spectrum. As the DSM IV-TR continues to be the reference source of choice for professionals working with individuals with psychiatric difficulties, its characterization of the Autism Spectrum holds significant sway. We will suggest Extended Mind and Enactive Cognition Theories, which theorize that mind (or cognition) is embodied and environmentally embedded, as coherent conceptual and theoretical spaces within which to investigate the possibility that certain repetitive behaviours exhibited by autistics possess functions or purposes that make them desirable. As lenses through which to re-examine ‘autism-related’ behavioral atypicalities, these theories not only open up explanatory possibilities underdeveloped in the research literature, but also cohere with how some autistics describe their own experience. Our position navigates a middle way between the view of autism as understood in terms of impairment, deficit and dysfunction and one that seeks to de-pathologize the Spectrum. In so doing we seek to contribute to a continuing dialogue between researchers, clinicians and self- or parent advocates. (shrink)

Various approaches have emerged over the last several decades to meet the challenges and complexities of anticipating and responding to the potential impacts of emerging technologies. Although many of the existing approaches share similarities, they each have shortfalls. This paper takes as the object of its study Anticipatory Ethics for Emerging Technologies (ATE) to technology assessment, given that it was formatted to address many of the privations characterising parallel approaches. The ATE approach, also in practice, presents certain areas for retooling, (...) such as how it characterises levels and objects of analysis. This paper results from the work done with the TechEthos Horizon 2020 project in evaluating the ethical, legal, and social impacts of climate engineering, digital extended reality, and neurotechnologies. To meet the challenges these technology families present, this paper aims to enhance the ATE framework to encompass the variety of human processes and material forms, functions, and applications that comprise the socio-technical systems in which these technologies are embedded. (shrink)

Is there a right or wrong way to play a game? Many think not. Some have argued that, when we insist that players obey the rules of a game, we give too much weight to the author’s intent. Others have argued that such obedience to the rules violates the true purpose of games, which is fostering free and creative play. Both of these responses, I argue, misunderstand the nature of games and their rules. The rules do not tell us how (...) to interpret a game; they merely tell us what the game is. And the point of the rules is not always to foster free and creative play. The point can be, instead, to communicate a sculpted form of activity. And in games, as with any form of communication, we need some shared norms to ground communicative stability. Games have what has been called a “prescriptive ontology.” A game is something more than simply a piece of material. It is some material as approached in a certain specified way. These prescriptions help to fix a common object of attention. Games share this prescriptive ontology with more traditional kinds of works. Novels are more than just a set of words on a page; they are those words read in a certain order. Games are more than just some software or cardboard bits; they are those bits interacted with according to certain rules. Part of a game’s essential nature is the prescriptions for how we are to play it. What’s more, we investigate the prescriptive ontology of games, we will uncover at least distinct prescriptive categories of games. Party games prescribe that we encounter the game once; heavy strategy games prescribe we encounter the game many times; and community evolution games prescribe that we encounter the game while embedded in an ongoing community of play. (shrink)

Three special issues of Entropy journal have been dedicated to the topics of “InformationProcessing and Embodied, Embedded, Enactive Cognition”. They addressed morphological computing, cognitive agency, and the evolution of cognition. The contributions show the diversity of views present in the research community on the topic of computation and its relation to cognition. This paper is an attempt to elucidate current debates on computation that are central to cognitive science. It is written in the form of a dialog between two authors (...) representing two opposed positions regarding the issue of what computation is and could be, and how it can be related to cognition. Given the different backgrounds of the two researchers, which span physics, philosophy of computing and information, cognitive science, and philosophy, we found the discussions in the form of Socratic dialogue appropriate for this multidisciplinary/cross-disciplinary conceptual analysis. We proceed as follows. First, the proponent (GDC) introduces the info-computational framework as a naturalistic model of embodied, embedded, and enacted cognition. Next, objections are raised by the critic (MM) from the point of view of the new mechanistic approach to explanation. Subsequently, the proponent and the critic provide their replies. The conclusion is that there is a fundamental role for computation, understood as information processing, in the understanding of embodied cognition. (shrink)

It is expected that industrial heritage actually tells the story of the emerging capitalism highlighting the dynamic social relationship between the “workers” and the owners of the “production means”. In current times of economic crisis, it may even involve a painful past with lost social, civil, gender and/or class struggles, a depressing present with abandoned, fragmented, degraded landscapes and ravaged factories, and a hopeless future for the former workers of the local (not only) society; or just a conquerable ground for (...) controversial investments. This is certainly an emotionally charged subject matter, with multiple readings and interpretations. However, this view is only partial when facing landscape during its historical evolution process. A diachronic study, thus, embraces all resources that probably gave rise to a variety of human activities; all of them embody heritage values -“subjectively” or “objectively” perceived- their evaluation, though, is a matter of an on-going process of the civil society. Greece's landscape accommodates a diversity of diachronic productive practices that may overlap historical periods, technological evolutions and social transformations. Pre-, early and industrial exploitation of resources does not remain firm but vary according to time and the needs of each society. The comparative scale of certain resource exploitation is highlighted as the key for the assessment methodology in close relation to the specific frame of a local landscape and a historical period. Even though archaeological evidence may possibly reveal and document continuity in a range of sustainable productive processes without conflicts, great controversies emerge when new investments are “offered” as an antidote to economic crisis -not harmonized to the local scale, traumatizing thus the “spirit” of the landscape. Suggestions for incompatible productive use and investment planning imply irreversible and irreparable effects on the environment, society and economy of a region and are only faced through social awareness. Case studies of passive and/or active involvement of local communities, in synthesizing and enhance landscape’s “spirit”, its diachronic industrial heritage and the embedded tangible and intangible values, will support a pragmatic -not a suspended- step towards a sustainable future. Quoting Neil Cossons (TICCIH Congress 2012) “Industrial imperialism ensures its position and protects its future not by the conquest of distant lands as by the securing of its sources of raw materials ... The modern world is as much under the control of the major industrial powers as it ever was during the colonial era”; if such a case can the industrial heritage sector remain apolitical? (shrink)

For Humeans, many facts—even ones intuitively “about” particular, localized macroscopic parts of the world—turn out to depend on surprisingly global fundamental bases. We investigate some counterintuitive consequences of this picture. Many counterfactuals whose antecedents describe intuitively localized, non-actual states of affairs nevertheless end up involving wide-ranging implications for the global, embedding Humean mosaic. The case of self-undermining chances is a familiar example of this. We examine that example in detail and argue that popular existing strategies such as “holding the laws (...) fixed as laws” or “holding the laws fixed as true” are of no help. Interestingly, we show how a new proposal that draws on the resources of the Mentaculus can yield the right results—but only on the assumption that the Humean can make cross-world identifications. We go on to argue that the Humean cannot make such identifications. We conclude that the root of this trouble is deeper, and its reach broader, than the familiar cases suggest. We think it is very much an open question whether the Humean has sufficient resources to properly conceptualize macroscopic objects or to analyze these “local” counterfactuals. (shrink)

Plato articulates a deep perplexity about inquiry in ?Meno's Paradox??the claim that one can inquire neither into what one knows, nor into what one does not know. Although some commentators have wrestled with the paradox itself, many suppose that the paradox of inquiry is special to Plato, arising from peculiarities of the Socratic elenchus or of Platonic epistemology. But there is nothing peculiarly Platonic in this puzzle. For it arises, too, in classical Indian philosophical discussions, where it is formulated with (...) great clarity, and analysed in a way that casts it in a new light. We present three treatments of the puzzle in Indian philosophy, as a way of refining and sharpening our understanding of the paradox, before turning to the most radical of the Indian philosophers to tackle it. The Indian philosophers who are optimistic that the paradox can be resolved appeal to the existence of prior beliefs, and to the resources embedded in language to explain how we can investigate, and so move from ignorance to knowledge. Highlighting this structural feature of inquiry, however, allows the pessimist philosopher to demonstrate that the paradox stands. The incoherence of inquiry is rooted in the very idea of aiming our desires at the unknown. Asking questions and giving answers rests on referential intentions targeting objects in a region of epistemic darkness, and so our ?inquiry sceptic? also finds structurally similar forms of incoherence in the pragmatics of interrogative discourse. (shrink)

Philosophers of perception widely agree that sensory properties, like color, are represented in perceptual experience. Arguments are usually needed to establish that something other than sensory properties, for example three-dimensional objects or kind properties, are part of perceptual content. Call the idea that sensory properties are represented in perceptual experience the Sensation View (SV). Given its widespread acceptance, we may expect to find strong reasons for holding SV. In this paper, I argue that we lack such reasons: SV is largely (...) unjustified. We have surprisingly poor justification for thinking that sensory properties are represented in perception. By focusing on the case of vision, I show that an embedded understanding of visual perception, and empirical evidence in cognitive psychology, indicate that SV is far from warranted. (shrink)

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instead.

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

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)

In this chapter, we philosophically reflect on the concept of innovation. To this end, we distinguish between the innovation process and outcome dimension, and between the ontic and ontological dimension of innovation. The ontic dimension of innovation concerns beings like new artefacts, and the ontological dimension concerns the being of these beings. These distinctions lead to four characteristics of our understanding of innovation with several implications for the object of innovation and its novelty, as well as for the temporality and (...) human involvement in innovation practices. It will turn out that innovation concerns the ontogenetic process in which primarily a world is constituted - i.e. the digital world - in which the invention of new artefacts - i.e. blockchain technology - is embedded. This ontogenetic process doesn’t follow a chronological temporal order, but is constituted by a temporal iterative process. Human creativity is involved in this ontogenetic process as co-creative capacity. In section three, we show the advantage of our conceptualization of innovation and its implications for contemporary and future alternative theories of innovation. (shrink)

Pascal’s wager has received the attention of philosophers for centuries. Most of its criticisms arise from how the wager is often framed. We present Pascal’s wager three ways: in isolation from any further apologetic arguments, as leading toward a regimen intended to produce belief, and finally embedded in a larger apology that includes evidence for Christianity. We find that none of the common objections apply when the wager is presented as part of Pascal’s larger project. Pascal’s wager is a successful (...) argument in its proper place. However, the most interesting features of our first two presentations of the wager turn out to be either irrelevant or missing from our reading: infinite utility and the relativity of evidence. The successful wager is a boring wager. Still, this study shows us how the wager might profitably be incorporated into different apologetic contexts and why it often can’t. (shrink)