Latest Announcement
Announcement posted: October 24, 2024
Welcome to the The Logic Spellbook! This is a place where I write about my fixation on logic and reasoning. This spellbook is tome of recipes and musings for all things logic – from philosophy and linguistics to mathematics and computer science. This is really a passion project and what topic I write about is determined by the ebbs and flows of my thoughts.
About the articles
The articles here are really divided into two sections: Series articles and One-off articles. Series articles are for studies and research that span many weeks and months and no one article can hold all the information.
One-off articles on the other hands are musing that don’t have a follow-up article.
What is the Logic Zoo?
The Logic Zoo has been a long time project of mine to catalogue and explain formal systems of logic. It is considered series articles and you can find them in the Series Articles.
Gallery
You can find art and other media here.
Latest Articles
How to Build a Logic
December 17, 2024In logic there are no morals. Everyone is at liberty to build his own logic, i.e. his own language, as he wishes. All that is required of him is that, if he wishes to discuss it, he must state his methods clearly, and give syntactical rules instead of philosophical arguments.
- Carnap, The Logical Syntax of Logic [3]
How do you build a logic?
The main references of this book are Carnap’s The Logical Syntax of Language. [3] and Harrison’s Handbook of Practical Logic and Automated Reasoning [2].
What does it mean to “build a logic”?
It may seem strange to say that we can “build a logic”. What does that even mean? Different people will have different conceptions of logic. Some will think of it as a sort of trascendental concept that governs existence and reality; others see of it as the underlying rules that capture rational human thought; and yet others see of logic as a foundation which we build mathematics.
Read more →The Logic Zoo
November 27, 2024
What is The Logic Zoo? It is a place where different logical and formal systems are free to roam. A place where you can have a look at what these different modes of reasoning have to offer.
Read more →