home.social

#singularpropositions — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #singularpropositions, aggregated by home.social.

  1. Jon Awbrey @[email protected] ·

    #DifferentialPropositionalCalculus • 7
    • inquiryintoinquiry.com/2020/03

    In our #Model of #Propositions as #Mappings of a #UniverseOfDiscourse to a set of 2 values, in other words, #IndicatorFunctions of the form \(f:X\to\mathbb{B},\) #SingularPropositions are those singling out the #MinimalDistinctRegions of the universe, represented by single cells of the corresponding #VennDiagram.

    #Logic #LogicalGraphs #DifferentialLogic
    #PropositionalCalculus #BooleanFunctions
    #ModelTheory #ProofTheory #Semiotics

    #model #semiotics #prooftheory #modeltheory #minimaldistinctregions #booleanfunctions
  2. Jon Awbrey @[email protected] ·

    #DifferentialPropositionalCalculus • 7
    • inquiryintoinquiry.com/2020/03

    In our #Model of #Propositions as #Mappings of a #UniverseOfDiscourse to a set of 2 values, in other words, #IndicatorFunctions of the form \(f:X\to\mathbb{B},\) #SingularPropositions are those singling out the #MinimalDistinctRegions of the universe, represented by single cells of the corresponding #VennDiagram.

    #Logic #LogicalGraphs #DifferentialLogic
    #PropositionalCalculus #BooleanFunctions
    #ModelTheory #ProofTheory #Semiotics

    #booleanfunctions #propositionalcalculus #differentiallogic #logicalgraphs #logic #semiotics