The advent of the Web is one of the defining technological events of the twentieth century, yet its impact on the fundamental questions of philosophy has not yet been explored, much less systematized. The Web, as today implemented on the foundations of the Internet, is broadly construed as the space of all items of interest identified by URIs. Originally a space of linked hypertext documents, today the Web is rapidly evolving as a universal platform for data and computation. Even swifter (...) is the Web-driven transformation of many previously unquestioned philosophical concepts of privacy, belief, intelligence, cognition, and even embodiment in surprising ways. The ensuing essays in this collection hope to explore the philosophical foundation of the World Wide Web and open the debate on whether or not the changes caused by the Web to technology and society warrant the creation of a philosophy of the Web. (shrink)

The paper presents a logical framework formalising the main insights of the psychological theory of concepts developed by Lawrence Barsalou. The framework is established within the context of Common Logic as a logical theory in the axiomatic manner. Its semantic characterisation is provided and shown to be sound and incomplete with respect to the class of its models.

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...) approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)