In the present version of these lecture notes only a number of typos and a few glaring mistakes have been corrected. Thanks to Paul Dekker for his help in this respect. No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).

Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at most (...) two can be met together. This “democratic trilemma” raises the question of which requirement to give up. Since different answers correspond to different views about what matters most in a democracy, the trilemma suggests a map of the “logical space” in which different conceptions of democracy are located. It also sharpens our thinking about other impossibility problems of social choice and how to avoid them, by capturing a core structure many of these problems have in common. More broadly, it raises the idea of “cartography of logical space” in relation to contested political concepts. (shrink)

I try to lay bare some of the conceptual space in which one may be a Social Trinitarian. I organize the paper around answers to five questions. These are: (1) How do the three Persons of the Trinity relate to the Godhead? (2) How many divine beings or gods are there? (3) How many distinct centers of consciousness are there in the Godhead? (4) How many omnicompetent beings are there? (5) How are the Persons of the Trinity individuated? I (...) try to make clear costs and benefits of various answers to these questions. (shrink)

It has been argued recently that classical theism and Lewisian modal realism are incompatible theses. The most substantial argument to this effect takes the form of a trilemma. It argues that no sense can be made of God’s being a necessary being in the modal realistic picture, on pain of, among other things, modal collapse. The question of this essay is: Is that so? My goal here is to detail the reasons that have been offered in support of this contention (...) and then defend the coherence of theistic modal realism from the trilemma. I call my reply to the argument an “Anselmian-Thomistic” defense, since it appeals to resources from classical medieval philosophy, especially from Anselm and Aquinas. (shrink)

This essay presents a heterodox reading of the issue of solipsism in Wittgenstein’s Tractatus Logico-Philosophicus, out of which the whole of the TLP can be re-read. Inspired by, though not dependent on, the themes of virtuality and singularity found in Deleuze’s ‘transcendental empiricism’, Wittgenstein’s concept of ‘logical space’ is here complexly related to the paradoxes of the ‘metaphysical subject’ and ‘solipsism,’ within which the strictures of sense are defined, and through which the logico-pictorial scaffolding of the TLP precipitates (...) its own systematic dissolution. It shows how nonsense envelopes not only not idle chatter, and metaphysical confusion, but sense itself. (shrink)

There are two ways of thinking about instants of time: "spatial" accounts emphasize the similarities between instants and places; "modal" accounts focus on the parallels between times and possible worlds. My aim in this paper is to draw attention to one respect in which times are more similar to possible worlds than they are to places.

Review of "The Construction of Logical Space", by Augustin Rayo. Oxford: OxfordUniversity Press, 2013. Pp. xix+220. H/b$35.00.

The assumption that natural selection alone is sufficient to explain not only which traits get fixed in a population/species, but also how they develop, has been questioned since Darwin’s times, and increasingly in the last decades. Alternative theories, linked to genetic and phenotypic processes, or to the theory of complex systems, have been proposed to explain the rise of the phenotypic variety upon which natural selection acts. In this article, we illustrate the current state of the issue and we propose (...) a logical space based on phenotypic robustness that allows a classification of evolutionary phenomena and can provide a framework for unifying all these accounts. (shrink)

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The condition is: (...) logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many. (shrink)

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds (...) yet which contains only those epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries. (shrink)

Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit (...) the major milestones in the logical representation of space and investigate current trends. In doing so, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces. (shrink)

In this thesis we present two logical systems, $\bf MP$ and $\MP$, for the purpose of reasoning about knowledge and effort. These logical systems will be interpreted in a spatial context and therefore, the abstract concepts of knowledge and effort will be defined by concrete mathematical concepts.

I propose that an irreducible property of physical space — consistency — is the origin of logic. I propose that an inconsistent space is inconceivable and that this inconceivability can be recognized as the force behind logical propositions. The implications of this argument are briefly explored and then applied to address two paradoxes: Zeno of Elea’s paradox regarding the race between Achilles and the Tortoise, and Lewis Carroll’s paradox regarding the Tortoise’s conversation with Achilles after the race. (...) I conclude that Achilles would have won on both accounts, in the race and the argument, by invoking the consistency of space as the foundation of both movement across space and logical argument. (shrink)

Russian abstract: В данном сборнике статей раскрывается формирование структурно-онтологического представления о таком явлении, как городское пространство. Наряду с соответствующей концептуализацией, также представлено и объяснено определение городского сообщества. Обоснована логика классификации городских сообществ. А также проанализированы факторы, обуславливающие их устойчивость. -/- English abstract: This collection of articles reveals the formation of a structural-ontological concept of such a phenomenon as urban space. Along with relevant conceptualization, the definition of an urban community is also presented and explained. The logic of classification of (...) urban communities is substantiated. And also analyzed the factors that determine their stability. (shrink)

Triadic (systemical) logic can provide an interpretive paradigm for understanding how quantum indeterminacy is a consequence of the formal nature of light in relativity theory. This interpretive paradigm is coherent and constitutionally open to ethical and theological interests. -/- In this statement: -/- (1) Triadic logic refers to a formal pattern that describes systemic (collaborative) processes involving signs that mediate between interiority (individuation) and exteriority (generalized worldview or Umwelt). It is also called systemical logic or the logic of relatives. The (...) term "triadic logic" emphasizes that this logic involves mediation of dualities through an irreducibly triadic formalism. The term "systemical logic" emphasizes that this logic applies to systems in contrast to traditional binary logic which applies to classes. The term "logic of relatives" emphasizes that this logic is background independent (in the sense discussed by Smolin ). -/- (2) An interpretive paradigm refers to a way of thinking that generates an understanding through concepts, their inter-relationships and their connections with experience. -/- (3) Coherence refers to holistic integrity or continuity in the meaning of concepts that form an interpretation or understanding. -/- (4) Constitutionally open refers to an inherent dependence in principle of an interpretation or understanding on something outside of a specific discipline's discourse or domain of inquiry (epistemic system). Interpretations that are constitutionally open are incomplete in themselves and open to responsive, interdisciplinary discourse and collaborative learning. (shrink)

This paper outlines an Husserlian, phenomenological account of the first stages of the acquisition of empirical knowledge in light of some aspects of Wilfrid Sellars’ critique of the myth of the given. The account offered accords with Sellars’ in the view that epistemic status is attributed to empirical episodes holistically and within a broader normative context, but disagrees that such holism and normativity are accomplished only within the linguistic and conceptual confines of the space of reasons, and rejects the (...) limitation of the relevant normativity to the cognitive domain. Attention to the phenomenological notion of motivations in our mapping of the structure and acquisition of empirical knowledge reveals a form of weak categoriality given in experience, one outside exclusive mediation by language and concepts but also not merely causal. Section 1 outlines some basic aspects of Sellars’ account of empirical knowledge in Empiricism and the Philosophy of Mind, including a regress objection that arises due to his claim that empirical knowledge presupposes knowledge of general facts about perception. Section 2 examines Sellars’ later revisiting of the objection, via his critique of Roderick Firth, in “The Lever of Archimedes,” focusing on his analysis of the “Myth of the Categorial Given” and his use of the notion of ur-concepts. Section 3 looks at Sellars’ psychological nominalism and his rejection of the explanatory primacy of experience in light of the strict dichotomy between the space of causes and the space of reasons, and shows how Firth’s account aligns with phenomenology in its advocating for an irreducible and non-inferential role for experience. It also raises an important objection to Sellars’ account concerning the categorial givenness of causality. Section 4 turns to Husserl, arguing that his conception of motivation in the Logical Investigations and Ideas II reveals a third explanatory or logical space “between” that of causes and that of reasons. Section 5 further develops this account with regard to the explanatory role of lived experience. Section 6 revisits the regress objection to Sellars from the phenomenological standpoint developed earlier in the paper, and argues that an Husserlian account of empirical knowledge offers a viable alternative to Sellars’ that overcomes the regress objection and gives proper explanatory weight to the evidence of lived experience vis-à-vis scientific presuppositions about causality. (shrink)

Any logic is represented as a certain collection of well-orderings admitting or not some algebraic structure such as a generalized lattice. Then universal logic should refer to the class of all subclasses of all well-orderings. One can construct a mapping between Hilbert space and the class of all logics. Thus there exists a correspondence between universal logic and the world if the latter is considered a collection of wave functions, as which the points in Hilbert space can be (...) interpreted. The correspondence can be further extended to the foundation of mathematics by set theory and arithmetic, and thus to all mathematics. (shrink)

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)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our (...) field—a book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

In the *Science of Logic*, Hegel states unequivocally that the category of “life” is a strictly logical, or pure, form of thinking. His treatment of actual life – i.e., that which empirically constitutes nature – arises first in his *Philosophy of Nature* when the logic is applied under the conditions of space and time. Nevertheless, many commentators find Hegel’s development of this category as a purely logical one especially difficult to accept. Indeed, they find this development only (...) comprehensible as long as one simultaneously assumes that Hegel breaks his promise to let the logic do the leading. However, if Hegel were to in fact allow the logical development to be led by biological analogies at this point, problems would ensue. Not only would it contradict his own speculative method, which should secure the necessity of the categories, but it would also endanger the ontological generality of the category of life itself. Beyond undermining his method and the logical integrity of the category, however, I will argue that such a reading makes the transition to the next category of “cognition” unintelligible and problematic. My aim in the first part of this paper is to argue how logical life can be read as a pure category. I then argue in the second part how my reconstruction makes the transition to cognition intelligible without resorting to profane or supernatural interpretations. (shrink)

Scientific philosophy is that which is informed by science. It uses exact tools such as logic and mathematics and provides a framework for scientific activity to solve more general questions about nature, the language we use to describe it, and the knowledge we obtain thanks to it. Many of the scientific philosophy theories can be proven and evaluated using scientific evidence. In this paper, I focus on showing how several classical philosophy topics, such as the nature of space and (...) time or the dimensionality of the future, can be addressed philosophically using the tools from current astrophysics research and, in particular, from the study of black holes and gravitational waves. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with (...) translations form a bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

Kant's theory of transcendental ideas can be conceived as a sort of model theory for an empirical first-order object theory. The main features of Kant's theory of transcendental ideas (especially its antinomies and their solutions) can be recognized, in a modified way, in a religious discourse as exemplified in the dialogue of Jesus and the Samaritan woman (John 4). In this way, what is by Kant meant merely as regulative ideas obtains a sort of objective reality and becomes a religiously (...) founded metaphysics. A metaphysical theory of religious dialogue is formalized on the basis of an extended justification logic of evidence and wish agents. (shrink)

Complex logic is a novel logical framework, which formalizes the semantics of the categories of matter, space, and time in a system of logic that operates with complex logical objects. A complex logical object represents a superposition of a logical statement and its logical negation positioning any statement co-relatively to its logical negation. In the system of logical notations, where S is a logical statement and Not S is its logical (...) negation, complex logic includes co-relative logical positions of S and Not S with the probabilities of their truth within the scale 0... 1, excluding the boundary values of 0 and 1, into a single logical superposition. Thus, the logical superposition, summing up the probabilistic positions of S and Not S, has an invariant truth value equal to 1. In this context, complex logic proves to be invariant to reality, offering a unified logical interpretation of reality, spanning from quantum to cosmological scales. By defining the nature of matter and reality as a complex two-format processual essence with corresponding logical consequences, complex logic enhances our concept and understanding of reality. (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.

Van Fraassen infers the truth of the contextual theory from his observation that it has passed a crucial test. Mizrahi infers the comparative truth of our best theories from his observation that they are more successful than their competitors. Their inferences require, according to the argument from double spaces, the prior belief that it is more likely that their target theories were pulled out from the T-space than from the O-space. The T-space is the logical (...) class='Hi'>space of unconceived theories whose appearances agree with their realities; the O-space is the logical space of unconceived theories whose appearances may agree or disagree with their realities. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem 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 modal space, it is easy to model extremely non-ideal (...) agents that are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal 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 subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...) used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

When a proposition might be the case, for all an agent knows, we can say that the proposition is epistemically possible for the agent. In the standard possible worlds framework, we analyze modal claims using quantification over possible worlds. It is natural to expect that something similar can be done for modal claims involving epistemic possibility. The main aim of this paper is to investigate the prospects of constructing a space of worlds—epistemic space—that allows us to model what (...) is epistemically possible for ordinary, non-ideally rational agents like you and me. I will argue that the prospects look dim for successfully constructing such a space. In turn, this will make a case for the claim that we cannot use the standard possible worlds framework to model what is epistemically possible for ordinary agents. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation (...) can be also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

Logical and Spiritual Reflections is a collection of six shorter philosophical works, including: Hume’s Problems with Induction; A Short Critique of Kant’s Unreason; In Defense of Aristotle’s Laws of Thought; More Meditations; Zen Judaism; No to Sodom. Of these works, the first set of three constitutes the Logical Reflections, and the second set constitutes the Spiritual Reflections. Hume’s Problems with Induction, which is intended to describe and refute some of the main doubts and objections David Hume raised with (...) regard to inductive reasoning. It replaces the so-called problem of induction with a principle of induction. David Hume’s notorious skepticism was based on errors of observation and reasoning, with regard to induction, causation, necessity, the self and freewill. These are here pointed out and critically analyzed in detail – and more accurate and logical theories are proposed. The present work also includes refutations of Hempel’s and Goodman’s alleged paradoxes of induction. A Short Critique of Kant’s Unreason, which is a brief critical analysis of some of the salient epistemological and ontological ideas and theses in Immanuel Kant’s famous Critique of Pure Reason. It shows that Kant was in no position to criticize reason, because he neither sufficiently understood its workings nor had the logical tools needed for the task. Kant’s transcendental reality, his analytic-synthetic dichotomy, his views on experience and concept formation, and on the forms of sensibility (space and time) and understanding (his twelve categories), are here all subjected to rigorous logical evaluation and found deeply flawed – and more coherent theories are proposed in their stead. In Defense of Aristotle’s Laws of Thought, which addresses, from a phenomenological standpoint, numerous modern and Buddhist objections and misconceptions regarding the basic principles of Aristotelian logic. Many people seem to be attacking Aristotle’s Laws of Thought nowadays, some coming from the West and some from the East. It is important to review and refute such ideas as they arise. More Meditations, which is a sequel to the author’s earlier work, Meditations. It proposes additional practical methods and theoretical insights relating to meditation and Buddhism. It also discusses certain often glossed over issues relating to Buddhism – notably, historicity, idolatry, messianism, importation to the West. Zen Judaism, which is a frank reflection on the tensions between reason and faith in today’s context of knowledge, and on the need to inject Zen-like meditation into Judaism. This work also treats some issues in ethics and theodicy. No to Sodom, which is an essay against homosexuality, using biological, psychological, spiritual, ethical and political arguments. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they would (...) be inapplicable. We pointed out several errors and false statements by Imamura [21] regarding the inf/sup of nonstandard subsets, also Imamura's "rigorous definition of neutrosophic logic" is incorrect, as is his definition of nonstandard unit interval, and we showed that there is no total order in Neutrosophic Computing and Machine Learning , Vol. 23, 2022 Florentin Smarandache, Definición mejorada de la lógica neutrosófica no estándar e introducción a los hiperreales neutrosóficos (Quinta versión) 2 the set of hyperreals (due to the recently introduced Neutrosophic Hyperreals which are indeterminate), so the Transfer Principle from R to R* is questionable. After his critique, several reply posts on non-standard theoretical neutrosophy followed in 2018-2022. As such, I extended the Nonstandard Analysis by adding the right-closed left monad, the left-closed right monad, the punctured binad (which we introduced in 1998), and the nonpunctured binad - all in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of the Nonstandard Unitary Interval and Nonstandard Neutrosophic Logic are presented, along with Nonstandard Neutrosophic Operators. (shrink)

Philosophers throughout the ages have struggled to explain the way or ways by which we can acquire knowledge about the external world. With an aim to meet the skeptical challenges regarding the possibility of knowledge, various accounts of knowledge have been developed across philosophical traditions. The worry to meet skeptical challenges is implicitly or explicitly present in almost every philosophical account of knowledge. Many philosophers, while explaining about the nature and the possibility of knowledge, have talked about placing it in (...) the space of reasons or space of justifications. So, I think one of the ways in which we can respond to skeptical challenges is by developing a proper understanding of the space of reasons and justifications where we place our knowledge. When we talk about the space of reasons, it is also important to highlight, in this context, its relationship with the natural world. I would like to emphasize in this regard that there has been a normative turn specifically in the works of John McDowell and Robert Brandom after the naturalistic turn in epistemology. But one can ask- why is there a need of a normative turn after a seemingly successful naturalistic turn in epistemology? I call them normative epistemologists those who have argued that knowledge should be understood by placing it properly in the space of reasons which is necessarily a normative space. I think John McDowell, Robert Brandom and their philosophical heroes Immanuel Kant and G. W. F. Hegel fall into this category of epistemologists. Normative epistemologists have always argued that a philosophical account of knowledge in order to meet the skeptical challenges has to place our knowledge satisfactorily in the space of reasons and various ways of placing knowledge in the space of reasons have been developed in this regard. The significant questions that have been asked in this context are- what could be the best plausible way to place knowledge in the space of reasons? Is placing knowledge in the space of reasons enough to avoid the skeptical challenges regarding the possibility of knowledge? According to some philosophers, the skeptical problems arise because of a certain misunderstanding of space of reasons i.e. the interiorization of the space of reasons. On the interiorized conception of the space of reasons, there is need of extra elements beyond the space of reasons which are required for our knowledge but are not part of the logical space. In this paper, my aim, following Kant and McDowell, is to propose a critique of interiorized conception of space of reasons and show how this conception leads to various problems regarding the possibility of knowledge. In this context, I will specifically discuss argument from illusion as a skeptical challenge for the possibility of knowledge and McDowell’s response to it. In the second part of my paper, my aim is to discuss the debate between McDowell and Brandom on the nature and extent of the space of reasons. (shrink)

We propose a natural definition of what it means in a constructive context for a Banach space to be reflexive, and then prove a constructive counterpart of the Milman-Pettis theorem that uniformly convex Banach spaces are reflexive.

In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise they (...) would be inapplicable. We point out several errors and false statements by Imamura [21] with respect to the inf/sup of nonstandard subsets, also Imamura’s “rigorous definition of neutrosophic logic” is wrong and the same for his definition of nonstandard unit interval, and we prove that there is not a total order on the set of hyperreals (because of the newly introduced Neutrosophic Hyperreals that are indeterminate), whence the Transfer Principle from R to R* is questionable. After his criticism, several response publications on theoretical nonstandard neutrosophics followed in the period 2018-2022. As such, I extended the NonStandard Analysis by adding the left monad closed to the right, right monad closed to the left, pierced binad (we introduced in 1998), and unpierced binad - all these in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of NonStandard Unit Interval and NonStandard Neutrosophic Logic, together with NonStandard Neutrosophic Operators are presented. (shrink)

In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of (...) S4 as being "the logic of topological spaces", but now under the perspective of paraconsistency. (shrink)

This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which the systems can be interpreted on (...) well known epistemological standpoints. (shrink)

The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In fact, standard (...) space models of these forms of awareness are attractively simple. They allow us to prove completeness and decidability results with ease, to carry over standard techniques from decision theory, and to add propositional quantifiers straightforwardly. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. (...) Or, putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

A descriptive role is suggested for uracil as a temporal divide in the immediate aspects of metabolism verses long term maintained genetic transmission. In particular, details of the mechanism of excision repair of uracil from DNA based on differential parameters of spatial distortion of the planar uracil molecule within the DNA helix verses RNA, when viewed in analogy to a proposed model for space involving the substitution of the act of mirroring for the element of time in processes and (...) a descending complexity of structure with time of evolution, suggest the possibility that negative selection against decreased lifetime is the singular motive force of natural selection. The geometry of the Mobius strip, as it has a plane of mirroring symmetry, a twist able to account for torque in nature, an inversion of inside and out seen in biological structures, and an endless surface that can be accommodated to an atemporal account of physical processes is employed in a holistic model to elaborate a negative selection opposing death as zero volume or the logical existence of physical constraint to volumes that is represented as the ubiquitous inability of witnessing objects of any type to witness simultaneously both a self reflection and the reflection of self reflection. A role for uracil and its’ physical structure, in a model in which both are evolved from the mirroring of events of the witnessing of energies, is elaborated in which temporal aspects such as those entailed in existing models of natural evolution are considered inappropriate in perspectives that are oriented positively towards a successful comprehension of processes; focus is placed instead upon the geometry and arrangement of physical spaces. (shrink)

One may purport that ones awareness of space for scientific purposes comes about from a potential awareness of its'absence that is derived from times when ones attention is not focused on it. Yet simply one might extract the notion that space and entailed properties of it are elemental - i.e. conceptually non reducible and that from which all emanates. The words non-ethical induction, entailing the existence of ethical induction, if compared in a corresponding manner (to indivisible space (...) and the attentive awareness of it), also entail that the ethics of induction in science are dependant on attentive focus. In the following description I will attempt to draw some logical conclusions employing this analogy regardless of its' potential validity or invalidity and then relate these conclusions to actual circumstances in order to lend them substance. (shrink)

In his Science of Logic Hegel purports to give an account of a dialectical logic that generates the totality of being’s fundamental structures. This totality does not exhaust the richness of being, but it exhausts the basis of this richness. Any phenomenon, whether cognitive, scientific, social or political, is based upon some or all of those structures. The paper presents and examines the logic of a structure which pervades each and every phenomenon: the border(die Grenze). It is analyzed as an (...) advanced manifestation of “determinateness,” an even more primitive structure of being, which makes explicit its intrinsic connection with not-being. What is distinctive about Hegel’s analysis is that it establishes a logical character concerning the concept of “border” that precedes empirical observation and a connection with space. The aim of the paper is to reconstruct Hegel’s dialectic of the border in such a way as to make this logical character apparent and convincing to contemporary audience, who begin from the assumption that all discourse about border has an empirical basis and presupposes reference to space. It will be argued that, contrary to received opinion, the very phenomenon of “border” has certain universal and necessary features which explain its very possibility, are completely a priori and are established prior to any reference to space. A discussion about “borders” that excludes any a priori investigation into this phenomenon from its domain simply fails to illuminate its most important dimension: its logical core or, if you will, its universal and necessary attributes. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only (...) the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)