Online research in philosophy

We define a class of productive σ-ideals of subsets of the Cantor space 2 ω and observe that both σ-ideals of meagre sets and of null sets are in this class. From every productive σ-ideal I we produce a σ-ideal I κ , of subsets of the generalized Cantor space 2 κ . In particular, starting from meagre sets and null sets in 2 ω we obtain meagre sets and null sets in 2 κ , respectively. Then we investigate (...) additivity, covering number, uniformity and cofinality of I κ . For example, we show that non(I = non(I ω 1 ) = non(I ω 2 ). Our results generalizes those from [5]. (shrink)

Although considerations based on contemporary space-time theories, such as special and general relativity, seem highly relevant to the debate about persistence, their significance has not been duly appreciated. My goal in this paper is twofold: (1) to reformulate the rival positions in the debate (i.e., endurantism [three-dimensionalism] and perdurantism [four-dimensionalism, the doctrine of temporal parts]) in the framework of special relativistic space-time; and (2) to argue that, when so reformulated, perdurantism exhibits explanatory advantages over endurantism. The argument builds on the (...) fact that four-dimensional entities extended in space as well as time are relativistically invariant in a way three-dimensional entities are not. (shrink)

Background and assumptions. Persistence and philosophy of time ; Atomism and composition ; Scope ; Some matters of methodology -- Persistence, location, and multilocation in spacetime. Endurance, perdurance, exdurance : some pictures ; More pictures ; Temporal modification and the "problem of temporary intrinsics" ; Persistence, location and multilocation in generic spacetime ; An alternative classification -- Classical and relativistic spacetime. Newtonian spacetime ; Neo-Newtonian (Galilean) spacetime ; Reference frames and coordinate systems ; Galilean transformations in spacetime ; Special relativistic (...) spacetime ; Length contraction and time dilation ; Invariant properties of special relativistic spacetime -- Persisting objects in classical spacetime. Enduring, perduring, and exduring objects in Galilean spacetime ; The argument from vagueness ; From minimal D-fusions to temporal parts ; Motivating a sharp cutoff ; Some objections and replies ; Implications -- Persisting objects in Minkowski spacetime. Enduring, perduring, and exduring objects in Minkowski spacetime ; Flat and curved achronal regions in Minkowski spacetime ; Early reflections on persisting objects in Minkowski spacetime : Quine and Smart ; "Profligate ontology"? ; Is achronal universalism tenable in Minkowski spacetime? ; "Crisscrossing" and immanent causation -- Coexistence in spacetime. The notion of coexistence ; Desiderata ; Coexistence in Galilean spacetime ; Coexistence in Minkowski spacetime : CASH ; Alexandrov-Stein present and Alexandrov-Stein coexistence ; AS-Coexistence v. CASH : symmetry, multigrade, and objectivity ; As-coexistence v. CASH : relevance ; The mixed past of coexistence ; No need in the extended now -- Strange coexistence? Coexistence and existence@ ; The asymmetry thesis ; The absurdity thesis ; Collective CASH value of coexistence ; Collective existence@ and coexistence in classical spacetime ; Collective existence@ and coexistence in Minkowski spacetime ; Contextuality ; Chronological incoherence ; Some objections -- Shapes and other arrangements in Minkowski spacetime. How rigid is a granite block? ; Perspectives in space ; Perspectives in spacetime ; Are shapes intrinsic to objects? ; The causal objection ; The micro-reductive objection ; Pegs, boards, and shapes ; Perduring objects exist. (shrink)

In the dissertation we study the complexity of generalized quantifiers in natural language. Our perspective is interdisciplinary: we combine philosophical insights with theoretical computer science, experimental cognitive science and linguistic theories. -/- In Chapter 1 we argue for identifying a part of meaning, the so-called referential meaning (model-checking), with algorithms. Moreover, we discuss the influence of computational complexity theory on cognitive tasks. We give some arguments to treat as cognitively tractable only those problems which can be computed in polynomial (...) time. Additionally, we suggest that plausible semantic theories of the everyday fragment of natural language can be formulated in the existential fragment of second-order logic. -/- In Chapter 2 we give an overview of the basic notions of generalized quantifier theory, computability theory, and descriptive complexity theory. -/- In Chapter 3 we prove that PTIME quantifiers are closed under iteration, cumulation and resumption. Next, we discuss the NP-completeness of branching quantifiers. Finally, we show that some Ramsey quantifiers define NP-complete classes of finite models while others stay in PTIME. We also give a sufficient condition for a Ramsey quantifier to be computable in polynomial time. -/- In Chapter 4 we investigate the computational complexity of polyadic lifts expressing various readings of reciprocal sentences with quantified antecedents. We show a dichotomy between these readings: the strong reciprocal reading can create NP-complete constructions, while the weak and the intermediate reciprocal readings do not. Additionally, we argue that this difference should be acknowledged in the Strong Meaning hypothesis. -/- In Chapter 5 we study the definability and complexity of the type-shifting approach to collective quantification in natural language. We show that under reasonable complexity assumptions it is not general enough to cover the semantics of all collective quantifiers in natural language. The type-shifting approach cannot lead outside second-order logic and arguably some collective quantifiers are not expressible in second-order logic. As a result, we argue that algebraic (many-sorted) formalisms dealing with collectivity are more plausible than the type-shifting approach. Moreover, we suggest that some collective quantifiers might not be realized in everyday language due to their high computational complexity. Additionally, we introduce the so-called second-order generalized quantifiers to the study of collective semantics. -/- In Chapter 6 we study the statement known as Hintikka's thesis: that the semantics of sentences like ``Most boys and most girls hate each other'' is not expressible by linear formulae and one needs to use branching quantification. We discuss possible readings of such sentences and come to the conclusion that they are expressible by linear formulae, as opposed to what Hintikka states. Next, we propose empirical evidence confirming our theoretical predictions that these sentences are sometimes interpreted by people as having the conjunctional reading. -/- In Chapter 7 we discuss a computational semantics for monadic quantifiers in natural language. We recall that it can be expressed in terms of finite-state and push-down automata. Then we present and criticize the neurological research building on this model. The discussion leads to a new experimental set-up which provides empirical evidence confirming the complexity predictions of the computational model. We show that the differences in reaction time needed for comprehension of sentences with monadic quantifiers are consistent with the complexity differences predicted by the model. -/- In Chapter 8 we discuss some general open questions and possible directions for future research, e.g., using different measures of complexity, involving game-theory and so on. -/- In general, our research explores, from different perspectives, the advantages of identifying meaning with algorithms and applying computational complexity analysis to semantic issues. It shows the fruitfulness of such an abstract computational approach for linguistics and cognitive science. (shrink)

The Hamiltonian structure of General Relativity (GR), for both metric and tetrad gravity in a definite continuous family of space-times, is fully exploited in order to show that: i) the "Hole Argument" can be bypassed by means of a specific "physical individuation" of point-events of the space-time manifold M^4 in terms of the "autonomous degrees of freedom" of the vacuum gravitational field (Dirac observables), while the "Leibniz equivalence" is reduced to differences in the "non-inertial appearances" (connected to gauge variables) of (...) the same phenomena. ii) the chrono-geometric structure of a solution of Einstein equations for given, gauge-fixed, initial data (a "3-geometry" satisfying the relevant constraints on the Cauchy surface), can be interpreted as an "unfolding" in mathematical global time of a sequence of "achronal 3-spaces" characterized by "dynamically determined conventions" about distant simultaneity. This result stands out as an important conceptual difference with respect to the standard chrono-geometrical view of Special Relativity (SR) and allows, in a specific sense, for an "endurantist" interpretations of ordinary physical objects in GR. (shrink)

There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: R.S. (...) Cohen et al. (Eds.), Potentiality, Entanglement, and Passion-at-a-Distance: Quantum Mechanical Studies fo Abner Shimony, Vol. 2, Kluwer Academic Publishers, Great Britain, 1997, pp. 177–190]. Unlike some others in the literature, these notions apply not only to certain nice sets, but to general sets in Rn and other appropriate spaces. We consider some motivations for these concepts and the logical relations between them. It has been argued that d.m.z. is especially appropriate for physical applications, and on Rn with the standard measure, it is strictly stronger than r.a. [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382]. Here we show that this is the only implication that holds among our three decidabilities in that setting. Under arbitrary measures, even this implication fails. Yet for intervals of non-zero length, and more generally, convex sets of non-zero measure, the three concepts are equivalent. (shrink)

We show that a standard axiomatization of mereology is equivalent to the condition that a topological space is discrete, and consequently, any model of general extensional mereology is indistinguishable from a model of set theory. We generalize these results to the Cartesian closed category of convergence spaces.

The best way to conceive semiotical spaces that are not identical to single buildings, such as a cityscape, is to define the place in terms of the activities occurring there. This conception originated in the proxemics of E. T. Hall and was later generalized in the spatial semiotics of Manar Hammad. It can be given a more secure grounding in terms of time geography, which is involved with trajectories in space and time. We add to this a qualitative (...) dimension which is properly semiotic, and which derives from the notion of border, itself a result of the primary semiotic operation of segmentation. Borders, in this sense, are more or less permeable to different kinds of activities, such as gaze, touch, and movement, where the latter are often not physically defined, but characterized in terms of norms. Norms must be understood along the lines of the Prague school, which delineates as scale going from laws in the legal sense to simple rules of thumb. Such considerations have permitted us to define a number of semio-spatial objects as, most notably, the boulevard, considered as an intermediate level of public space, located between the village square and the coffee house presiding over what Habermas called the public sphere. Urbanity originates as a scene on which the gaze, well before the word, mediates between the sexes, the classes, the cultures, and other avatars of otherness. However, this scenario is seriously upset but the emergence of the cell phone and other technical devices, as well as by the movement of populations. (shrink)

The conceptual spaces approach has recently emerged as a novel account of concepts. Its guiding idea is that concepts can be represented geometrically, by means of metrical spaces. While it is generally recognized that many of our concepts are vague, the question of how to model vagueness in the conceptual spaces approach has not been addressed so far, even though the answer is far from straightforward. The present paper aims to fill this lacuna.

A view is put forward, according to which various aspects of the structure of the world as internalized by the brain take the form of “neural spaces,” a concrete counterpart for Shepard's “abstract” ones. Neural spaces may help us understand better both the representational substrate of cognition and the processes that operate on it. [Shepard].

Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ).

We consider a quaternionic quantum formalism for the description of quantum states and quantum dynamics. We prove that generalized quantum measurements on physical systems in quaternionic quantum theory can be simulated by usual quantum measurements with positive operator valued measures on complex Hilbert spaces. Furthermore, we prove that quaternionic quantum channels can be simulated by completely positive trace preserving maps on complex matrices. These novel results map all quaternionic quantum processes to algorithms in usual quantum information theory.

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

This paper offers a novel way of reconstructing conceptual change in empirical theories. Changes occur in terms of the structure of the dimensions—that is to say, the conceptual spaces—underlying the conceptual framework within which a given theory is formulated. Five types of changes are identified: (1) addition or deletion of special laws, (2) change in scale or metric, (3) change in the importance of dimensions, (4) change in the separability of dimensions, and (5) addition or deletion of dimensions. Given (...) this classification, the conceptual development of empirical theories becomes more gradual and rationalizable. Only the most extreme type—replacement of dimensions—comes close to a revolution. The five types are exemplified and applied in a case study on the development within physics from the original Newtonian mechanics to special relativity theory. (shrink)

I show that the contemporary dominant analysis of natural language quantifiers that are one-place determiners by means of binary generalized quantifiers has failed to explain why they are, according to it, conservative. I then present an alternative, Geachean analysis, according to which common nouns in the grammatical subject position are plural logical subject-terms, and show how it does explain that fact and other features of natural language quantification.

We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the non-monotone case is considered. It is argued that to handle quantifier scope dependencies of generalized quantifiers in a satisfying way the dependence atom in Dependence logic is not well suited and that the multivalued dependence atom is a better choice. This atom is in fact (...) definably equivalent to the independence atom recently introduced by Väänänen and Grädel. (shrink)

We study definability of second-order generalized quantifiers. We show that the question whether a second-order generalized quantifier $\sQ_1$ is definable in terms of another quantifier $\sQ_2$, the base logic being monadic second-order logic, reduces to the question if a quantifier $\sQ^{\star}_1$ is definable in $\FO(\sQ^{\star}_2,<,+,\times)$ for certain first-order quantifiers $\sQ^{\star}_1$ and $\sQ^{\star}_2$. We use our characterization to show new definability and non-definability results for second-order generalized quantifiers. In particular, we show that the monadic second-order majority quantifier $\most^1$ (...) is not definable in second-order logic. (shrink)

Several authors proposed to devise logical structures for Natural Language (NL) semantics in which noun phrases yield referential terms rather than standard Generalized Quantifiers. In this view, two main problems arise: the need to refer to the maximal sets of entities involved in the predications and the need to cope with Independent Set (IS) readings, where two or more sets of entities are introduced in parallel. The article illustrates these problems and their consequences, then presents an extension of the (...) proposal made in Sher (J Philos Logic 26:1–43, 1997 ) in order to properly represent the meaning of IS readings involving NL quantifiers. The solution proposed here allows to uniformly deal with both standard linear and IS readings, regardless of their actual existence in NL or quantifiers’ monotonicity. Sentences featuring nested quantifications are particularly problematic. By avoiding parallel nested quantification in the formulae, the proper true values are achieved. (shrink)

We study generalized quantifiers on finite structures.With every function : we associate a quantifier Q by letting Q x say there are at least (n) elementsx satisfying , where n is the sizeof the universe. This is the general form ofwhat is known as a monotone quantifier of type .We study so called polyadic liftsof such quantifiers. The particular lifts we considerare Ramseyfication, branching and resumption.In each case we get exact criteria fordefinability of the lift in terms of simpler (...) quantifiers. (shrink)

“Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.

We investigate the use of coalgebra to represent quantum systems, thus providing a basis for the use of coalgebraic methods in quantum information and computation. Coalgebras allow the dynamics of repeated measurement to be captured, and provide mathematical tools such as final coalgebras, bisimulation and coalgebraic logic. However, the standard coalgebraic framework does not accommodate contravariance, and is too rigid to allow physical symmetries to be represented. We introduce a fibrational structure on coalgebras in which contravariance is represented by indexing. (...) We use this structure to give a universal semantics for quantum systems based on a final coalgebra construction. We characterize equality in this semantics as projective equivalence. We also define an analogous indexed structure for Chu spaces, and use this to obtain a novel categorical description of the category of Chu spaces. We use the indexed structures of Chu spaces and coalgebras over a common base to define a truncation functor from coalgebras to Chu spaces. This truncation functor is used to lift the full and faithful representation of the groupoid of physical symmetries on Hilbert spaces into Chu spaces, obtained in our previous work, to the coalgebraic semantics. (shrink)

Policy makers call upon researchers from the natural and social sciences to collaborate for the responsible development and deployment of innovations. Collaborations are projected to enhance both the technical quality of innovations, and the extent to which relevant social and ethical considerations are integrated into their development. This could make these innovations more socially robust and responsible, particularly in new and emerging scientific and technological fields, such as synthetic biology and nanotechnology. Some researchers from both fields have embarked on collaborative (...) research activities, using various Technology Assessment approaches and Socio-Technical Integration Research activities such as Midstream Modulation. Still, practical experience of collaborations in industry is limited, while much may be expected from industry in terms of socially responsible innovation development. Experience in and guidelines on how to set up and manage such collaborations are not easily available. Having carried out various collaborative research activities in industry ourselves, we aim to share in this paper our experiences in setting up and working in such collaborations. We highlight the possibilities and boundaries in setting up and managing collaborations, and discuss how we have experienced the emergence of ‘collaborative spaces.’ Hopefully our findings can facilitate and encourage others to set up collaborative research endeavours. (shrink)

"The last remnant of physical objectivity of space-time" is disclosed, beyond the Leibniz equivalence, in the case of a continuous family of spatially non-compact models of general relativity. The physical individuation of point-events is furnished by the intrinsic degrees of freedom of the gravitational field, (viz, the "Dirac observables") that represent - as it were - the "ontic" part of the metric field. The physical role of the "epistemic" part (viz. the "gauge" variables) is likewise clarified. At the end, a (...) peculiar four-dimensional "holistic and structuralist" view of space-time emerges which includes elements common to the tradition of both substantivalism and relationism. The observables of our models undergo real "temporal change" and thereby provide a counter-example to the thesis of the "frozen-time" picture of evolution. (shrink)

We describe the (enormous) size of the search space for Dynamic Casual Models and generalizations of them.

The paper focuses on some puzzles about Carnap's intended epistemological point in the "completion" and "generalization" of the Anschauungsraum in sec. II of Der Raum (leaving aside the technical problems which also arise). Since any global structure at all requires that eidetic intuition be supplemented with freely-chosen postulates and/or intuitively unmotivated generalizations, it is unclear, as several authors have pointed out, how and in what sense "intuitive space" as a whole represents a distinctive, a priori contribution to our knowledge. I (...) suggest a way of approaching this issue based on Carnap's sources -- in particular, Husserl and Driesch, both of whom he repeatedly claims to be following. The idea of a severely finite realm of possible intuition, which both requires and allows supplementation with an infinite conceptual structure, is central to Husserl's thought, and, I argue, it would be natural for Carnap to rely on it in attempting to reconcile Husserlian eidetic intuition with the general theory of relativity. That this larger conceptual structure owes its details to free postulation is, on the other hand, decidedly un-Husserlian. But here, I claim, Carnap takes his cue from Driesch's view, in the first edition of the Ordnungslehre, that natural actuality is the result of a certain demand for order: we demand such order in natural things and reject as non-actual (hallucinatory, dreamed, etc.) whatever nature-like elements of experience fail to fit into it. In conclusion I suggest that more radical versions of this particular constellation of ideas provide the key to understanding much of Carnap's later thought. (shrink)

The aim of this article is to contribute to the understanding of the relations existing between, on the one hand, some specific types of built-spaces and, on the other, the manner in which man belonging to a given culture defines a particular way of conceiving andinhabiting the world. The interdependence between the forms of the construction of the human environment and the intellectual and practical articulation of social life has been the object of numerous researches. The focus of this (...) analysis will be, more specifically, on built-spaces that play a decisive role in the shaping of both the forms or orientation of collective life and the underlying worldviews, built-spaces that, in virtue of this two-fold function, deserve to be called world-making. The approach will be diachronical and comparative. I will first reconstruct, on the basis of phenomenology-inspired reading of Mircea Eliade’s works, the representative as well as orientative function of sacred built-space within certain religious traditions and its relations with a specific conception of theworld in general and of the earth-sky relation in particular. Subsequently, I will show that the overthrow of these cosmological and metaphysical beliefs during the scientific revolution, has deprived sacred space of its original meaning, while rendering at once possible and necessary a completely new type of built-space, the laboratory, which exerts, in an utterly different way, a world-making function. In this way, this article develops yet another comparison between the religious conception of the relation between man and the world, and the conception issued by the modern scientific and technological development. (shrink)

This paper deals with a number of technical achievements that are instrumental for a dis-solution of the so-called "Hole Argument" in general relativity. Such achievements include: 1) the analysis of the "Hole" phenomenology in strict connection with the Hamiltonian treatment of the initial value problem. The work is carried through in metric gravity for the class of Christoudoulou-Klainermann space-times, in which the temporal evolution is ruled by the "weak" ADM energy; 2) a re-interpretation of "active" diffeomorphisms as "passive and metric-dependent" (...) dynamical symmetries of Einstein's equations, a re-interpretation which enables to disclose their (up to now unknown) connection to gauge transformations on-shell; understanding such connection also enlightens the real content of the Hole Argument or, better, dis-solves it together with its alleged "indeterminism"; 3) the utilization of the Bergmann-Komar "intrinsic pseudo-coordinates", defined as suitable functionals of the Weyl curvature scalars, as tools for a peculiar gauge-fixing to the super-hamiltonian and super-momentum constraints; 4) the consequent construction of a "physical atlas" of 4-coordinate systems for the 4-dimensional "mathematical" manifold, in terms of the highly non-local degrees of freedom of the gravitational field (its four independent "Dirac observables"). Such construction embodies the "physical individuation" of the points of space-time as "point-events", independently of the presence of matter, and associates a "non-commutative structure" to each gauge fixing or four-dimensional coordinate system; 5) a clarification of the multiple definition given by Peter Bergmann of the concept of "(Bergmann) observable" in general relativity. This clarification leads to the proposal of a "main conjecture" asserting the existence of i) special Dirac's observables which are also Bergmann's observables, ii) gauge variables that are coordinate independent (namely they behave like the tetradic scalar fields of the Newman-Penrose formalism). A by-product of this achievements is the falsification of a recently advanced argument asserting the absence of (any kind of) "change" in the observable quantities of general relativity. 6) a clarification of the physical role of Dirac and gauge variables as their being related to "tidal-like" and "inertial-like" effects, respectively. This clarification is mainly due to the fact that, unlike the standard formulations of the equivalence principle, the Hamiltonian formalism allows to define notion of "force" in general relativity in a natural way; 7) a proposal showing how the physical individuation of point-events could in principle be implemented as an experimental setup and protocol leading to a "standard of space-time" more or less like atomic clocks define standards of time. We conclude that, besides being operationally essential for building measuring apparatuses for the gravitational field, the role of matter in the non-vacuum gravitational case is also that of "participating directly" in the individuation process, being involved in the determination of the Dirac observables. This circumstance leads naturally to a peculiar new kind of "structuralist" view of the general-relativistic concept of space-time, a view that embodies some elements of both the traditional "absolutist" and "relational" conceptions. In the end, space-time point-events maintain a "peculiar sort of objectivity". Some hints following from our approach for the quantum gravity programme are also given. (shrink)

Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.

In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at (...) all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition. -/- This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience. -/- A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths. -/- A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods. -/- The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find. (shrink)

Mental Spaces is the classic introduction to the study of mental spaces and conceptual projection, as revealed through the structure and use of language. It examines in detail the dynamic construction of connected domains as discourse unfolds. The discovery of mental space organization has modified our conception of language and thought: powerful and uniform accounts of superficially disparate phenomena have become available in the areas of reference, presupposition projection, counterfactual and analogical reasoning, metaphor and metonymy, and time and (...) aspect in discourse. The present work lays the foundation for this research. It uncovers simple and general principles that lie behind the awesome complexity of everyday logic. (shrink)

We study the computational complexity of polyadic quantifiers in natural language. This type of quantification is widely used in formal semantics to model the meaning of multi-quantifier sentences. First, we show that the standard constructions that turn simple determiners into complex quantifiers, namely Boolean operations, iteration, cumulation, and resumption, are tractable. Then, we provide an insight into branching operation yielding intractable natural language multi-quantifier expressions. Next, we focus on a linguistic case study. We use computational complexity results to investigate semantic (...) distinctions between quantified reciprocal sentences. We show a computational dichotomy<br>between different readings of reciprocity. Finally, we go more into philosophical speculation on meaning, ambiguity and computational complexity. In particular, we investigate a possibility to<br>revise the Strong Meaning Hypothesis with complexity aspects to better account for meaning shifts in the domain of multi-quantifier sentences. The paper not only contributes to the field of the formal<br>semantics but also illustrates how the tools of computational complexity theory might be successfully used in linguistics and philosophy with an eye towards cognitive science. (shrink)

We examine Gärdenfors’ theory of conceptual spaces, a geometrical form of knowledge representation (Conceptual spaces: The geometry of thought, MIT Press, Cambridge, 2000), in the context of the general Creative Systems Framework introduced by Wiggins (J Knowl Based Syst 19(7):449–458, 2006a; New Generation Comput 24(3):209–222, 2006b). Gärdenfors’ theory offers a way of bridging the traditional divide between symbolic and sub-symbolic representations, as well as the gap between representational formalism and meaning as perceived by human minds. We discuss how (...) both these qualities may be advantageous from the point of view of artificial creative systems. We take music as our example domain, and discuss how a range of musical qualities may be instantiated as conceptual spaces, and present a detailed conceptual space formalisation of musical metre. (shrink)

This paper is an introduction into the theory of cellular spaces. From the more general model of nets of abstract cells which are interpreted by finite automata, it is shown how the model of cellular spaces is achieved by specialization. Cellular spaces are extremely homogeneous in function and in geometry. The relation between local and global behavior is regarded as the main topic of the theory. After a formal definition of cellular spaces, it is shown that (...) not all functions of the configuration space are induced by cellular spaces. In addition, the Garden-of-Eden problem is discussed, and a simple self-reproduction property is explained. (shrink)

This article enquires into the value of 'concepts' as a framework for the school curriculum by questioning their contribution towards our responsibilities for thinking about the earth. I take Derrida's deconstructive reading of Plato's Timaeus to show how spaces in meaning can be revealed, and more transgressive ways of knowing invited in. Derrida's Kh ra marks the opportunity for something new, productive and unforeseeable to arise as the play of traces unfurls. A deconstructive reading of the geography national curriculum (...) policy exposes the impracticality and impossibility of following the text as a definitive scheme and basis for curriculum planning. The paper ends with a spacing of a real place for the geography curriculum by appropriating four different ways of knowing Whitby, a harbour town in north-east England, outside the conceptual scheme. The paper contrasts an approach that is essentially general, conceptual and at the level of the plan, map or net, with a deconstructive approach that welcomes in other, more ethically responsible and imaginative meanings. (shrink)

We construct an algebra of generalized functions endowed with a canonical embedding of the space of Schwartz distributions.We offer a solution to the problem of multiplication of Schwartz distributions similar to but different from Colombeau’s solution.We show that the set of scalars of our algebra is an algebraically closed field unlike its counterpart in Colombeau theory, which is a ring with zero divisors. We prove a Hahn–Banach extension principle which does not hold in Colombeau theory. We establish a connection (...) between our theory with non-standard analysis and thus answer, although indirectly, a question raised by Colombeau. This article provides a bridge between Colombeau theory of generalized functions and non-standard analysis. (shrink)

This paper presents a bimodal logic for reasoning about knowledge during knowledge acquisitions. One of the modalities represents (effort during) non-deterministic time and the other represents knowledge. The semantics of this logic are tree-like spaces which are a generalization of semantics used for modeling branching time and historical necessity. A finite system of axiom schemes is shown to be canonically complete for the formentioned spaces. A characterization of the satisfaction relation implies the small model property and decidability for (...) this system. (shrink)

The rejection of an infinitesimal solution to the zero-fit problem by A. Elga ([2004]) does not seem to appreciate the opportunities provided by the use of internal finitely-additive probability measures. Indeed, internal laws of probability can be used to find a satisfactory infinitesimal answer to many zero-fit problems, not only to the one suggested by Elga, but also to the Markov chain (that is, discrete and memory-less) models of reality. Moreover, the generalization of likelihoods that Elga has in mind is (...) not as hopeless as it appears to be in his article. In fact, for many practically important examples, through the use of likelihoods one can succeed in circumventing the zero-fit problem. 1 The Zero-fit Problem on Infinite State Spaces 2 Elga's Critique of the Infinitesimal Approach to the Zero-fit Problem 3 Two Examples for Infinitesimal Solutions to the Zero-fit Problem 4 Mathematical Modelling in Nonstandard Universes? 5 Are Nonstandard Models Unnatural? 6 Likelihoods and Densities A Internal Probability Measures and the Loeb Measure Construction B The (Countable) Coin Tossing Sequence Revisited C Solution to the Zero-fit Problem for a Finite-state Model without Memory D An Additional Note on ‘Integrating over Densities’ E Well-defined Continuous Versions of Density Functions. (shrink)

The main result of this paper is the following theorem: a closure space X has an , , Q-regular base of the power iff X is Q-embeddable in It is a generalization of the following theorems:(i) Stone representation theorem for distributive lattices ( = 0, = , Q = ), (ii) universality of the Alexandroff's cube for T 0-topological spaces ( = , = , Q = 0), (iii) universality of the closure space of filters in the lattice of (...) all subsets for , -closure spaces (Q = 0). By this theorem we obtain some characterizations of the closure space given by the consequence operator for the classical propositional calculus over a formalized language of the zero order with the set of propositional variables of the power . In particular we prove that a countable closure space X is embeddable with finite disjunctions preserved into F iff X is a consistent closure space satisfying the compactness theorem and X contains a 0, -base consisting of -prime sets. (shrink)

We examine Gärdenfors’ theory of conceptual spaces, a geometrical form of knowledge representation (Conceptual spaces: The geometry of thought, MIT Press, Cambridge, 2000 ), in the context of the general Creative Systems Framework introduced by Wiggins (J Knowl Based Syst 19(7):449–458, 2006a ; New Generation Comput 24(3):209–222, 2006 b ). Gärdenfors’ theory offers a way of bridging the traditional divide between symbolic and sub-symbolic representations, as well as the gap between representational formalism and meaning as perceived by human (...) minds. We discuss how both these qualities may be advantageous from the point of view of artificial creative systems. We take music as our example domain, and discuss how a range of musical qualities may be instantiated as conceptual spaces, and present a detailed conceptual space formalisation of musical metre. (shrink)

The standard Pawlak approach to rough set theory, as an approximation space consisting of a universe U and an equivalence (indiscernibility) relation R U x U, can be equivalently described by the induced preclusivity ("discernibility") relation U x U \ R, which is irreflexive and symmetric.We generalize the notion of approximation space as a pair consisting of a universe U and a discernibility or preclusivity (irreflexive and symmetric) relation, not necessarily induced from an equivalence relation. In this case the "elementary" (...) sets are not mutually disjoint, but all the theory of generalized rough sets can be developed in analogy with the standard Pawlak approach. On the power set of the universe, the algebraic structure of the quasi fuzzy-intuitionistic "classical" (BZ) lattice is introduced and the sets of all "closed" and of all "open" definable sets with the associated complete (in general nondistributive) ortholattice structures are singled out. (shrink)

We here examine the expressive power of first order logic with generalized quantifiers over finite ordered structures. In particular, we address the following problem: Given a family Q of generalized quantifiers expressing a complexity class C, what is the expressive power of first order logic FO(Q) extended by the quantifiers in Q? From previously studied examples, one would expect that FO(Q) captures L C , i.e., logarithmic space relativized to an oracle in C. We show that this is (...) not always true. However, after studying the problem from a general point of view, we derive sufficient conditions on C such that FO(Q) captures L C . These conditions are fulfilled by a large number of relevant complexity classes, in particular, for example, by NP. As an application of this result, it follows that first order logic extended by Henkin quantifiers captures L NP . This answers a question raised by Blass and Gurevich [Ann. Pure Appl. Logic, vol. 32, 1986]. Furthermore we show that for many families Q of generalized quantifiers (including the family of Henkin quantifiers), each FO(Q)-formula can be replaced by an equivalent FO(Q)-formula with only two occurrences of generalized quantifiers. This generalizes and extends an earlier normal-form result by I. A. Stewart [Fundamenta Inform. vol. 18, 1993]. (shrink)

Using linear invariant operators in a constructive way we find the most general thermal density operator and Wigner function for time-dependent generalized oscillators. The general Wigner function has five free parameters and describes the thermal Wigner function about a classical trajectory in phase space. The contour of the Wigner function depicts an elliptical orbit with a constant area moving about the classical trajectory, whose eccentricity determines the squeezing of the initial vacuum.

Starting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan `open sets are semidecidable properties'. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general. In this paper a characterization of effectively given topological spaces is presented that says which semidecidable sets are open. This result has important consequences. Not only follows the classical (...) Rice-Shapiro Theorem and its generalization to effectively given Scott domains, but also a recursion theoretic characterization of the canonical topology of effectively given metric spaces. Moreover, it implies some well known theorems on the effective continuity of effective operators such as P. Young and the author's general result which in its turn entails the theorems by Myhill-Shepherdson, Kreisel-Lacombe-Shoenfield and Ceĭtin-Moschovakis, and a result by Eršov and Berger which says that the hereditarily effective operations coincide with the hereditarily effective total continuous functionals on the natural numbers. (shrink)

The recursion theorem in abstract partially ordered algebras, such as operative spaces and others, is the most fundamental result of algebraic recursion theory. The primary aim of the present paper is to prove this theorem for iterative operative spaces in full generality. As an intermediate result, a new and rather large class of models of the combinatory logic is obtained.

A new approach to semantics, based on ordered Banach spaces, is proposed. The Banach spaces semantics arises as a generalization of the four particular cases: the Giles' approach to belief structures, its generalization to the non-Boolean case, and fuzzy extensions of Boolean as well as of non-Boolean semantics.

We develop the general theory of topometric spaces, i.e., topological spaces equipped with a well-behaved lower semi-continuous metric. Spaces of global and local types in continuous logic are the motivating examples for the study of such spaces. In particular, we develop Cantor-Bendixson analysis of topometric spaces, which can serve as a basis for the study of local stability (extending the ad hoc development in Ben Yaacov I and Usvyatsov A, Continuous first order logic and local (...) stability. Trans Am Math Soc, in press), as well as of global $ aleph 0 -stability. We conclude with a study of perturbation systems (see Ben Yaacov I, On perturbations of continuous structures, submitted) in the formalism of topometric spaces. In particular, we show how the abstract development applies to aleph 0 $-stability up to perturbation. (shrink)

In this paper we show that some standard topological constructions may be fruitfully used in the theory of closure spaces (see [5], [4]). These possibilities are exemplified by the classical theorem on the universality of the Alexandroff's cube for T 0-closure spaces. It turns out that the closure space of all filters in the lattice of all subsets forms a generalized Alexandroff's cube that is universal for T 0-closure spaces. By this theorem we obtain the following (...) characterization of the consequence operator of the classical logic: If is a countable set and C: P() P() is a closure operator on X, then C satisfies the compactness theorem iff the closure space ,C is homeomorphically embeddable in the closure space of the consequence operator of the classical logic.We also prove that for every closure space X with a countable base such that the cardinality of X is not greater than 2 there exists a subset X of irrationals and a subset X of the Cantor's set such that X is both a continuous image of X and a continuous image of X. (shrink)

Coordinate formalism on Hilbert manifolds developed in \cite{Kryukov} is reviewed. The results of \cite{Kryukov} are applied to the simpliest case of a Hilbert manifold: the abstract Hilbert space. In particular, functional transformations preserving properties of various linear operators on Hilbert spaces are found. Any generalized solution of an arbitrary linear differential equation with constant coefficients is shown to be related to a regular solution by a (functional) coordinate transformation. The results also suggest a way of using generalized (...) functions to solve nonlinear problems on Hilbert spaces. (shrink)

Clark & Thornton (C&T) have demonstrated the paradox between the opacity of the transformations that underlie relational mappings and the ease with which people learn such mappings. However, C&T's trading-spaces proposal resolves the paradox only in the broadest outline. The general-purpose algorithm promised by C&T remains to be developed. The strategy of doing so is to analyze and formulate computational mechanisms for known cases of recoding.

The diverse number of N-space theories and the unrestrained growth of the number of spaces within the multiple space models has incurred general skepticism about the new search space variants within the search space paradigm of psychology. I argue that any N-space theory is computationally equivalent to a single space model. Nevertheless, the N-space theories may explain the systematic behavior of human problem solving better than the original one search space theory by identifying relationships between the tasks that occur (...) in problem solving. These tasks are independent of the particular process and may not be explicitly represented by the problem solver. N-space theorists seem to overlook their own reason for distinguishing N-space theories from single space models, namely the presupposition that these tasks must have a unified, underlying search space architecture. This assumption is ill-founded and may implement a procedural restraint that could impede psychological research. (shrink)

The aim of this book is to give an account of Einstein's work without introducing anything very technical in the way of mathematics, physics, or philosophy.

A proposal for an objective interpretation of probability is introduced and discussed: probabilities as deriving from ranges in suitably structured initial-state spaces. Roughly, the probability of an event on a chance trial is the proportion of initial states that lead to the event in question within the space of all possible initial states associated with this type of experiment, provided that the proportion is approximately the same in any not too small subregion of the space. This I would like (...) to call the “natural-range conception” of probability. Providing a substantial alternative to frequency or propensity accounts of probability in a deterministic setting, it is closely related to the so-called “method of arbitrary functions”. It is explicated, confronted with certain problems, and some ideas how these might be overcome are sketched and discussed. (shrink)

It is argued that both neuroscience and physics point towards a similar re-assessment of our concepts of space, time and 'reality', which, by removing some apparent paradoxes, may lead to a view which can provide a natural place for consciousness and language within biophysics. There are reasons to believe that relationships between entities in experiential space and time and in modern physicists' space and time are quite different, neither corresponding to our geometric schooling. The elements of the universe may be (...) better described not as 'particles' but as dynamic processes giving rise, where they interface with each other, to the transfer, and at least in some cases experience, of 'pure'or 'active'information, the mental and physical just reflecting different standpoints. Although this analy-sis draws on general features of quantum dynamics, it is argued that purely quantum level events (and their 'interpretations') are unlikely to be relevant to the understanding of consciousness. The processes that might be able to give rise, within brain cells, to an experience like ours are briefly reviewed. It is suggested that the elementary signals that are integrated to generate a spatial experience may have features more in common with words than pixels. It is further suggested that the laws of integration of words in language may provide useful clues to the way biophysical integration of signals in neurons relates to integration of elements in experiential space. (shrink)

A logical space is a pair of a non-empty set A and a subset of . Since is identified with {0, 1} A and {0, 1} is a typical lattice, a pair of a non-empty set A and a subset of for a certain lattice is also called a -valued functional logical space. A deduction system on A is a pair (R, D) of a subset D of A and a relation R between A* and A. In terms of these (...) simplest concepts, a general framework for studying the logical completeness is constructed. (shrink)

Context: There is an ongoing debate about the possibility of identifying autopoietic systems in non-biological domains. In other words, whether autopoiesis can be conceived as a domain-free rather than domain-specific concept – regardless of Maturana’s and Varela’s opinions to the contrary. In previous parts my focus was, among other matters, on the rules defined by Varela, Maturana, and Uribe (“VM&U rules”). These rules were viewed as a validation test to assess if an observed system is autopoietic by referring to Maturana’s (...) ontological-epistemological frame. I concluded that identifying possible non-biological autopoietic systems is harder than merely identifying self-organized dynamic systems that are provided with boundaries and some observable autonomous behavioral capabilities in a given observational domain. This is because no assessment could be valid without examining such systems’ “intra-boundaries” phenomenology and proving actual compliance with the VM&U component production rules. Problem: Any rigorous approach to investigating possible self-production capabilities within a given dynamic system needs to drill down on the composition and physical conditions of the system’s core dynamics. My aim now is to discuss the problem of choosing the adequate spatial and temporal scales to be applied when observing and describing dynamic systems in general. When trying to detect an autopoietic system in a given observational domain, the observer needs conceptual tools to apply rigorously the VM&U rules and decide on the matter. This is particularly useful when dealing with systems with spatially distributed components interacting through cause-effect couplings that are independent of the distance between them, as is the case of social systems. Results: For observing dynamic systems, the choice of appropriate spatial and temporal scales of description is not a trivial operation. The observer needs to distinguish between “instantaneous” phenomena and phenomena possessing extended “durations.” I argue that the observer can easily extend the notions discussed by Maturana and Varela to observational domains where the system’s components do not constitute an entity showing a topological “form” in physical space. Furthermore, I show that a diachronic perspective must be applied by observers to explain component production/destruction mechanisms as the outcomes of processes involving structure-determined coordination over relatively long time intervals. Finally, these considerations lead to establishing a link with Varela’s fundamental concept of autonomy. Implications: The adequate choice of spatial and temporal scales of observation and description are essential (a) to discuss the problem of a possible identification of social autopoietic systems, and (b) to analyze the possibility of designing virtual simulated autopoietic systems in software domains (“computational autopoiesis”). (shrink)

I look at a recent argument offered in defense of a doctrine which I will call generalized scientific essentialism. This is the doctrine according to which, not only are some facts about substance composition metaphysically necessary, but, in addition, some facts about substance behavior are metaphysically necessary. More specifically, so goes the argument, not only is water necessarily composed of H2O and salt is necessarily composed of NaCl, but, in addition, salt necessarily dissolves in water. If this argument is (...) sound, and if the statement that necessarily salt dissolves in water is a statement of a law of nature, then one conclusion of the argument is that there is at least one metaphysically necessary law of nature. My paper examines the extent to which this kind of argument could be generalized to provide a case for a full-blown scientific essentialism: the doctrine according to which all of the laws of nature are necessary. Or, in terms of dispositions, it is the doctrine according to which natural kinds have all of their powers, capacities and propensities as a matter of necessity. (shrink)

We give a condensed survey of recent research on generalized quantifiers in logic, linguistics and computer science, under the following headings: Logical definability and expressive power, Polyadic quantifiers and linguistic definability, Weak semantics and axiomatizability, Computational semantics, Quantifiers in dynamic settings, Quantifiers and modal logic, Proof theory of generalized quantifiers.

When we speak, we mean more than we say. In this book Stephen C. Levinson explains some general processes that underlie presumptions in communication.

The dominating models of information processes have been based on symbolic representations of information and knowledge. During the last decades, a variety of non-symbolic models have been proposed as superior. The prime examples of models within the non-symbolic approach are neural networks. However, to a large extent they lack a higher-level theory of representation. In this paper, conceptual spaces are suggested as an appropriate framework for non- symbolic models. Conceptual spaces consist of a number of 'quality dimensions' that (...) often are derived from perceptual mechanisms. It will be outlined how conceptual spaces can represent various kind of information and how they can be used to describe concept learning. The connections to prototype theory will also be presented. (shrink)

The contribution deals with some key problems of cognitive science, whose plurality transcends the boundaries of the disciplines drawn by classical epistemology. In particular, it addresses the issues of mental images, spaces of representation, and the architecture of cognitive processes in vision theory. The thesis presented is that a proper treatment of vision within psychophysics entails an analysis of a series of interconnected spaces, objects and methodologies, from psychophysics to the many virtual realities of representation.

I want to show that a common and plausible interpretation of what science tells us about the fundamental structure of the world – the ‘scientific picture of the world’ or SPW for short – leads to what I’ll call ‘generalized epiphenomenalism’, which is the view that the only features of the world that possess causal efficacy are fundamental physical features. I think that generalized epiphenomenalism follows pretty straightforwardly from the SPW as I’ll present it, but it might seem (...) that, once granted, generalized epiphenomenalism is fairly innocuous, since its threat is too diffuse to provoke traditional worries about the epiphenomenal nature of mental states. If mental states are epiphenomenal only in the same sense that the putative powers of hurricanes, psyche- delic drugs or hydrogen bombs are epiphenomenal, then probably there is not much to worry about in the epiphenomenalism of the mental. I agree that the epiphenomenalism of hurricanes and the like is manageable, but it will turn out that ensuring manageability requires that mental states have an ontological status fundamentally different from that of hurricanes, drugs and bombs, a status that is in fact inconsistent with the SPW. So I’ll argue that generalized epiphenomenalism does have some seriously worrying consequences after all. (shrink)

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

The paper elaborates two points: i) There is no principal opposition between predicate logic and adherence to subject-predicate form, ii) Aristotle's treatment of quantifiers fits well into a modern study of generalized quantifiers.

Bloom argues that concepts depend on psychological essentialism. He rejects the proposal that concepts are based on perceptual similarity spaces because it cannot account for how we handle new properties and does not fit with our intuitions about essences. I argue that by using a broader notion of similarity space, it is possible to explain these features of concepts.

We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, completeness both of modal (...) systems and of systems in the quantifier tradition, complexity as well as syntactic characterizations of special semantic constraints. Throughout the paper several techniques current in the theory of generalized quantifiers are used to obtain results in modal logic, and conversely. (shrink)

In the framework of set theory we cannot distinguish between natural and non-natural predicates. To avoid this shortcoming one can use mathematical structures as conceptual spaces such that natural predicates are characterized as structurally nice subsets. In this paper topological and related structures are used for this purpose. We shall discuss several examples taken from conceptual spaces of quantum mechanics (orthoframes), and the geometric logic of refutative and affirmable assertions. In particular we deal with the problem of structurally (...) distinguishing between natural colour predicates and Goodmanian predicates like grue and bleen. Moreover the problem of characterizing natural predicates is reformulated in such a way that its connection with the classical problem of geometric conventionalism becomes manifest. This can be used to shed some new light on Goodman's remarks on the relative entrenchment of predicates as a criterion of projectibility. (shrink)

This paper argues that phenomenal or internal metrical spaces are redundant posits. It is shown that we need not posit an internal space-time frame, as the physical space-time suffices to explain geometrical perception, memory and planning. More than the internal space-time frame, the idea of a phenomenal colour space has lent credibility to the idea of internal spaces. It is argued that there is no phenomenal colour space that underlies the various psychophysical colour spaces; it is parasitic (...) upon physical and psychophysical colour spaces. The argumentation is further extended to other sensory spaces and generalised quality spaces. (shrink)

In Philosophical Logic, the Liar Paradox has been used to motivate the introduction of both truth value gaps and truth value gluts. Moreover, in the light of “revenge Liar” arguments, also higher-order combinations of generalized truth values have been suggested to account for so-called hyper-contradictions. In the present paper, Graham Priest's treatment of generalized truth values is scrutinized and compared with another strategy of generalizing the set of classical truth values and defining an entailment relation on the resulting (...) sets of higher-order values. This method is based on the concept of a multilattice. If the method is applied to the set of truth values of Belnap's “useful four-valued logic”, one obtains a trilattice, and, more generally, structures here called Belnap-trilattices. As in Priest's case, it is shown that the generalized truth values motivated by hyper-contradictions have no effect on the logic. Whereas Priest's construction in terms of designated truth values always results in his Logic of Paradox, the present construction in terms of truth and falsity orderings always results in First Degree Entailment. However, it is observed that applying the multilattice-approach to Priest's initial set of truth values leads to an interesting algebraic structure of a “bi-and-a-half” lattice which determines seven-valued logics different from Priest's Logic of Paradox. (shrink)

This paper starts with an intuitive notion of representational spaces, which is intended to provide an improved version of Kuhn's concept of paradigms. It then proceeds to study the following topics in terms of this new notion: incommensurability, paradigm change, explanation of anomalies, explanation of regularities, explanation of irregularities, and physical necessity. In the course of the investigation, "representational space" gets clarified and defined. It is envisaged that this new concept should throw light on many issues in the philosophy (...) of science. (shrink)

Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo’s paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k (...) class='Hi'>> i, s(k) is false (or equivalently: For no k > i is s(k) true). We generalize Yablo’s results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo’s results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo’s paradox and the translations we offer do not involve self-reference. (shrink)

A computational theory of induction must be able to identify the projectible predicates, that is to distinguish between which predicates can be used in inductive inferences and which cannot. The problems of projectibility are introduced by reviewing some of the stumbling blocks for the theory of induction that was developed by the logical empiricists. My diagnosis of these problems is that the traditional theory of induction, which started from a given (observational) language in relation to which all inductive rules are (...) formulated, does not go deep enough in representing the kind of information used in inductive inferences. As an interlude, I argue that the problem of induction, like so many other problems within AI, is a problem of knowledge representation. To the extent that AI-systems are based on linguistic representations of knowledge, these systems will face basically the same problems as did the logical empiricists over induction. In a more constructive mode, I then outline a non-linguistic knowledge representation based on conceptual spaces. The fundamental units of these spaces are "quality dimensions". In relation to such a representation it is possible to define "natural" properties which can be used for inductive projections. I argue that this approach evades most of the traditional problems. (shrink)

We consider two topological interpretations of the modal diamond—as the closure operator (C-semantics) and as the derived set operator (d-semantics). We call the logics arising from these interpretations C-logics and d-logics, respectively. We axiomatize a number of subclasses of the class of nodec spaces with respect to both semantics, and characterize exactly which of these classes are modally definable. It is demonstrated that the d-semantics is more expressive than the C-semantics. In particular, we show that the d-logics of the (...) six classes of spaces considered in the paper are pairwise distinct, while the C-logics of some of them coincide. (shrink)

Chaos is often explained in terms of random behaviour; and having positive Kolmogorov–Sinai entropy (KSE) is taken to be indicative of randomness. Although seemly plausible, the association of positive KSE with random behaviour needs justification since the definition of the KSE does not make reference to any notion that is connected to randomness. A common way of justifying this use of the KSE is to draw parallels between the KSE and ShannonÕs information theoretic entropy. However, as it stands this no (...) more than a heuristic point, because no rigorous connection between the KSE and ShannonÕs entropy has been established yet. This paper fills this gap by proving that the KSE of a Hamiltonian dynamical system is equivalent to a generalized version of ShannonÕs information theoretic entropy under certain plausible assumptions. Ó 2005 Elsevier Ltd. All rights reserved. (shrink)

In this paper I consider whether there is a measure of coherence that could be rightly claimed to generalize the notion of logical equivalence. I show that Fitelson’s (2003) proposal to that effect encounters some serious difficulties. Furthermore, there is reason to believe that no mutual-support measure could ever be suitable for the formalization of coherence as generalized logical equivalence. Instead, it appears that the only plausible candidate for such a measure is one of relative overlap. The measure I (...) propose in this paper is quite similar to Olsson’s (2002) proposal but differs from it by not being susceptible to the type of counterexample that Bovens and Hartmann (2003) have devised against it. (shrink)

Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 1 we show that English quantifiers of type $ $ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form Q1x 1⋯ Qnx nRx 1⋯ xn and (...) q1x 1⋯ qnx nRx 1⋯ xn are logically equivalent for arbitrary generalized quantifiers Qi, qi. GPT generalizes, perhaps in an unexpectedly strong form, the Linear Prefix Theorem (appropriately modified) of Keisler & Walkoe (1973). (shrink)

Recent results of Partee, Rooth, Krifka and other formal semanticians confirm that topic-focus articulation (TFA) of sentence is relevant for its semantics. The essential import of TFA, which is more apparent in case of a language with relatively free word order such as Czech than in case of English, has been traditionally intensively studied by Czech linguists. In this paper we would like to indicate the possibility of the account for TFA in terms of the theory of generalized quantifiers, (...) drawing on the results of both these groups of theoreticians. The basic intuition which we accept as our point of departure is the intuition of topic as the “semantic subject” and focus as the “semantic predicate”; we point out that the role of topic is to specify the entity the sentence is “about” (thereby triggering a presupposition), while that of the focus is to reveal a characterization of this entity, and usually a characterization that is in some sense exhaustive. Then we show that it may be plausible to consider topic and focus as arguments to an implicit generalized quantifier, which may get overridden by an explicit focalizer. (shrink)

Synchronistic or psi phenomena are interpreted as entanglement correlations in a generalized quantum theory. From the principle that entanglement correlations cannot be used for transmitting information, we can deduce the decline effect, frequently observed in psi experiments, and we propose strategies for suppressing it and improving the visibility of psi effects. Some illustrative examples are discussed.

In formal theories of measurement meaningfulness is usually formulated in terms of numerical statements that are invariant under admissible transformations of the numerical representation. This is equivalent to qualitative relations that are invariant under automorphisms of the measurement structure. This concept of meaningfulness, appropriately generalized, is studied in spaces constructed from a number of conjoint and extensive structures some of which are suitably interrelated by distribution laws. Such spaces model the dimensional structures of classical physics. It is (...) shown that this qualitative concept corresponds exactly with the numerical concept of dimensionally invariant laws of physics. (shrink)

Most models of generational succession in sexually reproducing populations necessarily move back and forth between genic and genotypic spaces. We show that transitions between and within these spaces are usually hidden by unstated assumptions about processes in these spaces. We also examine a widely endorsed claim regarding the mathematical equivalence of kin-, group-, individual-, and allelic-selection models made by Lee Dugatkin and Kern Reeve. We show that the claimed mathematical equivalence of the models does not hold. *Received (...) January 2007; revised April 2008. †To contact the authors, please write to: Elisabeth Lloyd, Department of History and Philosophy of Science, 130 Goodbody Hall, Indiana University, Bloomington, IN 47405; e-mail: ealloyd@indiana.edu; Richard Lewontin, Department of Organismic and Evolutionary Biology, Harvard University, 26 Oxford Street, Cambridge, MA 02138; Marcus Feldman, Department of Biological Sciences, Stanford University, Stanford, CA 94305; e-mail: marc@charles.stanford.edu. (shrink)

Conservativity in generalized quantifiers is linked to presupposition filtering, under a propositions-as-types analysis extended with dependent quantifiers. That analysis is underpinned by modeltheoretically interpretable proofs which inhabit propositions they prove, thereby providing objects for quantification and hooks for anaphora.

We present a framework that provides a logic for science by generalizing the notion of logical (Tarskian) consequence. This framework will introduce hierarchies of logical consequences, the first level of each of which is identified with deduction. We argue for identification of the second level of the hierarchies with inductive inference. The notion of induction presented here has some resonance with Popper's notion of scientific discovery by refutation. Our framework rests on the assumption of a restricted class of structures in (...) contrast to the permissibility of classical first-order logic. We make a distinction between deductive and inductive inference via the notions of compactness and weak compactness. Connections with the arithmetical hierarchy and formal learning theory are explored. For the latter, we argue against the identification of inductive inference with the notion of learnable in the limit. Several results highlighting desirable properties of these hierarchies of generalized logical consequence are also presented. (shrink)

I argue here that in the end Bourdieu's theory of practice fails to overcome the problem on which it expressly centers, namely, subject-object dualism. The failure is registered in his avowed materialism, which, though significantly "generalized," remains what it says: a materialism. In order to substantiate my criticism, I examine for their ontological presuppositions three areas of his theoretical framework pertaining to the questions of (1) human agency (as seen through the conceptual glass of the habitus), (2) otherness, and (...) (3) the gift. By scrutinizing Bourdieu's powerful and progressive social theory, with an eye to finding fault, I hope to show the need to take a certain theoretical action, one that is patently out of keeping with the usual self-presentation and self-understanding of social science. The action I have in mind is this: because the problem of subject-object dualism is in the first place a matter of ontology, in order successfully to address it there must take place a direct shift of ontological starting point, from the received starting point in Western thought to one that projects reality in terms of ambiguity that is basic. With this shift the dualism of subject and object dissolves by definition, leaving a social reality that, for reasons of its basic ambiguity, is best approached as a question of ethics before power. (shrink)

We study a generalization of the Muddy Children puzzle by allowing public announcements with arbitrary generalized quantifiers. We propose a new concise logical modeling of the puzzle based on the number triangle representation of quantifi ers. Our general aim is to discuss the possibility of epistemic modeling that is cut for specifi c informational dynamics. Moreover, we show that the puzzle is solvable for any number of agents if and only if the quanti fier in the announcement is positively (...) active (satis es a form of variety). (shrink)

The centerpiece of Jeffrey Bub's book Interpreting the Quantum World is a theorem (Bub and Clifton 1996) which correlates each member of a large class of no-collapse interpretations with some 'privileged observable'. In particular, the Bub-Clifton theorem determines the unique maximal sublattice L(R,e) of propositions such that (a) elements of L(R,e) can be simultaneously determinate in state e, (b) L(R,e) contains the spectral projections of the privileged observable R, and (c) L(R,e) is picked out by R and e alone. In (...) this paper, we explore the issue of maximal determinate sets of observables using the tools provided by the algebraic approach to quantum theory; and we call the resulting algebras of determinate observables, "maximal *beable* subalgebras". The capstone of our exploration is a generalized version of Bub and Clifton's theorem that applies to arbitrary (i.e., both mixed and pure) quantum states, to Hilbert spaces of arbitrary (i.e., both finite and infinite) dimension, and to arbitrary observables (including those with a continuous spectrum). Moreover, in the special case covered by the original Bub-Clifton theorem, our theorem reproduces their result under strictly weaker assumptions. This added level of generality permits us to treat several topics that were beyond the reach of the original Bub-Clifton result. In particular: (a) We show explicitly that a (non-dynamical) version of the Bohm theory can be obtained by granting privileged status to the position observable. (b) We show that Clifton's (1995) characterization of the Kochen-Dieks modal interpretation is a corollary of our theorem in the special case when the density operator is taken as the privileged observable. (c) We show that the 'uniqueness' demonstrated by Bub and Clifton is only guaranteed in certain special cases -- viz., when the quantum state is pure, or if the privileged observable is compatible with the density operator. We also use our results to articulate a solid mathematical foundation for certain tenets of the orthodox Copenhagen interpretation of quantum theory. For example, the uncertainty principle asserts that there are strict limits on the precision with which we can know, simultaneously, the position and momentum of a quantum-mechanical particle. However, the Copenhagen interpretation of this fact is not simply that a precision momentum measurement necessarily and uncontrollably disturbs the value of position, and vice-versa; but that position and momentum can never in reality be thought of as simultaneously determinate. We provide warrant for this stronger 'indeterminacy principle' by showing that there is no quantum state that assigns a sharp value to both position and momentum; and, a fortiori, that it is mathematically impossible to construct a beable algebra that contains both the position observable and the momentum observable. We also prove a generalized version of the Bub-Clifton theorem that applies to "singular" states (i.e., states that arise from non-countably-additive probability measures, such as Dirac delta functions). This result allows us to provide a mathematically rigorous reconstruction of Bohr's response to the original EPR argument -- which makes use of a singular state. In particular, we show that if the position of the first particle is privileged (e.g., as Bohr would do in a position measuring context), the position of the second particle acquires a definite value by virtue of lying in the corresponding maximal beable subalgebra. But then (by the indeterminacy principle) the momentum of the second particle is not a beable; and EPR's argument for the simultaneous reality of both position and momentum is undercut. (shrink)

The concept of a generalized quantifier of a given similarity type was defined in [12]. Our main result says that on finite structures different similarity types give rise to different classes of generalized quantifiers. More exactly, for every similarity type t there is a generalized quantifier of type t which is not definable in the extension of first order logic by all generalized quantifiers of type smaller than t. This was proved for unary similarity types by (...) Per Lindström [17] with a counting argument. We extend his method to arbitrary similarity types. (shrink)

This work adopts the perspective of plural logic and measurement theory in order first to focus on the microstructure of comparative determiners; and second, to derive the properties of comparative determiners as these are studied in Generalized Quantifier Theory, locus of the most sophisticated semantic analysis of natural language determiners. The work here appears to be the first to examine comparatives within plural logic, a step which appears necessary, but which also harbors specific analytical problems examined here.Since nominal comparatives (...) involve plural and mass reference, we begin with a domain of discourse upon which a lattice structure (Link's) is imposed, and which maps (via abstract dimensions such asweight in kilograms) to concrete measures (in N,R+). The mapping must be homomorphic and Archimedean. Comparisons begin as simple predicates on dimensions or measures; from these we derive classes of predicates on the domain, i.e., generalized determiners (quantifiers), and show, e.g., how monotonicity properties follow in the derivation. This results in a proposal for a logical language which includes derived determiners, and which is an attractive target for semantics interpretation; it also turns out that some interesting comparative determiners are first order, at least when restricted to nonparametric and noncollective predications. (shrink)

Several philosophers of science have claimed that the correspondence principle can be generalized from quantum physics to all of (particularly physical) science and that in fact it constitutes one of the major heuristical rules for the construction of new theories. In order to evaluate these claims, first the use of the correspondence principle in (the genesis of) quantum mechanics will be examined in detail. It is concluded from this and from other examples in the history of science that the (...) principle should be qualified with respect to its nature and relativized with respect to its scope of application. At the same time this conclusion implies a qualification and a relativization of the heuristic power of the principle. Generally speaking, intertheoretical correspondence is primarily of a formal-mathematical and empirical but not of a conceptual nature. Moreover, it only applies to certain parts of the theories involved. Finally, a number of philosophical justifications of the principle are discussed and some conclusions are drawn concerning the debates on theory reduction and on the discovery-justification distinction. (shrink)

Van Lambalgen (1990) proposed a translation from a language containing a generalized quantifierQ into a first-order language enriched with a family of predicatesR i, for every arityi (or an infinitary predicateR) which takesQxg(x, y1,..., yn) to x(R(x, y1,..., y1) (x,y1,...,yn)) (y 1,...,yn are precisely the free variables ofQx). The logic ofQ (without ordinary quantifiers) corresponds therefore to the fragment of first-order logic which contains only specially restricted quantification. We prove that it is decidable using the method of analytic tableaux. (...) Related results were obtained by Andréka and Németi (1994) using the methods of algebraic logic. (shrink)

Following the pioneer work of Bruno De Finetti [12], conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's. Perhaps the most salient axiomatizations are Karl Popper's in [31], and Alfred Renyi's in [33]. Nonstandard probability spaces [34] are a well know alternative to this approach. Vann McGee proposed in [30] a result relating both approaches by showing that the standard values of infinitesimal probability functions are representable as Popper (...) functions, and that every Popper function is representable in terms of the standard real values of some infinitesimal measure.Our main goal in this article is to study the constraints on (qualitative and probabilistic) change imposed by an extended version of McGee's result. We focus on an extension capable of allowing for iterated changes of view. Such extension, we argue, seems to be needed in almost all considered applications. Since most of the available axiomatizations stipulate (definitionally) important constraints on iterated change, we propose a non-question-begging framework, Iterative Probability Systems (IPS) and we show that every Popper function can be regarded as a Bayesian IPS. A generalized version of McGee's result is then proved and several of its consequences considered. In particular we note that our proof requires the imposition of Cumulativity, i.e. the principle that a proposition that is accepted at any stage of an iterative process of acceptance will continue to be accepted at any later stage. The plausibility and range of applicability of Cumulativity is then studied. In particular we appeal to a method for defining belief from conditional probability (first proposed in [42] and then slightly modified in [6] and [3]) in order to characterize the notion of qualitative change induced by Cumulative models of probability kinematics. The resulting cumulative notion is then compared with existing axiomatizations of belief change and probabilistic supposition. We also consider applications in the probabilistic accounts of conditionals [1] and [30]. (shrink)

Jacob Bekenstein’s identification of black hole event horizon area with entropy proved to be a landmark in theoretical physics. In this paper we trace the sub- sequent development of the resulting generalized second law of thermodynamics (GSL), especially its extension to incorporate cosmological event horizons. In spite of the fact that cosmological horizons do not generally have well-defined thermal properties, we find that the GSL is satisfied for a wide range of models. We explore in particular the case of (...) an asymptotically de Sitter universe filled with a gas of small black holes as a means of casting light on the relative entropic ‘worth’ of black hole versus cosmological horizon area. We present some numerical solutions of the generalized total entropy as a function of time for certain cosmo- logical models, in all cases confirming the validity of the GSL. (shrink)

The aim of this paper is to give a general background and a uniform treatment of several notions of mutual interpretability. Sentential calculi are treated as preorders and logical invariants of adjoint situations, i.e. Galois connections are investigated. The class of all sentential calculi is treated as a quasiordered class.Some methods of the axiomatization of the M-counterparts of modal systems are based on particular adjoints. Also, invariants concerning adjoints for calculi with implication are pointed out. Finally, the notion of interpretability (...) is generalized so that it may be applied to closure spaces as well. (shrink)