Software is a ubiquitous artifact, yet not much has been done to understand its ontological nature. There are a few accounts offered so far about the nature of software. I argue that none of those accounts give a plausible picture of the nature of software. I draw attention to the striking similarities between software and musical works. These similarities motivate to look more closely on the discussions regarding the nature of the musical works. With the lessons drawn from the ontology (...) of musical works I offer a novel account of the nature of software. In this account, software is an abstract artifact. I elaborate the conditions under which software comes into existence; how it persists; how and on which entities its existence depends. (shrink)

This paper argues that there was considerably more philosophy of action in moral theory before 1958 (when Anscombe complained of its lack under the banner 'philosophy of psychology') than there has been since. This is in part because Anscombe influenced the formation of 'virtue theory' as yet another position within normative ethics, and her work contributed to the fashioning of 'moral psychology' as an altogether distinct (and now increasingly empirical) branch of moral philosophy.

The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, a symphony, a species? (...) §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

My aim in this chapter is to extend the Realist account of the foundations of linguistics offered by Postal, Katz and others. I first argue against the idea that naive Platonism can capture the necessary requirements on what I call a ‘mixed realist’ view of linguistics, which takes aspects of Platonism, Nominalism and Mentalism into consideration. I then advocate three desiderata for an appropriate ‘mixed realist’ account of linguistic ontology and foundations, namely (1) linguistic creativity and infinity, (2) linguistics as (...) a theory of types (and not tokens) and (3) independence but structural respect between language and the linguistic competence thereof. My own brand of mixed realism, what I call ante rem realism, is defended along the lines of an ante rem or non-eliminative structuralism, the likes of which has been offered for mathematics by Resnik (1997) and Shapiro (1997). In other words, grammars describe a mind-independent (but not necessarily unconnected) linguistic reality in terms of linguistic patterns or structures also known as natural languages. I further amend this picture to allow for the possibility of a naturalistic account of language acquisition and evolution by arguing against a particular view of the type-token distinction. (shrink)

This dissertation examines the practice of categorizing works of art and its relationship to art criticism. How a work of art is categorized influences how it is appreciated and criticized. Being frightening is a merit for horror, but a demerit for lullabies. The brushstrokes in Monet's "Impression, Sunrise" (1874) look crude when seen as a Neoclassical painting, but graceful when seen as an Impressionist painting. Many of the judgments we make about artworks are category-dependent in this way, but previous research (...) has rarely examined in depth the ontological structure of art categories, how they are generated and maintained, and how they function. This dissertation fills this gap. The proposal of this dissertation can be summarized as follows. Categories (especially genres) should be analyzed as clusters of rules that regulate the responses and behaviors of agents in the artworld. The visual mundaneness is a critical reason to consider Duchamp's "Comb" (1916) provocative, given the existence of the readymade as a set of rules that justifies such reasoning. The critical and appreciative practice of which categorization is a part is a social practice of making, declaring, proposing, reforming, and developing rules of appreciation. How we appreciate artworks, and how criticism guides our appreciation, is sensitive to how we categorize artworks. How we categorize artworks is sensitive to what categories have been set up in our community and which categories are active regarding each artwork. (shrink)

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, (...) and history and philosophy of science and religion. (shrink)

Theory of illness causation is an important issue in all biomedical sciences, and solid etiological explanations are needed in order to develop therapeutic approaches in medicine and preventive interventions in public health. Until now, the literature about the theoretical underpinnings of illness causation research has been scarce and fragmented, and lacking a convenient summary. This interdisciplinary book provides a convenient and accessible distillation of the current status of research into this developing field, and adds a personal flavor to the discussion (...) by proposing the etiological stance as a comprehensive approach to identify modifiable causes of illness. (shrink)

This book develops a novel approach to distributive justice by building a theory based on a concept of desert. As a work of applied political theory, it presents a simple but powerful theoretical argument and a detailed proposal to eliminate unmerited inequality, poverty, and economic immobility, speaking to the underlying moral principles of both progressives who already support egalitarian measures and also conservatives who have previously rejected egalitarianism on the grounds of individual freedom, personal responsibility, hard work, or economic efficiency. (...) By using an agnostic, flexible, data-driven approach to isolate luck and ultimately measure desert, this proposal makes equal opportunity initiatives both more accurate and effective as it adapts to a changing economy. It grants to each individual the freedom to genuinely choose their place in the distribution. It provides two policy variations that are perfectly economically efficient, and two others that are conditionally so. It straightforwardly aligns outcomes with widely shared, fundamental moral intuitions. Lastly, it demonstrates much of the above by modeling four policy variations using 40 years of survey data from the Panel Study of Income Dynamics. (shrink)

The subject matter of this work covers the issues or problems listed below: * The problem of the ontological status of language signs and a more general philosophical problem connected with it: * What is language as a system of signs, which – on the one hand – serves to: 1) represent our knowledge about the reality which is being recognized, and, on the other one to: 2) a. explore and better cognize or discover it, b. describe it in an (...) adequate manner, and c. enable users to make interpersonal communication? All the pragmatic functions of language require carrying out its logical-philosophical analysis, and this means both regarding its syntax and semantics. Such an analysis is not possible without determining the following: How are signs perceived and what is their ontological nature in the so-called functional approach towards logical semiotics of natural language, founded on two ways of their usage: either as signs which we use in concrete situational or situational-language contexts or as isolated signs detached from such contexts? In the first case, they are language tokens (concretes), existing material objects perceived through the senses, with a fixed temporal-spatial location, in the other one – they are non-concretes and as such (as the majority of researchers in the field of philosophy and linguistics accept) – abstract objects, language types. The type-token distinction (differentiation between abstract and concrete) has already acquired a certain status in contemporary philosophy and is of considerable importance to metaphysics and epistemology in particular. Indeed, it is most often illustrated with reference to language signs (words, expressions) as the distinction type/token of a sign, introduced into semiotics by Ch. S. Peirce. In the semiotic analysis, and also in the linguistic one, there are used both types and tokens of signs, however, often without paying due attention to when it is said about types and when about tokens. This is related to the problems which are still considered by the philosophy of language: What is the type? What is the token (specimen)? What are the mutual relations between the type and the token? Disputes concerning providing answers to these questions are related to existential issues dealing with the ontological status of these language signs and two currents within the ontology of language, remaining under the influence of two fundamental concepts formed in the debate: nominalism and realism. The author presents in brief different stances on the above-mentioned issues or problems, as well as argues that from the logical point of view: 1) working out any theoretical conception of language must take into account its bi-aspectual characteristics: as a language of expression-tokens and as a language of expression-types; 2) advocating either of the standpoints: (a) types exist independent of their tokens, or (b) it is not so, can be omitted in syntactic considerations on language; 3) mutual relations between sign-tokens differ from the mutual relations between sign-types, yet; 4) determination of the mutual relation between sign-types and sign-tokens depends on accepting either of the standpoints: (a) or (b); 5) semantic or semantic-pragmatic concepts of language, such as meaning, denotation, interpretation should be defined exclusively for types of tokens, but their definitions require certain reference to the functions which sign-tokens perform in the language (words, expressions), or to relations between them; 6) The concept of an act of language communication differs from general language communication: the first one is defined by means of sign-tokens, whereas the other one – with the use of sign-types. (shrink)

Both the semantics of fictional discourse and the semantics of indexicality are canonical topics in the philosophy of language, on which there exists well-known significant literature. However, the same cannot be said for the terrain where they overlap. That is, the distinctive issues raised by fictive uses of indexicals and demonstratives have not been extensively studied per se. The aim of the present essay is to shed some light on this terrain, and to advance our understanding of some of these (...) issues. As it happens, accounting for indexicals in fiction requires the use of innovative new tools. In particular, the standard, familiar taxonomy of types / tokens / utterances is not sufficient to account for the complex cognitive significance and truth-conditions, unique to these kinds of case. For instance: it is widely recognized that, with indexicals generally, semantic properties attach to utterances, not to types or to tokens. But in fiction there are no utterances (in the relevant sense). An innovative notion is required, which I call an “indexed token”. This account of indexicals in fiction, based on the notion of an indexed token, is developed within a Perry (2012)-inspired pluri-propositionalist framework. As such, the present essay constitutes an original application of that framework, extending its already impressive reach. (shrink)

A mathematical matrix is usually defined as a two-dimensional array of scalars. And yet, as I explain, matrices are not in fact two-dimensional arrays. So are we to conclude that matrices do not exist? I show how to resolve the puzzle, for both contemporary and older mathematics. The solution generalises to the interpretation of all mathematical discourse. The paper as a whole attempts to reinforce mathematical structuralism by reflecting on how best to interpret mathematics.

Words form a fundamental basis for our understanding of linguistic practice. However, the precise ontology of words has eluded many philosophers and linguists. A persistent difficulty for most accounts of words is the type-token distinction [Bromberger, S. 1989. “Types and Tokens in Linguistics.” In Reflections on Chomsky, edited by A. George, 58–90. Basil Blackwell; Kaplan, D. 1990. “Words.” Aristotelian Society Supplementary Volume LXIV: 93–119]. In this paper, I present a novel account of words which differs from the atomistic and platonistic (...) conceptions of previous accounts which I argue fall prey to this problem. Specifically, I proffer a structuralist account of linguistic items, along the lines of structuralism in the philosophy of mathematics [Shapiro, S. 1997. Philosophy of Mathematics: Structure and Ontology. Oxford University Press], in which words are defined in part as positions in larger linguistic structures. I then follow Szabò [1999. “Expressions and Their Representations.” The Philosophical Quarterly 49 (195): 145–163] and Parsons [1990. “The Structuralist View of Mathematical Objects.” Synthese 84: 303–346] in further defining words as quasi-concrete objects according to a representation relation. This view aims for general correspondence with contemporary generative linguistic approaches to the study of language. (shrink)

It has been widely argued that words are analogous to species such that words, like species, are natural kinds. In this paper, I consider the metaphysics of word-kinds. After arguing against an essentialist approach, I argue that word-kinds are homeostatic property clusters, in line with the dominant approach to other biological and psychological kinds.

The method of linguistic palaeontology has a controversial status within archaeology. According to its defenders, it promises the ability to see into the social and material cultures of prehistoric societies and uncover facts about peoples beyond the reach of archaeology. Its critics see it as essentially flawed and unscientific. Using a particular case-study, the Indo-European homeland problem, this paper attempts to discern the kinds of inference which proponents of linguistic palaeontology make and whether they can be warranted. I conclude that, (...) while the case for linguistic palaeontology has often been overstated, so has the case against it. (shrink)

ABSTRACT This paper is concerned with the ontological status of linguistic types. According to a widely held view, linguistic types are abstract objects that are instantiated or represented by tokens. The same types might be tokened by both speech, signing and text. This view has implications for how we consider what it is to know a language since knowledge of language is typically taken to be knowledge of linguistic types. We argue below that linguistic types are not abstract objects but (...) action-types and that these action-types are individuated by the capacities that they manifest. The picture that results from this view is that to know a language is to have the capacities required to perform these action-types. (shrink)

The Millian semantic view of names relies on a metaphysical view of names—often given the label ‘common currency conception’ —on which the names of distinct individuals count as distinct names. While even defenders of the Millian view admit that the CCC ‘does not agree with the most common usage’, I will argue further that the CCC makes names exceptional amongst the class of linguistic expressions: if the CCC is correct, then names must have a sui-generis metaphysical nature, distinct from the (...) metaphysics of every other kind of linguistic expression. Such metaphysical exceptionalism would be justified if the Millian view had a clear, uncontested theoretical advantage over its rivals. However, in the context of a semantic debate about names in which the closest competitors of the Millian view—the Predicate view and Indexicalism—do not result in such exceptionalism, it counts as a strike against the Millian view. (shrink)

This paper provides a categorization of cross-modal experiences. There are myriad forms. Doing so allows us to think clearly about the nature of different cross-modal experiences and allows us to clearly formulate competing hypotheses about the kind of experiences involved in different cross-modal phenomena.

In the present paper we develop different arguments to show that there are no reasons to consider that there exists quantum information as qualitatively different than Shannon information. There is only one kind of information, which can be coded by means of orthogonal or non-orthogonal states. The analogy between Shannon’s theory and Schumacher’s theory is confined to coding theorems. The attempt to extend the analogy beyond this original scope leads to a concept of quantum information that becomes indistinguishable from that (...) of quantum state. But information is essentially linked with communication, as it is clear in both Shannon’s and Schumacher’s proposals. If we detach information from this link, we are not talking about information but about quantum mechanics. We also stress the neutrality of information with respect to the physical theories that describe the systems used for its implementation. This view opens the way towards a non-reductive unification of physics: if different physical theories can be reconstructed on the same neutral informational basis, they could be meaningfully compared with no need of searching for reductive links among them. (shrink)

Despite of its formal precision and its great many applications, Shannon’s theory still offers an active terrain of debate when the interpretation of its main concepts is the task at issue. In this article we try to analyze certain points that still remain obscure or matter of discussion, and whose elucidation contribute to the assessment of the different interpretative proposals about the concept of information. In particular, we argue for a pluralist position, according to which the different views about information (...) are no longer rival, but different interpretations of a single formal concept. (shrink)

Christopher Timpson proposes a deflationary view about information, according to which the term ‘information’ is an abstract noun and, as a consequence, information is not part of the material contents of the world. The main purpose of the present article consists in supplying a critical analysis of this proposal, which will lead us to conclude that information is an item even more abstract than what Timpson claims. From this view, we embrace a pluralist stance that recognizes the legitimacy of different (...) interpretations of the concept of information. (shrink)

Reverse Inference ( RI ) is an imaging-based type of inference from brain states to mental states, which has become highly widespread in neuroscience, most especially in neuroeconomics. Recent critical studies of RI may be taken to show that, if cautiously used, RI can help achieve research goals that may be difficult to achieve by way of behavior-based procedures alone. But can RI exceed the limits of these procedures and achieve research goals that are impossible for them to achieve alone? (...) By way of answering this question we show that a conception of the mind—type identity—under which the answer is in the positive, is untenable for reasons that strongly support another conception of the mind—functionalism—under which the answer must be in the negative. On this basis we then conclude that RI cannot exceed the limits of behavior-based procedures in cognitive psychology. (shrink)

I argue that it is not acceptable to restrict the claim that linguistic types are concrete entities (type-concretism) to some categories of linguistic types (such as words or proper names), while at the same time conceding that other categories of linguistic types (such as sentence types) are abstract entities. Moreover, I suggest a way in which type-concretism can be extended to every linguistic type, thereby responding to the so-called productivity objection to type-concretism, according to which, whenever tokens of a type (...) t are produced in different, causally isolated circumstances, then t needs to be identified by a certain form or structure. This extension of type-concretism detaches type-concretism from so-called originalism and gives rules a prominent role in type-concretism. (shrink)

Words, languages, symphonies, fictional characters, games, and recipes are plausibly abstract artifacts— entities that have no spatial location and that are deliberately brought into existence as a result of creative acts. Many accept that composition is unrestricted: for every plurality of material objects, there is a material object that is the sum of those objects. These two views may seem entirely unrelated. I will argue that the most influential argument against restricted composition—the vagueness argument—doubles as an argument that there can (...) be no abstract artifacts. There is no way to resist the vagueness argument against abstract artifacts that does not also undermine the vagueness argument against restricted composition. (shrink)

Numerous difficulties arising in connection with developing an ontology for linguistic entities can be thought of as manifestations of a more general problem, aptly characterized by David Lewis (1975) as a tension between two conflicting conceptions of language. On the one hand, our best theories model languages as abstract semantic systems—roughly, functions assigning meanings to expressions. On the other hand, we think of languages as contingent and changing social constructs—both grounded in, and grounding, various social relations and institutions of human (...) beings. There are various ways in which these conceptions appear to be in conflict. For instance, if languages are set-theoretical entities—as our best logical and linguistic theories would have it—how do we account for the fact that they change? Or that they could have been different in various respects? And how do we provide principled and noncircular conditions for set-membership, when there appears to be nothing in common to all tokens of the same expression other than belonging to the same type? This paper aims to develop an ontology of linguistic entities—specifically, of languages and linguistic communities—that can resolve these apparent tensions. (shrink)

Words are indispensable linguistic tools for beings like us. However, there is not much philosophical work done about what words really are. In this paper, I develop a new ontology for words. I argue that words are abstract artifacts that are created to fulfill various kinds of purposes, and words are abstract in the sense that they are not located in space but they have a beginning and may have an end in time given that certain conditions are met. What (...) follows from this two-fold argument is that words, from an ontological point of view, are more like musical works, fictional characters or computer programs, than numbers or sets. (shrink)

Many philosophers believe in things, propositions, which are the things that we believe, assert etc., and which are the contents of sentences. The act-type theory of propositions is an attempt to say what propositions are, to explain how we stand in relations to them, and to explain why they are true or false. The core idea of the act-type theory is that propositions are types of acts of predication. The theory is developed in various ways to offer explanations of the (...) important properties of propositions. I present the core idea of the theory, and some developments of it. I discuss the relationship between the theory and the content–force distinction. I also present an important type of objection that has been raised to the explanations offered by the act-type theory. (shrink)

Is nanotechnology-based human enhancement morally permissible? One reason to question such enhancement stems from a concern for preserving our species. It is harder than one might think, however, to explain what could be wrong with altering our own species. One possibility is to turn to the environmental ethics literature. Perhaps some of the arguments for preserving other species can be applied against nanotechnology-based human enhancements that alter human nature. This paper critically examines the case for using two of the strongest (...) arguments in the environmental ethics literature to show that nanotechnology-based human enhancements are impermissible: 1) Our species, like many other naturally occurring species, has aesthetic value. So, nanotechnology-based human enhancements that alter our species should be prohibited. 2) Our species plays valuable ecological roles. Nanotechnology-based human enhancements that alter our species are likely to interfere with our species playing our ecologically valuable roles. So, such enhancements should be prohibited. Neither argument, ultimately, proves conclusive. The paper concludes, however, that considerations underlying both arguments may show us that some nanotechnology-based human enhancements are impermissible. (shrink)

In this paper, I analyze the semantics of the first person pronoun “I” from the perspective of the user/producer distinction. In the first part of the paper, I describe the Simple View and propose three interpretations of its thesis. In the second part, I analyze the notions of use and production of a linguistic token. In the next part, I show that all of the interpretations of SV are sensitive to counterexamples. In the end, I discuss possible answers of the (...) proponents of SV and argue against them. The first aim of this paper is to show that SV is wrong, and the second is to convince the reader that the user/producer distinction is of high importance in the philosophy of language. (shrink)

Prior's puzzle is a puzzle about the substitution of certain putatively synonymous or coreferential expressions in sentences. Prior's puzzle is important, because a satisfactory solution to it should constitute a crucial part of an adequate semantic theory for both proposition-embedding expressions and attitudinal verbs. I argue that two recent solutions to this puzzle are unsatisfactory. They either focus on the meaning of attitudinal verbs or content nouns. I propose a solution relying on a recent analysis of that-clauses in linguistics. Our (...) solution is superior, as it not only avoids the problems faced by previous solutions, but it also brings developments in linguistics in line to solve an old puzzle in philosophy. (shrink)

This paper analyses the features of the 2021 software for the creation of ultrarealistic digital characters “MetaHuman Creator” and reflects on the causes of such perceived effect of realism to understand if the faces produced with such software represent an actual novelty from an academic standpoint. Such realism is first of all defined as the result of semio-cognitive processes which trigger interpretative habits specifically related to faces. These habits are then related to the main properties of any realistic face: being (...) face-looking, face-meaning and face-acting. These properties, in turn, are put in relation with our interactions with faces in terms of face detection, face recognition, face reading and face agency. Within this theoretical framework, we relate the characteristics of these artificial faces with such interpretative habits. To do so, we first of all make an examination of the technological features behind both the software and the digital faces it produces. This analysis highlights four main points of interest: the mathematical accuracy, the scanned database, the high level of details and the transformative capacities of these artificial faces. We then relate these characteristics with the cultural and cognitive aspects involved in recognizing and granting meaning to faces. This reveals how metahuman faces differs from previous artificial faces in terms of indexicality, intersubjectivity, informativity and irreducibility. But it also reveals some limits of such effect of reality in terms of intentionality and historical context. This examination consequently brings us to conclude that metahuman faces are qualitatively different from previous artificial faces and, in the light of their potentials and limits, to highlight four main lines of future research based on our findings. (shrink)

This paper argues for a version of metalinguistic descriptivism, the Mill-Frege view, comparing it to a currently popular alternative, predicativism. The Mill-Frege view combines tenets of Fregean views with features of the theory of direct reference. According to it, proper names have metalinguistic senses, known by competent speakers on the basis of their competence, which figure in ancillary presuppositions. In support of the view the paper argues that the name-bearing relation—which predicativists cite to account for the properties that they take (...) names to express—depends on acts of naming with a semantic significance. Acts of naming create particular words specifically designed for referential use, which they perform whether or not the language has other words articulated with the same sound or orthography. Like other forms of metalinguistic descriptivism, the Mill-Frege view affords responses to Kripke’s semantic and epistemic arguments against descriptivism. The view is prima facie more complex than predicativism; but the additional complexity is independently attested in natural languages and well-motivated. Finally, the Mill-Frege proposal deals well with Kripke’s modal argument, and accounts for modal intuitions about names, both issues that pose serious trouble to predicativism. (shrink)

Strawson (1994) and Peacocke (1992) introduced thought experiments that show that it seems intuitive that there is, in some way, an experiential character to mental events of understanding. Some (e.g., Siewert 1998, 2011; Pitt 2004) try to explain these intuitions by saying that just as we have, say, headache experiences and visual experiences of blueness, so too we have experiences of understanding. Others (e.g., Prinz 2006, 2011; Tye 1996) propose that these intuitions can be explained without positing experiences of understanding. (...) Call this the debate between Realism and Anti-Realism about experiences of understanding. This paper aims to advance that debate in two ways. In the first half, I develop more precise characterizations of what Realists and Anti-Realists propose. In the second half, I distinguish the four most plausible versions of Anti-Realism and argue that Realism better explains the target intuition than any of them does. (shrink)

I reconcile the spatiotemporal location of repeatable artworks and impure sets with the non-location of natural numbers despite all three being varieties of abstract objects. This is possible because, while the identity conditions for all three can be given by abstraction principles, in the former two cases spatiotemporal location is a congruence for the equivalence relation featuring in the relevant principle, whereas in the latter it is not. I then generalize this to other ‘physical’ properties like shape, mass, and causal (...) powers. (shrink)

Abstract I argue that the two primary motivations in the literature for positing seemings as sui generis mental states are insufficient to motivate this view. Because of this, epistemological views which attempt to put seemings to work don’t go far enough. It would be better to do the same work by appealing to what makes seeming talk true rather than simply appealing to seeming talk. Content Type Journal Article Pages 1-12 DOI 10.1007/s11406-012-9363-8 Authors T. Ryan Byerly, Department of Philosophy, Baylor (...) University, Waco, TX, USA Journal Philosophia Online ISSN 1574-9274 Print ISSN 0048-3893. (shrink)

This paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be “more diagrammatic” than equivalently expressive languages for quantificational logic. The reason of this, he claimed, is that less room is afforded in Existential Graphs than in equivalently expressive languages for different ways of representing the same fact. (...) The reason of this, in turn, is that Existential Graphs are a non-linear, occurrence-referential notation. As a non-linear notation, each graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic that are obtained by permuting those elements that in the graphs lie in the same area. As an occurrence-referential notation, each Beta graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic in which the identity of reference of two or more variables is asserted. In brief, Peirce’s graphs are more diagrammatic than the linear, type-referential notation of first-order logic because the function that translates the latter to the graphs does not define isomorphism between the two notations. (shrink)

This paper addresses ethical challenges posed by a robot acting as both a general type of system and a discrete, particular machine. Using the philosophical distinction between “type” and “token,” we locate type-token ambiguity within a larger field of indefinite robotic identity, which can include networked systems or multiple bodies under a single control system. The paper explores three specific areas where the type-token tension might affect human–robot interaction, including how a robot demonstrates the highly personalized recounting of information, how (...) a robot makes moral appeals and justifies its decisions, and how the possible need for replacement of a particular robot shapes its ongoing role. We also consider how a robot might regard itself as a replaceable token of a general robotic type and take extraordinary actions on that basis. For human–robot interaction robotic type-token identity is not an ontological problem that has a single solution, but a range of possible interactions that responsible design must take into account, given how people stand to gain and lose from the shifting identities social robots will present. (shrink)

The consensus is that repeatable artworks cannot be identified with particular material individuals. A perennial temptation is to identify them with types, broadly construed. Such identification, however, faces the so-called “Creation Problem.” This problem stems from the fact that, on the one hand, it seems reasonable to accept the claims that (1) repeatable artworks are types, (2) types cannot be created, and (3) repeatable artworks are created, but, on the other hand, these claims are mutually inconsistent. A possible solution to (...) the Creation Problem is to argue that claim (2) can be rejected because (a) the only motivation for it is that a type, being abstract, cannot stand in causal relations, but (b) this motivation is ungrounded, since types can, in fact, stand in such relations. Clearly, in order for this solution to be successful, it is necessary to substantiate the possibility of types to be causally efficacious. In this essay, I examine an attempt to do this with the help of Yablo’s principle of proportionality, which has been undertaken by Walters (2013) and, more recently, Juvshik (2018). Although the argument they advance may seem to provide strong support for the causal efficacy of types, I think it actually fails to do this. To explain why this is so, I first show that this argument commits us to the existence of widespread causal overdetermination involving types and then argue that this commitment is both epistemically and ontologically problematic. (shrink)

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality and (...) abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

Convincing disputes about explanatory reductionism in the philosophy of biology require a clear and precise understanding of what a reductive explanation in biology is. The central aim of this book is to provide such an account by revealing the features that determine the reductive character of a biological explanation. Chapters I-IV provide the ground, on which I can then, in Chapter V, develop my own account of explanatory reduction in biology: Chapter I reveals the meta-philosophical assumptions that underlie my analysis (...) of reduction, Chapter II introduces the previous debate about reduction in the philosophy of biology by pointing out the most crucial lessons one should learn from this debate, Chapter III critically discusses the two perspectives on explanatory reduction that have been proposed in the philosophy of biology so far, and Chapter IV clarifies in what ways the issue of reduction is entangled with the issue of explanation. In Chapter V I present my own account of explanatory reduction. My main claim is that reductive explanations in the biological sciences possess three main characteristics: they explain the behavior of a biological system S, first, exclusively in terms of factors that are located on a lower level of organization than S, second, by focusing on factors that are internal to S , and third, by describing the genuine parts of S only as “parts in isolation”. This account is ontic because it traces the reductivity of an explanation back to certain relations that exist in the world. (shrink)

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The result (...) is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (shrink)

I propose a new approach to the constitutive problem of psychology ‘what is mind?’ The first section introduces modifications of the received scope, methodology, and evaluation criteria of unified theories of cognition in accordance with the requirements of evolutionary compatibility and of a mature science. The second section outlines the proposed theory. Its first part provides empirically verifiable conditions delineating the class of meaningful neural formations and modifies accordingly the traditional conceptions of meaning, concept and thinking. This analysis is part (...) of a theory of communication in terms of inter-level systems of primitives that proposes the communication-understanding principle as a psychological invariance. It unifies a substantial amount of research by systematizing the notions of meaning, thinking, concept, belief, communication, and understanding and leads to a minimum vocabulary for this core system of mental phenomena. Its second part argues that written human language is the key characteristic of the artificially natural human mind. Overall, the theory both supports Darwin’s continuity hypothesis and proposes that the mental gap is within our own species. (shrink)

Timpson’s deflationary view of information is an innovative and well articulated view that had a great impact on the philosophy of physics community. However, recently some of the arguments supporting the deflationist view have been critically reviewed. The aim of this paper is to retain the general idea behind Timpson’s proposal, but replacing the conflictive elements used to support his thesis with new argumentative resources based on the notion of manipulability.

In this short paper, we show that a popular view in information science, information-as-thing, fails to account for a common example of information that seems physical. We then demonstrate how the distinction between types and tokens, recently used to analyse Shannon information, can account for this same example by viewing information as abstract, and discuss existing definitions of information that are consistent with this approach. -/- Dans ce court article nous montrons qu'une vision populaire en sciences de l'information, l'information en (...) tant qu’une chose, échoue à rendre compte d'un exemple commun d'information qui semble physique. Nous démontrons ensuite comment la distinction type/token, utilisée récemment pour analyser l'information de Shannon, peut rendre compte de ce même exemple en considérant l'information comme abstraite, et nous discutons des définitions existantes de l’information qui sont compatibles avec cette approche. (shrink)

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)

Is it possible to build a conscious machine, an artifact that has qualitative experiences such as feeling pain, seeing the redness of a flower or enjoying the taste of coffee ? What makes such experiences conscious is their phenomenal character: it is like something to have such experiences. In contemporary philosophy of mind, the question of the qualitative aspect of conscious experiences is often addressed in terms of qualia. In a pre-theoretical and intuitive sense, qualia refer to the phenomenal character (...) or “what-it’s-like-ness” of a conscious experience: the painfulness of a pain experience or the redness of a visual experience of a red object. The problem of artificial qualia is the question of the theoretical possibility of the realization of qualia by artifacts. In this work, this problem will serve as a methodological tool to address what is arguably the most fundamental question of philosophy of mind: what exactly is consciousness? (shrink)