home.social

Search

1000 results for “Logical_Error”

  1. Jon Awbrey @[email protected] ·

    Survey of Animated Logical Graphs • 7
    • inquiryintoinquiry.com/2024/03

    This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

    Please follow the above link for the full set of resources.
    Articles and blog series on the core ideas are linked below.

    Beginnings —

    Logical Graphs • First Impressions
    • inquiryintoinquiry.com/2023/08

    Logical Graphs • Formal Development
    • inquiryintoinquiry.com/2023/09

    Elements —

    Logic Syllabus
    • oeis.org/wiki/Logic_Syllabus

    Logical Graphs
    • oeis.org/wiki/Logical_Graphs

    Minimal Negation Operators
    • oeis.org/wiki/Minimal_negation

    Propositional Equation Reasoning Systems
    • oeis.org/wiki/Propositional_Eq

    Examples —

    Peirce's Law
    • inquiryintoinquiry.com/2023/10
    • oeis.org/wiki/Peirce%27s_law

    Praeclarum Theorema
    • inquiryintoinquiry.com/2023/10
    • oeis.org/wiki/Logical_Graphs#P

    Proof Animations
    • oeis.org/wiki/User:Jon_Awbrey/

    Excursions —

    Cactus Language
    • oeis.org/wiki/Cactus_Language_

    Futures Of Logical Graphs
    • oeis.org/wiki/Futures_Of_Logic

    Applications —

    Applications of a Propositional Calculator • Constraint Satisfaction Problems
    • academia.edu/4727842/Applicati

    Exploratory Qualitative Analysis of Sequential Observation Data
    • oeis.org/wiki/User:Jon_Awbrey/

    Differential Analytic Turing Automata
    • oeis.org/wiki/Differential_Ana

    Survey of Theme One Program
    • inquiryintoinquiry.com/2024/02

    #Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
    #SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
    #CactusSyntax #MinimalNegationOperator #PeircesLaw #TuringAutomata

    #turingautomata #peirceslaw #minimalnegationoperator #cactussyntax #propositionalcalculus #booleanfunctions
  2. Jon Awbrey @[email protected] ·

    Survey of Animated Logical Graphs • 7
    • inquiryintoinquiry.com/2024/03

    This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

    Please follow the above link for the full set of resources.
    Articles and blog series on the core ideas are linked below.

    Beginnings —

    Logical Graphs • First Impressions
    • inquiryintoinquiry.com/2023/08

    Logical Graphs • Formal Development
    • inquiryintoinquiry.com/2023/09

    Elements —

    Logic Syllabus
    • oeis.org/wiki/Logic_Syllabus

    Logical Graphs
    • oeis.org/wiki/Logical_Graphs

    Minimal Negation Operators
    • oeis.org/wiki/Minimal_negation

    Propositional Equation Reasoning Systems
    • oeis.org/wiki/Propositional_Eq

    Examples —

    Peirce's Law
    • inquiryintoinquiry.com/2023/10
    • oeis.org/wiki/Peirce%27s_law

    Praeclarum Theorema
    • inquiryintoinquiry.com/2023/10
    • oeis.org/wiki/Logical_Graphs#P

    Proof Animations
    • oeis.org/wiki/User:Jon_Awbrey/

    Excursions —

    Cactus Language
    • oeis.org/wiki/Cactus_Language_

    Futures Of Logical Graphs
    • oeis.org/wiki/Futures_Of_Logic

    Applications —

    Applications of a Propositional Calculator • Constraint Satisfaction Problems
    • academia.edu/4727842/Applicati

    Exploratory Qualitative Analysis of Sequential Observation Data
    • oeis.org/wiki/User:Jon_Awbrey/

    Differential Analytic Turing Automata
    • oeis.org/wiki/Differential_Ana

    Survey of Theme One Program
    • inquiryintoinquiry.com/2024/02

    #Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
    #SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
    #CactusSyntax #MinimalNegationOperator #PeircesLaw #TuringAutomata

    #turingautomata #peirceslaw #minimalnegationoperator #cactussyntax #propositionalcalculus #booleanfunctions
  3. Jon Awbrey @[email protected] ·

    Survey of Animated Logical Graphs • 7
    • inquiryintoinquiry.com/2024/03

    This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

    Please follow the above link for the full set of resources.
    Articles and blog series on the core ideas are linked below.

    Beginnings —

    Logical Graphs • First Impressions
    • inquiryintoinquiry.com/2023/08

    Logical Graphs • Formal Development
    • inquiryintoinquiry.com/2023/09

    Elements —

    Logic Syllabus
    • oeis.org/wiki/Logic_Syllabus

    Logical Graphs
    • oeis.org/wiki/Logical_Graphs

    Minimal Negation Operators
    • oeis.org/wiki/Minimal_negation

    Propositional Equation Reasoning Systems
    • oeis.org/wiki/Propositional_Eq

    Examples —

    Peirce's Law
    • inquiryintoinquiry.com/2023/10
    • oeis.org/wiki/Peirce%27s_law

    Praeclarum Theorema
    • inquiryintoinquiry.com/2023/10
    • oeis.org/wiki/Logical_Graphs#P

    Proof Animations
    • oeis.org/wiki/User:Jon_Awbrey/

    Excursions —

    Cactus Language
    • oeis.org/wiki/Cactus_Language_

    Futures Of Logical Graphs
    • oeis.org/wiki/Futures_Of_Logic

    Applications —

    Applications of a Propositional Calculator • Constraint Satisfaction Problems
    • academia.edu/4727842/Applicati

    Exploratory Qualitative Analysis of Sequential Observation Data
    • oeis.org/wiki/User:Jon_Awbrey/

    Differential Analytic Turing Automata
    • oeis.org/wiki/Differential_Ana

    Survey of Theme One Program
    • inquiryintoinquiry.com/2024/02

    #Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
    #SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
    #CactusSyntax #MinimalNegationOperator #PeircesLaw #TuringAutomata

    #peirce #logic #logicalgraphs #entitativegraphs #existentialgraphs #spencerbrown
  4. Jon Awbrey @[email protected] ·

    Survey of Animated Logical Graphs • 7
    • inquiryintoinquiry.com/2024/03

    This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

    Please follow the above link for the full set of resources.
    Articles and blog series on the core ideas are linked below.

    Beginnings —

    Logical Graphs • First Impressions
    • inquiryintoinquiry.com/2023/08

    Logical Graphs • Formal Development
    • inquiryintoinquiry.com/2023/09

    Elements —

    Logic Syllabus
    • oeis.org/wiki/Logic_Syllabus

    Logical Graphs
    • oeis.org/wiki/Logical_Graphs

    Minimal Negation Operators
    • oeis.org/wiki/Minimal_negation

    Propositional Equation Reasoning Systems
    • oeis.org/wiki/Propositional_Eq

    Examples —

    Peirce's Law
    • inquiryintoinquiry.com/2023/10
    • oeis.org/wiki/Peirce%27s_law

    Praeclarum Theorema
    • inquiryintoinquiry.com/2023/10
    • oeis.org/wiki/Logical_Graphs#P

    Proof Animations
    • oeis.org/wiki/User:Jon_Awbrey/

    Excursions —

    Cactus Language
    • oeis.org/wiki/Cactus_Language_

    Futures Of Logical Graphs
    • oeis.org/wiki/Futures_Of_Logic

    Applications —

    Applications of a Propositional Calculator • Constraint Satisfaction Problems
    • academia.edu/4727842/Applicati

    Exploratory Qualitative Analysis of Sequential Observation Data
    • oeis.org/wiki/User:Jon_Awbrey/

    Differential Analytic Turing Automata
    • oeis.org/wiki/Differential_Ana

    Survey of Theme One Program
    • inquiryintoinquiry.com/2024/02

    #Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
    #SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
    #CactusSyntax #MinimalNegationOperator #PeircesLaw #TuringAutomata

    #turingautomata #peirceslaw #minimalnegationoperator #cactussyntax #propositionalcalculus #booleanfunctions
  5. Dr. Dani Sanchez @[email protected] ·

    Stitch ‘n Bitch: The Logical Conclusion
    #SatMat #TheWitchesOfEastwick

    #satmat #thewitchesofeastwick
  6. Dr. Dani Sanchez @[email protected] ·

    Stitch ‘n Bitch: The Logical Conclusion
    #SatMat #TheWitchesOfEastwick

    #satmat #thewitchesofeastwick
  7. Dr. Dani Sanchez @[email protected] ·

    Stitch ‘n Bitch: The Logical Conclusion
    #SatMat #TheWitchesOfEastwick

    #thewitchesofeastwick #satmat
  8. Dr. Dani Sanchez @[email protected] ·

    Stitch ‘n Bitch: The Logical Conclusion
    #SatMat #TheWitchesOfEastwick

    #satmat #thewitchesofeastwick
  9. Highretrogamelord @HRGL89 ·

    Space Invaders (Logical Computers) for the ZX81

    youtube.com/watch?v=RIr_r1Ordt8

    #logicalcomputers #shmup #shootemup #shooter #fixedscreen #fixedscreenshootemup
  10. Highretrogamelord @[email protected] ·

    Space Invaders (Logical Computers) for the ZX81

    youtube.com/watch?v=RIr_r1Ordt

    #SpaceInvaders #ZX81 #Action #SpaceInvadersClone #SpaceInvadersRipoff #SpaceInvadersVariant #FixedScreenShooter #FixedScreenShootemup #FixedScreen #Shooter #Shootemup #Shmup #LogicalComputers

    #logicalcomputers #shmup #shootemup #shooter #fixedscreen #fixedscreenshootemup
  11. Jon Awbrey @[email protected] ·

    Survey of Animated Logical Graphs
    • inquiryintoinquiry.com/2023/03

    This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

    #Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
    #Boole #BooleanAlgebra #BooleanFunctions #ModelTheory #ProofTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #LogicAsSemiotics

    #logicassemiotics #prooftheory #modeltheory #propositionalcalculus #lawsofform #spencerbrown
  12. Jon Awbrey @[email protected] ·

    Survey of Animated Logical Graphs
    • inquiryintoinquiry.com/2023/03

    This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

    #Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
    #Boole #BooleanAlgebra #BooleanFunctions #ModelTheory #ProofTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #LogicAsSemiotics

    #logicassemiotics #prooftheory #modeltheory #propositionalcalculus #lawsofform #spencerbrown
  13. Jon Awbrey @[email protected] ·

    Survey of Animated Logical Graphs
    • inquiryintoinquiry.com/2023/03

    This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

    #Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
    #Boole #BooleanAlgebra #BooleanFunctions #ModelTheory #ProofTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #LogicAsSemiotics

    #modeltheory #prooftheory #logicassemiotics #peirce #logic #logicalgraphs
  14. Jon Awbrey @[email protected] ·

    Survey of Animated Logical Graphs
    • inquiryintoinquiry.com/2023/03

    This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

    #Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
    #Boole #BooleanAlgebra #BooleanFunctions #ModelTheory #ProofTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #LogicAsSemiotics

    #logicassemiotics #prooftheory #modeltheory #propositionalcalculus #lawsofform #spencerbrown
  15. Star Trek Battles @[email protected] ·

    It would be most logical to check out the 2023 Star Trek Battle Winners Playlist :trek_tos_spock:

    trakt.tv/users/dukesilver1701/

    #StarTrek #StarTrekBattles

    #startrek #startrekbattles
  16. Star Trek Battles @[email protected] ·

    It would be most logical to check out the 2023 Star Trek Battle Winners Playlist :trek_tos_spock:

    trakt.tv/users/dukesilver1701/

    #StarTrek #StarTrekBattles

    #startrek #startrekbattles
  17. WIST Quotations @[email protected] ·

    A quotation from Arthur Conan Doyle

    No, no: I never guess. It is a shocking habit, — destructive to the logical faculty.

    Arthur Conan Doyle (1859-1930) British writer and physician
    Story (1890-02), “The Sign of the Four,” ch. 1 [Holmes], Lippincott’s Monthly Magazine, Vol. 45 (US) / 1 (UK)

    More about this quote: wist.info/doyle-arthur-conan/8…

    #quote #quotes #quotation #qotd #arthurconandoyle #sherlock #holmes #sherlockholmes #deduction #discipline #guess #guesswork #inference #logic

    #quote #quotes #qotd #quotation #guess #logic
  18. WIST Quotations @[email protected] ·

    A quotation from Arthur Conan Doyle

    No, no: I never guess. It is a shocking habit, — destructive to the logical faculty.

    Arthur Conan Doyle (1859-1930) British writer and physician
    Story (1890-02), “The Sign of the Four,” ch. 1 [Holmes], Lippincott’s Monthly Magazine, Vol. 45 (US) / 1 (UK)

    More about this quote: wist.info/doyle-arthur-conan/8…

    #quote #quotes #quotation #qotd #arthurconandoyle #sherlock #holmes #sherlockholmes #deduction #discipline #guess #guesswork #inference #logic

    #quote #quotes #qotd #quotation #guess #logic
  19. WIST Quotations @[email protected] ·

    A quotation from Arthur Conan Doyle

    No, no: I never guess. It is a shocking habit, — destructive to the logical faculty.

    Arthur Conan Doyle (1859-1930) British writer and physician
    Story (1890-02), “The Sign of the Four,” ch. 1 [Holmes], Lippincott’s Monthly Magazine, Vol. 45 (US) / 1 (UK)

    More about this quote: wist.info/doyle-arthur-conan/8…

    #quote #quotes #quotation #qotd #arthurconandoyle #sherlock #holmes #sherlockholmes #deduction #discipline #guess #guesswork #inference #logic

    #quote #quotes #qotd #quotation #guess #logic
  20. WIST Quotations @[email protected] ·

    A quotation from Arthur Conan Doyle

    No, no: I never guess. It is a shocking habit, — destructive to the logical faculty.

    Arthur Conan Doyle (1859-1930) British writer and physician
    Story (1890-02), “The Sign of the Four,” ch. 1 [Holmes], Lippincott’s Monthly Magazine, Vol. 45 (US) / 1 (UK)

    More about this quote: wist.info/doyle-arthur-conan/8…

    #quote #quotes #quotation #qotd #arthurconandoyle #sherlock #holmes #sherlockholmes #deduction #discipline #guess #guesswork #inference #logic

    #guesswork #inference #deduction #holmes #discipline #sherlock
  21. Martha Crimson @[email protected] ·

    Since I ribbed the drama for this during an earlier episode; this _is_ the most logical solution to the Only One Bed problem here. When Ah Shu moves in she and Yuan Mo have known each other for about three days and were on distant friend level - not ready to be physically close even in a modest and innocent way.

    #GoEast #OnlyOneBed #CDrama #wuxia

    #goeast #onlyonebed #cdrama #wuxia
  22. Martha Crimson @[email protected] ·

    Since I ribbed the drama for this during an earlier episode; this _is_ the most logical solution to the Only One Bed problem here. When Ah Shu moves in she and Yuan Mo have known each other for about three days and were on distant friend level - not ready to be physically close even in a modest and innocent way.

    #GoEast #OnlyOneBed #CDrama #wuxia

    #goeast #onlyonebed #cdrama #wuxia
  23. Martha Crimson @[email protected] ·

    Since I ribbed the drama for this during an earlier episode; this _is_ the most logical solution to the Only One Bed problem here. When Ah Shu moves in she and Yuan Mo have known each other for about three days and were on distant friend level - not ready to be physically close even in a modest and innocent way.

    #GoEast #OnlyOneBed #CDrama #wuxia

    #goeast #onlyonebed #cdrama #wuxia
  24. Martha Crimson @[email protected] ·

    Since I ribbed the drama for this during an earlier episode; this _is_ the most logical solution to the Only One Bed problem here. When Ah Shu moves in she and Yuan Mo have known each other for about three days and were on distant friend level - not ready to be physically close even in a modest and innocent way.

    #GoEast #OnlyOneBed #CDrama #wuxia

    #wuxia #cdrama #onlyonebed #goeast
  25. Martha Crimson @[email protected] ·

    Since I ribbed the drama for this during an earlier episode; this _is_ the most logical solution to the Only One Bed problem here. When Ah Shu moves in she and Yuan Mo have known each other for about three days and were on distant friend level - not ready to be physically close even in a modest and innocent way.

    #GoEast #OnlyOneBed #CDrama #wuxia

    #goeast #onlyonebed #cdrama #wuxia
  26. American Buddhist Net @[email protected] ·

    Gödel’s logic and Buddhism

    Gödel’s Incompleteness Theorems demonstrate that any sufficiently powerful formal system contains truths that cannot be proven from within the system, implying that complete understanding requires a perspective outside the system.

    In philosophical and theological interpretations, this limitation is often mapped to the distinction between immanent knowledge (within the system) and transcendent awareness (outside the system).

    1. The Structural Limitation

    • Internal Incompleteness: Gödel proved that a system cannot prove its own consistency or grasp all its own truths; there are always statements that are true but unprovable within the system’s axioms.
    • The “Outside” Perspective: To comprehend the complete picture or verify the system’s consistency, one must step outside the logical framework, accessing a higher order of intelligibility or a “super axiom.”

    2. Application to Buddhist Epistemology

    • Samsara vs. Nibbāna: In this analogy, the “system” represents Samsara (the cycle of existence and conventional logic), while the “outside” represents Nibbāna (the unconditioned state).
    • Transcendent Awareness: A being within the system (a sentient being) cannot cognize the ultimate truth of the system from within. Only by transcending the system—achieving Arahanthood or Buddhahood—can one “see things as they are” from the outside.
    • Greater vs. Lesser: Consequently, the “lesser” cognition (bound by internal logical limits and dualistic perception) cannot fully comprehend the “greater” transcendent awareness (which encompasses the total system from a non-dual, external vantage point).

    3. Philosophical Implications

    • Limits of Human Reason: This aligns with the view that human reason and formal logic are inherently limited and cannot grasp ultimate reality without intuitive or transcendent insight.
    • God and the Super Axiom: Similarly, in theological interpretations, Gödel’s work suggests the existence of a higher intelligence (God) or “super axiom” that exists outside the created system, sustaining it from a position of complete knowledge that finite beings cannot access internally.

    Thus, Gödel’s logic provides a formal mathematical basis for the idea that ultimate truth is inaccessible to the system itself, requiring a transcendent standpoint for full comprehension.

    link

    __________

    I would add that FIML practice allows us to step outside of the psycholinguistic system we use to communicate with our partner, and others. There is some chance FIML partners could become lost in a folie à deux, or shared psychosis, but odds of this are very low, imo, especially if partners frequently refer to philosophies, thoughts, ideas, and evidence outside of their world as a couple. FIML provides a kind of parallax for both partners psycholinguistic systems as well as the two systems working together as one. FIML cannot completely solve the inherent ambiguousness of interpersonal communication but it can improve our understanding (or resolution1) of our communications by at least one order of magnitude, or more. ABN

    1. the process or capability of making distinguishable the individual parts of an object ↩︎

    #abn #analysis #BuddhistPractice #FunctionalInterpersonalMetaLinguisticsFIML #philosophy #religion #science #thought
    #abn #analysis #buddhistpractice #functionalinterpersonalmetalinguisticsfiml #philosophy #religion
  27. American Buddhist Net @[email protected] ·

    Gödel’s logic and Buddhism

    Gödel’s Incompleteness Theorems demonstrate that any sufficiently powerful formal system contains truths that cannot be proven from within the system, implying that complete understanding requires a perspective outside the system.

    In philosophical and theological interpretations, this limitation is often mapped to the distinction between immanent knowledge (within the system) and transcendent awareness (outside the system).

    1. The Structural Limitation

    • Internal Incompleteness: Gödel proved that a system cannot prove its own consistency or grasp all its own truths; there are always statements that are true but unprovable within the system’s axioms.
    • The “Outside” Perspective: To comprehend the complete picture or verify the system’s consistency, one must step outside the logical framework, accessing a higher order of intelligibility or a “super axiom.”

    2. Application to Buddhist Epistemology

    • Samsara vs. Nibbāna: In this analogy, the “system” represents Samsara (the cycle of existence and conventional logic), while the “outside” represents Nibbāna (the unconditioned state).
    • Transcendent Awareness: A being within the system (a sentient being) cannot cognize the ultimate truth of the system from within. Only by transcending the system—achieving Arahanthood or Buddhahood—can one “see things as they are” from the outside.
    • Greater vs. Lesser: Consequently, the “lesser” cognition (bound by internal logical limits and dualistic perception) cannot fully comprehend the “greater” transcendent awareness (which encompasses the total system from a non-dual, external vantage point).

    3. Philosophical Implications

    • Limits of Human Reason: This aligns with the view that human reason and formal logic are inherently limited and cannot grasp ultimate reality without intuitive or transcendent insight.
    • God and the Super Axiom: Similarly, in theological interpretations, Gödel’s work suggests the existence of a higher intelligence (God) or “super axiom” that exists outside the created system, sustaining it from a position of complete knowledge that finite beings cannot access internally.

    Thus, Gödel’s logic provides a formal mathematical basis for the idea that ultimate truth is inaccessible to the system itself, requiring a transcendent standpoint for full comprehension.

    link

    __________

    I would add that FIML practice allows us to step outside of the psycholinguistic system we use to communicate with our partner, and others. There is some chance FIML partners could become lost in a folie à deux, or shared psychosis, but odds of this are very low, imo, especially if partners frequently refer to philosophies, thoughts, ideas, and evidence outside of their world as a couple. FIML provides a kind of parallax for both partners psycholinguistic systems as well as the two systems working together as one. FIML cannot completely solve the inherent ambiguousness of interpersonal communication but it can improve our understanding (or resolution1) of our communications by at least one order of magnitude, or more. ABN

    1. the process or capability of making distinguishable the individual parts of an object ↩︎

    #abn #analysis #BuddhistPractice #FunctionalInterpersonalMetaLinguisticsFIML #philosophy #religion #science #thought
    #abn #analysis #buddhistpractice #functionalinterpersonalmetalinguisticsfiml #philosophy #religion
  28. American Buddhist Net @[email protected] ·

    Gödel’s logic and Buddhism

    Gödel’s Incompleteness Theorems demonstrate that any sufficiently powerful formal system contains truths that cannot be proven from within the system, implying that complete understanding requires a perspective outside the system.

    In philosophical and theological interpretations, this limitation is often mapped to the distinction between immanent knowledge (within the system) and transcendent awareness (outside the system).

    1. The Structural Limitation

    • Internal Incompleteness: Gödel proved that a system cannot prove its own consistency or grasp all its own truths; there are always statements that are true but unprovable within the system’s axioms.
    • The “Outside” Perspective: To comprehend the complete picture or verify the system’s consistency, one must step outside the logical framework, accessing a higher order of intelligibility or a “super axiom.”

    2. Application to Buddhist Epistemology

    • Samsara vs. Nibbāna: In this analogy, the “system” represents Samsara (the cycle of existence and conventional logic), while the “outside” represents Nibbāna (the unconditioned state).
    • Transcendent Awareness: A being within the system (a sentient being) cannot cognize the ultimate truth of the system from within. Only by transcending the system—achieving Arahanthood or Buddhahood—can one “see things as they are” from the outside.
    • Greater vs. Lesser: Consequently, the “lesser” cognition (bound by internal logical limits and dualistic perception) cannot fully comprehend the “greater” transcendent awareness (which encompasses the total system from a non-dual, external vantage point).

    3. Philosophical Implications

    • Limits of Human Reason: This aligns with the view that human reason and formal logic are inherently limited and cannot grasp ultimate reality without intuitive or transcendent insight.
    • God and the Super Axiom: Similarly, in theological interpretations, Gödel’s work suggests the existence of a higher intelligence (God) or “super axiom” that exists outside the created system, sustaining it from a position of complete knowledge that finite beings cannot access internally.

    Thus, Gödel’s logic provides a formal mathematical basis for the idea that ultimate truth is inaccessible to the system itself, requiring a transcendent standpoint for full comprehension.

    link

    __________

    I would add that FIML practice allows us to step outside of the psycholinguistic system we use to communicate with our partner, and others. There is some chance FIML partners could become lost in a folie à deux, or shared psychosis, but odds of this are very low, imo, especially if partners frequently refer to philosophies, thoughts, ideas, and evidence outside of their world as a couple. FIML provides a kind of parallax for both partners psycholinguistic systems as well as the two systems working together as one. FIML cannot completely solve the inherent ambiguousness of interpersonal communication but it can improve our understanding (or resolution1) of our communications by at least one order of magnitude, or more. ABN

    1. the process or capability of making distinguishable the individual parts of an object ↩︎

    #abn #analysis #BuddhistPractice #FunctionalInterpersonalMetaLinguisticsFIML #philosophy #religion #science #thought
    #thought #science #religion #philosophy #functionalinterpersonalmetalinguisticsfiml #buddhistpractice
  29. American Buddhist Net @[email protected] ·

    Gödel’s logic and Buddhism

    Gödel’s Incompleteness Theorems demonstrate that any sufficiently powerful formal system contains truths that cannot be proven from within the system, implying that complete understanding requires a perspective outside the system.

    In philosophical and theological interpretations, this limitation is often mapped to the distinction between immanent knowledge (within the system) and transcendent awareness (outside the system).

    1. The Structural Limitation

    • Internal Incompleteness: Gödel proved that a system cannot prove its own consistency or grasp all its own truths; there are always statements that are true but unprovable within the system’s axioms.
    • The “Outside” Perspective: To comprehend the complete picture or verify the system’s consistency, one must step outside the logical framework, accessing a higher order of intelligibility or a “super axiom.”

    2. Application to Buddhist Epistemology

    • Samsara vs. Nibbāna: In this analogy, the “system” represents Samsara (the cycle of existence and conventional logic), while the “outside” represents Nibbāna (the unconditioned state).
    • Transcendent Awareness: A being within the system (a sentient being) cannot cognize the ultimate truth of the system from within. Only by transcending the system—achieving Arahanthood or Buddhahood—can one “see things as they are” from the outside.
    • Greater vs. Lesser: Consequently, the “lesser” cognition (bound by internal logical limits and dualistic perception) cannot fully comprehend the “greater” transcendent awareness (which encompasses the total system from a non-dual, external vantage point).

    3. Philosophical Implications

    • Limits of Human Reason: This aligns with the view that human reason and formal logic are inherently limited and cannot grasp ultimate reality without intuitive or transcendent insight.
    • God and the Super Axiom: Similarly, in theological interpretations, Gödel’s work suggests the existence of a higher intelligence (God) or “super axiom” that exists outside the created system, sustaining it from a position of complete knowledge that finite beings cannot access internally.

    Thus, Gödel’s logic provides a formal mathematical basis for the idea that ultimate truth is inaccessible to the system itself, requiring a transcendent standpoint for full comprehension.

    link

    __________

    I would add that FIML practice allows us to step outside of the psycholinguistic system we use to communicate with our partner, and others. There is some chance FIML partners could become lost in a folie à deux, or shared psychosis, but odds of this are very low, imo, especially if partners frequently refer to philosophies, thoughts, ideas, and evidence outside of their world as a couple. FIML provides a kind of parallax for both partners psycholinguistic systems as well as the two systems working together as one. FIML cannot completely solve the inherent ambiguousness of interpersonal communication but it can improve our understanding (or resolution1) of our communications by at least one order of magnitude, or more. ABN

    1. the process or capability of making distinguishable the individual parts of an object ↩︎

    #abn #analysis #BuddhistPractice #FunctionalInterpersonalMetaLinguisticsFIML #philosophy #religion #science #thought
    #abn #analysis #buddhistpractice #functionalinterpersonalmetalinguisticsfiml #philosophy #religion
  30. IQ Certificate @[email protected] ·

    Corporate IQ Testing: How Companies Can Use IQ Scores for Hiring and Talent Development

    Corporate IQ or cognitive ability tests are designed to estimate a person’s capacity to reason, identify patterns, process information, and learn new material efficiently. These assessments often include tasks involving numerical reasoning, verbal reasoning, abstract pattern recognition, and logical problem‑solving...

    #iq #iqtest #iqcertificate #corporate #business #company #problemsolving #talent #people

    #iq #iqtest #iqcertificate #corporate #business #company
Next page