About
Intuisionistik ID is a community dedicated to the study, development, and popularization of logic and analytic philosophy in Indonesia. We believe that clarity of thought is a prerequisite for progress.
Our Vision
To become a beacon of logical and analytical thinking in Indonesia.
Our Mission
- (1) Build a healthy ecosystem for logicians and analytic philosophers.
- (2) Popularize the study of logic and analytic philosophy.
- (3) Forge logicians and analytic philosophers of integrity.
Our Values
Logical Rigor
Precision in every step of an argument.
Linguistic Clarity
Avoiding unnecessary ambiguity and obscurity.
Intellectual Inclusivity
Open to anyone willing to think logically and analytically.
Our Paradigm
Built on four interconnected pillars
Philosophy
Analytic philosophy as the foundation of clear thinking and rigor argumentation.
Logic
Formal systems that govern valid inference and rational discourse.
Computation
The theory of computation and algorithmic thinking as problem-solving tools.
Mathematics
Mathematical structures and reasoning as the language of abstraction.
Logic, Computation, and Mathematics are unified through the Curry-Howard-Lambek Correspondence.
The Team
The intellectual collective behind Intuisionistik ID. We are a team dedicated to popularizing logic and analytic philosophy.
Join Community
Traces of analytical and logical thinking.
Join Community