It is almost universally acknowledged that first-order logic (FOL), with its clean, well-understood syntax and semantics, allows for the clear expression of philosophical arguments and ideas. Indeed, an argument or philosophical theory rendered in FOL is perhaps the cleanest example there is of “representing philosophy”. A number of prominent syntactic and semantic properties of FOL reflect metaphysical presuppositions that stem from its Fregean origins, particularly the idea of an inviolable divide between concept and object. These presuppositions, taken at face value, (...) reflect a significant metaphysical viewpoint, one that can in fact hinder or prejudice the representation of philosophical ideas and arguments. Philosophers have of course noticed this and have, accordingly, sought to alter or extend traditional FOL in novel ways to reflect a more flexible and egalitarian metaphysical standpoint. The purpose of this paper, however, is to document and discuss how similar “adaptations” to FOL—culminating in a standardized framework known as Common Logic —have evolved out of the more practical and applied encounter of FOL with the problem of representing, sharing, and reasoning upon information on the World Wide Web. (shrink)

The focus of this volume, which collects both recent and now-classic essays, is the historical emergence of concepts and objects, through new uses of words and ...

At the beginning of Western philosophy, Aristotle contrasted made objects, which did not have the source of their own production within themselves, with beings formed by nature. This distinction persisted until Marx, who conceived of the possibility of an evolution of the technical object. This philosophy developed while industrialisation was in the process of overthrowing the contemporary order of social organisation, which highlighted technology's new place in philosophical enquiry. Bernard Stiegler goes back to the beginning of Western philosophy and revises (...) the Aristotelian assessment, developing a complex argument whereby the technical object can be seen as having an essential, distinctive temporality and dynamic of its own. The author engages the ideas of Rousseau, Husserl, and Heidegger, the paleo-ontologist Leroi-Gourhan, the anthropologists Vernant and Detienne, the sociologists Weber and Habermas, and the systems analysts Maturana and Varela. (shrink)

Where does the mind stop and the rest of the world begin? The question invites two standard replies. Some accept the demarcations of skin and skull, and say that what is outside the body is outside the mind. Others are impressed by arguments suggesting that the meaning of our words "just ain't in the head", and hold that this externalism about meaning carries over into an externalism about mind. We propose to pursue a third position. We advocate a very different (...) sort of externalism: an _active externalism_, based on the active role of the environment in driving cognitive processes. (shrink)

This book presents a learned and ingenious attempt to understand the origin and nature of philosophical inquiry. It draws on material from numerous disciplines and from all periods of philosophy and provides challenging arguments on a wide range of topics. The author constructs a hierarchy of ontological claims, beginning with perceptual experience, moving to language and science. He traces subtle and unexpected relations among these and concludes by offering a system for classifying philosophical theories which reveals why they take the (...) form they do and why philosophical dispute is ineradicable. The book offers many fresh insights into such topics as the nature of experience, the nature of language and that of philosophy itself. It will interest a wide range of philosophers, in particular those concerned with categorical schemes, grammar and ontology. (shrink)

This article argues that existing systems on the Web cannot approach human-level intelligence, as envisioned by Descartes, without being able to achieve genuine problem solving on unseen problems. The article argues that this entails committing to a strong intensional logic. In addition to revising extant arguments in favor of intensional systems, it presents a novel mathematical argument to show why extensional systems can never hope to capture the inherent complexity of natural language. The argument makes its case by focusing on (...) representing, with increasing degrees of complexity, knowledge in a first-order language. Nevertheless, the attempts at representation fail to achieve consistency, making the case for an intensional representation system for natural language clear. (shrink)

We find ourselves in a media-intensive milieu comprising networks, images, sounds, and text, which we generalize as data and metadata. How can we understand this digital milieu and make sense of these data, not only focusing on their functionalities but also reflecting on our everyday life and existence? How do these material constructions demand a new philosophical understanding? Instead of following the reductionist approaches, which understand the digital milieu as abstract entities such as information and data, this article proposes to (...) approach it from an embodied perspective: objects. The article contrasts digital objects with natural objects (e.g., apples on the table) and technical objects (e.g., hammers) in phenomenological investigations, and proposes to approach digital objects from the concept of “relations,” on the one hand the material relations that are concretized in the development of mark-up languages, such as SGML, HTML, and XML, and on the other hand, Web ontologies, the temporal relations that are produced and conditioned by the artificial memories of data. (shrink)

This article develops a social epistemological analysis of Web-based search engines, addressing the following questions. First, what epistemic functions do search engines perform? Second, what dimensions of assessment are appropriate for the epistemic evaluation of search engines? Third, how well do current search engines perform on these? The article explains why they fulfil the role of a surrogate expert, and proposes three ways of assessing their utility as an epistemic tool—timeliness, authority prioritisation, and objectivity. “Personalisation” is a current trend in (...) Internet-delivered services, and consists in tailoring online content to the interests of the individual user. It is argued here that personalisation threatens the objectivity of search results. Objectivity is a public good; so there is a prima facie case for government regulation of search engines. (shrink)

The Web initially emerged as an “antidote” to accumulated scientific knowledge, since it enables global representation and communication at a minimum cost. Its gigantic scale and interdependence allow us our ability to find relevant information and develop trustworthy contexts. It is time for science to compensate by providing an epistemological “antidote” to Web issues. Philosophy should be in the front line by forming the salient questions and analysis. We need a theory about Web being that will bridge philosophical thinking and (...) engineering. This article analyzes existence and spatiotemporality in the Web and how it transforms the traditional actualities. The resulting issues concern the self-determination of a being and the way in which the Web could be a free and open platform for innovation and participation. (shrink)

This chapter argues that existing systems on the Web cannot approach human‐level intelligence, as envisioned by Descartes, without being able to achieve genuine problem solving on unseen problems. The chapter argues that this entails committing to a strong intensional logic. In addition to revising extant arguments in favor of intensional systems, it presents a novel mathematical argument to show why extensional systems can never hope to capture the inherent complexity of natural language. The argument makes its case by focusing on (...) representing, with increasing degrees of complexity, knowledge in a first‐order language. Nevertheless, the attempts at representation fail to achieve consistency, making the case for an intensional representation system for natural language clear. (shrink)

This chapter explores the notion of the Web‐extended mind, which is the idea that the technological and informational elements of the Web can sometimes serve as part of the mechanistic substrate that realizes human mental states and processes. It is argued that while current forms of the Web may not be particularly suited to the realization of Web‐extended minds, new forms of user interaction technology as well as new approaches to information representation do provide promising new opportunities for Web‐based forms (...) of cognitive extension. In addition, it is suggested that extended cognitive systems often rely on the emergence of social practices and conventions that shape how a technology is used. Web‐extended minds may thus depend on forms of socio‐technical co‐evolution in which social forces and factors play just as important a role as do the processes of technology design and development. (shrink)

This collection of essays is the definitive version of a widely discussed debate over the origins of the New Theory of Reference. In new articles, written especially for this volume, Quentin Smith and Scott Soames, the original participants in the debate, elaborate their positions on who was responsible for the ideas that Saul Kripke presented in his Naming and Necessity. They are joined by John Burgess, who weighs in on the side of Soames, while Smith adds a further dimension in (...) discussing the contributions of philosophers such as Follesdal, Geach, Hintikka, and Plantinga. Also included are lengthy excerpts from Follesdal's 1961 Harvard dissertation and a careful examination by Sten Lindstrom of the respective contributions of Kripke and Stig Kanger to the development of modal semantics. The collection will be essential reading for anyone acquainted with these influential ideas. (shrink)

The Web, in particular real‐time interactions in three‐dimensional virtual environments (virtual worlds), comes with a set of unique characteristics that leave our traditional frameworks inapplicable. The present chapter illustrates this by arguing that the notion of “technology relations,” as put forward by Ihde and Verbeek, becomes inapplicable when it comes to the Internet, and this inapplicability shows why these phenomena require new philosophical frameworks. Against this background, and more constructively, the chapter proposes a fundamental distinction between “intravirtual” and “extravirtual” consequences—a (...) distinction that allows us to understand and conceptualize real‐time interactions online more accurately. By relating this distinction to Searle's notion of “condition of satisfaction,” the chapter also shows its implications for judging real‐time, online interactions in virtual worlds as irrational and/or immoral. The ultimate purpose is to illustrate how new philosophical concepts and frameworks can allow us to better account for the unique characteristics of the Internet. The Web, in particular real‐time interactions in three‐dimensional virtual environments (virtual worlds), comes with a set of unique characteristics that leave our traditional frameworks inapplicable. The present chapter illustrates this by arguing that the notion of “technology relations,” as put forward by Ihde and Verbeek, becomes inapplicable when it comes to the Internet, and this inapplicability shows why these phenomena require new philosophical frameworks. Against this background, and more constructively, the chapter proposes a fundamental distinction between “intravirtual” and “extravirtual” consequences—a distinction that allows us to understand and conceptualize real‐time interactions online more accurately. By relating this distinction to Searle's notion of “condition of satisfaction,” the chapter also shows its implications for judging real‐time, online interactions in virtual worlds as irrational and/or immoral. The ultimate purpose is to illustrate how new philosophical concepts and frameworks can allow us to better account for the unique characteristics of the Internet. (shrink)

We examine a crucial question for the World Wide Web: What does a Uniform Resource Identifier (URI) mean? Crucial for the next-generation Semantic Web, can it refer to things outside web-pages? The Web is a universal information space for naming and accessing information via URIs. However, the classical philosophical problems of meaning and reference that have been the source of debate within the philosophy of language return when the Web is given as the foundation for a knowledge representation with the (...) Semantic Web. Debates on the Semantic Web about the meaning and referential status of a URI are explored as analogues to debates about the meaning and reference of names in the philosophy of language. Three main positions are inspected: the logical position, as exemplified by the descriptivist theory of reference, the direct reference position, as exemplified by Putnam and Kripke’s causal theory of reference, and a Wittgensteinian position that views URIs as a public language, as exemplified by Web search engines. These positions show that debates within the philosophy of language are alive and well on the Web, and so in the philosophy of computer science. (shrink)

The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This chapter claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the (...) chapter discusses the Kumo and Polymath projects, both of which employ Web‐based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. The Web may critically transform the way we understand the activity of proving. The Web as a collaborative medium allows the active participation of people with different backgrounds, interests, viewpoints, and styles. Mathematical formal proofs are inadequate for capturing Web‐based proofs. This chapter claims that Web provings can be studied as a particular type of Goguen's proof‐events. Web‐based proof‐events have a social component, communication medium, prover‐interpreter interaction, interpretation process, understanding and validation, historical component, and styles. To demonstrate its claim, the chapter discusses the Kumo and Polymath projects, both of which employ Web‐based communication as part of proving. Web proving is a novel type of proving activity that may have a serious impact on the change in mathematical practices, despite the fact that it is not currently a universally acceptable methodology. (shrink)

Do Web devices (addresses, tags, networks, and the rest) have counterparts in classical ontology? Yes, but they allow us also to introduce more refined distinctions. In addition, their dynamic use could inspire a dynamic reconception of classical ontology. In the process of making explicit ontological types, different types can be undistinguished at the first step (considered as “floating types”) to be defined only in a further step, one in which their function as distinguishers of other kinds of entities has to (...) be made explicit. The fact that the ontological import of some node in a network of tags and addresses could evolve with the transformation of the network can most easily find an interpretation in this dynamic conception of ontology. (shrink)

L'idée d'une origine commune de la phénoménologie et de la philosophie analytique commence à être bien admise. On essaie ici de lui donner quelque consistance en la mettant à l'épreuve d'une question, qui fut décisive pour les auteurs à la source de ces deux traditions, à la fin du XIXème siècle et au début du XXème : celle de la référence manquante ou des " objets inexistants ". On montre comment ce problème a pu orienter d'un côté les débats internes (...) à l'école brentanienne (Brentano lui-même, Twardowski, Meinong, le jeune Husserl), et de l'autre les réflexions des auteurs sources de la tradition dite analytique (Bolzano, Frege, Russell). Par opposition à d'autres études plus " syncrétiques ", il s'agit avant tout, dans la démarche adoptée, de mettre en avant des différences. D'abord au sein de l'école intentionaliste, beaucoup plus diversifiée et traversée de tensions qu'on ne le croit souvent. Puis, aussi et surtout, entre cette école et les auteurs qui ont choisi délibérément une autre voie : Frege et Russell, bien sûr, mais aussi déjà Bolzano. Il s'agit par là même de mesurer un écart qui devait s'avérer déterminant pour toute la philosophie du XXème siècle et de mieux définir le champ propre de cette philosophie. (shrink)