Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

In this paper, we present a formalism for handling polysemy in spatial expressions based on supervaluation semantics called standpoint semantics for polysemy (SSP). The goal of this formalism is, given a prepositional phrase, to define its possible spatial interpretations. For this, we propose to characterize spatial prepositions by means of a triplet ⟨ image schema, semantic feature, spatial axis⟩⁠. The core of SSP is predicate grounding theories, which are formulas of a first-order language that define a (...) spatial preposition through the semantic features of its trajector and landmark. Precisifications are also established, which are a set of formulae of a qualitative spatial reasoning formalism that aims to provide the spatial characterization of the trajector with respect to the landmark. In addition to the theoretical model, we also present results of a computational implementation of SSP for the preposition ‘in’. (shrink)

Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of various types at different (...) levels, including both objects and the regions they occupy. What results is a layered mereotopology, a theory which can handle multiple layers (analogous to the layers of a lasagna) of spatially or spatiotemporally coincident but mereologically non-overlapping entities. (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. (...) The allegedly unmereological concept of boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)

Ordinary perceiving relies heavily on our sensing the spatial properties of objects, e.g., their shapes, sizes, and locations. Such spatial perception is central in everyday life. We safely cross a street by seeing and hearing the locations of oncoming vehicles. And we often identify objects by seeing and feeling their distinctive shapes. -/- To understand how we perceive spatial properties, we must explain the nature of the mental states figuring in spatial perception. The experience one has (...) when seeing a cube, e.g., differs from the experiences one has when seeing other shapes, e.g., spheres and pyramids. We must explain how such experiences differ to fully understand how we perceive differences in the spatial properties of objects. This presents a challenge often overlooked in philosophy and cognitive science. Whereas we can differentiate physical objects by their spatial properties, we cannot differentiate the experiences involved in perception in respect of their own spatial properties. Experiences are mental states, not physical objects, so they do not themselves have spatial properties; a visual experience of a 50 ft. tall cube, e.g., isn’t itself 50 ft. tall or cubical. So we must differentiate our perceptual experiences of those objects some other way, in terms of their own properties. -/- I argue the experiences figuring in spatial perception have mental properties distinct from, but analogous to, the spatial properties we perceive. The experience one has when seeing a square, e.g., has a property that resembles and differs from other such mental properties in ways parallel to the ways physical squares resemble and differ from other shapes. Just as squares are more similar to rectangles than triangles, the mental property of an experience of a square is more similar to that of an experience of a rectangle than that of an experience of a triangle. -/- I show how this theory helps solve several problems in philosophy and cognitive science; explaining change blindness, accounting for our ability to perceive combinations of distinct properties, e.g., color and shape, and determining whether the properties of experiences pertaining to the same spatial properties in different sensory modalities are themselves the same. (shrink)

The primary determinant of the self (S) is the conscious experience (CE) we have of it. Therefore, it does not come as a surprise that empirical research on S mainly resorts to the CE (or lack of CE) that subjects have of their S. What comes as a surprise is that empirical research on S does not tackle the problem of how CE contributes to building S. Empirical research investigates how S either biases the cognitive processing of stimuli or is (...) altered through a wide range of means (meditation, hypnosis, etc.). In either case, even for different reasons, considerations of how CE contributes to building S are left unspecified in empirical research. This article analyzes these reasons and proposes a theoretical model of how CE contributes to building S. According to the proposed model, the phenomenal aspect of consciousness is produced by the modulation—engendered by attentional activity—of the energy level of the neural substrate (that is, the organ of attention) that underpins attentional activity. The phenomenal aspect of consciousness supplies the agent with a sense of S and informs the agent on how its S is affected by the agent’s own operations. The phenomenal aspect of consciousness performs its functions through its five main dimensions: qualitative, quantitative, hedonic, temporal, and spatial. Each dimension of the phenomenal aspect of consciousness can be explained by a specific aspect of the modulation of the energy level of the organ of attention. Among other advantages, the model explains the various forms of S as outcomes resulting from the operations of a single mechanism and provides a unifying framework for empirical research on the neural underpinnings of S. (shrink)

Summary Background Self-binding directives instruct clinicians to overrule treatment refusal during future severe episodes of illness. These directives are promoted as having potential to increase autonomy for individuals with severe episodic mental illness. Although lived experience is central to their creation, service users’ views on self-binding directives have not been investigated substantially. This study aimed to explore whether reasons for endorsement, ambivalence, or rejection given by service users with bipolar disorder can address concerns regarding self-binding directives, decision-making capacity, and human (...) rights. Methods This study used qualitative data from an internet-based survey distributed to the mailing list of the UK charity Bipolar UK, which contained multiple closed and open questions on advance decision-making in bipolar disorder. Quantitative analysis of a closed question about self-binding directives had already demonstrated endorsement amongst a very high proportion of participants with bipolar disorder who completed the survey. We conducted thematic analysis of responses from those participants who answered a subsequent open question about reasons for their view. Research was co-produced within a multi-disciplinary team, with clinical, legal, and ethical expertise, and lived experience of bipolar disorder. Ideas and methodologies associated with all these areas of expertise were used in the analysis of these reasons and to gain insight into the thoughts of individuals with bipolar disorder about self-binding directives and associated issues. Findings Between Oct 23 and Dec 5, 2017, 932 individuals with a self-reported clinical diagnosis of bipolar disorder completed the internet survey, with 565 (154 men; 400 women; 11 transgender or other) providing free text answers to the open question. A large majority of respondents endorsed self-binding directives, nearly all describing a determinate shift to types of distorted thinking and decision-making when unwell as their key justification. Responses indicating ambivalence were dominated by logistical concerns about the drafting and implementation of self-binding directives, while those who rejected self-binding directives also cited logistical concerns, validity of their thinking when unwell, and potential contravention of human rights. Interpretation This study is, to our knowledge, the first large study of reasons why mental health service users might endorse or reject the use of self-binding directives. The findings provide empirical support for introducing self-binding directives into mental health advance decision-making practice and policy and may help to address enduring ethical concerns surrounding possible implementation of the directive while a person retains decision-making capacity. The opinions expressed here in responses given by multiple service users with bipolar disorder challenge a prominent view within international disability rights debates that involuntary treatment and recognition of impaired mental capacity constitute inherent human rights violations. Funding The Wellcome Trust . (shrink)

Experimental philosophy brings empirical methods to philosophy. These methods are used to probe how people think about philosophically interesting things such as knowledge, morality, and freedom. This paper explores the contribution that qualitative methods have to make in this enterprise. I argue that qualitative methods have the potential to make a much greater contribution than they have so far. Along the way, I acknowledge a few types of resistance that proponents of qualitative methods in experimental philosophy might (...) encounter, and provide reasons to think they are ill-founded. (shrink)

Ordinary reasoning about space—we argue—is first and foremost reasoning about things or events located in space. Accordingly, any theory concerned with the construction of a general model of our spatial competence must be grounded on a general account of the sort of entities that may enter into the scope of the theory. Moreover, on the methodological side the emphasis on spatial entities (as opposed to purely geometrical items such as points or regions) calls for a reexamination (...) of the conceptual categories required for this task. Building on material presented in an earlier paper, in this work we offer some examples of what this amounts to, of the difficulties involved, and of the main directions along which spatial theories should be developed so as to combine formal sophistication with some affinity with common sense. (shrink)

The Qualitative Thesis says that if you leave open P, then you are sure of if P, then Q just in case you are sure of the corresponding material conditional. We argue the Qualitative Thesis provides compelling reasons to accept a thesis that we call Conditional Locality, which says, roughly, the interpretation of an indicative conditional depends, in part, on the conditional’s local embedding environment. In the first part of the paper, we present an argument—due to Ben Holguín—showing (...) that, without Conditional Locality, the Qualitative Thesis is in tension with a margin for error principle on rational sureness. We show Conditional Locality reconciles the Qualitative Thesis with the margin for error principle. In the second part, we argue the full range of data supports what we call the Strong Qualitative Thesis. Without Conditional Locality, the Strong Qualitative Thesis has unacceptable consequences. But with Conditional Locality, it is tenable. (shrink)

This paper describes a cubic water tank equipped with a movable partition receiving various amounts of liquid used to represent joint probability distributions. This device is applied to the investigation of deductive inferences under uncertainty. The analogy is exploited to determine by qualitative reasoning the limits in probability of the conclusion of twenty basic deductive arguments (such as Modus Ponens, And-introduction, Contraposition, etc.) often used as benchmark problems by the various theoretical approaches to reasoning under uncertainty. The (...) probability bounds imposed by the premises on the conclusion are derived on the basis of a few trivial principles such as "a part of the tank cannot contain more liquid than its capacity allows", or "if a part is empty, the other part contains all the liquid". This stems from the equivalence between the physical constraints imposed by the capacity of the tank and its subdivisions on the volumes of liquid, and the axioms and rules of probability. The device materializes de Finetti's coherence approach to probability. It also suggests a physical counterpart of Dutch book arguments to assess individuals' rationality in probability judgments in the sense that individuals whose degrees of belief in a conclusion are out of the bounds of coherence intervals would commit themselves to executing physically impossible tasks. (shrink)

In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended to (...) yield probability distributions with moderately high entropy levels. In the present article, we present data charting the performance of the four systems when reasoning in environments of various entropy levels. The results illustrate variations in the performance of the respective reasoning systems that derive from the entropy of the environment, and allow for a more inclusive assessment of the reliability and robustness of the four systems. (shrink)

The diversity of multicultural, multi-religious, and multi-ethnic groups and communities within Britain has created cohesion and integration challenges for different community groups and authorities to adapt to the current diverse society. More recently, there has been an increased focus on Muslim segregation in Britain in official reports and reviews. Those documents mentioned the Muslims’ segregation (directly or indirectly) for various reasons, and some recommendations have aimed to improve “community cohesion” in general and Muslims’ “integration” in particular. However, community participation in (...) the design or planning of regeneration and development projects has yet to be focused on, although these documents recommended promoting community cohesion and integration through these projects. Community participation in architecture—in its broader sense—is a crucial aspect that contributes towards fulfilling the tasks of serving communities with different religious and ethnic backgrounds. Muslims’ religious and cultural practices have been problematised in urban spaces and perceived as leading to social and spatial segregation. This paper intends to explore how secular urban spaces are used and perceived by Muslims through their religious and cultural practices. Therefore, the article aspires to inform the community participation in urban projects and demonstrates the role that Muslims’ inclusion in designing urban projects has in promoting cohesion and integration. The Ellesmere Green project in Burngreave, Sheffield, UK, is an empirical example of exploring this locally through semi-structured interviews with community members, leaders, and local authorities’ officials. The findings demonstrate that sacred and secular spaces are interconnected in Muslims’ everyday lives, and the boundaries between them are blurry. The data also show that having the ability to manifest their religious and cultural practices in secular urban spaces does not suggest the desire for segregation, nor does it reduce Muslims’ willingness to have social and spatial interactions with non-Muslims. (shrink)

The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that (...) the class of non-qualitative properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties. (shrink)

This paper challenges the common assumption that some phenotypic traits are quantitative while others are qualitative. The distinction between these two kinds of traits is widely influential in biological and biomedical research as well as in scientific education and communication. This is probably due to both historical and epistemological reasons. However, the quantitative/qualitative distinction involves a variety of simplifications on the genetic causes of phenotypic variability and on the development of complex traits. Here, I examine three cases from (...) the life sciences that show inconsistencies in the distinction: Mendelian traits, Mendelian diseases, and polygenic mental disorders. I show that these traits can be framed both quantitatively and qualitatively depending, for instance, on the methods through which they are investigated and on specific epistemic purposes. This suggests that the received view of quantitative and qualitative traits has a limited heuristic power—limited to some local contexts or to the specific methodologies adopted. Throughout the paper, I provide directions for framing phenotypes beyond the quantitative/qualitative distinction. I conclude by pointing at the necessity of developing a principled characterisation of what phenotypic traits, in general, are. (shrink)

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. (...) The sheet is in the drawer. Ergo *there is a hole in the drawer”. (shrink)

This paper studies a family of monotonic extensions of first-order logic which we call modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. This approach offers a new regard to what we call flexible reasoning. A uniform treatment of modulated logics is given here, obtaining some general results in model theory. Besides reviewing the “Logic of Ultrafilters”, which formalizes inductive assertions of the kind “almost all”, two new monotonic logical systems are proposed here, the “Logic (...) of Many” and the “Logic of Plausibility”, that characterize assertions of the kind “many”, and “for a good number of”. Although the notion of simple majority (“more than half”) can be captured by means of a modulated quantifier semantically interpreted by cardinal measure on evidence sets, it is proven that this system, although sound, cannot be complete if checked against the intended model. This justifies the interest on a purely qualitative approach to this kind of quantification, what is guaranteed by interpreting the modulated quantifiers as notions of families of principal filters and reduced topologies, respectively. We prove that both systems are conservative extensions of classical logic that preserve important properties, such as soundness and completeness. Some additional perspectives connecting our approach to flexible reasoning through modulated logics to epistemology and social choice theory are also discussed. (shrink)

I defend a reading of David Hume’s nominalism that he comes close to Keith Campbell's contemporary trope theory in the specific case of spatial properties. I argue that Hume's view should be construed as classifying spatial properties as Campbellian tropes (particular properties): abstract, particular, determinate and qualitatively simple properties. This has implications for reconstructing Hume's answer to the problem of universals. I argue that Hume’s account of objects resembling each other in respect of spatial properties is grounded (...) in the resemblance of tropes rather than in the resemblance of objects. (shrink)

I defend external world realism. I assume that the principle of inference to the best explanation is justified: roughly, a hypothesis that provides a better explanation of the total evidence is more probable than one that does not. I argue that the existence of a world of spatial objects provides a systematic explanation of the spatial contents of visual experience, and that it provides a better explanation than traditional skeptical hypotheses. This paper thus pursues the explanationist strategy of (...) Laurence BonJour and Jonathan Vogel. It is an improved, more compelling defense, for at least two reasons. First, the attention to spatial properties, and in particular to what I call perspectival projections, makes the explanatory power of the realist hypothesis much more vivid and concrete. Second, the argument preserves and elucidates much that seems correct in the explanationist arguments others have offered while avoiding significant problems and shortcomings. (shrink)

Imagination is necessary for scientific practice, yet there are no in vivo sociological studies on the ways that imagination is taught, thought of, or evaluated by scientists. This article begins to remedy this by presenting the results of a qualitative study performed on two systems biology laboratories. I found that the more advanced a participant was in their scientific career, the more they valued imagination. Further, positive attitudes toward imagination were primarily due to the perceived role of imagination in (...) problem-solving. But not all problem-solving episodes involved clear appeals to imagination, only maximally specific problems did. This pattern is explained by the presence of an implicit norm governing imagination use in the two labs: only use imagination on maximally specific problems, and only when all other available methods have failed. This norm was confirmed by the participants, and I argue that it has epistemological reasons in its favour. I also found that its strength varies inversely with career stage, such that more advanced scientists do (and should) occasionally bring their imaginations to bear on more general problems. A story about scientific pedagogy explains the trend away from (and back to) imagination over the course of a scientific career. Finally, some positive recommendations are given for a more imagination-friendly scientific pedagogy. (shrink)

We propose a qualitatively new kind of governance for the emerging need to efficiently guide the densely interconnected, ever more complex world development, which is based on explicit and openly presented problem solutions and their interactive implementation practice within the versatile, but unified professional analysis of complex real-world dynamics, involving both the powerful central units and the attached creative worldwide network of professional representatives. We provide fundamental and rigorous scientific arguments in favour of introduction of just that kind of governance (...) at the modern development stage, after the complexity threshold in the real world dynamics evolution (sometimes intuitively designated as "globalisation"), where the traditional spontaneous-empirical kind of development and related administrative governance lose dramatically and inevitably their efficiency and the necessity of explicit consistent understanding and guidance of complex real-world dynamics becomes evident. (shrink)

There are numerous formal systems that allow inference of new conditionals based on a conditional knowledge base. Many of these systems have been analysed theoretically and some have been tested against human reasoning in psychological studies, but experiments evaluating the performance of such systems are rare. In this article, we extend the experiments in [19] in order to evaluate the inferential properties of c-representations in comparison to the well-known Systems P and Z. Since it is known that System Z (...) and c-representations mainly differ in the sorts of inheritance inferences they allow, we discuss subclass inheritance and present experimental data for this type of inference in particular. (shrink)

This chapter provides an overview of how existential phenomenology has influenced qualitative research methods across a range of disciplines across the social, health, educational, and psychological sciences. It focuses specifically on how the concepts of “existential structures,” or “existentials”—such as selfhood, temporality, spatiality, affectivity, and embodiment—have been used in qualitative research. After providing a brief introduction to what qualitative research is and why philosophers should be interested in it, the chapter provides clear, straightforward examples of how (...) class='Hi'>qualitative researchers have used existentials to analyze qualitative data and design qualitative studies. The chapter is intended to introduce philosophers to existential approaches to phenomenological qualitative research, with the aim of facilitating interdisciplinary dialogue and collaboration. (shrink)

The spatial-ecological modeling is relating sustainable dispersions with social development. Sustainability with spatial-ecological model gives attention to urban environments in the design review management to comply with Earth’s system. Naturally exchanged patterns of ecosystems have consistent and periodic cycles to preserve energy flows and materials in Earth’s system. The Probabilistic Risk Assessment (PRA) technique is utilized to assess the safety of an industrial complex. The other analytical approach is the Failure-Safe Mode and Effect Analysis (FMEA) for critical components. (...) The plant safety parameters are identified for engineering topology as employed in assessment safety of industrial ecology. In particular, the most severe accidental release of hazardous gaseous is postulated, analyzed and assessment in industrial region. The IAEA-safety assessment procedure is used to account the duration and rate of discharge of liquid chlorine. The ecological model of plume dispersion width and concentration of chlorine gas in the downwind direction is determined using Gaussian Plume Model in urban and rural areas and presented with SURFER®. The prediction of accident consequences is traced in risk contour concentration lines. The local greenhouse effect is predicted with relevant conclusions. The spatial-ecological model is predicted for multiple factors distribution schemes of multi-criteria analysis. The input–output analysis is explored from the spillover effect, and we conducted Monte Carlo simulations for sensitivity analysis. Their unique structure is balanced within “equilibrium patterns”, such as the composite index for biosphere with collective structure of many distributed feedback flows. These dynamic structures are related to have their physical and chemical properties and enable a gradual and prolonged incremental pattern. While this spatial model structure argues from ecology, resource savings, static load design, financial and other pragmatic reasons, the outcomes are not decisive in an artistic/architectural perspective. The hypothesis is deployed to unify analytic and analogical spatial structure in development urban environments using optimization loads as an example of integrated industrial structure where the process is based on engineering topology of systems ecology. (shrink)

We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the light (...) of the interconnections between them. (shrink)

It is well-known that the global structure of every space-time model for relativistic cosmology is observationally underdetermined. In order to alleviate the severity of this underdetermination, it has been proposed that we adopt the Cosmological Principle because the Principle restricts our attention to a distinguished class of space-time models (spatially homogeneous and isotropic models). I argue that, even assuming the Cosmological Principle, the topology of space remains observationally underdetermined. Nonetheless, I argue that we can muster reasons to prefer various topological (...) properties over others. In particular, I favor the adoption of multiply connected universe models on grounds of (i) simplicity, (ii) Machian considerations, and (iii) explanatory power. We are able to appeal to such grounds because multiply connected topologies open up the possibility of finite universe models (consistent with our best data), which in turn avoid thorny issues concerning the postulation of an actually infinite universe. (shrink)

Skow ([2007]), and much more recently Callender ([2017]), argue that time can be distinguished from space due to the special role it plays in our laws of nature: our laws determine the behaviour of physical systems across time, but not across space. In this work we assess the claim that the laws of nature might provide the basis for distinguishing time from space. We find that there is an obvious reason to be sceptical of the argument Skow submits for distinguishing (...) time from space: Skow fails to pay sufficient attention to the relationship between the dynamical laws and the antecedent conditions required to establish a complete solution from the laws. Callender’s more sophisticated arguments in favour of distinguishing time from space by virtue of the laws of nature presents a much stronger basis to draw the distinction. By developing a radical reading of Callender’s view we propose a novel approach to differentiating time and space that we call temporal perspectivalism. This is the view according to which the difference between time and space is a function of the agentive perspective. (shrink)

Copernican reasoning involves considering ourselves, in the absence of other information, to be randomly selected members of a reference class. Consider the reference class intelligent observers. If there are extraterrestrial intelligences (ETIs), taking ourselves to be randomly selected intelligent observers leads to the conclusion that it is likely the Earth has a larger population size than the typical planet inhabited by intelligent life, for the same reason that a randomly selected human is likely to come from a more populous (...) country. The astrophysicist Fergus Simpson contends that this reasoning supports the claims that the typical planet inhabited by ETIs is smaller than Earth (radius about 5,000km; cf. Earth's radius = 6,371km) and that the typical ETI is significantly larger than us about 314kg, the size of an adult male grizzly bear). Simpson's applications of Copernican reasoning are novel and exciting. They should be of interest to philosophers concerned with Richard Gott's delta t argument, the N=1 problem in astrobiology, limited principles of indifference, and probabilistic epistemology in general. While we agree with Simpson about the qualitative direction of his conclusions, we take issue with his presentation of precise quantitative results because his methods (1) display bias, (2) ignore other variables contributing to population size, (3) commit an equivocation, and (4) conceal their dependence on arbitrary assumptions. (shrink)

Relational egalitarians sometimes argue that a degree of distributive equality is necessary for social equality to obtain among members of society. In this paper, we consider how such arguments fare when extended to the intergenerational case. In particular, we examine whether relational reasons for distributive equality apply between non-overlapping generations. We claim that they do not. We begin by arguing that the most common reasons relational egalitarians offer in favour of distributive equality between contemporaries do not give us reasons to (...) object to distributive inequality between non-overlapping generations. This argument by itself however will not fully suffice to show that there are no relational reasons to care about intergenerational distributive equality, given the nature of relational equality and its requirements in the intergenerational case are likely to be qualitatively different than in the contemporary case. Therefore, we also make the positive argument that for the intergenerational case to satisfy the requirements demanded by the ideal of relational equality it suffices that future persons’ interests are meaningfully incorporated and protected in the decision-making of preceding generations, and there is no basis for a concern with distributive equality. While some have argued that the one-way and asymmetrical causal influence between non-overlapping generations means concerns of social equality are inapplicable in the intergenerational case, we argue that the ongoing nature of this influence makes concerns of social equality appropriate. If successful, the upshot of the argument is that it can be coherent to maintain a commitment to relational equality between non-overlapping generations, all while remaining agnostic about distributive equality between them. (shrink)

Ken Forbus's Qualitative Process Theory (QPT) is a popular theory for reasoning about the physical aspects of the daily world. Qualitative Process Theory Using Linguistic Variables by Bruce D'Ambrosio (Springer-Verlag, New York, 1989) is an attempt to fill some gaps in QPT.

The article presents the reasons for which the issue of providing housing to low-income citizens has been a real challenge in Addis Ababa during the recent years and will continue to be, given that its population is growing extremely fast. It examines the tensions between the universal aspirations and the local realities in the case of some of Ethiopia’s most ambitious mass pro-poor housing schemes, such as the “Addis Ababa Grand Housing Program” (AAGHP), which was launched in 2004 and was (...) integrated in the “Integrated Housing Development Program” (IHDP) in 2006. The article argues that the quotidian practices of communities and their socio-economic and cultural characteristics are related to the spatial attributes of co-housing practices. Drawing upon the idea that there is a mutual correspondence between social and spatial structures, it places particular emphasis on the analysis of the IHDP and aims to show that to shape strategies that take into account the social and cultural aspects of daily life of the poor citizens of Addis Ababa, it is pivotal to invite them to take part in the decision-making processes regarding their resettlement. Departing from the fact that a large percentage of the housing supply in Addis Ababa consists of informal unplanned housing, the article also compares the commoning practices in kebele houses and condominium units. The former refers to the legal informal housing units owned by the government and rented to their dwellers, whereas the latter concerns the housing blocks built in the framework of the IHDP for the resettlement of the kebele dwellers. The article analyzes these processes of resettlement, shedding light of the fact that kebele houses were located at the inner city, whereas the condominiums are located in the suburbs. Despite the fact that the living conditions in the condominium units are of a much higher quality than those in the kebele houses, their design underestimated or even neglected the role of the commoning practices. The article highlights the advantages of commoning practices in architecture and urban planning, and how the implementation of participation-oriented solutions can respond to the difficulties of providing housing. It argues that understanding the significance of the endeavors that take into account the opinions of dwellers during the phase of decision-making goes hand in hand with considering commoning practices as a source of architecture and urban planning frameworks for low-cost housing in this specific context. The key argument of the article is that urban planning and architecture solutions in Addis Ababa should be based on the principles of the so-called “negotiated planning” approach, which implies a close analysis of the interconnections between planning, infrastructure, and land. (shrink)

Cognitive scientists used to deem reasoning either as a higher cognitive process based on the manipulation of abstract rules or as a higher cognitive process that is stochastic rather than involving abstract rules. I maintain that these different perspectives are closely intertwined with a theoretical and methodological endorsement of either cognitivism or connectionism. Cognitivism and connectionism represent two prevailing and opposed paradigms in cognitive science. I aim to extoll the virtues of connectionist models of enthymematic reasoning by following (...) means: via the phenomenon of creative enthymeme, viz. the inference where one cannot even articulate the missing premise, I introduce a connectionist mechanism of pattern recognition as underlying expertise; via Gestalt switch or Gestalt click, I demonstrate how differences in pattern recognition of an expert and a novice can be construed as qualitatively different, and not merely a matter of faster reasoning. (shrink)

In his excellent book *The Metaphysics of Sensory Experience* (2021), David Papineau argues against standard theories of sensory experience: the sense datum view, representationalism, naïve realism, and so on. The only view left standing is his own “qualitative view”. On Papineau’s physicalist version, all experiences are nothing but neural states, and the only features essentially involved in experience are intrinsic neural properties (29-30, 95-97). In my book *Perception* (2021), I developed an argument from spatial experience against this kind (...) of view (also Pautz 2010, 2017). Here I elaborate on that argument in the light of Papineau’s discussion. (shrink)

Since at least the mid-1980s claims have been made for rationality in rats. For example, that rats are capable of inferential reasoning (Blaisdell, Sawa, Leising, & Waldmann, 2006; Bunsey & Eichenbaum, 1996), or that they can make adaptive decisions about future behavior (Foote & Crystal, 2007), or that they are capable of knowledge in propositional-like form (Dickinson, 1985). The stakes are rather high, because these capacities imply concept possession and on some views (e.g., Rödl, 2007; Savanah, 2012) rationality indicates (...) self-consciousness. I evaluate the case for rat rationality by analyzing 5 key research paradigms: spatial navigation, metacognition, transitive inference, causal reasoning, and goal orientation. I conclude that the observed behaviors need not imply rationality by the subjects. Rather, the behavior can be accounted for by noncognitive processes such as hard-wired species typical predispositions or associative learning or (nonconceptual) affordance detection. These mechanisms do not necessarily require or implicate the capacity for rationality. As such there is as yet insufficient evidence that rats can reason. I end by proposing the ‘Staircase Test,’ an experiment designed to provide convincing evidence of rationality in rats. (shrink)

Patients in Quebec can legally obtain medical assistance in dying (MAID) if they are able to give informed consent, have a serious and incurable illness, are at the end of their lives and are in a situation of unbearable suffering. Since the Supreme Court of Canada’s 2015 Carter decision, access to MAID, under certain conditions, has become a constitutional right. Quebec physicians are now likely to receive requests for MAID from their patients. The Quebec and Canadian laws recognize a physician’s (...) right to conscientious objection, but this right is contested both in the medical ethics literature and in the public sphere. This paper presents the results of a qualitative study conducted with twenty Quebec physicians who did not integrate MAID into their medical practice, either because they were opposed to or deeply ambivalent about MAID. The interviews aimed to explore the reasons – religious and secular – for opposition to or ambivalence towards MAID. The secular reasons given by participants were grouped into four main categories: 1) the ends of medicine and professional identity, 2) the philosophy of palliative medicine and resource allocation in palliative care, 3) benevolent paternalism, the “good death”, and the interests of future selves, 4) the risk of a slippery slope and the protection of vulnerable people. (shrink)

This work aims to analyze complex noun phrases of the qualitative binominal kind (an N of an N) in a Southern Italo–Romance language, namely Apulian. The principle of compositionality – even if it represents a good working hypothesis for syntactic analysis – faces several challenges with linguistic expressions such as idioms (with which binominal qualitatives share several properties), whose meaning is not yielded compositionally (Szabò, 2004). The data under analysis here are particularly interesting for two main reasons. The first (...) pertains to the nature of the preposition, and whether it is an a priori specified element depending on the syntactic embedding; two main working hypotheses are found: Den Dikken (2006) posits two different derivations, one for binominal qualitative of and one for genitive of. On the other hand, Kayne (1994) posits a unitary derivation for both instances of the preposition. The second reason pertains to the problem of the overall interpretation of the phrase, i.e., an intersectional interpretation of the predicate and the subject of the predication, and the focus/topic subdivision in the phrase (Villalba, 2007): the interpretation depends on the marked order of the predicate with respect to the subject. Given that N1 is a predicate and usually an adjectivized noun or a nominalized adjective and that in southern Italo–Romance only few adjectives can precede a noun, cases in which the predicate precedes the noun can be considered as displaying a marked order. Even though the case of the preposition might seem a challenge for compositionality, it will be shown that a proper characterization of such an element confirms that compositionality can still account for instances such as those of binominal qualitatives. (shrink)

If you want to understand McDowell's spatial metaphors when he talks about perceptual knowledge, place him side-by-side with Dretske on perceptual knowledge. Though McDowell shows no evidence of reading Dretske's writings on knowledge from the late 1960s onwards (McDowell mentions "Epistemic Operators" once in passing), McDowell gives the same four arguments as Dretske for the conclusion that knowledge requires "conclusive" reasons that rule of the possibility of mistake. Despite various differences, we think it is best to read McDowell as (...) re-discovering Dretske on perceptual knowledge. Since Dretske is easy to understand, all of McDowell's metaphors become easy to understand. But what about McDowell's disjunctivism? Turns out McDowell is not an ontological disjunctivist, and his epistemological disjunctivism is really just the banal point that some perceptual experiences provide conclusive reasons for perceptual belief and some do not. Perceptual experiences are either conclusive or inconclusive. Dretske would agree. (shrink)

There is consensus among computer scientists, logicians, and philosophers that good reasoning with qualitative beliefs must have the structural property of cumulative transitivity or, for short, cut. This consensus is typically explicitly argued for partially on the basis of practical and mathematical considerations. But the consensus is also implicit in the approach philosophers take to almost every puzzle about reasoning that involves multiple steps: philosophers typically assume that if each step in reasoning is acceptable considered on (...) its own, the whole chain of reasoning must also acceptable. In this paper I focus on whether there are good philosophical reasons for thinking that the consensus that good reasoning must satisfy cut is true. My central claim is that we should not accept the consensus—good reasoning might not satisfy cut. In particular, I consider four arguments for the consensus and explain why they are unpersuasive. (§2-5). I then show that the issue of whether good reasoning is cut turns on a substantive yet until now unnoticed question in epistemology (§6). (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that (...) one of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

Integration sustainability outcomes give attention to construction ecology in the design review of urban environments to comply with Earth’s System that is composed of integral parts of the (i.e., physical, chemical and biological components). Naturally, exchange patterns of industrial ecology have consistent and periodic cycles to preserve energy flows and materials in Earth’s System. When engineering topology is affecting internal and external processes in system networks, it postulated the valence of the first-level spatial outcome (i.e., project compatibility success). These (...) instrumentalities are dependent on relating the second-level outcome (i.e., participant security satisfaction). The construction ecology-based topology (i.e., as feedback energy system) flows from biotic and abiotic resources in the entire Earth’s ecosystems. These spatial outcomes are providing an innovation, as entails a wide range of interactions to state, regulate and feedback “topology” to flow as “interdisciplinary equilibrium” of ecosystems. The interrelation dynamics of ecosystems are performing a process in a certain location within an appropriate time for characterizing their unique structure in “equilibrium patterns”, such as biosphere and collecting a composite structure of many distributed feedback flows. These interdisciplinary systems regulate their dynamics within complex structures. These dynamic mechanisms of the ecosystem regulate physical and chemical properties to enable a gradual and prolonged incremental pattern to develop a stable structure. The engineering topology of construction ecology for integration sustainability outcomes offers an interesting tool for ecologists and engineers in the simulation paradigm as an initial form of development structure within compatible computer software. This approach argues from ecology, resource savings, static load design, financial other pragmatic reasons, while an artistic/architectural perspective, these are not decisive. The paper described an attempt to unify analytic and analogical spatial modeling in developing urban environments as a relational setting, using optimization software and applied as an example of integrated industrial ecology where the construction process is based on a topology optimization approach. (shrink)

Filipino's love for the elderly is undeniable. However, despite the respect they have for the elderly, an increasing amount of elderly abandonment is rising in the Philippines. The drastic increase in statistics of abandonment will still grow over the years because aging is inevitable. The primary goal of this study is to dig deeper into the experiences, challenges, and coping mechanisms of abandoned senior citizens inside of a home for the aged to spread awareness about this certain topic. By the (...) use of Interpretative Phenomenological Analysis, the study come up with the following findings: (1) The abandoned senior citizens chose to be inside the facility because they don't want to be a burden in their original homes. (2) Faith and religious works affect their psychological well-being. (3) Physical appearance does not affect their self-esteem. (4) Social support boosts their psychological well-being as well. (5) One of the biggest reasons why abandoned senior citizens left their homes is being neglected to cause them to leave and stay in home for the aged (6) Lastly, people inside the facilities accepted the fact that death is drawing closer to them but they don't want to die yet. (shrink)

The role and nature of imagination in Kant's Critique of Pure Reason is intensively examined. In addition, the text of Kant's Anthropology from a Pragmatic Point of View will also be considered because it helps illustrate this issue. Imagination is the fundamental power of the mind responsible for any act of forming and putting together representations. A new interpretation of imagination in Kant is given which recognizes its necessary roles as the factor responsible for producing space and time, as an (...) essential component in perception, as the mediator of concepts and intuitions, and as the synthesizing agent which groups together representations into categories. ;The work is divided basically into two parts. The first part looks at the imagination in the Transcendental Aesthetic. It will be shown that space and time themselves are products of imagination. As pure and a priori intuitions space and time are objects of thought and thus are conditioned by the synthetic power of imagination. Moreover, as forms of intuitions space and time are also conditioned by imagination; hence, imagination is a necessary factor in spatial and temporal perception. ;The second part of the thesis concerns the role of imagination in the Transcendental Analytic. Here the role of the imagination is more pervasive. In the Metaphysical Deduction the thesis argues that the imagination is responsible for uniting representations into twelve categories which are the conditions of thinking in general. Therefore the categories themselves owe their origins to imagination. This interpretation hinges on Kant's distinction between transcendental and general logic, which the thesis will discuss in detail. In the Transcendental Deduction the imagination is responsible for taking up representations in such a way that results in their belonging to a single framework of consciousness, thus showing that the categories apply to a posteriori representations. In the Schematism the imagination is necessary in forming the schemata, which join together concepts and intuitions so that both empirical and transcendental judgments are produced. Finally, a critique of Heidegger's idea on imagination as the "common root" of sensibility and understanding will be offered. (shrink)

Cover Philosophical Mechanics in the Age of Reason Katherine Brading and Marius Stan Description From pebbles to planets, tigers to tables, pine trees to people; animate and inanimate, natural and artificial; bodies are everywhere. Bodies populate the world, acting and interacting with one another, and they are the subject-matter of Newton's laws of motion. But what is a body? And how can we know how they behave? In Philosophical Mechanics in the Age of Reason, Katherine Brading and Marius Stan examine (...) the struggle for a theory of bodies. -/- At the beginning of the 18th century, physics was the branch of philosophy that studied bodies in general. Its primary task was to provide a qualitative account of the nature of bodies, including their essential properties, causal powers, and generic behaviors. Pursued by a variety of figures both canonical (from Leibniz to Kant) and less familiar (from Du Châtelet and Euler to d'Alembert and Lagrange), this proved a difficult task. At stake were the appropriate epistemologies and methods for theorizing about the natural world. Solutions demanded the combined resources of philosophy, physics, and mechanics: what Brading and Stan call a “philosophical mechanics.” -/- Brading and Stan analyze a century of widespread, concerted efforts to solve “the problem of bodies,” they examine the consequences of the many failures, both for the problem itself and for philosophy more generally. They reveal relationships among disparate themes of 18th century physics and philosophy, from the nature of matter to the motion of a vibrating string; causation to the principle of least action; and the role of subtle matter in collision theory to analytic mechanics. All of these, Brading and Stan argue, are related to the eventual emergence of physics as an independent discipline, autonomous from philosophy, more than a century after Newton's Principia. This book provides a new framing of natural philosophy and its transformations in the Enlightenment; and it proposes an account of how physics and philosophy evolved into distinct fields of inquiry. (shrink)

DNA evidence is one of the most significant modern advances in the search for truth since the cross examination, but its format as a random-match-probability makes it difficult for people to assign an appropriate probative value (Koehler, 2001). While Frequentist theories propose that the presentation of the match as a frequency rather than a probability facilitates more accurate assessment (e.g., Slovic et al., 2000), Exemplar-Cueing Theory predicts that the subjective weight assigned may be affected by the frequency or probability format, (...) and how easily examples of the event, i.e., ‘exemplars’, are generated from linguistic cues that frame the match in light of further evidence (Koehler & Macchi, 2004). This paper presents two juror research studies to examine the difficulties that jurors have in assigning appropriate probative value to DNA evidence when contradictory evidence is presented. Study 1 showed that refuting evidence significantly reduced guilt judgments when exemplars were linguistically cued, even when the probability match and the refuting evidence had the same objective probative value. Moreover, qualitative reason for judgment responses revealed that interpreting refuting evidence was found to be complex and not necessarily reductive; refutation was found indicative of innocence or guilt depending on whether exemplars have been cued or not. Study 2 showed that the introduction of judges’ directions to linguistically cue exemplars, did not increase the impact of refuting evidence beyond its objective probative value, but less guilty verdicts were returned when jurors were instructed to consider all possible explanations of the evidence. The results are discussed in light of contradictory frequentist and exemplar-cueing theoretical positions, and their real-world consequences. (shrink)

The present dissertation investigates certain facets of the logical structure of oughts – where “ought” is used as a noun, roughly meaning obligation. I do so by following two lines of inquiry. The first part of the thesis places oughts in the context of practical rationality. The second part of the thesis concerns the inference rules governing arguments about oughts, and specifically the inference rule of Reasoning by Cases. These two lines of inquiry, together, aim to expound upon oughts (...) in rationality and reasoning. The methodology used in this dissertation is the one of philosophical logic, in which logical, qualitative models are developed to support and foster conceptual analysis. The dissertation consists of four main chapters. The first two chapters are devoted to the role of oughts in practical rationality. I focus on the so-called Enkratic principle of rationality, which – in its most general formulation – requires that if an agent believes sincerely and with conviction that she ought to do X, then she intends to X. I develop a logical framework to investigate the (static and dynamic) relation between those oughts believed by the agent and her intentions. It is shown that, under certain minimal assumptions, the Enkratic principle of rationality is a principle of limited validity. The following two chapters of the dissertation constitute a study of the classical inference rule of Reasoning by Cases, which – in its simplest form – moves from the premises “A or B”, “if A then C” and “if B then C” to the conclusion “C”. Recent literature has called the validity of Reasoning by Cases into question, with the most influential counterexample being the so-called Miners’ Puzzle – an instance of Reasoning by Cases where “C” involves oughts. I provide a unifying explanation of why the Miners’ Puzzle emerges. It is shown that, within specific boundaries, Reasoning by Cases is a valid inference rule. (shrink)

The mental rotation ability is an essential spatial reasoning skill in human cognition and has proven to be an essential predictor of mathematical and STEM skills, critical and computational thinking. Despite its importance, little is known about when and how mental rotation processes are activated in games explicitly targeting spatial reasoning tasks. In particular, the relationship between spatial abilities and TetrisTM has been analysed several times in the literature. However, these analyses have shown contrasting results (...) between the effectiveness of Tetris-based training activities to improve mental rotation skills. In this work, we studied whether, and under what conditions, such ability is used in the TetrisTM game by explicitly modelling mental rotation via an ACT-R based cognitive model controlling a virtual agent. The obtained results show meaningful insights into the activation of mental rotation during game dynamics. The study suggests the necessity to adapt game dynamics in order to force the activation of this process and, therefore, can be of inspiration to design learning activities based on TetrisTM or re-design the game itself to improve its educational effectiveness. (shrink)

The vividness of mental imagery is epistemically relevant. Intuitively, vivid and intense memories are epistemically better than weak and hazy memories, and using a clear and precise mental image in the service of spatial reasoning is epistemically better than using a blurry and imprecise mental image. But how is vividness epistemically relevant? I argue that vividness is higher-order evidence about one’s epistemic state, rather than first-order evidence about the world. More specifically, the vividness of a mental image is (...) higher-order evidence about the amount of first-order information one has about its subject matter. When vividness is sufficiently low, it can give one reason to doubt the epistemic basis of the mental image and thereby act as a defeater. This account has important implications for theorizing about the epistemic roles of memory, imagination, mental imagery, and phenomenal consciousness. (shrink)

The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certain portion of spatial reality as it exists at a certain (idealized) instant of time. But unlike other maps, the FMA comes in the form of a sophisticated ontology of its objectdomain, comprising some 1.5 million statements of anatomical relations among some 70,000 anatomical (...) kinds. It is further distinguished from other maps in that it represents not some specific portion of spatial reality (say: Leeds in 1996), but rather the generalized or idealized spatial reality associated with a generalized or idealized human being at some generalized or idealized instant of time. It will be our concern in what follows to outline the approach to ontology that is represented by the FMA and to argue that it can serve as the basis for a new type of anatomical information science. We also draw some implications for our understanding of spatial reasoning and spatial ontologies in general. (shrink)

This paper proceeds in two parts. In the first part, I set out Fodor’s concerns about abduction in his recent books, The Mind Doesn’t Work That Way and In Critical Condition. In the second part, I attempt to meet these concerns by suggesting how - within the framework of the Massive Modularity Hypothesis - abduction functions, specifically in the context of means-end reasoning to connect Input Modules and Output Modules. My suggestion will be that natural selection is the Mother (...) of Abductive Inference and that it is evidenced in all sorts of sub-doxastic Means-End Reasoning contexts and for a variety of species. I will eventually discuss two representative cases to illustrate this suggestion: namely, dead reckoning and spatial reorientation. (shrink)