One important role of belief systems is to allow us to represent information about a certain domain of inquiry. This paper presents a formal framework to accommodate such information representation. Three cognitive models to represent information are discussed: conceptual spaces, state-spaces, and the problem spaces familiar from artificial intelligence. After indicating their weakness to deal with partial information, it is argued that an alternative, formulated in terms of partial structures, can be provided which not only captures the positive (...) features of these models, but also accommodates the partiality of information ubiquitous in science and mathematics. (shrink)

We argue that constructive maximality [P. Martin-Löf, Notes on Constructive Mathematics, Almqvist and Wicksell, Stockholm, 1970] can with advantage be employed in the study of maximal point spaces, and related questions in quantitative domain theory. The main result concerns partial metrizability of ω-continuous domains.

The class of points in a set-presented formal topology is a set, if all points are maximal. To prove this constructively a strengthening of the dependent choice principle to infinite well-founded trees is used.

Partiality is the special concern that we display for ourselves and other people with whom we stand in some special personal relationship. It is a central theme in moral philosophy, both ancient and modern. Questions about the justification of partiality arise in the context of enquiry into several moral topics, including the good life and the role in it of our personal commitments; the demands of impartial morality, equality, and other moral ideals; and commonsense ideas about supererogation. This paper provides (...) an overview of the debate on the ethics of partiality through the lens of the domains of permissible and required partiality. After outlining the conceptual space, I first discuss agent-centred moral options that concern permissions not to do what would be impartially optimal. I then focus on required partiality, which concerns associative duties that go beyond our general duties to others and require us to give special priority to people who are close to us. I discuss some notable features of associative duties and the two main objections that have been raised against them: the Voluntarist and the Distributive objections. I then turn to the justification of partiality, focusing on underivative approaches and reasons-based frameworks. I discuss the reductionism and non-reductionism debate: the question whether partiality is derivative or fundamental. I survey arguments for ‘the big three’, according to which partiality is justified by appeal to the special value of either projects, personal relationships, or individuals. I conclude by discussing four newly emerging areas in the debate: normative transitions of various personal relationships, relationships with AI, epistemic partiality, and negative partiality, which concerns the negative analogue of our positive personal relationships. (shrink)

In this paper, we introduce the notion of S ∗ p -partial metric spaces which is a generalization of S-metric spaces and partial-metric spaces. Also, we give some of the topological properties that are important in knowing the convergence of the sequences and Cauchy sequence. Finally, we study a new common fixed point theorems in this spaces.

Virtue theories can plausibly be argued to have important advantages over normative ethical theories which prescribe a strict impartialism in moral judgment, or which neglect people’s special roles and relationships. However, there are clear examples of both virtuous and vicious partiality in people’s moral judgments, and virtue theorists may struggle to adequately distinguish them, much as proponents of other normative ethical theories do. This paper first adapts the “expanding moral circle” concept and some literary examples to illustrate the difficulty of (...) adequately distinguishing virtuous from vicious partiality. Later sections aim to show how an adequate philosophical ethics will be able to both a) attribute virtue (and hence praiseworthiness) to agents whose actions may directly serve only their special interests, roles, or special relationships; and b) attribute vice (and hence censure) where an agent’s attitudes and/or actions mirror known personal biases (for instance, an egoistic attitude) or social biases (for instance, and ethnocentric attitude). This dual ability leaves space for much virtuous partiality, while also reflecting a “risk-aware” approach, recognizing the deleterious consequences of our human penchant for constructing and imbuing moral significance to oftentimes factitious us/them dichotomies. (shrink)

Partial/particular will (al-irādah al-juz’iyyah) and the creation of human acts are two issues related to the predestination belief. Nowadays, it is unarguably accepted that humans have volition. However, the controversy over the formation steps of human will and act does not seem to be settled. Māturīdīs’ approach, taken with the intent to allow some space for freedom for humans in their actions and based on the partial will and postulation that there is a part in human actions (...) that are not created nor subject to creation, could not be understood at times. When it comes to misunderstandings of this kind, Sadr al-Sharī‘a and Ibn al-Humām, who are among the Hanafī-Māturīdī kalam scholars, are mentioned. Both mutakallims are some of the eminent figures who left their marks on the Hanafī-Māturīdī school. They affected a significant number of scholars coming after them by the authentic ideas they presented. However, even though neither Sadr al-Sharī‘a nor Ibn al-Humām did regard humans as creators of their own actions, they are confronted with an accusation as if they vitiated the fact that God is the Absolute Creator. Therefore, it is of grave importance to reveal Sadr al-Sharī‘a’s ideas, which are represented in his “Four Premises” concerning the formation of an act and Ibn Humām’s thoughts put forward in his “Ījādu al-‘Azm al-Musammamah” and “Takhsīsu Irādah al-Juz’iyyah.”. (shrink)

According to a prominent thought, in one’s practical reasoning one should rely only on what one knows. Yet for many choices, the relevant information is uncertain. This has led Schiffer to the following objection: oftentimes, we are fully rational in reasoning from uncertain premises which we do not know. For example, we may decide to take an umbrella based on a 0.4 credence that it will rain. There are various ways proponents of a knowledge norm for practical reasoning can respond. (...) One option is to say that the right way of dealing with uncertain information requires knowledge of probabilities. Another option is to say that credences can be knowledge because they really are beliefs with an unusual kind of content that consists of a set of probability spaces. Mixed accounts are possible as well. On neither of the accounts in the literature, however, can reasoning from uncertain premises be taken as reasoning based on a graded attitude, a credence, toward an ordinary proposition. To make room for this possibility, I argue that reliance comes in degrees. The knowledge norm is only plausible when taken to be concerned with full reliance.Partial reliance, on the other hand, goes hand in hand with credence. (shrink)

We establish some results on the Borel and difference hierarchies in φ-spaces. Such spaces are the topological counterpart of the algebraic directed-complete partial orderings. E.g., we prove analogs of the Hausdorff Theorem relating the difference and Borel hierarchies and of the Lavrentyev Theorem on the non-collapse of the difference hierarchy. Some of our results generalize results of A. Tang for the space Pω. We also sketch some older applications of these hierarchies and present a new application to the (...) question of characterizing the ω-ary Boolean operations generating a given level of the Wadge hierarchy from the open sets. (shrink)

We consider a normal-form game in which there is a single exogenously given coalition of cooperating players that can write a binding agreement on pre-selected actions. The actions representing other dimensions of the strategy space remain under the sovereign, individual control of the players. We consider a standard extension of the Nash equilibrium concept denoted as a partial cooperative equilibrium as well as an equilibrium concept in which the coalition of cooperators has a leadership position. Existence results are (...) stated and we identify conditions under which the various equilibrium concepts are equivalent. We apply this framework to existing models of multi-market oligopolies and international pollution abatement. In a multi-market oligopoly, typically, a merger paradox emerges in the partial cooperative equilibrium. The paradox vanishes if the cartel attains a leadership position. For international pollution abatement treaties, cooperation by a sufficiently large group of countries results in a Pareto improvement over the standard tragedy of the commons outcome described by the Nash equilibrium. (shrink)

We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.

This paper explores the scientific viability of the concept of causality—by questioning a central element of the distinction between “fundamental” and non-fundamental physics. It will be argued that the prevalent emphasis on fundamental physics involves formalistic and idealized partial models of physical regularities abstracting from and idealizing the causal evolution of physical systems. The accepted roles of partial models and of the special sciences in the growth of knowledge help demonstrate proper limitations of the concept of fundamental physics. (...) We expect that a cause precedes its effect. But in some tension with this point, fundamental physical law is often held to be symmetrical and all-encompassing. Physical time, however, has not only measurable extension, as with spatial dimensions, it also has a direction—from the past through the present into the future. This preferred direction is time’s arrow. In spite of this standard contrast of time with space, if all the fundamental laws of physics are symmetrical, they are indifferent to time’s arrow. In consequence, excessive emphasis on the ideal of symmetrical, fundamental laws of physics generates skepticism regarding the common-sense and scientific uses of the concept of causality. The expectation has been that all physical phenomena are capable of explanation and prediction by reference to fundamental physicals laws—so that the laws and phenomena of statistical thermodynam- ics —and of the special sciences—must be derivative and/or secondary. The most important and oft repeated explanation of time’s arrow, however, is provided by the second law of thermodynamics. This paper explores the prospects for time’s arrow based on the second law. The concept of causality employed here is empirically based, though acknowledging practical scientific interests, and is linked to time’s arrow and to the thesis that there can be no causal change, in any domain of inquiry, without physical interaction. (shrink)

Historically, nonclassical physics developed in three stages. First came a collection of ad hoc assumptions and then a cookbook of equations known as "quantum mechanics". The equations and their philosophical underpinnings were then collected into a model based on the mathematics of Hilbert space. From the Hilbert space model came the abstaction of "quantum logics". This book explores all three stages, but not in historical order. Instead, in an effort to illustrate how physics and abstract mathematics influence each (...) other we hop back and forth between a purely mathematical development of Hilbert space, and a physically motivated definition of a logic, partially linking the two throughout, and then bringing them together at the deepest level in the last two chapters. This book should be accessible to undergraduate and beginning graduate students in both mathematics and physics. The only strict prerequisites are calculus and linear algebra, but the level of mathematical sophistication assumes at least one or two intermediate courses, for example in mathematical analysis or advanced calculus. No background in physics is assumed. (shrink)

Hermann von Helmholtz’s geometrical papers have been typically deemed to provide an implicitly group-theoretical analysis of space, as articulated later by Felix Klein, Sophus Lie, and Henri Poincaré. However, there is less agreement as to what properties exactly in such a view would pertain to space, as opposed to abstract mathematical structures, on the one hand, and empirical contents, on the other. According to Moritz Schlick, the puzzle can be resolved only by clearly distinguishing the empirical qualities of (...) spatial perception from those describable in terms of axiomatic geometry. This paper offers a partial defense of the group-theoretical reading of Helmholtz along the lines of Ernst Cassirer in the fourth volume of The Problem of Knowledge of 1940. In order to avoid the problem raised by Schlick, Cassirer relied on a Kantian view of space not so much as an object of geometry, but as a precondition for the possibility of measurement. Although the concept of group does not provide a description of space, the modern way to articulate the concept of space in terms of transformation groups reveals something about the structure and the transformation of spatial concepts in mathematical and natural sciences. (shrink)

In examples like the total recursive functions or the computable real numbers the canonical indexings are only partial maps. It is even impossible in these cases to find an equivalent total numbering. We consider effectively given topological T 0 -spaces and study the problem in which cases the canonical numberings of such spaces can be totalized, i.e., have an equivalent total indexing. Moreover, we show under very natural assumptions that such spaces can effectively and effectively homeomorphically be embedded into (...) a totally indexed algebraic partial order that is closed under the operation of taking least upper bounds of enumerable directed subsets. (shrink)

The total and the sharp character of orthodox quantum logic has been put in question in different contexts. This paper presents the basic ideas for a unified approach to partial and unsharp forms of quantum logic. We prove a completeness theorem for some partial logics based on orthoalgebras and orthomodular posets. We introduce the notion of unsharp orthoalgebra and of generalized MV algebra. The class of all effects of any Hilbert space gives rise to particular examples of (...) these structures. Finally, we investigate the relationship between unsharp orthoalgebras, generalized MV algebras, and orthomodular lattices. (shrink)

:This article focuses on historical queer cultural geographies of masculinities and to do so it focuses on two cases/places. The first is an archival case/place: a partial assembly of documents of beats and their uses during and in the wake of Gay Liberation in Australia. The second is a literary case/place: Thomas Mann's Death in Venice, a canonical twentieth-century imbrication of male homosexuality and geography. This article will seek to rationalize the mobilization of these two asynchronous cases/places through the (...) insights that both afford, when brought together, for elaborating contributions that queer readings of Nietzsche can make to contemporary queer theories of space, time and masculinities. (shrink)

The different behaviour of total and partial numberings with respect to the reducibility preorder is investigated. Partial numberings appear quite naturally in computability studies for topological spaces. The degrees of partial numberings form a distributive lattice which in the case of an infinite numbered set is neither complete nor contains a least element. Friedberg numberings are no longer minimal in this situation. Indeed, there is an infinite descending chain of non-equivalent Friedberg numberings below every given numbering, as (...) well as an uncountable antichain. (shrink)

Development strategy of using modern portfolio theory focused on the short term. However, macroeconomic uncertainty and geopolitical environment makes their use ineffective. And challenge is to provide a reasonable balance between the short and long term profitability. Another issue, which is to some extent related to the previous observation is the absence in most matrices strategic recommendations for non-standard "behavior" of business units with dynamic analysis. This applies to the use of a relatively new tool matrix approach to development strategies (...) the company and its strategic business units - SPACE-analysis that also takes into account not forecasts of changes in the environment impact on the company. The aim of this paper is to develop methods of portfolio analysis on the basis of SPACE-dynamic analysis and formation of the list of possible strategic initiatives for definite basic trajectories of its strategic business units energy holding DTEK. Methods. SPACE-analysis, analytic hierarchy process, expert analysis. Results. The authors proposed a methodological approach to the implementation of dynamic SPACE-analysis company. The technique involves a strategic segmentation of the company, the formation of an expert group to assess reliable energy holding the current forecast period and on four aspects of SPACE-analysis. Also, using the analytic hierarchy determined by weighting the partial evaluation criteria. Methodology offers a "weighting" expert estimates within a particular group of partial criteria: sectors to "competitive advantage" and "stability branch" scale ratings is positive. The next phase involves the construction of vectors for the current and projected state holding that can be placed in one of four quadrants. Each quadrant has 4 basic strategic trajectory states, they can also be interpreted as a strategic gaps. In other words diagnosis of trajectories allows to identify and evaluate strategic gaps company or its individual business units according to specific criteria and receive partial numerical values of generalized gaps on key evaluation criteria. Conclusions. The authors matrix formed strategic decisions SPACE-dynamic analysis. The article graphically interpreted SPACE-analysis for the energy holding in three strategic business units. The study offers an integrated approach to the definition of policy recommendations for each strategic unit based on an analysis of superposition defined basic trajectories. S-trajectory or S-vectors can be represented as the sum of two vectors : numbers and appropriate call intensity factors relevant basic trajectories since their values determine the degree of contribution of each of these basic paths in the integrated S-vector is a vector strategic set of strategic business units to achieve strategic objectives, transfered into numerical form by partial criteria by expert predictive testing. These coefficients also make it possible to calculate the value of integrated strategic gaps generalized criteria. (shrink)

This paper has four parts. In the first part, I present Leniewski's protothetics and the complete system provided for that logic by Henkin. The second part presents a generalized notion of partial functions in propositional type theory. In the third part, these partial functions are used to define partial interpretations for protothetics. Finally, I present in the fourth part a complete system for partial protothetics. Completeness is proved by Henkin's method [4] using saturated sets instead of (...) maximally saturated sets. This technique provides a canonical representation of a partial semantic space and it is suggested that this space can be interpreted as an epistemic state of a non-omniscient agent. (shrink)

One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions about the space of worlds, most (...) of the propositions which can be constructed from possible and impossible worlds are in an important sense inexpressible; leaving the probabilistic model committed to saying that agents in general have at least as many attitudes towards inexpressible propositions as they do towards expressible propositions. If it is reasonable to think that our attitudes are generally expressible, then a model with such commitments looks problematic. (shrink)

All spaces are assumed to be separable and metrizable. We show that, assuming the Axiom of Determinacy, every zero-dimensional homogeneous space is strongly homogeneous (i.e. all its non-empty clopen subspaces are homeomorphic), with the trivial exception of locally compact spaces. In fact, we obtain a more general result on the uniqueness of zero-dimensional homogeneous spaces which generate a given Wadge class. This extends work of van Engelen (who obtained the corresponding results for Borel spaces), complements a result of van (...) Douwen, and gives partial answers to questions of Terada and Medvedev. (shrink)

We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results from effective descriptive set theory and recursion theory. In fact it is essential to extend several prominent results in recursion theory (e.g. the Shore-Slaman Join Theorem) to the setting of Polish spaces. As a by-product we give both positive and (...) negative results on the Martin Conjecture on the degree preserving Borel functions between Polish spaces. Additionally we prove results about the transfinite version as well as the computable version of the Decomposability Conjecture. (shrink)

The Bohm-Bub hidden-variable theory is able to predict the results of measuring a quantum system only in the special case where the set of commuting observables being measured is complete. To handle the much more common case where the set is incomplete, Tutsch has proposed a generalization of the Bohm-Bub model. Unfortunately, as we show here, Tutsch's original method does not yield the correct quantum mechanical transition probabilities. On the other hand, Belinfante's modification of Tutsch's method does yield the correct (...) probabilities, and it gives a satisfactory hidden-variable theory of partial measurement for the case where one or more commuting variable(s) are measured at a single space-time point. In the case where the variables are measured at different space-time points, the theory is inadequate, due to the fact that it is not relativistically covariant, and does not take relaxation of the hidden variables into account. (shrink)

The Nature of Space is a translation of pioneering geographer Milton Santos' A Natureza do Espaço, originally published in Brazil in 1996. The book offers a theory of human space based on relationships between time and ontology, producing a system of ideas that can catalyze a descriptive and interpretive system of geography. Santos argues that when geographers consider the inseparability of time and space, they can then transcend fragmented realities and partial truths without trying to philosophize (...) or theorize their way around them. Based on these premises, The Nature of Space seeks to examine the role of space, defined as indissoluble systems of objects and systems of actions in social processes, and provide a geographic contribution to the production of a critical social theory. (shrink)

The extended mind thesis (EM) asserts that some cognitive processes are (partially) composed of actions consisting of the manipulation and exploitation of environmental structures. Might some processes at the root of social cognition have a similarly extended structure? In this paper, I argue that social cognition is fundamentally an interactive form of space management—the negotiation and management of ‘‘we-space”—and that some of the expressive actions involved in the negotiation and management of we-space (gesture, touch, facial and whole-body (...) expressions) drive basic processes of interpersonal understanding and thus do genuine social-cognitive work. Social interaction is a kind of extended social cognition, driven and at least partially constituted by environmental (non-neural) scaffolding. Challenging the Theory of Mind paradigm, I draw upon research from gesture studies, developmental psychology, and work on Moebius Syndrome to support this thesis. (shrink)

We give strengthened versions of the Herwig–Lascar and Hodkinson–Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of the extension property for partial automorphisms for certain Fraïssé classes. We deduce from these results that the isometry group of the rational Urysohn space, the automorphism group of the Fraïssé limit of any Fraïssé class that is the class of all ${\cal (...) F}$-free structures, and the automorphism group of any free homogeneous structure over a finite relational language all contain a dense locally finite subgroup. We also show that any free homogeneous structure admits ample generics. (shrink)

Cognitive impenetrability (CI) of a large part of visual perception is taken for granted by those of us in the field of computational vision who attempt to recover descriptions of space using geometry and statistics as tools. These tools clearly point out, however, that CI cannot extend to the level of structured descriptions of object surfaces, as Pylyshyn suggests. The reason is that visual space – the description of the world inside our heads – is a nonEuclidean curved (...) space. As a consequence, the only alternative for a vision system is to develop several descriptions of space–time; these are representations of reduced intricacy and capture partial aspects of objective reality. As such, they make sense in the context of a class of tasks/actions/plans/purposes, and thus cannot be cognitively impenetrable. (shrink)

We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers [Formula: see text] on [Formula: see text] as the prototype structures, we construct a class of continuum many topological Ramsey spaces [Formula: see text] which are Ellentuck-like in nature, and form a linearly ordered hierarchy under projections. We prove new Ramsey-classification theorems for equivalence relations on fronts, and hence also on barriers, on the spaces [Formula: see text], extending the Pudlák–Rödl theorem for barriers on the Ellentuck (...) space. The inspiration for these spaces comes from continuing the iterative construction of the forcings [Formula: see text] to the countable transfinite. The [Formula: see text]-closed partial order [Formula: see text] is forcing equivalent to [Formula: see text], which forces a non-p-point ultrafilter [Formula: see text]. This work forms the basis for further work classifying the Rudin–Keisler and Tukey structures for the hierarchy of the generic ultrafilters [Formula: see text]. (shrink)

A general method for constructing a new class of topological Ramsey spaces is presented. Members of such spaces are infinite sequences of products of Fraïssé classes of finite relational structures satisfying the Ramsey property. The Product Ramsey Theorem of Sokič is extended to equivalence relations for finite products of structures from Fraïssé classes of finite relational structures satisfying the Ramsey property and the Order-Prescribed Free Amalgamation Property. This is essential to proving Ramsey-classification theorems for equivalence relations on fronts, generalizing the (...) Pudlák–Rödl Theorem to this class of topological Ramsey spaces. To each topological Ramsey space in this framework corresponds an associated ultrafilter satisfying some weak partition property. By using the correct Fraïssé classes, we construct topological Ramsey spaces which are dense in the partial orders of Baumgartner and Taylor generating p-points which are k-arrow but not \-arrow, and in a partial order of Blass producing a diamond shape in the Rudin-Keisler structure of p-points. Any space in our framework in which blocks are products of n many structures produces ultrafilters with initial Tukey structure exactly the Boolean algebra \\). If the number of Fraïssé classes on each block grows without bound, then the Tukey types of the p-points below the space’s associated ultrafilter have the structure exactly \. In contrast, the set of isomorphism types of any product of finitely many Fraïssé classes of finite relational structures satisfying the Ramsey property and the OPFAP, partially ordered by embedding, is realized as the initial Rudin-Keisler structure of some p-point generated by a space constructed from our template. (shrink)

We analyse the connection between the computability and continuity of functions in the case of homomorphisms between topological algebraic structures. Inspired by the Pour-El and Richards equivalence theorem between computability and boundedness for closed linear operators on Banach spaces, we study the rather general situation of partial homomorphisms between metric partial universal algebras. First, we develop a set of basic notions and results that reveal some of the delicate algebraic, topological and effective properties of partial algebras. Our (...) main computability concepts are based on numerations and include those of effective metric partial algebras and effective partial homomorphisms. We prove a general equivalence theorem that includes a version of the Pour-El and Richards Theorem, and has other applications. Finally, the Pour-El and Richards axioms for computable sequence structures on Banach spaces are generalised to computable partial sequence structures on metric algebras, and we prove their equivalence with our computability model based on numerations. (shrink)

The recently developed technique of Bohrification associates to a (unital) C*-algebra Athe Kripke model, a presheaf topos, of its classical contexts;in this Kripke model a commutative C*-algebra, called the Bohrification of A;the spectrum of the Bohrification as a locale internal in the Kripke model. We propose this locale, the ‘state space’, as a (n intuitionistic) logic of the physical system whose observable algebra is A.We compute a site which externally captures this locale and find that externally its points may (...) be identified with partial measurement outcomes. This prompts us to compare Scott-continuity on the poset of contexts and continuity with respect to the C*-algebra as two ways to mathematically identify measurement outcomes with the same physical interpretation. Finally, we consider the not-not-sheafification of the Kripke model on classical contexts and obtain a space of measurement outcomes which for commutative C*-algebras coincides with the spectrum. The construction is functorial on the category of C*-algebras with commutativity reflecting maps. (shrink)

We analyse the connection between the computability and continuity of functions in the case of homomorphisms between topological algebraic structures. Inspired by the Pour-El and Richards equivalence theorem between computability and boundedness for closed linear operators on Banach spaces, we study the rather general situation of partial homomorphisms between metric partial universal algebras. First, we develop a set of basic notions and results that reveal some of the delicate algebraic, topological and effective properties of partial algebras. Our (...) main computability concepts are based on numerations and include those of effective metric partial algebras and effective partial homomorphisms. We prove a general equivalence theorem that includes a version of the Pour-El and Richards Theorem, and has other applications. Finally, the Pour-El and Richards axioms for computable sequence structures on Banach spaces are generalised to computable partial sequence structures on metric algebras, and we prove their equivalence with our computability model based on numerations. (shrink)

In this paper we recall, improve, and extend several definitions, properties and applications of our previous 2019 research referred to NeutroAlgebras and AntiAlgebras (also called NeutroAlgebraic Structures and respectively AntiAlgebraic Structures). Let <A> be an item (concept, attribute, idea, proposition, theory, etc.). Through the process of neutrosphication, we split the nonempty space we work on into three regions {two opposite ones corresponding to <A> and <antiA>, and one corresponding to neutral (indeterminate) <neutA> (also denoted <neutroA>) between the opposites}, which (...) may or may not be disjoint – depending on the application, but they are exhaustive (their union equals the whole space). A NeutroAlgebra is an algebra which has at least one NeutroOperation or one NeutroAxiom (axiom that is true for some elements, indeterminate for other elements, and false for the other elements). A Partial Algebra is an algebra that has at least one Partial Operation, and all its Axioms are classical (i.e. axioms true for all elements). Through a theorem we prove that NeutroAlgebra is a generalization of Partial Algebra, and we give examples of NeutroAlgebras that are not Partial Algebras. We also introduce the NeutroFunction (and NeutroOperation). (shrink)

We show that the enveloping space \ of a partial action of a Polish group G on a Polish space \ is a standard Borel space, that is to say, there is a topology \ on \ such that \\) is Polish and the quotient Borel structure on \ is equal to \\). To prove this result we show a generalization of a theorem of Burgess about Borel selectors for the orbit equivalence relation induced by a (...) group action and also show that some properties of the Vaught’s transform are valid for partial actions of groups. (shrink)

One of central problems in the theory of conditionals is the construction of a probability space, where conditionals can be interpreted as events and assigned probabilities. The problem has been given a technical formulation by van Fraassen (23), who also discussed in great detail the solution in the form of Stalnaker Bernoulli spaces. These spaces are very complex – they have the cardinality of the continuum, even if the language is finite. A natural question is, therefore, whether a technically (...) simpler (in particular finite) partial construction can be given. In the paper we provide a new solution to the problem. We show how to construct a finite probability space $$\mathrm {S}^\#=\left(\mathrm\Omega^\#,\mathrm\Sigma^\#,\mathrm P^\#\right)$$ S # = Ω #, Σ #, P # in which simple conditionals and their Boolean combinations can be interpreted. The structure is minimal in terms of cardinality within a certain, naturally defined class of models – an interesting side-effect is an estimate of the number of non-equivalent propositions in the conditional language. We demand that the structure satisfy certain natural assumptions concerning the logic and semantics of conditionals and also that it satisfy PCCP. The construction can be easily iterated, producing interpretations for conditionals of arbitrary complexity. (shrink)

This article contends that an ethics of care has a particular moral ontology that makes it suitable to argue for the normative significance of relational responsibilities within professional health care. This ontology is relational. It means that moral choices always have to account for the web of relationships, the relational networks and responsibilities that are an essential part of particular moral circumstances. Given this ontology, the article investigates the conditions for health care professionals to be partial and to act (...) on the basis of particular responsibilities to their patients. We will argue that priorities could be partial in three ways: first, because there may be exceptional circumstances that allow for giving priority to one patient over another; second, because the integrity of the patient and a health care worker may be connected in special ways; and, finally, even if impartiality is essential, the institutional basis of health care must always give ample space for an ethically qualified individual and personal care for patients. Even if difficult priorities may be necessary, the conditions of institutional health care should always seek to create the prerequisites for nurses and doctors to administer proper care. (shrink)

This paper explores the scientific viability of the concept of causality—by questioning a central element of the distinction between “fundamental” and non-fundamental physics. It will be argued that the prevalent emphasis on fundamental physics involves formalistic and idealized partial models of physical regularities abstracting from and idealizing the causal evolution of physical systems. The accepted roles of partial models and of the special sciences in the growth of knowledge help demonstrate proper limitations of the concept of fundamental physics. (...) We expect that a cause precedes its effect. But in some tension with this point, fundamental physical law is often held to be symmetrical and all-encompassing. Physical time, however, has not only measurable extension, as with spatial dimensions, it also has a direction—from the past through the present into the future. This preferred direction is time’s arrow. In spite of this standard contrast of time with space, if all the fundamental laws of physics are symmetrical, they are indifferent to time’s arrow. In consequence, excessive emphasis on the ideal of symmetrical, fundamental laws of physics generates skepticism regarding the common-sense and scientific uses of the concept of causality. The expectation has been that all physical phenomena are capable of explanation and prediction by reference to fundamental physicals laws—so that the laws and phenomena of statistical thermodynamics—and of the special sciences—must be derivative and/or secondary. The most important and oft repeated explanation of time’s arrow, however, is provided by the second law of thermodynamics. This paper explores the prospects for time’s arrow based on the second law. The concept of causality employed here is empirically based, though acknowledging practical scientific interests, and is linked to time’s arrow and to the thesis that there can be no causal change, in any domain of inquiry, without physical interaction. (shrink)

Kantian philosophy of space, time and gravity is significantly affected in three ways by particle physics. First, particle physics deflects Schlick’s General Relativity-based critique of synthetic a priori knowledge. Schlick argued that since geometry was not synthetic a priori, nothing was—a key step toward logical empiricism. Particle physics suggests a Kant-friendlier theory of space-time and gravity presumably approximating General Relativity arbitrarily well, massive spin-2 gravity, while retaining a flat space-time geometry that is indirectly observable at large distances. (...) The theory’s roots include Seeliger and Neumann in the 1890s and Einstein in 1917 as well as 1920s–1930s physics. Such theories have seen renewed scientific attention since 2000 and especially since 2010 due to breakthroughs addressing early 1970s technical difficulties. Second, particle physics casts additional doubt on Friedman’s constitutive a priori role for the principle of equivalence. Massive spin-2 gravity presumably should have nearly the same empirical content as General Relativity while differing radically on foundational issues. Empirical content even in General Relativity resides in partial differential equations, not in an additional principle identifying gravity and inertia. Third, Kant’s apparent claim that Newton’s results could be known a priori is undermined by an alternate gravitational equation. The modified theory has a smaller symmetry group than does Newton’s. What Kant wanted from Newton’s gravity is impossible due its large symmetry group, but is closer to achievable given the alternative theory. (shrink)

This paper examines the discourse of war from a semiotic point of view and suggests some ideas for the development of practices of resistance to it. The discourse of war can be considered symptomatic in respect to underlying discourses of totality such as globalisation. By aiming at explanatory simplification, this kind of discourse takes the paradoxical form of an exhaustive paradigm which always engenders a residuum to be eliminated. Semiotics can develop practices of resistance to the discourse of war by (...) operating on the syntagmatic chains generated by its mediatic agencies. These practices are based on the postmodernist critique of totalising discourses. A process in which details are disconnected from the mediatic chains where they vanish might trigger the opening of a space of community that makes the residuum of war discourse presentable through metaphorical substitutions. Semiotic practices of resistance to the discourse of war presuppose a shift in theory from the paradigm of globality to that of partiality. Partiality must be understood both from a political and an epistemological point of view and it could therefore represent an important element in the development of a semioethics. (shrink)

Not much attention has been paid to Malebranche’s philosophy of time. Scholars who have written on it have typically written about it only in passing, and by and large discuss it only in relation to his philosophy of religion. This is appropriate insofar as Malebranche doesn’t discuss his views of time in isolation from his religious metaphysics. I argue that Malebranche’s conception of how created beings have their properties commits him to saying that God is omnitemporal rather than atemporal. For (...) just as bodies get their spatiality by participating in God’s omnipresence, so all creatures get their temporality by participating in God’s omnitemporality. Moreover, Malebranche is a substantivalist about space and time: infinite space and time are one and the same divinely simple substance, God (partially considered), who contains the world. My exploration of Malebranche’s metaphysics sheds light on his views of eminent containment, participation, and causation. (shrink)

Significant research has been devoted to detecting people in images and videos. In this paper we describe a human de- tection method that augments widely used edge-based fea- tures with texture and color information, providing us with a much richer descriptor set. This augmentation results in an extremely high-dimensional feature space (more than 170,000 dimensions). In such high-dimensional spaces, classical machine learning algorithms such as SVMs are nearly intractable with respect to training. Furthermore, the number of training samples is (...) much smaller than the dimensionality of the feature space, by at least an order of magnitude. Finally, the extraction of features from a densely sampled grid structure leads to a high degree of multicollinearity. To circumvent these data characteristics, we employ Partial Least Squares (PLS) analysis, an effi- cient dimensionality reduction technique, one which pre- serves significant discriminative information, to project the data onto a much lower dimensional subspace (20 dimen- sions, reduced from the original 170,000). Our human de- tection system, employing PLS analysis over the enriched descriptor set, is shown to outperform state-of-the-art tech- niques on three varied datasets including the popular INRIA pedestrian dataset, the low-resolution gray-scale Daim- lerChrysler pedestrian dataset, and the ETHZ pedestrian dataset consisting of full-length videos of crowded scenes. (shrink)

This book is concerned with the continuing viability of both Freud and Hegel to the reading of modern literature. The book begins with Julia Kristeva’s attempts to relate Hegelian thought to a psychoanalytically informed conception of semiotics that was first explored in her influential study, The Revolution of Poetic Language, and then modified in later books that develop semiotics in new directions. Kristeva’s agreements and disagreement with Hegel are important to the book’s argument, which ultimately defends Hegel against familiar, poststructuralist (...) detractions. However, the book’s conceptual argument requires a historical exposition, with chapters devoted to literary figures ranging from Spenser to Ishiguro. One of the purposes of the book is to demonstrate that Hegel’s contribution to modern thought is at least partially exhibited in the history of literature, which also corroborates some of the deeper insights of psychoanalysis. (shrink)

In the first part of this contribution, we review the development of the theory of scale relativity and its geometric framework constructed in terms of a fractal and nondifferentiable continuous space-time. This theory leads (i) to a generalization of possible physically relevant fractal laws, written as partial differential equation acting in the space of scales, and (ii) to a new geometric foundation of quantum mechanics and gauge field theories and their possible generalisations. In the second part, we (...) discuss some examples of application of the theory to various sciences, in particular in cases when the theoretical predictions have been validated by new or updated observational and experimental data. This includes predictions in physics and cosmology (value of the QCD coupling and of the cosmological constant), to astrophysics and gravitational structure formation (distances of extrasolar planets to their stars, of Kuiper belt objects, value of solar and solar-like star cycles), to sciences of life (log-periodic law for species punctuated evolution, human development and society evolution), to Earth sciences (log-periodic deceleration of the rate of California earthquakes and of Sichuan earthquake replicas, critical law for the arctic sea ice extent) and tentative applications to systems biology. (shrink)