In 1929 Tarski showed how to construct points in a region-based first-order logic for space representation. The resulting system, called the geometry of solids, is a cornerstone for region-based geometry and for the comparison of point-based and region-based geometries. We expand this study of the construction of points in region-based systems using different primitives, namely hyper-cubes and regular simplexes, and show that these primitives lead to equivalent systems in dimension n ≥ 2. The result is achieved by adopting a single (...) set of definitions that works for both these classes of figures. The analysis of our logics shows that Tarski’s choice to take sphere as the geometrical primitive might be intuitively justified but is not optimal from a technical viewpoint. (shrink)

This paper attempts to clarify Merleau-Ponty’s later work by tracing a hitherto overlooked set of concerns that were of key consequence for the formulation of his ontological research. I argue that his ontology can be understood as a response to a set of problems originating in reflections on the intersubjective use of language in dialogue, undertaken in the early 1950s. His study of dialogue disclosed a structure of meaning-formation and pointed towards a theory of truth (both recurring ontological topics) that (...) post-Phenomenology premises could not account for. A study of dialogue shows that speakers’ positions are interchangeable, that speaking subjects are active and passive in varying degrees, and that the intentional roles of subjects and objects are liable to shift or ‘transgress’ themselves. These observations anticipate the concepts of ‘reversibility’ and ‘narcissism’, his later view of activity and passivity, and his later view of intentionality, and sharpened the need to adopt an intersubjective focus in ontological research. (shrink)

Frederick 2013 (the critique) offers criticisms of the Escape from Leviathan (EfL) theory of libertarian liberty and also of its compatibility with preference-utilitarian welfare and private-property anarchy. This reply to the critique first explains the underlying philosophical problem with libertarian liberty and EfL’s proposed solution. It then goes through the critique in detail showing that it does not grasp the problem or the solution and offers only misrepresentations and unsound criticisms.

In ethical debates about euthanasia, the focus is often exclusively on the involvement of physicians and the involvement of nurses is seldom given much attention. Yet nurses occupy a central position in the care of terminal patients, where being confronted with a euthanasia request is an ever present possibility. To assess the involvement of nurses in euthanasia, this article provides an overview of relevant findings from the scientific literature. From this it becomes apparent that nurses are involved in various phases (...) of the euthanasia process: observing the request for euthanasia, decision making, carrying out of euthanasia, and the aftercare for the patient’s family members. (shrink)

The semantic paradoxes are often associated with self-reference or referential circularity. Yablo (Analysis 53(4):251–252, 1993), however, has shown that there are infinitary versions of the paradoxes that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality. In this essay, we lay the groundwork for a general investigation into the nature of reference structures that support the semantic paradoxes and the semantic hypodoxes. We develop (...) a functionally complete infinitary propositional language endowed with a denotation assignment and extract the reference structural information in terms of graph-theoretic properties. We introduce the new concepts of dangerous and precarious reference graphs, which allows us to rigorously define the task: classify the dangerous and precarious directed graphs purely in terms of their graph-theoretic properties. Ungroundedness will be shown to fully characterize the precarious reference graphs and fully characterize the dangerous finite graphs. We prove that an undirected graph has a dangerous orientation if and only if it contains a cycle, providing some support for the traditional idea that cyclic structure is required for paradoxicality. This leaves the task of classifying danger for infinite acyclic reference graphs. We provide some compactness results, which give further necessary conditions on danger in infinite graphs, which in conjunction with a notion of self-containment allows us to prove that dangerous acyclic graphs must have infinitely many vertices with infinite out-degree. But a full characterization of danger remains an open question. In the appendices we relate our results to the results given in Cook (J Symb Log 69(3):767–774, 2004) and Yablo (2006) with respect to more restricted sentences systems, which we call $\mathcal{F}$ -systems. (shrink)

Mobilizing prevalent themes in the fields of mathematics education, literary criticism, and philosophy, this paper contextualizes ‘the mathematical’, ‘mathematical thinking’, and ‘mathematical pedagogy’ with respect to ancient Greek concept of mathesis, modern notions of mathematical agency, the Keatsian concept of negative capability, and the analogy of ‘staging’ a dramatic/mathematical ‘play’. Its central claim is that mathematization is dramatization—that learning mathematics is an activity of setting things up and allowing things to play out. Beginning with Paul Ernest’s identification of the difference (...) between absolutism and fallibilism in the philosophy of math education, and incorporating concepts from Pythagoras, Hippasus, Heraclitus, Descartes, Kant, Keats, as well as Freud, Heidegger, and Badiou, we argue that ‘mathematical knowledge’ cannot be understood simply within the framework of logicism, formalism, or even simply as an epistemological articulation. Rather, we endeavour to show that the process of ‘learning mathematically’ allows us to gain insight into the foundations of ‘being’ itself. Learning to learn proceeds, as such, by way of staging and playing-out the half-known or unknown in the hopes of uncovering the mystery at the heart of things. (shrink)

This paper is an attempt to argue that there existed a very prominent view of signs and signification in late sixteenth- and seventeenth-century Europe which can help us to understand several puzzling aspects of baroque culture. This view, called here "pansemioticism," constituted a fundamental part of the baroque conception of the world. After sketching the content and importance of pansemioticism, I will show how it can help us to understand the (from a modern perspective) rather puzzling concept of the polymath, (...) or polyhistor, which constituted the ideal of the baroque scientist. In this context I will also discuss a seventeenth century phenomenon essentially connected with polyhistorism, namely that of the early modem polyhistorical collections, the Wunderkamnmern. Since such a study needs a clearly determined focal point, we will concentrate on the last three quarters of the seventeenth century and will mainly discuss works by German authors of the time. (shrink)

Version Control systems like CVS and Subversion have transformed collaboration workflows in software engineering, and made possible the globally distributed project teams we know from the Open Source Phenomenon. On the other hand, XML is coming of age as a basis for document formats, and even though XML as a text-based format is amenable to version control in principle, the fact that version control systems work on files makes difficult the integration of fragment access techniques like XPath, XQuery that are (...) currently revolutionizing XML workflows. In this paper we present the TNTBase system, an open-source versioned XML database obtained by integrating Berkeley DB XML into the Subversion Server. The.. (shrink)

Postmodernism is a celebration of relativism. It is a movement that has actively embraced the collapse of standards that it takes this to imply. This paper examines the debate between postmodernists and their opponents, approaching it through the debate over Alan Sokal’s famous hoax.

Depth psychology finds empirical validation today in a variety of observations that suggest the presence of causally effective mental processes outside conscious experience. I submit that this is due to misinterpretation of the observations: the subset of consciousness called “meta-consciousness” in the literature is often mistaken for consciousness proper, thereby artificially creating space for an “unconscious.” The implied hypothesis is that all mental processes may in fact be conscious, the appearance of unconsciousness arising from our dependence on self-reflective introspection for (...) gauging awareness. After re-interpreting the empirical data according to a philosophically rigorous definition of consciousness, I show that two well-known phenomena corroborate this hypothesis: (a) experiences that, despite being conscious, aren’t re-represented during introspection; and (b) dissociated experiences inaccessible to the executive ego. If consciousness is inherent to all mentation, it may be fundamental in nature, as opposed to a product of particular types of brain function. (shrink)

Carroll William Westfall has claimed that building types can serve as natural symbols of (the purposes served by) activities such as venerating, celebrating, trading, and dwelling. The aim of this paper is to interpret Westfall’s claim in a way that makes it non-trivial and yet worthy of further investigation. In particular, an attempt is made to explain the connection between building types and what they symbolize without appealing to convention. The question is also answered whether a non-conventional connection is compatible (...) with one and the same building type having a different significance in different cultures. (shrink)