We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results which show how to relate Kripke models to algebraic models and these in turn to the (...) appropriate categorical models for these logics. (shrink)

Rosen's modelling relations constitute a conceptual schema for the understanding of the bidirectional process of correspondence between natural systems and formal symbolic systems. The notion of formal systems used in this study refers to information structures constructed as algebraic rings of observable attributes of natural systems, in which the notion of observable signifies a physical attribute that, in principle, can be measured. Due to the fact that modelling relations are bidirectional by construction, they admit a precise categorical formulation in terms (...) of the category-theoretic syntactic language of adjoint functors, representing the inverse processes of information encoding/decoding via adjunctions. As an application, we construct a topological modelling schema of complex systems. The crucial distinguishing requirement between simple and complex systems in this schema is reflected with respect to their rings of observables by the property of global commutativity. The global information structure representing the behaviour of a complex system is modelled functorially in terms of its spectrum functor. An exact modelling relation is obtained by means of a complex encoding/decoding adjunction restricted to an equivalence between the category of complex information structures and the category of sheaves over a base category of partial or local information carriers equipped with an appropriate topology. (shrink)

Equivalences and translations between consequence relations abound in logic. The notion of equivalence can be defined syntactically, in terms of translations of formulas, and order-theoretically, in terms of the associated lattices of theories. W. Blok and D. Pigozzi proved in [4] that the two definitions coincide in the case of an algebraizable sentential deductive system. A refined treatment of this equivalence was provided by W. Blok and B. Jónsson in [3]. Other authors have extended this result to the cases of (...) k-deductive systems and of consequence relations on associative, commutative, multiple conclusion sequents. Our main result subsumes all existing results in the literature and reveals their common character. The proofs are of order-theoretic and categorical nature. (shrink)

Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices, this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures. It is shown that neither theory is sufficiently rich to describe basic operations on fuzzy relations.

In this paper we consider the notion of quantum entanglement from the perspective of the logos categorical approach [26, 27]. Firstly, we will argue that the widespread distinctions, on the one hand, between pure states and mixed states, and on the other, between separable states and entangled states, are completely superfluous when considering the orthodox mathematical formalism of QM. We will then argue that the introduction of these distinctions within the theory of quanta is due to another two completely unjustified (...) metaphysical presuppositions, namely, the idea that there is a “collapse” of quantum states when being measured and the idea that QM talks about “elementary particles”. At distance from these distinctions and taking the logos approach as a standpoint, we will propose an objective formal account of the notion of entanglement in terms of potential coding which introduces the necessary distinction between intensive relations and effective relations. We will also discuss how this new definition of entanglement provides an anschaulich content to this —supposedly “spooky”— quantum relational feature. (shrink)

Aristotle’s Prior Analytics is probably the earliest existing systematic philosophical writing on a syllogistic system and theory of logic. In this work, Aristotle introduces the categorical syllogistic, consisting of three figures and fourteen valid moods. This paper proposes that Aristotle distinguishes a general notion of syllogisms from a more technical notion of syllogisms. Syllogisms that belong to the categorical syllogistic fall under Aristotle’s technical notion of syllogisms that must satisfy two conditions: (1) a conclusion follows necessarily from the premises, and (...) (2) the premises derive a conclusion that necessarily follows from them in regard to attributing the major extreme to the minor. (shrink)

The bulk of the literature concerning the governing role of non-Humean laws has been concentrated on the alleged incapability of higher order nomic facts to determine the regularities in the behaviour of actual objects, the so-called Inference Problem. Most recently Ioannidis, Livanios and Psillos (2021) argue that an adequate solution to the Inference Problem requires an answer to the question of how nomic relations manage to ‘tell’ properties what to do. Ioannidis et al. dub the difficulty that all extant accounts (...) of governing laws face to give such an answer, the Governing Problem and introduce a Dualist Model, according to which the specific behaviour of things in the world is the outcome of both the thin powers things have to be subjected to laws, and certain nomic features of the world. The aim of this paper is to show that the most plausible form of the Dualist Model can provide the basis for a novel version of the Powerful Qualities View about properties. To this end it presents ways of developing two aspects of the Dualist Model. It defends the view that nomic relations must be relata-specific in order to play their theoretical role within the Model and provides arguments for the view that natural properties should have the minimum (compatible with the core tenets of the Model) modal strength. (shrink)

Structure is central to the realist view of mathematical disciplines with intended interpretations and categoricity is a model-theoretic notion that captures the idea of the determination of structure by theory. By considering the cases of arithmetic and (pure) set theory, I investigate how categoricity results might offer support from within to the realist view. I argue, amongst other things, that second-order quantification is essential to the support the categoricity results provide. I also note how the findings on categoricity relate to (...) a fundamental feature of the realist position. (shrink)

The article defends three claims regarding the relation between the different formulas of the categorical imperative. On its prevailing reading, FUL gives different moral guidance than FH; left answered, this problem is an argument for adopting a competing perspective on FUL. The prohibitions and commands of the formulas should be taken to be extensionally the same; but FKE adds a dimension missing from the others, gained by uniting their perspectives, namely, bringing the variety of moral laws into systematic unity. The (...) grammatically ambiguous phrase inGMS, 4: 436.9–10 claims that FA alone unites the other formulas in itself. (shrink)

This article considers categorical perception (CP) as a crucial process involved in all sort of communication throughout the biological hierarchy, i.e. in all of biosemiosis. Until now, there has been consideration of CP exclusively within the functional cycle of perception–cognition–action and it has not been considered the possibility to extend this kind of phenomena to the mere physiological level. To generalise the notion of CP in this sense, I have proposed to distinguish between categorical perception (CP) and categorical sensing (CS) (...) in order to extend the CP framework to all communication processes in living systems, including intracellular, intercellular, metabolic, physiological, cognitive and ecological levels. The main idea is to provide an account that considers the heterarchical embeddedness of many instances of CP and CS. This will take me to relate the hierarchical nature of categorical sensing and perception with the equally hierarchical issues of the “binding problem”, “triadic causality”, the “emergent interpretant” and the increasing semiotic freedom observed in biological and cognitive systems. (shrink)

The cognitive processing of spatial relations in Euclidean diagrams is central to the diagram-based geometric practice of Euclid's Elements. In this study, we investigate this processing through two dichotomies among spatial relations—metric vs topological and exact vs co-exact—introduced by Manders in his seminal epistemological analysis of Euclid's geometric practice. To this end, we carried out a two-part experiment where participants were asked to judge spatial relations in Euclidean diagrams in a visual half field task design. In the first part, we (...) tested whether the processing of metric vs topological relations yielded the same hemispheric specialization as the processing of coordinate vs categorical relations. In the second part, we investigated the specific performance patterns for the processing of five pairs of exact/co-exact relations, where stimuli for the co-exact relations were divided into three categories depending on their distance from the exact case. Regarding the processing of metric vs topological relations, hemispheric differences were found for only a few of the stimuli used, which may indicate that other processing mechanisms might be at play. Regarding the processing of exact vs co-exact relations, results show that the level of agreement among participants in judging co-exact relations decreases with the distance from the exact case, and this for the five pairs of exact/co-exact relations tested. The philosophical implications of these empirical findings for the epistemological analysis of Euclid's diagram-based geometric practice are spelled out and discussed. (shrink)

A well-known difficulty that affects all accounts of laws of nature according to which the latter are higher-order facts involving relations between universals (the so-called DTA accounts, from Dretske in Philosophy of Science 44:248–268, 1977; Tooley in Canadian Journal of Philosophy 7:667–698, 1977 and Armstrong (What is a Law of Nature?, Cambridge University Press, Cambridge, 1983)) is the Inference Problem: how can laws construed in that way determine the first-order regularities that we find in the actual world? Bird (Analysis 65:147–55, (...) 2005) has argued that there is no solution to the Inference Problem which is consistent with both categorical monism (that is, the view that all natural properties are categorical) and basic tenets of Armstrong’s account of the laws of nature. This paper shows that, given Armstrong’s view about laws as first-order structural universals whose instantiation ‘produce’ nomic regularities and under specific plausible metaphysical assumptions concerning nomic relations which are consistent with a broadly construed DTA approach to laws, there is no extra difficulty regarding the Inference Problem in a categorical monistic context besides the ones that beset structural universals in general. (shrink)

We investigate effective categoricity for polymodal algebras. We prove that the class of polymodal algebras is complete with respect to degree spectra of nontrivial structures, effective dimensions, expansion by constants, and degree spectra of relations. In particular, this implies that every categoricity spectrum is the categoricity spectrum of a polymodal algebra.

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in the (...) first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

Kant, having identified the formulas of the supreme principle of morality, offers a succinct explanation of their interrelation. What Kant says is, “The above three ways of representing the principle of morality are at bottom only so many formulae of the very same law, and any one of them of itself unites the other two in it.”1 This claim – hereafter the “Unity Claim” – plays the role of the eccentric cousin in the family of Kant’s ethics: although glaringly present, (...) it is little spoken of, but seldom disowned. Most commentators, at any rate, focus their attention on more important matters, such as the content of the individual formulas, the moral psychology, or the deduction of freedom. Such matters are sufficiently absorbing to leave the Unity Claim often passed over without remark. But the Unity Claim should not be ignored. Kant does assert it, which compels us to attempt to find a place for it in his moral theory. It would seem to constrain the interpretation of the other, more momentous issues. How one interprets the content of the categorical imperative, in particular, would seem to be significantly restricted by the Unity Claim; one could not, given the Unity Claim, offer a complete interpretation of any single formula without also at least referring to the other formulas. And, as I shall argue in Part III below, the Unity Claim is no accident. Kant is committed to the Unity Claim by virtue of some basic features of his moral theory. This paper will thus offer what amounts to an extended commentary on the Unity Claim. I shall review the various suggestions of what it might mean, and how it might, or might not, be accommodated within Kant’s moral theory. The structure of this paper will be as such. Part II will examine the two main strategies for including the Unity Claim within Kant’s moral theory, and explain why they are both inadequate. Part III will examine the other main approach to the 2 Unity Claim: giving up on it.. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in the (...) first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

The concept of “life” certainly is of some use to distinguish birds and beavers from water and stones. This pragmatic usefulness has led to its construal as a categorical predicate that can sift out living entities from non-living ones depending on their possessing specific properties—reproduction, metabolism, evolvability etc. In this paper, we argue against this binary construal of life. Using text-mining methods across over 30,000 scientific articles, we defend instead a degrees-of-life view and show how these methods can contribute to (...) experimental philosophy of science and concept explication. We apply topic-modeling algorithms to identify which specific properties are attributed to a target set of entities (bacteria, archaea, viruses, prions, plasmids, phages and the molecule of adenine). Eight major clusters of properties were identified together with their relative relevance for each target entity (two that relate to metabolism and catalysis, one to genetics, one to evolvability, one to structure, and—rather unexpectedly—three that concern interactions with the environment broadly construed). While aligning with intuitions—for instance about viruses being less alive than bacteria—these quantitative results also reveal differential degrees of performance that have so far remained elusive or overlooked. Taken together, these analyses provide a conceptual “lifeness space” that makes it possible to move away from a categorical construal of life by empirically assessing the relative lifeness of more-or-less alive entities. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in the (...) first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in the (...) first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

Why do we draw the boundaries between “blue” and “green”, where we do? One proposed answer to this question is that we categorize color the way we do because we perceive color categorically. Starting in the 1950’s, the phenomenon of “categorical perception” (CP) encouraged such a response. CP refers to the fact that adjacent color patches are more easily discriminated when they straddle a category boundary than when they belong to the same category. In this paper, I make three (...) related claims. (1) Although what seems to guide discrimination performances seems to indeed be categorical information, the evidence in favor of the fact that categorical perception infl uences the way we perceive color is not convincing. (2) That CP offers a useful account of categorization is not obvious.While aiming at accounting for categorization, CP itself requires an account of categories. This being said, CP remains an interesting phenomenon. Why and how is our discrimination behavior linked to our categories? It is suggested that linguistic labels determine CP through a naming strategy to which participants resort while discriminating colors. This paper’s fi nal point is (3) that the naming strategy account is not enough. Beyond category labels, what seems to guide discrimination performance is category structure. (shrink)

We describe punctual categoricity in several natural classes, including binary relational structures and mono-unary functional structures. We prove that every punctually categorical structure in a finite unary language is${\text {PA}}(0')$-categorical, and we show that this upper bound is tight. We also construct an example of a punctually categorical structure whose degree of categoricity is$0''$. We also prove that, with a bit of work, the latter result can be pushed beyond$\Delta ^1_1$, thus showing that punctually categorical structures can possess arbitrarily complex (...) automorphism orbits.As a consequence, it follows that binary relational structures and unary structures are not universal with respect to primitive recursive interpretations; equivalently, in these classes every rich enough interpretation technique must necessarily involve unbounded existential quantification or infinite disjunction. In contrast, it is well-known that both classes are universal for Turing computability. (shrink)

Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

Cultural differences occur in the use of categories to aid accurate recall of information. This study investigated whether culture also contributed to false (erroneous) memories, and extended cross-cultural memory research to Turkish culture, which is shaped by Eastern and Western influences. Americans and Turks viewed word pairs, half of which were categorically related and half unrelated. Participants then attempted to recall the second word from the pair in response to the first word cue. Responses were coded as correct, (...) as blanks, or as different types of errors. Americans committed more categorical errors than did Turks, and Turks mistakenly recalled more non-categorically related list words than did Americans. These results support the idea that Americans use categories either to organize information in memory or to support retrieval strategies to a greater extent than Turks and suggest that culture shapes not only accurate recall but also erroneous distortions of memory. (shrink)

This paper offers a conceptual clarification of the phenomenon commonly referred to as categorical perception of color, both in adults and in infants. First, I argue against the common notion of categorical perception as involving a distortion of the perceptual color space. The effects observed in the categorical perception research concern categorical discrimination performance and the underlying processing; they need not directly reflect the relations of color similarity and difference. Moreover, the methodology of the research actually presupposes that the relations (...) of similarity and difference do not vary with languages. The observed categorical perception effects should be conceived independently of the perceptual color space. Second, I challenge the usual opinion that the existing evidence on infant “categorical perception” allows us to conclude that infants perceptually categorize color, and in particular, that they have perceptual categories that resemble the basic color categories of English. Such conclusions rest on an unjustified interpretation of the infant “categorical perception” findings in terms of adult linguistic categorical boundaries. Based on the suggested new understanding, I propose that the phenomenon, as present in infants, should be conceived and examined as a possible explanatory factor with respect to the existing patterns of color naming in languages of the world. (shrink)

The category \(\mathbb {DRDL}{'}\), whose objects are c-differential residuated distributive lattices satisfying the condition \(\textbf{CK}\), is the image of the category \(\mathbb {RDL}\), whose objects are residuated distributive lattices, under the categorical equivalence \(\textbf{K}\) that is constructed in Castiglioni et al. (Stud Log 90:93–124, 2008). In this paper, we introduce weak monadic residuated lattices and study some of their subvarieties. In particular, we use the functor \(\textbf{K}\) to relate the category \(\mathbb {WMRDL}\), whose objects are weak monadic residuated distributive lattices, (...) and the category \(\mathbb {WMDRDL}{'}\), whose objects are pairs formed by an object of \(\mathbb {DRDL}{'}\) and a center weak universal quantifier. (shrink)

High and low alexithymia scorers were confronted with a modified visual oddball task that allowed the study of categorical perception of emotional expressions on faces. Participants had to quickly detect a deviant (rare) morphed face that shared or did not share the same emotional expression as the frequent one. Expected categorical perception effects, which were also neurophysiologically indexed, showed that rare stimuli were detected faster if they depicted a different emotional expression compared to rare stimuli depicting the same emotional expression (...) than the frequent one. Even if no differences were observed at a behavioural level, high alexithymia scorers evidenced overall delayed neurophysiological responses in components related to the attentional processing of rare emotional faces. Moreover, the categorical perception effects for event-related components associated with the attentional processing were smaller in high alexithymia scorers and were even absent for anger. These results show that high alexithymia scorers present discrimination delays that are already observed at the attentional level. (shrink)

Studies of categorical induction typically examine how belief in a premise (e.g., Falcons have an ulnar artery) projects on to a conclusion (e.g., Robins have an ulnar artery). We study induction in cases in which the premise is uncertain (e.g., There is an 80% chance that falcons have an ulnar artery). Jeffrey's rule is a normative model for updating beliefs in the face of uncertain evidence. In three studies we tested the descriptive validity of Jeffrey's rule and a related (...) probability theorem, the rule of total probability. Although these rules provided good approximations to mean judgments in some cases, the results from regression and correlation analyses suggest that participants focus on the parts of these rules that are associated with the highest overall probability. We relate our findings to rational models of judgment. (shrink)

Let be a universal class with categorical in a regular with arbitrarily large models, and let be the class of all for which there is such that. We prove that is totally categorical (i.e., ξ‐categorical for all ) and for. This result is partially stronger and partially weaker than a related result due to Vasey. In addition to small differences in our categoricity transfer results, we provide a shorter and simpler proof. In the end we prove the main theorem (...) of this paper: the models of are essentially vector spaces (or trivial, i.e., disintegrated). (shrink)

What are physical objects like when they are considered independently of their causal interactions? Many think that the answer to this question involves categorical properties– properties that make contributions to their bearers that are independent of any causal interactions those objects may enter into. In this paper, I examine two challenges that this solution poses to Physicalism. The first challenge is that, given that they are distinct from any of the scientifically described causal powers that they happen to convey, categorical (...) properties will not qualify as being ‘physical’ properties. Given the right definition of ‘physical’, this challenge can be overcome. I argue, however, that the only way we can have a positive grasp of the nature of categorical properties is via ‘acquaintance’– a non-physical relation. This second challenge to Physicalism cannot be overcome.1. (shrink)

In this paper I offer two arguments designed to defend the existence of categorical reasons, which I define as those justifying considerations that obtain independently of their relation to an agent's commitments. The first argument is based on certain paradigm cases meant to reveal difficulties for practical instrumentalism—the view, as I define it here, that categorical reasons do not exist, because all reasons must serve the commitments of the agents to whom they apply. The second argument relies on considerations of (...) responsibility and blame to establish the existence of categorical reasons. (shrink)

An algebraization of multi-signature first-order logic without terms is presented. Rather than following the traditional method of choosing a type of algebras and constructing an appropriate variety, as is done in the case of cylindric and polyadic algebras, a new categorical algebraization method is used: The substitutions of formulas of one signature for relation symbols in another are treated in the object language. This enables the automatic generation via an adjunction of an algebraic theory. The algebras of this theory are (...) then used to algebraize first-order logic. (shrink)

We continue our study of finitary abstract elementary classes, defined in [7]. In this paper, we prove a categoricity transfer theorem for a case of simple finitary AECs. We introduce the concepts of weak κ-categoricity and f-primary models to the framework of א₀-stable simple finitary AECs with the extension property, whereby we gain the following theorem: Let (������, ≼ ������ ) be a simple finitary AEC, weakly categorical in some uncountable κ. Then (������, ≼ ������ ) is weakly categorical in (...) each λ ≥ min { \group{ \{\kappa,\beth_{ \group{ (2^{ \aleph_{ 0 _} ^});^{ + ^} \group} _}\}; \group} . If the class (������, ≼ ������ ) is also LS(������)-tame, weak κ-categoricity is equivalent with κ-categoricity in the usual sense. We also discuss the relation between finitary AECs and some other non-elementary frameworks and give several examples. (shrink)

Studies of the conceptual abilities of nonhuman primates demonstrate the substantial range of these abilities as well as their limitations. Such abilities range from categorization on the basis of shared physical attributes, associative relations and functions to abstract concepts as reflected in analogical reasoning about relations between relations. The pattern of results from these studies point to a fundamental distinction between monkeys and apes in both their implicit and explicit conceptual capacities. Monkeys, but not apes, might be best regarded as (...) “paleo‐logicans” in the sense that they form common class concepts of identity on the basis of identical predicates (i.e., shared features). The discrimination of presumably more abstract relations commonly involves relatively simple procedural strategies mediated by associative processes likely shared by all mammals. There is no evidence that monkeys can perceive, let alone judge, relations‐between‐relations. This analogical conceptual capacity is found only in chimpanzees and humans. Interestingly, the “analogical ape,” like the child, can make its analogical knowledge explicit only if it is first provided with a symbol system by which propositional representations can be encoded and manipulated. (shrink)

We build an א₁-categorical but not א₀-categorical theory whose only computably presentable model is the saturated one. As a tool, we introduce a notion related to limitwise monotonic functions.

Adopting a different method from the previous scholars, this article deduces the remaining 23 valid syllogisms just taking the syllogism AEE-4 as the basic axiom. The basic idea of this study is as follows: firstly, make full use of the trichotomy structure of categorical propositions to formalize categorical syllogisms. Then, taking advantage of the deductive rules in classical propositional logic and the basic facts in the generalized quantifier theory, we deduce the remaining 23 valid categorical syllogisms by taking just one (...) syllogism (that is, AEE-4) as the basic axiom. This article not only reveals the reducible relations between the syllogism AEE-4 and the other 23 valid syllogisms, but also establishes a concise formal axiomatic system for categorical syllogistic logic. We hope that the results and methods will provide a good mathematical paradigm for studying other kinds of syllogistic logics, and that the project will appeal to specialists in logic, linguistic semantics, computational semantics, cognitive science and artificial intelligence. (shrink)