We show that K-generic projective planes have Morley rank either two or infinity. We also show give a direct argument that such planes are not Desarguesian.

Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function (...) δ. In particular, the generic structure need not be ω-saturated and so the argument for stability is significantly more complicated. We further show that these structures are “flat” and do not interpret a group. (shrink)

Volume 8 of this landmark edition follows Peirce from May 1890 through July 1892—a period of turmoil as his career unraveled at the U.S. Coast and Geodetic Survey. The loss of his principal source of income meant the beginning of permanent penury and a lifelong struggle to find gainful employment. His key achievement during these years is his celebrated Monist metaphysical project, which consists of five classic articles on evolutionary cosmology. Also included are reviews and essays from The Nation in (...) which Peirce critiques Paul Carus, William James, Auguste Comte, Cesare Lombroso, and Karl Pearson, and takes part in a famous dispute between Francis E. Abbot and Josiah Royce. Peirce's short philosophical essays, studies in non-Euclidean geometry and number theory, and his only known experiment in prose fiction complete his production during these years. Peirce's 1883-1909 contributions to the Century Dictionary form the content of volume 7 which is forthcoming. (shrink)

Ken Pledger devised a one-sorted approach to the incidence relation of plane geometries, using structures that also support models of propositional modal logic. He introduced a modal system 12g that is valid in one-sorted projective planes, proved that it has finitely many non-equivalent modalities, and identified all possible modality patterns of its extensions. One of these extensions 8f is valid in elliptic planes. These results were presented in his 1980 doctoral dissertation, which is reprinted in this issue of (...) the Australasian Journal of Logic. Here we show that 12g and 8f are strongly complete for validity in their intended one-sorted geometrical interpretations, and have the finite model property. The proofs apply standard technology of modal logic together with a step-by-step procedure introduced by Yde Venema for constructing two-sorted projective planes. (shrink)

Hrushovski constructed an -categorical stable pseudoplane which refuted Lachlan's conjecture. In this note, we show that an -categorical projective plane cannot be constructed by "the Hrushovski method.".

Are the things of this world given to thought? Are things really meant to be known, to be taken as the objective manifestations of a transcendental conditioning power? The Western philosophical tradition, according to François Laruelle, presupposes just this transcendental constitution of the real--a presupposition that exalts philosophy itself as the designated recipient of the transcendental gift. Philosophy knows what things really are because things--all things--are given to philosophy to be known. Laruelle's trenchant essays show how this presupposition controls even (...) the ostensibly radical critiques of the philosophical tradition that have proliferated in the postmodern aftermath of Nietzsche and Heidegger. For these critiques persist in assuming that the disruptive other is in some way given to their own discourse--which shows itself thereby to be still philosophical. An effective critique of philosophy must be non-philosophical. It must, according to Laruelle, suspend the presupposition that otherness is given to be known, that thought has a fundamentally differential structure. Non-philosophy begins not with difference, not with subject and object, but with the positing of the One. From this axiomatic starting point, non-philosophy takes as its material philosophy, rethought according to the One. The non-philosophy project does not, like so much postmodern philosophy, herald the end of philosophy. It takes philosophy as an occasion to raise the question of another kind of thought--one that, instead of differentially relating to the world that it presupposes, asserts that it is ultimately, in the flesh, at One with what it can never know. Publisher's note. (shrink)

Quite likely the most sacrosanct principle in epistemology, it is near-universally accepted that knowledge is factive: knowing that p entails p. Recently, however, Bricker, Buckwalter, and Turri have all argued that we can and often do know approximations that are strictly speaking false. My goal with this paper is to advance this nascent non-factive project in two key ways. First, I provide a critical review of these recent arguments against the factivity of knowledge, allowing us to observe that elements of (...) these arguments mutually reinforce respective weaknesses, thereby offering the non-factive project a much stronger foundation than when these arguments were isolated. Next, I argue tentatively in favor of Bricker’s truthlikeness framework over the representational adequacy account favored by Buckwalter and Turri. Taken together, while none of this constitutes a knock-down argument against factivity, it does allow us to quiet some of the more immediate worries surrounding the non-factive project. (shrink)

Craig's interpolation theorem fails for the propositional logics E of entailment, R of relevant implication and T of ticket entailment, as well as in a large class of related logics. This result is proved by a geometrical construction, using the fact that a non-Arguesian projective plane cannot be imbedded in a three-dimensional projective space. The same construction shows failure of the amalgamation property in many varieties of distributive lattice-ordered monoids.

Generalizedn-gons are certain geometric structures (incidence geometries) that generalize the concept of projective planes (the nontrivial generalized 3-gons are exactly the projective planes).In a simplified world, every generalizedn-gon of finite Morley rank would be an algebraic one, i.e., one of the three families described in [9] for example. To our horror, John Baldwin [2], using methods discovered by Hrushovski [7], constructed ℵ1-categorical projective planes which are not algebraic. The projective planes that Baldwin constructed fail to be (...) algebraic in a dramatic way.Indeed, every algebraic projective plane over an algebraically closed field is Desarguesian [12]. In particular, an algebraically closed field (isomorphic to the base field) can be interpreted in every one of them. However, in the projective planes that Baldwin constructed, one cannot even interpret an infinite group.In this article we show that the same phenomenon occurs for the generalizedn-gons ifn≥ 3 is an odd integer. For each suchnwe constructmany nonisomorphic generalizedn-gons of finite Morley rank that do not interpret an infinite group. As one may expect, our method is inspired by Hrushovski and Baldwin, and we follow Baldwin's line of approach. Quite often our proofs are a verification of the fact that the proofs of Baldwin [2] forn= 3 carry over to an arbitrary positive odd integern(which is sometimes far from being obvious). As in [2], we begin by defining a certain collection of finite graphsK* and a binary relation ≤ on these graphs. We show that (K*, ≤) satisfies the amalgamation property. (shrink)

Our analysis reveals two major types of "Community of Learners" (COL) projects: instrumental and ontological. In instrumental COL, the notion of community is separated from instruction in order to reach some preset endpoints: curricular or otherwise. We notice three main instrumental COL models: relational, instructional, and engagement. Ontological COL redefines learning as an ill-defined, distributed, social, multi-faceted, poly-goal, agency-based, and situated process that integrates all educational aspects. We will consider two ontological COL projects into: narrowly dialogic and polyphonic.

Technoscientific progress brings into question both anthropocentric epistemology and anthropocentric/humanistic ontology, which considers the human being as a self-constructing and self-sufficient entity. Even though, Darwinism recomposes the humanistic disjunction between reality and representation: by defining the human being as the result of an adaptive reflection, it reveals the idealistic character of post-Cartesian thought, which is the backbone of philosophical anthropocentrism. The non-human can be a dialogic entity if and only if it is considered not as “animal-by” but “animal-with”, that is, (...) free to express its authenticity in terms of subjectivity, diversity and uniqueness. Whilst the post-human laboratory celebrates the power of human beings, the post-humanistic perspective emphasizes the conjugation with the non-human. (shrink)

This article engages with pragmatic sociology to understand an environmental dispute and its underlying moral issues in a direct-democratic and bottom-up setting. The non-establishment of a planned national park in the Swiss Alps serves as a case study to analyse principles of worth presented in national park negotiations. We point to the complex nature of conservation negotiations and argue that loosely defined ideas of the common good can lead to additional difficulties for a bottom-up project. Moreover, we open up new (...) ground for discussion concerning the interplay of nature conservation and direct democracy. (shrink)

We study the class of l-groups of the form C with X an essential P-space. Many such l-groups are non-projectable and their elementary theories may often be reduced to that of an associated Boolean algebra with distinguished ideal. In this paper we establish the decidability of the theories of two classes of such l-groups via corresponding results for the associated structures.

We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.

The author argues that there is no such thing as a unique and general taxonomy of non-at-issue contents. Accordingly, we ought to shun large categories such as “conventional implicature”, “F-implicature”, “CI”, “Class B” or the like. As an alternative, we may, first, describe the “semantic profile” of linguistic devices as accurately as possible. Second, we may explicitly tailor our categories to particular theoretical purposes.

Originating from work in operations research the cutting plane refutation systemCP is an extension of resolution, where unsatisfiable propositional logic formulas in conjunctive normal form are recognized by showing the non-existence of boolean solutions to associated families of linear inequalities. Polynomial sizeCP proofs are given for the undirecteds-t connectivity principle. The subsystemsCP q ofCP, forq≥2, are shown to be polynomially equivalent toCP, thus answering problem 19 from the list of open problems of [8]. We present a normal form theorem (...) forCP 2-proofs and thereby for arbitraryCP-proofs. As a corollary, we show that the coefficients and constant terms in arbitrary cutting plane proofs may be exponentially bounded by the number of steps in the proof, at the cost of an at most polynomial increase in the number of steps in the proof. The extensionCPLE +, introduced in [9] and there shown top-simulate Frege systems, is proved to be polynomially equivalent to Frege systems. Lastly, since linear inequalities are related to threshold gates, we introduce a new threshold logic and prove a completeness theorem. (shrink)

Visual space can be distinguished from physical space. The first is found in visual experience, while the second is defined independently of perception. Theorists have wondered about the relation between the two. Some investigators have concluded that visual space is non-Euclidean, and that it does not have a single metric structure. Here it is argued that visual space exhibits contraction in all three dimensions with increasing distance from the observer, that experienced features of this contraction are not the same as (...) would be the experience of a perspective projection onto a fronto-parallel plane, and that such contraction is consistent with size constancy. These properties of visual space are different from those that would be predicted if spatial perception resulted from the successful solution of the inverse problem. They are consistent with the notion that optical constraints have been internalized. More generally, they are also consistent with the notion that visual spatial structures bear a resemblance relation to physical spatial structures. This notion supports a type of representational relation that is distinct from mere causal correspondence. The reticence of some philosophers and psychologists to discuss the structure of phenomenal space is diagnosed in terms of the simple materialism and the functionalism of the 1970s and 1980s. (shrink)

Moderate invariantism is the orthodox semantics for knowledge attributions. In recent years it has fallen out of favour, in large part because it fails to explain why ordinary speakers have the intuition that some utterances of knowledge attributions are felicitous and others infelicitous in several types of cases. To address this issue moderate invariantists have developed a variety of what I call non-semantic theories which they claim account for the relevant felicity intuitions independently of moderate invariantist semantics. Some critics have (...) responded by arguing that these non-semantic theories are implausible for one or more of the following reasons: they do not have a basis in empirical data or established theory; they do not account for all of the relevant felicity intuitions; they are ad hoc; or they in fact explain too many felicity intuitions and thus undermine the... (shrink)

In §69.b of BT Heidegger attempts an existential genetic analysis of science, i.e. a phenomenology of the conceptual process of the constitution of the logical view of science (science seen as theory) starting from the Dasein. It attempts to do so by examining the special intentional-existential modification of (human) being-in-the-world, which is called the "mathematical projection of nature"; that is, by examining that special modification of our being, which places us in the state of experience that presents the world to (...) us as taught by, e.g., Galileo and Newton. The idea he puts forward is that modern mathematical physics and the corresponding experience of the real is the result of the mathematical projection of nature. Modern science, Heidegger says, stands out because it is mathematical. But we cannot get the answer to what this mathematicality consists in from mathematics, because mathematics is only a special manifestation of mathematicality. Here is what Heidegger means by "mathematicality" and, accordingly by "mathematical projection of nature." If one were to let two bodies of different weights fall simultaneously from the top of the tower of Pisa, Heidegger notes, both Galileo and an Aristotelian would see that the two bodies would reach the ground with as little time difference as possible, and not at exactly the same moment. Galileo, however, does something decisive: he claims that under conditions that would be impossible to ensure (if we removed absolutely all resistance to the motion of the bodies), the two bodies would reach the ground absolutely simultaneously. This is not something that he or the Aristotelian sees happening empirically. How, then, does Galileo insist so firmly on his position? How exactly does it happen that he has before him such a view of things? Heidegger's answer is that Galileo is mathematically projecting nature. In his Dialogues Galileo says "I conceive with my mind" (mente concipio) a body thrown to move on an infinitely extending horizontal plane, having eliminated from its path every possible obstacle. Finally, I argue that from the detailed interpretation of Heidegger's points of the mathematical and of the notion of mathematical projection of nature, we can arrive at the conclusions I had arrived at in my doctoral dissertation (2000) as regards the meaning and function of thought experiments in physics as seen from a Husserlian phenomenological point of view as intentional acts. In a nutshell, in thought experiments physics constitutes the special metaphysics (to use the Kantian term) of the primordial ontological region it investigates as well as attempts to make natural sense of the mathematical formalism in cases it proves necessary. (shrink)

The human genome project's lasting legacies are the emerging insights into human physiology and disease, and the ascendance of biology as the dominant science of the 21st century. Sequencing revealed that >90% of the human genome is not coding for proteins, as originally thought, but rather is overwhelmingly transcribed into non‐protein coding, or non‐coding, RNAs (ncRNAs). This discovery initially led to the hypothesis that most genomic DNA is “junk”, a term still championed by some geneticists and evolutionary biologists. In contrast, (...) molecular biologists and biochemists studying the vast number of transcripts produced from most of this genome “junk” often surmise that these ncRNAs have biological significance. What gives? This essay contrasts the two opposing, extant viewpoints, aiming to explain their bases, which arise from distinct reference frames of the underlying scientific disciplines. Finally, it aims to reconcile these divergent mindsets in hopes of stimulating synergy between scientific fields. (shrink)

In this famous work by a pioneer in the movement to free art from the bonds of tradition—a work long considered essential to understanding the evolution of 20th-century art—Kandinsky explores the role of the line, point and other key elements of non-objective painting. 127 illustrations.

We consider small-weight Cutting Planes (CP * ) proofs; that is, Cutting Planes (CP) proofs with coefficients up to $\operatorname{Poly}(n)$ . We use the well known lower bounds for monotone complexity to prove an exponential lower bound for the length of CP * proofs, for a family of tautologies based on the clique function. Because Resolution is a special case of small-weight CP, our method also gives a new and simpler exponential lower bound for Resolution. We also prove the following (...) two theorems: (1) Tree-like CP * proofs cannot polynomially simulate non-tree-like CP * proofs. (2) Tree-like (CP * proofs and Bounded-depth-Frege proofs cannot polynomially simulate each other. Our proofs also work for some generalizations of the CP * proof system. In particular, they work for CP * with a deduction rule, and also for any proof system that allows any formula with small communication complexity, and any set of sound rules of inference. (shrink)

The volume starts with the paper of Lynn Maurice Ferguson Arnold, former Premier of South Australia and former Minister of Education of Australia, concerning the Exposition Internationale des Arts et Techniques dans la Vie Moderne (International Exposition of Art and Technology in Modern Life) that was held from 25 May to 25 November 1937 in Paris, France. The organization of the world exhibition had placed the Nazi German and the Soviet pavilions directly across from each other. Many papers are devoted (...) to the interpretation of this opposition. Arnold’s paper considers the differences in the two totalitarian states’ architectural and design discourse styles. Although each of them communicated a totalitarian language of purposes, permissions, and boundaries, they essentially differed in the styles of discourse represented by the architecture and design of their respective pavilions. They were opposites of each other and the liberal ideals they contested. The internationalist viewpoint reflecting the multi-ethnic mix of the USSR is contrasted to the ein Volk homogeneity represented in the German pavilion. The Soviet pavilion opted for a utopian future to be arrived at by “benign” leadership, whereas the German pavilion anchored itself in the myth of Teutonic history with the nostalgic pride protected by the swastika-bearing eagle. Jean-Yves Béziau is best known as a logician and founder of Universal Logic. However, in this paper, he poses a new philosophical question: why philosophical discourse does not use images? The paper begins with a general analysis of different types of philosophical discourses. Then, he focuses on why images have been and are still rejected in philosophical discourse. He explains various ways to use images in a fruitful way to develop philosophical thinking and discourse and illustrates his view by providing several examples. He concludes with a promising programmatic declaration about founding a new journal entitled World Journal of Pictorial Philosophy to stimulate the usage of images for developing philosophical thinking. Although complaints about the obscurity of many philosophers’ discourse are widespread, Tatiana Denisova, ex-professor of the Surgut University and a research associate of the University of the Aegean undertakes a positive attitude to this problem. She explains that the reasons for the obscurity of philosophical texts, the subsequent complexity in communicating philosophers’ meanings and their eventual incomplete understanding is not a sign of their inferiority. On the contrary, it is a sign of the fruitfulness of philosophical discourse, which can generate new meanings. Thus, the darkness of philosophical discourse is like the life-giving chaos, and the obscurity that it inevitably contains can be the keeper of implicit meanings and even their generator. Katarzyna Gan-Krzywoszyńska and Piotr Leśniewski, authors of a monograph on Polish philosopher Kazimierz Ajdukiewicz (1890 – 1963), make a comparative analysis of his educational style with that of Paulo Reglus Neves Freire (1921 – 1997). The authors highlight that these scholars have distinctly different backgrounds. The former was an educator, philosopher and a leading advocate of critical pedagogy connected with the dialogical Latin-American tradition. The latter was a philosopher and logician, a notable representative of the Lwów–Warsaw school of logic with significant contributions to semantics, model theory and the philosophy of science. Despite their apparent difference, the authors identify some striking similarities regarding their attitudes towards education; notably, their approaches are essentially dialogical. Gilah Yelin Hirsch is a multidisciplinary artist who works as a painter, writer, curator, educator, and filmmaker. In her experiential paper, he explains how and why she uses four channels of communication in her creative expression: writing, painting, filmmaking, and teaching, as dialogic inquiry. She considers that these channels compose a continuum of discourse styles, each reaching a different facet of kaleidoscopic consciousness. She claims that her choice of medium is prompted by a need to communicate her insights profoundly. Thus, for instance, she created painted allegories to express narratives based on dreams and visions emerging from her subconscious. Art and healing is another Tibetan-rooted type of discourse practised by the author. Creating and observing a healing image produces a positive psychophysiological change in both the artist and the viewer. The discourse here is tripartite between creator, image, and viewer. Filmmaking is another type of discourse she practices between the filmmaker/artist as shaman or healer and the viewer as respondent or participant. These films are meant to be experienced frame by frame, physically and emotionally in both the body and mind. Jocelyn Ireson-Paine is a cartoonist and programmer. His paper offers an original attempt to use category theory in cartooning. Category theory is a branch of mathematics that provides concepts and methods to describe general abstract structures in terms of a labelled directed graph called category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms or transformations or mappings). The author explores different ways to define “style” in art using category theory and a relational view of art. Moreover, he examines how “translation” (transformation) between styles could be defined and reveals the difficulties of how it could be implemented in a computer using special software. Jens Lemanski is a philosopher who has revived research in Arthur Schopenhauer’s legacy by exploring his work on mathematical evidence, logic diagrams, and problems of semantics. In this paper, he advances a new approach to eristic as an art of protecting oneself from the one who deliberately violates norms of discourse ethics to win an argument. The author attributes the origins of this view to Schopenhauer, suggesting a new reading of his work. According to the author, eristic is a prohibitive technique that takes effect when the norms of discourse ethics are transgressed and violated. Thus, eristic is viewed as a discipline of Enlightenment philosophy and a correlate of discourse ethics. Roshdi Rashed is an authority on the history of Arabic mathematical sciences. Proceeding from Gilles-Gaston Granger’s definition of mathematical style, he studies the question of whether a mathematical work can be characterized by a single style or by a multitude of styles. This question is explored within the style of a single work, namely Menelaus’s Sphaerica, and through the study of the development of a single problem over time, namely the isoperimetric problem. He indicates Menelaus’s divergence from the Euclidean style of (plane and stereometric) geometry caused by the drop of the Parallel Postulate, which associated it with hyperbolic geometry. Hence, the author concludes that Menelaus’s Sphaerica incorporates the well-known Euclidean style with a variation of the non-Euclidean one. On the other hand, examining the isoperimetric problem reveals another interesting historical picture. A succession of different styles (cosmological, geometric, infinitesimalistic, style of the calculus of variations, of synthetic geometry) can be observed due to the transformation of the research object over time. Boris Shalyutin, a Russian social philosopher, and Ombudsman for Human Rights in the Kurgan Region, explores the origins of discourse in combination with the birth of society and law. He claims that legal discourse marks the historical emergence of discourse in general. Homo Juridicus generated Homo Sapiens, which have created new spheres of discourse, notably moral discourse and further philosophical, political, and scientific discourse. Petros Stefaneas, a logician, computer scientist and novelist, suggests an alternative to the traditional narratology approach for studying (interactive) social media discourse. He claims that style describes how the parts of a narrative are blended into a whole. The author relies upon Goguen’s and Harrel’s concept of style as a choice of blending principles and transfers to the study of the social media narratives elements from the methodology of studying Web-based collaborative search for mathematical proofs like those implemented within the Polymath project. The last paper belongs to Ghil‘ad Zuckermann, a linguist, language revivalist, and proponent of a model of the emergence of Israeli Hebrew, according to which Hebrew and Yiddish were the primary sources of Modern Hebrew. This paper explores the fascinating and multifaceted Yiddish language and its survival in Israeli. Yiddish is characterized by a unique style that embeds psycho-ostensive expressions throughout its discourse. The author highlights the cross-fertilization between Hebrew and Yiddish as it manifests itself in any aspect of the Israeli language. He claims that Yiddish survives beneath Israeli phonetics, phonology, discourse, syntax, semantics, lexis, and even morphology, although traditional and institutional linguists have been most reluctant to admit it. (shrink)

In recent years, there has been renewed interest in the development of formal languages for describing mereological (part-whole) and topological relationships between objects in space. Typically, the non-logical primitives of these languages are properties and relations such as `x is connected' or `x is a part of y', and the entities over which their variables range are, accordingly, not points, but regions: spatial entities other than regions are admitted, if at all, only as logical constructs of regions. This paper considers (...) two first-order mereotopological languages, and investigates their expressive power. It turns out that these languages, notwithstanding the simplicity of their primitives, are surprisingly expressive. In particular, it is shown that infinitary versions of these languages are adequate to express (in a sense made precise below) all topological relations over the domain of polygons in the closed plane. (shrink)

In recent years, there has been renewed interest in the development of formal languages for describing mereological (part-whole) and topological relationships between objects in space. Typically, the non-logical primitives of these languages are properties and relations such as ‘xis connected’ or ‘xis a part ofy’, and the entities over which their variables range are, accordingly, notpoints, butregions: spatial entities other than regions are admitted, if at all, only as logical constructs of regions. This paper considers two first-order mereotopological languages, and (...) investigates their expressive power. It turns out that these languages, notwithstanding the simplicity of their primitives, are surprisingly expressive. In particular, it is shown that infinitary versions of these languages are adequate to express (in a sense made precise below) all topological relations over the domain of polygons in the closed plane. (shrink)

This paper contributes to our understanding of farm data value chains with assistance from 54 semi-structured interviews and field notes from participant observations. Methodologically, it includes individuals, such as farmers, who hold well-known positionalities within digital agriculture spaces—platforms that include precision farming techniques, farm equipment built on machine learning architecture and algorithms, and robotics—while also including less visible elements and practices. The actors interviewed and materialities and performances observed thus came from spaces and places inhabited by, for example, farmers, crop (...) scientists, statisticians, programmers, and senior leadership in firms located in the U.S. and Canada. The stability of “the” artifacts followed for this project proved challenging, which led to me rethinking how to approach the subject conceptually. The paper is animated by a posthumanist commitment, drawing heavily from assemblage thinking and critical data scholarship coming out of Science and Technology Studies. The argument’s understanding of “chains” therefore lies on an alternative conceptual plane relative to most commodity chain scholarship. To speak of a data value chain is to foreground an orchestrating set of relations among humans, non-humans, products, spaces, places, and practices. The paper’s principle contribution involves interrogating lock-in tendencies at different “points” along the digital farm platform assemblage while pushing for a varied understanding of governance depending on the roles of the actors and actants involved. (shrink)

This book argues that our current best theories of fundamental physics are best interpreted as positing spacetime as non-fundamental. It is written in accessible language and largely avoids mathematical technicalities by instead focusing on the key metaphysical and foundational lessons for the fundamentality of spacetime. -/- According to orthodoxy, spacetime and spatiotemporal properties are regarded as fundamental structures of our world. Spacetime fundamentalism, however, faces challenges from speculative theories of quantum gravity – roughly speaking, the project of applying the lessons (...) of quantum mechanics to gravitation and spacetime. This book demonstrates that the non-fundamentality of spacetime does not rely on speculative physics alone. Rather, one can give an interpretation of general relativity that supports some form of spacetime non-fundamentalism. The author makes the case for spacetime non-fundamentalism in three steps. First, he confronts the standard geometrical interpretation of general relativity with Brown and Pooley’s dynamical approach to relativity theory. Second, he considers an alternative derivation of the Einstein field equations, namely the classical spin-2 approach, and argues that it paves the way for a refined dynamical approach to general relativity. Finally, he argues that particle physics can serve as a continuity condition for the metaphysics of spacetime. -/- The Non-Fundamentality of Spacetime will be of interest to scholars and advanced students working in philosophy of physics, philosophy of science, and metaphysics. (shrink)

Conceptual projection from one mental space to another always involves projection to "middle" spaces-abstract "generic" middle spaces or richer "blended" middle spaces. Projection to a middle space is a general cognitive process, operating uniformly at different levels of abstraction and under superficially divergent contextual circumstances. Middle spaces are indispensable sites for central mental and linguistic work. The process of blending is in particular a fundamental and general cognitive process, running over many (conceivably all) cognitive phenomena, including categorization, the making of (...) hypotheses, inference, the origin and combining of grammatical constructions, analogy, metaphor, and narrative. Blending is not secondary to these phenomena but prerequisite, and its operation is not restricted to any one of these phenomena. We give evidence for blending from a wide range of data that includes everyday language, idioms, literary metaphor, non-verbal conceptualization of action, creative thought in mathematics, evolution of socio-cultural models, jokes, and advertising. Blending is in general invisible to consciousness and detectable only on analysis. Blended spaces are routinely necessary for constructing central meanings, inferences, and structures, and for motivating emotions. We show that the blending of highly schematic spaces yields the fusion of grammatical constructions and functional assemblies studied in Cognitive Grammar and Construction Grammar. Finally, recognizing the cognitive import of middle spaces allows us to propose a generalized four-space model of conceptual projection that subsumes a variety of previous models. We explore the consequences of this model for the theory of concept formation. Introduction 3 I. The four space model 4 II. The phenomenon of blended spaces 5 1. Dante's Inferno 5 2. Regatta 7 3. The riddle of the Buddhist monk 8 4. Getting ahead of oneself 9 5. Tuning in, and other actions 11 6. Complex numbers 12 III. Prototypes of blending and mistaken reductions 14 IV. Further evidence for conceptual projection into a blended space 17 1. President Bush on third base 18 2. President Nixon in France 19 3. Personification 21 V. Category extension 22 VI. Generic spaces 24 VII. Parameters and subschemes 25 VIII. Blending and grammar 30 IX. The concept of a concept 33 Notes 35 References 38. (shrink)

The institution of the family and its importance have recently received considerable attention from political theorists. Leading views maintain that the institution’s justification is grounded, at least in part, in the non-instrumental value of the parent-child relationship itself. Such views face the challenge of identifying a specific good in the parent-child relationship that can account for how adults acquire parental rights over a particular child—as opposed to general parental rights, which need not warrant a claim to parent one’s biological progeny. (...) I develop a view that meets this challenge. This Project View identifies the pursuit of a parental project as a distinctive non-instrumentally valuable good that provides a justification for the family and whose pursuit is necessary and sufficient for the acquisition of parental rights. This view grounds moral parenthood in a normative relation as opposed to a biological one, supports polyadic forms of parenting, and provides plausible guidance in cases of assisted reproduction. (shrink)

This article discusses Hans Jonas’ argument for teleology in living organisms, in light of recently raised concerns over enactivism’s “Jonasian turn.” Drawing on textual resources rarely discussed in contemporary enactivist literature on Jonas’ philosophy, we reconstruct five core ideas of his thinking: 1) That natural science’s rejection of teleology is methodological rather than ontological, and thus not a proof of its non-existence; 2) that denial of the reality of teleology amounts to a performative self-contradiction; 3) that the fact of evolution (...) makes it implausible that only humans actualize purpose; 4) that the concept of metabolism delimits and gestures towards beings performing purposive activity; and 5) that concrete encounters with living organisms are indispensable for the judgment that they are purposive. Lastly, we draw attention to how Jonas’ understanding of teleology and inwardness in nonhuman life in terms of degrees of identity with human life poses a problem for his view. In this way, we hope to clarify what Jonas, as an important source of inspiration for the enactivist project, is proposing. (shrink)

Bioart is a form of hybrid artistico-scientific practices in contemporary art that involve the use of bio-materials (such as living cells, tissues, organisms) and scientific techniques, protocols, and tools. Bioart-works embody vulnerability (intrinsic to all beings) and depend on (bio)technologies that allow these creations to come into being, endure and flourish but also discipline them. This article focuses on ‘semi-living’ sculptures by The Tissue Culture and Art Project (TC&A). TC&A’s artworks consist of bioengineered mammal tissues grown over biopolymer scaffoldings of (...) different shapes and require sterile conditions of a bioreactor and constant care in order to survive. The article explores how bioart-works are always already intertwined with multiple (bio)technologies and techniques of care and labour, forming specific feminist technoecologies that challenge conventional bioscientific and cultural imaginaries of embodiment and the relation between physis and techné. TC&A’s sculptures expose life as the non/living: the processual enmeshment of the organic and inorganic, living and non-living, and growth and decay. The article argues that thinking with and through the feminist technoecologies of bioart mobilises philosophical inventiveness: not only does it problematise the entwinement of technology and biomatter and of culture and nature, but it also prompts us to rethink the ontology of life. (shrink)

A growing body of empirical evidence suggests that folk knowledge attribution practices regarding some epistemological thought experiments differ significantly from the consensus found in the philosophical literature. More specifically, laypersons are likely to ascribe knowledge in the so-called Authentic Evidence Gettier-style cases, while most philosophers deny knowledge in these cases. The intuitions shared by philosophers are often used as evidence in favor (or against) certain philosophical analyses of the notion of knowledge. However, the fact that these intuitions are not universal, (...) as non-philosophers do not sympathize with verdicts made by philosophers, is problematic and requires some explanation. Recently, a promising theoretical approach emerged that could be used to explain away unexpected folk knowledge attributions. According to the protagonist projection hypothesis, when subjects answer questions about some hypothetical scenario, their judgments might result from adopting the cognitive perspective of the protagonist in the given scenario. Previous experimental findings suggest protagonist projection might be responsible for problematic knowledge attributions in Gettier-style cases. This paper reports data collected in an experiment which focused on five different Authentic Evidence Gettier-style scenarios and investigated the impact of protagonist projection on folk knowledge ascriptions in such cases. The results bring some support to the protagonist projection hypothesis, but do not allow to explain away a substantial number of problematic folk knowledge attributions. (shrink)

We provide a universal axiom system for plane hyperbolic geometry in a firstorder language with two sorts of individual variables, ‘points’ and ‘lines’ , containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols, φ and ι, with φ = l to be interpreted as ‘[MATHEMATICAL SCRIPT SMALL L] is the line joining A and B’ , and ι = P to be interpreted as [MATHEMATICAL SCRIPT SMALL L]P is the point of intersection (...) of g and h , and two binary operation symbols, π1 and —2, with πi = g to be interpreted as ‘g is one of the two limiting paralle lines from P to [MATHEMATICAL SCRIPT SMALL L]. (shrink)

Digital technologies have opened up new perspectives in thinking about the future of food and farming. Not only do these new technologies promise to revolutionise our way of meeting global food demand, they do so by boldly claiming that they can reduce their environmental impacts. However, they also have the potential to transform the organisation of agri-food systems more fundamentally. Drawing on assemblage theory, we propose a conceptual model of digitalisation organised around three facets: digitalisation as a project; “everyday digitalisation”; (...) and reflexive digitalisation. These facets reflect different relations between concrete practices and representations, imaginaries, and narratives, while representing different modes of agency: the collective, the distributed, and the individual, which, we argue, highlight contrasting ways for human and non-human actors to engage with digitalisation. With this model anchored in assemblage theory, we offer a tool for critically and comprehensively engaging with the complexity and multiplicity of digitalisation as a sociotechnical process. We then apply our theoretical framework to two ethnographic studies, one explores the growth of digital technologies in Switzerland as a way to govern and monitor national agriculture, the other focuses on Indonesia, where small digital startups have begun to dot the landscape. By identifying the material and semiotic processes occurring in each case, we notice similar issues being raised in terms of how digitalisation is co-constructed in society. (shrink)