Virtual environments engage millions of people and billions of dollars each year. What is the ontological status of the virtual objects that populate those environments? An adequate answer to that question requires a developed semantics for virtual environments. The truth-conditions must be identified for “tree”-sentences when uttered by speakers immersed in a virtual environment (VE). It will be argued that statements about virtual objects have truth-conditions roughly comparable to the verificationist conditions popular amongst some (...) contemporary antirealists. This does not mean that the virtual objects lack ontological standing. There is an important sense in which virtual objects are no less real for being mind-dependent. (shrink)

The Chinese room thought experiment of John Searle militates against strong artificial intelligence, illustrating his claim that syntactical knowledge by itself is neither constitutive nor sufficient for semantic understanding as found in human minds. This thought experiment was put to a behavioural test, concerning the syntax of a finite algebraic field. Input, rules and output were presented with letters instead of numbers. The set of rules was first presented as a table but finally internalized by the participants. Quite in line (...) with Searle's argument, uninformed participants mastered the syntax but did not explicitly report semantic knowledge. In order to test the virtual mind reply to the Chinese room argument, the reaction time pattern of the participants was compared to that of an informed control group. The correlation was quite high but could be traced back to memory load and response priming, i.e. to syntactical factors. No trace of tacit semantic knowledge of the task could be found in the experimental group. (shrink)

Most philosophers appear to have ignored the distinction between the broad concept of Virtual Machine Functionalism (VMF) described in Sloman&Chrisley (2003) and the better known version of functionalism referred to there as Atomic State Functionalism (ASF), which is often given as an explanation of what Functionalism is, e.g. in Block (1995). -/- One of the main differences is that ASF encourages talk of supervenience of states and properties, whereas VMF requires supervenience of machines that are arbitrarily complex networks of (...) causally interacting (virtual, but real) processes, possibly operating on different time-scales, examples of which include many different procesess usually running concurrently on a modern computer performing various tasks concerned with handling interfaces to physical devices, managing the file system, dealing with security, providing tools, entertainments, and games, and possibly processing research data. Another example of VMF would be the kind of functionalism involved in a large collection of possibly changing socio-economic structures and processes interacting in a complex community, and yet another is illustrated by the kind of virtual machinery involved in the many levels of visual processing of information about spatial structures, processes, and relationships (including percepts of moving shadows, reflections, highlights, optical-flow patterns and changing affordances) as you walk through a crowded car-park on a sunny day: generating a whole zoo of interacting qualia. (Forget solitary red patches, or experiences thereof.) -/- Perhaps VMF should be re-labelled "Virtual MachinERY Functionalism" because the word 'machinery' more readily suggests something complex with interacting parts. VMF is concerned with virtual machines that are made up of interacting concurrently active (but not necessarily synchronised) chunks of virtual machinery which not only interact with one another and with their physical substrates (which may be partly shared, and also frequently modified by garbage collection, metabolism, or whatever) but can also concurrently interact with and refer to various things in the immediate and remote environment (via sensory/motor channels, and possible future technologies also). I.e. virtual machinery can include mechanisms that create and manipulate semantic content, not only syntactic structures or bit patterns as digital virtual machines do. -/- Please note: Click on the title above or the link below to read the paper. I prefer to keep all my papers freely accessible on my web site so that I can correct mistakes and add improvements. -/- http://www.cs.bham.ac.uk/research/projects/cogaff/misc/vm-functionalism.html -/- This is now part of the Meta-Morphogenesis project: http://www.cs.bham.ac.uk/research/projects/cogaff/misc/meta-morphogenesis.html. (shrink)

In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link has virtually pass unnoticed. In this paper, we briefly (...) survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (shrink)

Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous (...) semantics can be given for complete fragments of natural language by creating a suitable fit between syntactic categories and semantic types. This very enterprise already dispelled entrenched prejudices concerning the separation of linguistics and logic. Having seen the light, however, there is no reason at all to stick to the letter of Montague's proposals, which are often debatable. Subsequently, then, many improvements have been made upon virtually every aspect of the enterprise. More sophisticated grammars have been inserted (lately, lexical-functional grammar and generalized phrase structure grammar), more sensitive model structures have been developed (lately, 'partial' rather than 'total' in their com position), and even the mechanism of interpretation itself may be fine-tuned more delicately, using various forms of 'representations' mediating between linguistic items and semantic reality. In addition to all these refinements of the semantic format, descriptive coverage has extended considerably. (shrink)

With the current changes driven by the expansion of the World Wide Web, this book uses a different approach from other books on the market: it applies ontologies to electronically available information to improve the quality of knowledge management in large and distributed organizations. Ontologies are formal theories supporting knowledge sharing and reuse. They can be used to explicitly represent semantics of semi-structured information. These enable sophisticated automatic support for acquiring, maintaining and accessing information. Methodology and tools are developed (...) for intelligent access to large volumes of semi-structured and textual information sources in intra- and extra-, and internet-based environments to employ the full power of ontologies in supporting knowledge management from the information client perspective and the information provider. The aim of the book is to support efficient and effective knowledge management and focuses on weakly-structured online information sources. It is aimed primarily at researchers in the area of knowledge management and information retrieval and will also be a useful reference for students in computer science at the postgraduate level and for business managers who are aiming to increase the corporations' information infrastructure. The Semantic Web is a very important initiative affecting the future of the WWW that is currently generating huge interest. The book covers several highly significant contributions to the semantic web research effort, including a new language for defining ontologies, several novel software tools and a coherent methodology for the application of the tools for business advantage. It also provides 3 case studies which give examples of the real benefits to be derived from the adoption of semantic-web based ontologies in "real world" situations. As such, the book is an excellent mixture of theory, tools and applications in an important area of WWW research. * Provides guidelines for introducing knowledge management concepts and tools into enterprises, to help knowledge providers present their knowledge efficiently and effectively. * Introduces an intelligent search tool that supports users in accessing information and a tool environment for maintenance, conversion and acquisition of information sources. * Discusses three large case studies which will help to develop the technology according to the actual needs of large and or virtual organisations and will provide a testbed for evaluating tools and methods. The book is aimed at people with at least a good understanding of existing WWW technology and some level of technical understanding of the underpinning technologies (XML/RDF). It will be of interest to graduate students, academic and industrial researchers in the field, and the many industrial personnel who are tracking WWW technology developments in order to understand the business implications. It could also be used to support undergraduate courses in the area but is not itself an introductory text. (shrink)

When certain formal symbol systems (e.g., computer programs) are implemented as dynamic physical symbol systems (e.g., when they are run on a computer) their activity can be interpreted at higher levels (e.g., binary code can be interpreted as LISP, LISP code can be interpreted as English, and English can be interpreted as a meaningful conversation). These higher levels of interpretability are called "virtual" systems. If such a virtual system is interpretable as if it had a mind, is such (...) a "virtual mind" real? This is the question addressed in this "virtual" symposium, originally conducted electronically among four cognitive scientists: Donald Perlis, a computer scientist, argues that according to the computationalist thesis, virtual minds are real and hence Searle's Chinese Room Argument fails, because if Searle memorized and executed a program that could pass the Turing Test in Chinese he would have a second, virtual, Chinese-understanding mind of which he was unaware (as in multiple personality). Stevan Harnad, a psychologist, argues that Searle's Argument is valid, virtual minds are just hermeneutic overinterpretations, and symbols must be grounded in the real world of objects, not just the virtual world of interpretations. Computer scientist Patrick Hayes argues that Searle's Argument fails, but because Searle does not really implement the program: A real implementation must not be homuncular but mindless and mechanical, like a computer. Only then can it give rise to a mind at the virtual level. Philosopher Ned Block suggests that there is no reason a mindful implementation would not be a real one. (shrink)

Presentations of Gricean semantics, including Stephen Neale’s in “Silent Reference,” totally ignore vagueness, even though virtually every utterance is vague. I ask how Gricean semantics might be adjusted to accommodate vague speaker-meaning. My answer is that it can’t accommodate it: the Gricean program collapses in the face of vague speaker-meaning. The Gricean might, however, find some solace in knowing that every other extant meta-semantic and semantic program is in the same boat.

The article discusses the causes for the formation of the polysemanticity of the Latin word virtus (virtue; strength, valor, masculinity) and term virtual, which was derived from virtus. The emergence of the polysemantic character of virtual became possible due to the unique semantics of the word virtus, in which there are two dominant meanings – virtue and strength. According to Ekaterina Taratuta, there are two lines of constructing the meanings of concepts based on the root vir(t) – (...) “Platonic” and “Aristotelian.” We believe that on the basis of the first semantic “dominant” of the word virtus (virtue) a “Platonic” group of meanings of the word virtual was formed, and on the basis of the second “dominant” (strength) the “Aristotelian” group of meanings was formed. The first cause of the existence of the “Platonic” group of the meanings of virtual is the translation of the Greek word ἀρετή using the Latin word virtus in Roman philosophy, Biblical texts and Greek-Byzantine patristic writings, as a result of which the concept of virtus has been enriched with the meanings of the Platonic and Christian concept of ἀρετή. The second cause is that through the Plato’s doctrine of arete-eidos the concept of virtus has been enriched with the meanings of the Platonic concept of εἶδος. As Hans Kremer has shown, in Plato’s doctrine eidos is the source of order and beauty, which is reflected in the empirical world as arete – virtue, goodness; thus, eidos is inextricably linked with arete. As a result, in the “Platonic” sense the virtual is understood as the eidetic, the ideal. The first cause of the existence of the “Aristotelian” group of meanings of virtual is the translation of the Greek word δύναμις using the Latin word virtus in Biblical texts and in Greek-Byzantine patristic writings, as a result of which the concept of virtus has been enriched with the Christian meanings of concept of δύναμις. The second cause is the translation of the Aristotelian concept of δύναμις using the Latin word potentia : the word δύναμις has become the medium, linking the words virtus and potentia and, under the influence of the latter, differences in the meanings of virtus and potentia (and especially their derivatives virtualis (virtual) and potentialis (potential)) have gradually disappeared. As a result, in the “Aristotelian” sense the virtual is understood as the potential, the possible. (shrink)

This book sets out for the first time in English and in the terms of modern logic the semantics of the Port Royal Logic of Antoine Arnauld and Pierre Nicole, perhaps the most influential logic book in the 17th and 18th centuries. Its goal is to explain how the Logic reworks the foundation of pre-Cartesian logic so as to make it compatible with Descartes' metaphysics. The Logic's authors forged a new theory of reference based on the medieval notion of (...) objective being, which is essentially the modern notion of intentional content. Indeed, the book's central aim is to detail how the Logic reoriented semantics so that it centered on the notion of intentional content. This content, which the Logic calls comprehension, consists of an idea's defining modes. Mechanisms are defined in terms of comprehension that rework earlier explanations of central notions like conceptual inclusion, signification, abstraction, idea restriction, sensation, and most importantly within the Logic's metatheory, the concept of idea-extension, which is a new technical concept coined by the Logic. Although Descartes is famous for rejecting "Aristotelianism," he says virtually nothing about technical concepts in logic. His followers fill the gap. By putting to use the doctrine of objective being, which had been a relatively minor part of medieval logic, they preserve more central semantic doctrines, especially a correspondence theory of truth. A recurring theme of the book is the degree to which the Logic hews to medieval theory. This interpretation is at odds with what has become a standard reading among French scholars according to which this 16th-century work should be understood as rejecting earlier logic along with Aristotelian metaphysics, and as putting in its place structures more like those of 19th-century class theory. (shrink)

Simple locative sentences show a variety of pseudo-quantificational interpretations. Some locatives give the impression of universal quantification over parts of objects, others involve existential quantification, and yet others cannot be characterized by either of these quantificational terms. This behavior is explained by virtually all semantic theories of locatives. What has not been previously observed is that similar quantificational variability is also exhibited by locative sentences containing indefinites with the ‘a’ article. This phenomenon is especially problematic for traditional existential treatments of (...) indefinites. We propose a solution where indefinites denote properties and are assigned locations similarly to other spatial descriptions. This Property-Eigenspace Hypothesis accounts for the correlation between the interpretations of locative indefinites and the pseudo-quantificational effects with simple entity-denoting NPs. Thereby, the proposal opens up a new empirical domain for property-based theories of indefinites, with implications for the analysis of collective descriptions, generics, negative polarity items and part–whole structure. (shrink)

Are there opportunities to use the plural to express the first person (“I”) of “the same person” in English? It means that the self is an entity that guarantees uniqueness and is at the core of identity. Recently, radical and rapid innovations in AI technologies have made it possible to alter our existential fundamentals. Principally, we are now interacting with “virtual personalities” generated by generative AI. Thus, there is an inevitability to explore the relationship between AI and society, and (...) the problem domain of phenomenological sociology related to the “virtuality” of personalities and the world. Encountering and interacting with “others without subject” artificially generated by generative AI based on individual big data and attribute data is a situation that mankind has never experienced before from the perspective of sociology and phenomenological sociology related to the ego. The virtual personalities can be perceived as if it were interacting with existing humans in the form of video and audio, and it is also possible to arbitrarily change their attributes (e.g., gender, race, age, physical characteristics) and other settings, as well as to virtually create deceased persons or great figures from the past. Such technological innovation is, so to speak, a virtualization of human existential identity, and advanced technologies such as AI will transform not only the boundary between self and others but also the aspect of human existence itself (Shibuya in Digital transformation of identity in the age of artificial intelligence. Springer, Belrin, 2020). In addition, from a phenomenological viewpoint, the boundary between reality and virtuality is blurring due to technological innovation in the living world itself, and there is a concern that this will lead to an artificial state of detachment. Actually, the use of advanced technologies such as AI, VR in virtual worlds and cyberspace will not only cause people to lose their reality and actuality but will also endanger the very foundations of their existential identity. Therefore, we must ask what it means for us as existences to interact with virtual personalities in a virtually generated world, and what is the nature of the intersubjectivity formation and semantic understanding as well as the modes of existence, facts, and worlds, and what are their evidential natures. In line with what Husserl, the founder of phenomenology, once declared at the beginning of his “Cartesianische Meditationen” (Husserl in Cartesianische Meditationen, e-artnow, 2018), that “we need to begin philosophy radically anew”, as also phenomenological sociology, it can now state that “we need to begin phenomenological sociology radically anew”. Then, this paper reviews and discusses the following issues based on technological trends. (shrink)

The relevance of the topic of the article is due to the need for philosophical research into the nature of information as a factor that significantly affects the development of modern society. Understanding the nature of information is important for the study of processes, mechanisms, and technologies in any sphere of social life.The study is based on a semiotic approach, the relationship between information and reality is considered based on the semantic and pragmatic aspects of this problem. The concept of (...) semantic information by Luciano Floridi and the views on the nature of information by Yuval Noah Harari are analyzed. The semantic aspect is understood not only in terms of the “truthfulness” of data, but also in terms of the perception and interpretation of this data by the consumer of information. Information appears as a model of reality, and at the same time information models reality, creating a second, illusory reality. A person exists in a situation of “two realities” (ontological and semiotic). This situation of “two realities” creates numerous philosophical and semiotic problems.Information not only reflects and constructs reality but is also used as a means of influencing consciousness, as a means of control. The modern information society is built on technologies of manipulation of consciousness. This is associated with the peculiarities of the functioning of information in society. In modern culture, information increasingly replaces reality, simulates reality. These are fakes and disinformation, rumors and conspiracy theories, as well as literature and art that exist as an imitation of reality. The media record events less and less often, and more and more often direct them. This is what describes the state of post-truth, when information flows themselves determine what is true and what is not. Information loses touch with reality, information and reality do not intersect or intersect rarely. People are increasingly immersed in this artificial reality, being in the information, virtual world. (shrink)

Werkmeister's new book, The Basis and Structure of Knowledge is the second major attempt in recent years to defend the idealistic theory of knowledge. The first was Blanshard's Nature of Thought; and it is worth noticing that both authors, in undertaking the defense of a position long in the shadows, are well aware of contemporary developments in logic and technical philosophy. Werkmeister freely acknowledges his debt to Blanshard; yet his work differs in scope from the latter's in at least two (...) ways. Firstly, the more recent book is concerned largely with the epistemological analysis of meaning and truth and hardly at all with what an older generation called "philosophical psychology," while philosophical psychology fills all of the first and part of the second volume of Blanshard's work. In my opinion, this is all to the good. (That our generation inverts the error and too often indulges in psychological philosophy is another story!) Secondly, Werkmeister presents us with detailed analyses of scientific method, of the structure of scientific theories, and of mathematics, all three areas to which Blanshard pays virtually no attention. The First Part of Werkmeister's book treats of Language and Meaning; the Second of Truth and the World About Us, the Third of Formal Knowledge, and the Fourth Part deals with Empirical Knowledge. But there is a fundamental thesis that runs through all of this. The analysis of each of these four domains reveals, according to Werkmeister, that only a coherence theory of meaning and truth can adequately reflect the criteria actually used by science and commonsense. It is not my intention to rehearse here the familiar dialectic of the arguments for and against this doctrine; the less so, since Werkmeister himself gives a useful review of both sides of the controversy. Rather, I want to try to fix as precisely as possible, within the context of Werkmeister's discussion, the nature of the difference between coherence theories on the one hand and correspondence theories on the other. This difference has not always been too clearly stated; it even seems that recent developments in linguistic analysis have been the occasion for some new confusions on this very point. For coherence theorists who have recognized that philosophical semantics is a "formal" discipline now insist that "to say what a symbol means is not to relate it to an object, but to give it an interpretation in terms of other symbols," as Ayer2 has recently put it. This seems to contradict the "comparison with fact" feature of the traditional realistic formulations of the correspondence view. A superficial bystander could even believe that the correspondence theorists have given up their original position, since both sides now agree that truth is a matter of a relation between symbols. Such agreement, as I hope to show, is more apparent than real, for what is now at stake is the nature of that "intrasymbolic relation." And on this nature the two parties disagree. There is little doubt that Werkmeister's book appears at a moment more propitious for the advocacy of the coherence theory of truth than did Blanshard's. In the near decade that separates the two works the intellectual climate has become, for better or for worse, considerably more favorable to a reconsideration of, and possibly even a reconciliation with, some of the major tenets of rationalism. This is reflected in the current discussion regarding the contrary-to-fact conditional, the dissatisfaction with material implication, and the correlative concern for a more adequate analysis of the concept of a natural law. It is evident too in the revived enthusiasm for intensional logic and in the related interest in the modalities. As uncompromising an empiricist as C. L. Lewis, with whom, by the way, Werkmeister shares a common Kantian background, has introduced into his latest work a "congruence" theory of truth which, despite the substitution of a so-called "probability" inference for necessary inference, looks very much like the coherance criterion all over again. So Werkmeister's book should be welcome for its clear presentation of the relevant issues; and even those who disagree with him can admire the candor and forthrightness with which he champions what remains, despite vacillations, an essentially unpopular position. (shrink)

Much research on intelligent systems has concentrated on low level mechanisms or sub-systems of restricted functionality. We need to understand how to put all the pieces together in an *architecture* for a complete agent with its own mind, driven by its own desires. A mind is a self-modifying control system, with a hierarchy of levels of control, and a different hierarchy of levels of implementation. AI needs to explore alternative control architectures and their implications for human, animal, and artificial minds. (...) Only within the framework of a theory of actual and possible architectures can we solve old problems about the concept of mind and causal roles of desires, beliefs, intentions, etc. The high level ``virtual machine'' architecture is more useful for this than detailed mechanisms. E.g. the difference between connectionist and symbolic implementations is of relatively minor importance. A good theory provides both explanations and a framework for systematically generating concepts of possible states and processes. Lacking this, philosophers cannot provide good analyses of concepts, psychologists and biologists cannot specify what they are trying to explain or explain it, and psychotherapists and educationalists are left groping with ill-understood problems. The paper sketches some requirements for such architectures, and analyses an idea shared between engineers and philosophers: the concept of ``semantic information''. (shrink)

This article presents an empirical examination of the consequences of the virtual entailment principle proposed by Jean Buridan to resolve the Liar paradox. This principle states that every sentence in natural language implicitly asserts its own truth. Adopting this principle means that the Liar sentence is not paradoxical but false, because its content is contradictory to what is virtually implied. As a result, humans should perceive the Liar sentence the same way as any other false sentence. This solution to (...) the Liar paradox received criticism for making ad hoc claims about the natural language. However, thanks to modern advancements in psychophysiology, it became possible to empirically investigate if the human brain really perceives the Liar sentence like a false sentence. We designed and conducted an experiment to examine brain activity in response to true sentences, false sentences and self-referential sentences. Our results provide support for the Buridan’s hypothesis and show that the Liar sentence is processed by the human brain identically to false sentences, while the Truthteller sentence is perceived identically to true sentences. This agrees with predictions derived from the virtual entailment principle and supports the idea that humans think with the logic of truth—a logic for which the truth is a designated value of its adequate semantics. (shrink)

Mental (or semantic) holism is the doctrine that the identity of a belief content (or the meaning of a sentence that expresses it) is determined by its place in the web of beliefs or sentences comprising a whole theory or group of theories. It can be contrasted with two other views: atomism and molecularism. Molecularism characterizes meaning and content in terms of relatively small parts of the web in a way that allows many different theories to share those parts. For (...) example, the meaning of 'chase' might be said by a molecularist to be try to catch. Atomism characterizes meaning and content in terms of none of the web; it says that sentences and beliefs have meaning or content independently of their relations to other sentences or beliefs. One major motivation for holism has come from reflections on the natures of confirmation and learning. As Quine (1953) observed, claims about the world are confirmed not individually, but only in conjunction with theories of which they are a part. And typically, one cannot come to understand scientific claims without understanding a significant chunk of the theory of which they are a part. For example, in learning the Newtonian concepts of 'force', 'mass', kinetic energy' and 'momentum', one doesn't learn any definitions of these terms in terms that are understood beforehand, for there are no such definitions. Rather, these theoretical terms were all learned together in conjunction with procedures for solving problems. The major problem with holism is that it threatens to make generalization in psychology virtually impossible. If the content of any state depends on all others, it would be extremely unlikely that any two believers would ever share a state with the same content. Moreover, holism would appear to conflict with our ordinary conception of reasoning. What sentences one accepts influence what one infers. if i accept a sentence and then later reject it, i thereby change the inferential role of that sentence, so the meaning of what i accept wouldn't be the same as what i later reject. but then it would be difficult to understand on this view how one could rationally --or even irrationally!-- change one's mind. and agreement and translation are also problematic for much the same reason. holists have responded (1) by proposing that we should think not in terms of "same/different" meaning but in terms of a gradient of similarity of meaning, (2) by proposing "two factor" theories or (3) by simply accepting the consequence that there is no real difference between changing meanings and changing beliefs. (shrink)

In the chapter on quantum logic in Volume 6 of Handbook of Philosophical Logic, Dalla Chiara and Giuntini make an interesting observation that there is a unified relational semantics underlying both the {¬,∧}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{ {\lnot }, {\wedge } \}$$\end{document}-fragment of intuitionistic logic and ortho-logic. In this paper, we contribute to a systematic investigation of this relational semantics by providing an axiomatization of its logic.

In the TACITUS project for using commonsense knowledge in the understanding of texts about mechanical devices and their failures, we have been developing various commonsense theories that are needed to mediate between the way we talk about the behavior of such devices and causal models of their operation. Of central importance in this effort is the axiomatization of what might be called commonsense metaphysics. This includes a number of areas that figure in virtually every domain of discourse, such as granularity, (...) scales, time, space, material, physical objects, shape, causality, functionality, and force. Our effort has been to construct core theories of each of these areas, and then to define, or at least characterize, a large number of lexical items in terms provided by the core theories. In this paper we discuss our methodological principles and describe the key ideas in the various domains we are investigating. (shrink)

Model-theoretic 1-types overa given first-order theory T may be construed as natural metalogical miniatures of G. W. Leibniz' ``complete individual notions'', ``substances'' or ``substantial forms''. This analogy prompts this essay's modal semantics for an essentiallyundecidable first-order theory T, in which one quantifies over such ``substances'' in a boolean universe V(C), where C is the completion of the Lindenbaum-algebra of T.More precisely, one can define recursively a set-theoretic translate of formulae N of formulae of a normal modal theory Tm based (...) on T, such that the counterpart `i' of a the modal variable `xi' of L(Tm) in this translation-scheme ranges over elements of V(C) that are 1-types of T with value 1 (sometimes called `definite' C-valued 1-types of T). (shrink)

Mental (or semantic) holism is the doctrine that the identity of a belief content (or the meaning of a sentence that expresses it) is determined by its place in the web of beliefs or sentences comprising a whole theory or group of theories. It can be contrasted with two other views: atomism and molecularism. Molecularism characterizes meaning and content in terms of relatively small parts of the web in a way that allows many different theories to share those parts. For (...) example, the meaning of 'chase' might be said by a molecularist to be try to catch. Atomism characterizes meaning and content in terms of none of the web; it says that sentences and beliefs have meaning or content independently of their relations to other sentences or beliefs. One major motivation for holism has come from reflections on the natures of confirmation and learning. As Quine (1953) observed, claims about the world are confirmed not individually, but only in conjunction with theories of which they are a part. And typically, one cannot come to understand scientific claims without understanding a significant chunk of the theory of which they are a part. For example, in learning the Newtonian concepts of 'force', 'mass', kinetic energy' and 'momentum', one doesn't learn any definitions of these terms in terms that are understood beforehand, for there are no such definitions. Rather, these theoretical terms were all learned together in conjunction with procedures for solving problems. The major problem with holism is that it threatens to make generalization in psychology virtually impossible. If the content of any state depends on all others, it would be extremely unlikely that any two believers would ever share a state with the same content. Moreover, holism would appear to conflict with our ordinary conception of reasoning. What sentences one accepts influence what one infers. if i accept a sentence and then later reject it, i thereby change the inferential role of that sentence, so the meaning of what i accept wouldn't be the same as what i later reject. but then it would be difficult to understand on this view how one could rationally --or even irrationally!-- change one's mind. and agreement and translation are also problematic for much the same reason. holists have responded (1) by proposing that we should think not in terms of "same/different" meaning but in terms of a gradient of similarity of meaning, (2) by proposing "two factor" theories or (3) by simply accepting the consequence that there is no real difference between changing meanings and changing beliefs. (shrink)

A motivation and a presentation of the semantics of a formal system which proceeds from von neumann's "eine axiomatisierung der mengenlehre" by taking as fundamental notions the notion of partial functions, his principles of reification on the grounds of a "method of simulation" of meaningless terms and formulas by "ideal" terms and "virtual" formulas. theory of sets appears as the end of axiomatic extensions of the theory of objects (the intermediary extensions being the theories of classes, of universes, (...) of aggregates). (shrink)

Salient landmarks enhance route learning. We hypothesised that semantically salient nostalgic landmarks would improve route learning compared to non-nostalgic landmarks. In two experiments, participants learned a route through a computer-generated maze using directional arrows and wall-mounted pictures. On the test trial, the arrows were removed, and participants completed the maze using only the pictures. In the nostalgia condition, pictures were of popular music artists and TV characters from 5 to 10 years ago. In the control condition, they were recent pictures (...) of these same artists and characters. In Experiment 1, in the test trial, participants in the nostalgia condition completed the maze faster than controls. Experiment 2 conceptually replicated these findings and extended them by exploring boundary conditions. Participants had to learn two mazes sequentially. In Maze 1, we placed nostalgic/control landmarks only at non-decision points (whereas we placed them at decision points in Experiment 1). In Maze 2, we placed nostalgic/control landmarks at decision points during acquisition but removed them in the test trial (whereas they were present in the test trial in Experiment 1). In both mazes, participants in the nostalgia (compared to control) condition completed the test trial faster. (shrink)

Hallucinatory states are experienced not only in connection with drugs and psychopathologies but occur naturally and spontaneously across the human circadian cycle: Our nightly dreams bring multimodal experiences in the absence of adequate external stimuli. The current study proposes a new, tighter measure of these hallucinatory states: Sleep onset, REM sleep, and non-REM sleep are shown to differ with regard to motor imagery indicating interactions with a rich imaginative world, and cognitive agency that could enable sleepers to recognize their hallucinatory (...) state. Mentation reports from the different states were analysed quantitatively with regard to two grammatical–semantic constructs, motor agency and cognitive agency. The present results support earlier physiological and psychological evidence in revealing a decline in cognitive functions and an increase in simulated interactions with a hallucinatory world, en route to normal REM sleep. This leads us to introduce the hypothesis that REM sleep, which exhibits remarkably high levels of sensorimotor processes, may have evolved to serve as a virtual laboratory for the development and rehearsal of embodied cognition. The new measure of hallucinatory states presented here may also hold implications for the study of executive functions and cognitions, which might be interesting, for example, for the investigation of lucid dreaming. (shrink)

In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite computational ability to deal (...) with large bodies of information and a strong, but well motivated, assumption about the cognitive accessibility of meanings of sentences ersatzers seem to be implicitly committed to. It follows that linguistic ersatzism, possible world semantics, or both must be rejected. (shrink)

The corner space, an important area of underground commercial streets, not only converts space functions but also exerts a great impact on the space atmosphere by transforming the environmental quality of the commercial street space. Based on corner space investigations of several underground commercial streets in China, this paper constructs a realistic scene model using virtual reality technology and screens. This paper classifies the corner space elements of underground commercial streets through preliminary experiments. Based on the conclusions, different morphological (...) models of the corner space were constructed by orthogonal experiments and virtual reality technology combined with psychology. A semantic differential was used to quantitatively evaluate and analyze the spatial experience cognition of the subjects. This enabled an analysis of the of underground commercial street corners’ relationship to the component elements and the visitors’ psychological perception of their spatial form. (shrink)

We investigate an information based generalization of the incompatibility-frame treatment of logics with non-classical negation connectives. Our framework can be viewed as an alternative to the neighbourhood semantics for extensions of lattice logic by various negation connectives, investigated by Hartonas. We set out the basic semantic framework, along with some correspondence results for extensions. We describe three kinds of constructions of canonical models and show that double negation law is not canonical with respect to any of these constructions. We (...) also compare our semantics to Hartonas’. (shrink)

Artificial agents are progressively becoming more present in everyday-life situations and more sophisticated in their interaction affordances. In some specific cases, like Google Duplex, GPT-3 bots or Deep Mind’s AlphaGo Zero, their capabilities reach or exceed human levels. The use contexts of everyday life necessitate making such agents understandable by laypeople. At the same time, displaying human levels of social behavior has kindled the debate over the adoption of Dennett’s ‘intentional stance’. By means of a comparative analysis of the literature (...) on robots and virtual agents, we defend the thesis that approaching these artificial agents ‘as if’ they had intentions and forms of social, goal-oriented rationality is the only way to deal with their complexity on a daily base. Specifically, we claim that this is the only viable strategy for non-expert users to understand, predict and perhaps learn from artificial agents’ behavior in everyday social contexts. Furthermore, we argue that as long as agents are transparent about their design principles and functionality, attributing intentions to their actions is not only essential, but also ethical. Additionally, we propose design guidelines inspired by the debate over the adoption of the intentional stance. (shrink)

The article examines the representations of the "diaspora” in texts published on "migrant” digital communication platforms. With the help of discourse analysis The messages posted in open access in thematic groups in VKontakte, Odnoklassniki, and Telegram channels were studied. The purpose of the study was to find out what meanings and functions the users of these sites give the word "diasporas”. The "Diaspora” was considered as a nodal point, uniting the narratives of people visiting "migrant” sites into a single framework. (...) It was assumed that the "diaspora” does not have a clear, fixed content and various actors are trying to turn it from an "element” into a "moment”, securing a certain meaning for it. More than a thousand messages found on "migrant” sites were analyzed. The study showed that the "diaspora” within the considered digital platforms is most often mentioned in the reposts of press releases of state and public organizations, where it is presented as an object of social action, an intermediary between migrants and the state. In these texts, the "diaspora” is represented in the same semantic row with various state authorities and their representatives. At the same time, the "diaspora” is defined as a participant in events organized by the state bureaucracy of the host country or the donor country, the purpose of which is the manifestation of ethnicity. In user comments, these values are disputed: people either doubt its existence or its ability to effectively solve their problems. (shrink)

The ArgumentErnst Cassirer's theory of language as a symbolic form, one of the richest and most insightful philosophies of language of the twentieth century, went virtually unnoticed in the mainstreams of modern linguistics. This was so for what seems to be a good metatheoretical reason: Cassirer insisted on the constitutive role of meaning in the explanation of linguistic phenomena, a position which was explicitly rejected by both American Structuralists and Chomskian Generativists. In the last decade, however, a new and promising (...) linguistic framework has emerged — the framework of lexical semantics — which seems to bear close theoretical resemblance to Cassirer's theory. In this paper, I show how the empirical results accumulated within the framework of lexical semantics serve to validate Cassirer's most fundamental philosophical insights, and suggest that Cassirer's philosophy helps position these empirical results in their appropriate epistemological context. I discuss the following fundamental points, which, for me, constitute the backbone of both Cassirer's philosophy and the theory of lexical semantics: natural language grammars constitute structural reflections of a deeply-rooted, highly structured level of semantic organization; the representational level of linguistic meaning, which is prior to experience in the Kantian sense, comprises a partial set of semantic notions, which language selects as centers of perceptual attention; this partial set is potentially different from the sets selected by other symbolic forms, such as myth, science, and art; and linguistic variability is to be explained in universalistic terms, thus allowing for specific patterns of variability within universally-constrained limits. (shrink)

The article examines the representations of the "diaspora” in texts published on "migrant” digital communication platforms. With the help of discourse analysis The messages posted in open access in thematic groups in VKontakte, Odnoklassniki, and Telegram channels were studied. The purpose of the study was to find out what meanings and functions the users of these sites give the word "diasporas”. The "Diaspora” was considered as a nodal point, uniting the narratives of people visiting "migrant” sites into a single framework. (...) It was assumed that the "diaspora” does not have a clear, fixed content and various actors are trying to turn it from an "element” into a "moment”, securing a certain meaning for it. More than a thousand messages found on "migrant” sites were analyzed. The study showed that the "diaspora” within the considered digital platforms is most often mentioned in the reposts of press releases of state and public organizations, where it is presented as an object of social action, an intermediary between migrants and the state. In these texts, the "diaspora” is represented in the same semantic row with various state authorities and their representatives. At the same time, the "diaspora” is defined as a participant in events organized by the state bureaucracy of the host country or the donor country, the purpose of which is the manifestation of ethnicity. In user comments, these values are disputed: people either doubt its existence or its ability to effectively solve their problems. (shrink)

After I had delivered the paper (Stechow, 2003), a colleague wrote to me that the system outlined was virtually identical with (Kratzer, 1998), and that this article had not been cited. The longer version (Stechow, 2002 (to appear)) quotes (Kratzer, 1998), and the reference has been deleted by my automatic bibliography program when I rewrote and shortened the paper. I am sorry for that.

Spatial, physical, and semantic magnitude dimensions can influence action decisions in human cognitive processing and interact with each other. For example, in the SNARC effect, semantic numerical magnitude facilitates left-hand or right-hand responding dependent on the small or large magnitude of number symbols. SNARC-like interactions of numerical magnitudes with the radial spatial dimension (depth) were postulated from early on. Usually, the SNARC effect in any direction is investigated using fronto-parallel computer monitors for presentation of stimuli. In such 2D setups, however, (...) the metaphorical and literal interpretation of the radial depth axis with seemingly close / far stimuli or responses are not distinct. Hence, it is difficult to draw clear conclusions with respect to the contribution of different spatial mappings to the SNARC effect. In order to disentangle the different mappings in a natural way, we studied parametrical interactions between semantic numerical magnitude, horizontal directional responses, and perceptual distance by means of stereoscopic depth in an immersive virtual reality (VR). Two VR experiments show horizontal SNARC effects across all spatial displacements in traditional latency measures and kinematic response parameters. No indications of a SNARC effect along the depth axis, as it would be predicted by a direct mapping account, were observed, but the results show a non-linear relationship between horizontal SNARC slopes and physical distance. Steepest SNARC slopes were observed for digits presented close to the hands. We conclude that spatial-numerical processing is susceptible to effector-based processes but relatively resilient to task-irrelevant variations of radial-spatial magnitudes. (shrink)

In this article, we apply the literature on the ethics of choice-architecture (nudges) to the realm of virtual reality (VR) to point out ethical problems with using VR for empathy-based nudging. Specifically, we argue that VR simulations aiming to enhance empathic understanding of others via perspective-taking will almost always be unethical to develop or deploy. We argue that VR-based empathy enhancement not only faces traditional ethical concerns about nudge (autonomy, welfare, transparency), but also a variant of the semantic variance (...) problem that arises for intersectional perspective-taking. VR empathy simulations deceive and manipulate their users about their experiences. Despite their often laudable goals, such simulations confront significant ethical challenges. In light of these goals and challenges, we conclude by proposing that VR designers shift from designing simulations aimed at producing empathic perspective-taking to designing simulations aimed at generating sympathy. These simulations, we claim, can avoid the most serious ethical issues associated with VR nudges, semantic variance, and intersectionality. (shrink)

A new semantic paradox developed by Richard Heck and relying on very minimal logical and truth-theoretic resources is rehearsed. A theory of truth restricting the structural metarule of contraction is presented and some of the theory's relevant features are made explicit. It is then shown how the theory provides a principled solution to the paradox while preserving the extremely compelling truth-theoretic principles at stake, thus bringing out a significant advantage that the theory enjoys over virtually all other non-dialetheic theories. It (...) is finally argued that such advantage is amplified by theoretical considerations made available by the adoption of a correspondentist perspective in the philosophy of truth. (shrink)

Moving away from simple data sharing within the science community towards cross-organizational collaboration scenarios significantly increased challenges related to security and privacy. They need to be addressed in order to make cross-organizational applications such as collaborative working environments a business proposition within communities such as eHealth, construction or manufacturing. Increasingly distributed scenarios where many different types of services need to be combined in order to implement semantically enriched business processes demand new approaches to security within such dynamic Virtual Organizations. (...) The allocation of access rights need to be possible in an easy and controlled way in order to allow inexperienced users to maintain the information and ensure compliance e.g. with legal and privacy related regulations. In this paper the focus is how security concepts originating from the Grid domain have been applied for collaborative working environments. The chosen scenarios are a Virtual Laboratory for Infectious Diseases (ViroLab) and different collaborative environments from the engineering domain as defined within the CoSpaces project. The requirements from these scenarios are analyzed and a security model enabling such dynamic, secure and trustworthy collaborations is presented. (shrink)

Although first-order Kripke semantics has become a well established branch of modal logic, very little - almost nothing - is written about logics with a weaker modal fragment. We try to help the situation by isolating principles determining the interaction between quantifiers and modalities in minimal semantics. First, we let the standard-model properties of monotonic and anti-monotonic domains clue us in on how to do this – i. e. we try to articulate, in terms of the inclusiveness of (...) the domains of a certain set of worlds, a set of semantical restrictions that will validate the Barcan and converse Barcan formulae respectively. As it turns out, this can indeed by done, but only by adding assumptions strong enough to make the models virtually normal. Since the whole point of switching to a minimal framework would be to generalise the logic, we therefore abandon the worlds-objects thinking altogether, and switch to a much simpler and more direct validation strategy in which the propositions we are after are simply picked out as such. (shrink)

What is it to believe something might be the case? We develop a puzzle that creates difficulties for standard answers to this question. We go on to propose our own solution, which integrates a Bayesian approach to belief with a dynamic semantics for epistemic modals. After showing how our account solves the puzzle, we explore a surprising consequence: virtually all of our beliefs about what might be the case provide counterexamples to the view that rational belief is closed under (...) logical implication. (shrink)

Epistemological contextualism and semantic contextualism are two distinct but closely entangled projects in contemporary philosophy. According to epistemological contextualism, our knowledge attributions are context-sensitive. That is, the truth-conditions of knowledge ascribing sentences – sentences of the form of (1) S knows that p - vary depending on the context in which they are uttered. Contextualism admits the legitimacy of several epistemic standards that vary with the context of use of (1); it might be right to claim – for the same (...) cognitive subject S and the same proposition p – that (1) is true in one context, and false in another. The epistemological contextualist thesis is grounded in a semantic claim about the context-sensitivity of the predicate “know”: the semantic thesisis that a sentence of the form (1) does not express a complete proposition. Different utterances of (1) can, in different contexts, express different propositions: we must add in information about the context in order to determine the proposition expressed by (1). Many scholars have tried to spell out the semantic contextualist thesis on which epistemological contextualism is grounded. Our general aim in this paper is to evaluate the plausibility of a project that takes the opposite starting point, that is establishing the semantic contextualist thesis on the epistemological one. According to semantic contextualism, virtually no sentences of a naturallanguage express complete propositions – meaning underdetermines truth conditions. In our paper, instead of assuming the traditional view of meaning in terms of truth conditions, we suggest that a theory of meaning as justification may shed new light on the contextualist approach. We thus show how the notion of justification can be contextualized, arguing that our attempt provides an interesting and quite straightforward way of contextualizing meaning. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

This article consistently elaborates the extra‐contextual nature of metaphysical knowledge. Metaphysicsis seen as a semantic construction of culture that produces a certain type of thinking, memory, and identification: that is, subjectivity, and sociality as an ethical and axiological model of interaction with the world and the Other. The paper argues that metaphysics is a kind of orientation in space and that culture is a semiotic way of world orientation, or collection of spaces into an intelligible structure, a specific characteristic of (...) human existence in the universe. Indeed, metaphysics through the space of culture allows one to experience the universe empirically as unity, to assume the presence of meaning. Based on the analysis, the paper summarizes the definition of the phenomenon of culture as a specifically human way of mastering space and controlling time, consciousness as a topology of reflective practices, and virtual reality technology as a space of pure metaphysics. (shrink)

Peter Pagin Is the principle of semantic compositionality compatible with the principle of semantic holism? The question is of interest, since both principles have a lot that speaks for them, and since they do seem to be in conflict. The view that natural languages have compositional structure is almost unavoidable, since linguistic communication by means of new combinations of words would be virtually incomprehensible otherwise. And holism too seems generally plausible, since the meaning of an expression is directly connected with (...) the way that expression interacts with other. (shrink)

The article contains general definition of the phenomenon of hypertext and the Internet in a virtual consciousness philosophy of post-modernism. Describes the phenomenon of hypertext as nonlinear forms of computer and literary texts, its structural units and the main aspects of the organization of hypertext. The article contains the detailed analysis of publications on the issue of hypertext and the history of investigation of this problem. The specific features which allow defining of hypertext as the brand new phenomenon are (...) analyzed in the article. Among them we can mention the following points: - Hypertext is constantly updateable, amendable, editable; - Hypertext has neither any set beginning or the end nor any hierarchical structure; - Hypertext has decentralized nature; - The specific features of hypertext are manifested in text transformations. If an "ordinary" text has linear character, and one can move in its "area" only in the directions limited by one and the same space, then rhizomorphic hypertext opens new "transverse" changes in the text Universe. The way of organizing of text in Internet corresponds to the major ideas of "nomadology" and "Rhizome" developed by Gilles Deleuze and F?lix Guattari in their Capitalism and Schizophrenia project. Postmodernist electronic hypertext is a phenomenon by its nature opposite to modernist printed text. This allows us to consider hypertext as one of the features of coming of "post- Gutenberg era". Hypertext fundamentally changes the way of construction of text environment - to replace the one-dimensional text comes multi-dimensional. In the phenomenon of the global information network, created on the basis of hypertext technology, - intertextual fiber, series of texts, which intercross with other texts, produce new texts. In conclusions of the article - the characterization of hypertext as postmodernist phenomenon is given and the major views of postmodernism which are represented in hypertext - plurality, decentration, fragmentariness, intertextuality - are provided. (shrink)

Vague expressions are omnipresent in natural language. As such, their use in legal texts is virtually inevitable. If a law contains vague terms, the question whether it applies to a particular case often lacks a clear answer. One of the fundamental pillars of the rule of law is legal certainty. The determinacy of the law enables people to use it as a guide and places judges in the position to decide impartially. Vagueness poses a threat to these ideals. In borderline (...) cases, the law seems to be indeterminate and thus incapable of serving its core rule of law value. -/- In the philosophy of language, vagueness has become one of the hottest topics of the last two decades. Linguists and philosophers have investigated what distinguishes "soritical " vagueness from other kinds of linguistic indeterminacy, such as ambiguity, generality, open texture, and family resemblance concepts. There is a vast literature that discusses the logical, semantic, pragmatic, and epistemic aspects of these phenomena. Legal theory has hitherto paid little attention to the differences between the various kinds of linguistic indeterminacy that are grouped under the heading of "vagueness ", let alone to the various theories that try to account for these phenomena. -/- The paper is an introduction to a book of the same title. Bringing together leading scholars working on the topic of vagueness in philosophy and in law, the book fosters a dialogue between philosophers and legal scholars by examining how philosophers conceive legal ambiguity from their theoretical perspective and how legal theorists make use of philosophical theories of vagueness. (shrink)

Cocreating meaning in collaboration is challenging. Success is often determined by people's abilities to coordinate their language to converge upon shared mental representations. Here we explore one set of low‐level linguistic behaviors, linguistic alignment, that both emerges from, and facilitates, outcomes of high‐level convergence. Linguistic alignment captures the ways people reuse, that is, “align to,” the lexical, syntactic, and semantic forms of others' utterances. Our focus is on the temporal change of multi‐level linguistic alignment, as well as how alignment is (...) related to communicative outcomes within a unique collaborative problem‐solving paradigm. The primary task, situated within a virtual educational video game, requires creative thinking between three people where the paths for possible solutions are highly variable. We find that over time interactions are marked by decreasing lexical and syntactic alignment, with a trade‐off of increasing semantic alignment. However, greater semantic alignment does not translate into better team performance. Overall, these findings provide greater clarity on the role of linguistic coordination within complex and dynamic collaborative problem‐solving tasks. (shrink)

Abstract.Stuart Kauffman's proposal in Investigations to ground a “general biology” in the laws of self‐organization governing systems of autonomous agents runs up against the methodological problem of how to integrate formal mathematical with semantic and semiotic approaches to the study of evolutionary development. Gilles Deleuze's concept of the virtual and C. S. Peirce's system of existential graphs provide a theoretical framework and practical art for answering this problem of method by modeling the creative event of collective self‐organization as both (...) represented and practiced in the scientific community. (shrink)

Vague expressions are omnipresent in natural language. As such, their use in legal texts is virtually inevitable. If a law contains vague terms, the question whether it applies to a particular case often lacks a clear answer. One of the fundamental pillars of the rule of law is legal certainty. The determinacy of the law enables people to use it as a guide and places judges in the position to decide impartially. Vagueness poses a threat to these ideals. In borderline (...) cases, the law seems to be indeterminate and thus incapable of serving its core rule of law value. -/- In the philosophy of language, vagueness has become one of the hottest topics of the last two decades. Linguists and philosophers have investigated what distinguishes "soritical " vagueness from other kinds of linguistic indeterminacy, such as ambiguity, generality, open texture, and family resemblance concepts. There is a vast literature that discusses the logical, semantic, pragmatic, and epistemic aspects of these phenomena. Legal theory has hitherto paid little attention to the differences between the various kinds of linguistic indeterminacy that are grouped under the heading of "vagueness ", let alone to the various theories that try to account for these phenomena. -/- Bringing together leading scholars working on the topic of vagueness in philosophy and in law, this book fosters a dialogue between philosophers and legal scholars by examining how philosophers conceive vagueness in law from their theoretical perspective and how legal theorists make use of philosophical theories of vagueness. The chapters of the book are organized into three parts. The first part addresses the import of different theories of vagueness for the law, referring to a wide range of theories from supervaluationist to contextualist and semantic realist accounts in order to address the question of whether the law can learn from engaging with philosophical discussions of vagueness. The second part of the book examines different vagueness phenomena. The contributions in part 2 suggest that the greater awareness to different vagueness phenomena can make lawyers aware of specific issues and solutions so far overlooked. The third part deals with the pragmatic aspects of vagueness in law, providing answers to the question of how to deal with vagueness in law and with the professional, political, moral, and ethical issues such vagueness gives rise to. (shrink)