boris_m

11 ms·

1. 91.▲
   by boris_m 5y ago

   Because the definition would be circular.
2. 92.▲
   by boris_m 5y ago

   There is no equivalent to "neither true nor false" in classical logic, because in classical logic there are no propositions that are neither true or false. Actually, there is no "neither true nor false" in intuitionistic
3. 93.▲
   by boris_m 5y ago

   By higher level, I mean big picture. Not necessarily introductory, but ones that don't employ logical concepts such as "proof", "formal" etc, because you cannot define a field of study using concepts from that field
4. 94.▲
   by boris_m 5y ago

   Corrected the sentence: "If we view classical logic as based on set theory, then intuitionistic logic would be based on category theory and its related theories." And regarding the fact that CT is not "needed" for algebr
5. 95.▲
   by boris_m 5y ago

   Well, it has it's limits, but wouldn't call it "flawed". Regarding the psyche part, I have actually written an article about that which might change your opinion https://boris-marinov.github.io/logic-thou
6. 96.▲
   by boris_m 5y ago

   For category theory, I like Spivak's books. For logic, it really depends of what you are searching for, for classical logic you can read the the classics, for example Russell and Tarski. For constructive logic I cannot think of a good
7. 97.▲
   by boris_m 5y ago

   Thanks for the suggestion
8. 98.▲
   by boris_m 5y ago

   Thanks
9. 99.▲
   by boris_m 5y ago

   In this book I am focused on category theory, but I may write some more about logic in other places.
10. 100.▲
    by boris_m 5y ago

    I meant at a higher lever.
11. 101.▲
    by boris_m 5y ago

    Inkscape.
12. 102.▲
    by boris_m 5y ago

    The bool category is not involved in this. True and False are the initial and terminal object (related to limit and colimit, but not the same thing) of all logical categories as I call them, of which there are many (one for each set of
13. 103.▲
    by boris_m 5y ago

    Author here. Yes. Texts says " If classical logic is based on set theory", that is I am comparing the relations to set theory and category theory to that between classical logic and intuitionistic logic. I will try to fix the amb
14. 104.▲
    by boris_m 5y ago

    Also a good formulation. It's amazing how little has been written on the subject (of what logic is.)
15. 105.▲
    by boris_m 5y ago

    Thanks for the hint
16. 106.▲
    by boris_m 5y ago

    Author here, let me know what you think.
17. 107.▲
    Category Theory Illustrated – Logic(boris-marinov.github.io)

    24 points by boris_m 5y ago|2 comments
18. 108.▲
    by boris_m 6y ago

    Thanks for this treatment. The truth is that I wanted to write a full section on this, but I didn't have the time, so I decided to only mark it. I will probably remove the reference, as currently it would not add anything for people wh
19. 109.▲
    by boris_m 6y ago

    Interesting take, but I am not sure I agree - parentheses are used to denote a thought that is not directly related to the one expressed in the rest of the sentence e.g. additional clarifications. Of which (this being an introductory materi
20. 110.▲
    by boris_m 6y ago

    Thanks everyone for pointing that and other problems, just made some corrections.
21. 111.▲
    Why is functional programming awesome(boris-marinov.github.io)

    2 points by boris_m 9y ago|0 comments
22. 112.▲
    Show HN: Utilities for making lightweight persistent objects in JS(github.com)

    3 points by boris_m 10y ago|0 comments
23. 113.▲
    Show HN: A monad transformer library in JS(github.com)

    2 points by boris_m 11y ago|0 comments
24. 114.▲
    Stalin Died (1975)(medium.com)

    7 points by boris_m 12y ago|0 comments
25. 115.▲
    Smarty Pants(medium.com)

    1 points by boris_m 13y ago|0 comments