Switch to: References

Add citations

You must login to add citations.
  1. Information Theory and Logical Analysis in the Tractatus Logico-Philosophicus.Felipe Oliveira Araújo Lopes - 2022 - Philosophia 51 (1):217-253.
    The present article proposes an Informational-Theoretic interpretation of logical analysis applied to natural language in Tractatus Logico-Philosophicus. Natural language is characterized by descriptive definitions in order to compress information according to empirical regularities. However, notations fitted to empirical patterns do not explicitly reflect the logical structure of language that enables it to represent those very patterns. I argue that logical analysis is the process of obtaining incompressible and uniformly distributed codes, best fitted to express the possible combinations of facts instead (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On Abstraction in Mathematics and Indefiniteness in Quantum Mechanics.David Ellerman - 2021 - Journal of Philosophical Logic 50 (4):813-835.
    ion turns equivalence into identity, but there are two ways to do it. Given the equivalence relation of parallelness on lines, the #1 way to turn equivalence into identity by abstraction is to consider equivalence classes of parallel lines. The #2 way is to consider the abstract notion of the direction of parallel lines. This paper developments simple mathematical models of both types of abstraction and shows, for instance, how finite probability theory can be interpreted using #2 abstracts as “superposition (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Filter pairs and natural extensions of logics.Peter Arndt, Hugo Luiz Mariano & Darllan Conceição Pinto - 2022 - Archive for Mathematical Logic 62 (1):113-145.
    We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality $$\kappa $$, where $$\kappa $$ is a regular cardinal. The corresponding new notion is called $$\kappa $$ -filter pair. A filter pair can be seen as a presentation of a logic, and we ask what different $$\kappa $$ -filter pairs give rise to a fixed logic of cardinality $$\kappa $$. To make the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Probability Theory with Superposition Events.David Ellerman - manuscript
    In finite probability theory, events are subsets S⊆U of the outcome set. Subsets can be represented by 1-dimensional column vectors. By extending the representation of events to two dimensional matrices, we can introduce "superposition events." Probabilities are introduced for classical events, superposition events, and their mixtures by using density matrices. Then probabilities for experiments or `measurements' of all these events can be determined in a manner exactly like in quantum mechanics (QM) using density matrices. Moreover the transformation of the density (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • How Category Theory Works.David Ellerman - manuscript
    The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions can be (...)
    Download  
     
    Export citation  
     
    Bookmark