PROFILE

Muhammad Qatrunnada Ahnaf is a philosopher and logician specializing in the structural boundaries of formal systems. Holding a Master of Philosophy from Universitas Gadjah Mada, his specialization lies in classical and non-classical formal logic, the metaphysics of logic, and the philosophy of science. His research interests extend across analytic philosophy, metaphysics, the philosophy of mathematics, and the philosophy of economics.

As the Founder and General Lead of Intuisionistik ID, he pioneers initiatives to democratize rigorous analytical thinking in Indonesia. With over 20 publications in popular academic and argumentative writing since 2016, he has honed deep skills in logical-argumentative and qualitative analysis. He is also a frequent public intellectual, having delivered more than 20 invited talks as a speaker and debater, showcasing an ability to communicate complex ideas effectively to diverse audiences.

Beyond the academy, he applies a formal-systemic approach to high-precision domains. Since 2018, he has been actively engaged in financial trading, utilizing systematic-algorithmic strategies across stocks, forex, and crypto markets—a practice that has sharpened his technical-quantitative analysis and investment psychology. His leadership experience in student organizations further demonstrates a commitment to research-based decision-making, organizational management, and negotiation.

EDUCATION

Master of Philosophy (M.Phil.)

Universitas Gadjah Mada (Feb 2021 - May 2023)

$\vdash \quad$ Cum Laude (GPA 3.89/4.00).

Thesis: The Relevance of The Metaphysics of Logic on The Analytic Logic According to The Scheme of Truthmaker Theory Towards Scientific Reasoning.

Keywords: Truthmaker Theory, Metaphysics of Logic, Analytic Logic, Scientific Reasoning.

<https://etd.repository.ugm.ac.id/penelitian/detail/223574>

• Philosophy Faculty's Cum Laude Scholarship Recipient.
• Participated in Indonesian philosophy community projects (e.g., Philofest ID 2020 and 2021) as a speaker and debater.

Bachelor of Philosophy (S.Fil.)

Universitas Gadjah Mada (Aug 2015 - Jan 2020)

$\vdash \quad$ Cum Laude (GPA 3.65/4.00).

Thesis: Theoretical Implications of Bertrand Russell's Criticism Towards Aristotelian Logic.

Keywords: Bertrand Russell, Aristotle, Classical Predicate Logic, Term Logic, Syllogism.

<https://etd.repository.ugm.ac.id/penelitian/detail/183682>

• Djarum Plus Scholarship Recipient (Batch 33, 2018-2019).
• Contributing writer in various popular websites since 2016.
• Financial trader across a variety of instruments (stocks, forex, crypto) using systematic-algorithmic methods since 2018.

---

AREAS OF SPECIALIZATION

Classical and Non-Classical Formal Logic, Philosophy and Metaphysics of Logic, Philosophy of Science, Applied Logical Modeling.

AREAS OF COMPETENCE

Metaphysics, Analytic Philosophy, Meta-Philosophy, Quantitative Analysis.

AREAS OF INTEREST

Philosophy of Mathematics, Philosophy of Economics, Meta-Ethics, Philosophy of Mind, Meta-Epistemology.

---

EXPERIENCE

Administrative Executive at Sumatra Orangutan Trekking (June 2025 - Present)

<https://sumatraorangutantrekking.com>

• Maintain high responsiveness during working hours via email and WhatsApp (friendly, informative, and solution-oriented service).
• Manage end-to-end inquiry follow-ups and client case resolutions.
• Execute accurate data entry for bookings, transport, accommodation, deposits, and payments within the internal system.
• Coordinate and confirm client arrival and departure schedules.
• Update logistics and itineraries in real-time and ensure seamless communication with the field team.
• Increase post-trekking engagement by distributing review links to clients.
• Compile comprehensive daily summary reports covering upcoming bookings (H+1), guest rotations, transport logistics, and invoicing.
• Communicate company services clearly and effectively to diverse clients.
• Proactively suggest improvements to operational systems, templates, and communication protocols.

Founder & General Lead at Intuisionistik ID: Centre of Analytic Philosophy and Formal Logic (May 2025 - Present)

<https://teer.id/intuisionistik>

• Founded as a platform to bridge the gap between academic formal logic and public discourse in Indonesia.
• Establish an evidence-based operational framework prioritizing logical coherence and verifiable real impact.
• Manage an intensive editorial pipeline with over 30 popular articles published to date.
• Integrate Proof/Evidence-based decision-making protocols into organizational workflows.
• Develop systematic problem-solving skills through a weekly logic bulletin and bi-weekly discussion series.

Coordinating Minister for Knowledge and Movement at Badan Eksekutif Mahasiswa Keluarga Mahasiswa Universitas Gadjah Mada (BEM KM UGM) (2018)

<https://www.instagram.com/bem.ugm/>

• Orchestrated research-knowledge-based strategic movements for the entire university student body.
• Formalized research-driven decision-making protocols to ensure social movements were grounded in empirical data and logical analysis.

Commissioner (2017 - 2019) and Deputy Commissioner for External Affairs (2016 - 2017) at Gerakan Mahasiswa Nasional Indonesia (GMNI) Komisariat Filsafat UGM

<https://www.instagram.com/gmnifilsafatugm/>

• Pioneered a research-driven activism model, transforming student organizing into a systematic analytical process.
• Cultivated a culture of rigorous critical thinking through monthly peer-review writing cycles and dialectical discussions.

Editorial Board Member at LSF Cogito (2016 - 2018)

<https://lsfcogito.org/>

<https://www.instagram.com/lsfcogito/?hl=en>

• Actively reviewed and edited more than one article per month.
• Led the launch of Cogito Journal (Vol. 3 No. 2).
• Involved in every organizational process including attending academic discussions at least once per week.

SKILLS

• Applied Formal Systems (Autodidact): Designing Pine Script and Python models using systemic-formal logic for quantitative market analysis and risk management.
• AI Logic & Knowledge Design: Designing prompt and code engineering to ensure AI and agentic AI outputs have high precision and structuring knowledge management system architectures (Obsidian/MDX).
• Technical Expertise: Python, Pine Script, Algorithmic Trading, LaTeX, Advanced MS Office.
• Analysis: Formal-logical and qualitative; technical-quantitative (financial markets).
• Writing: Popular-academic and argumentative writing with 20+ publications since 2016.
• Public Speaking: 20+ guest lectures on logic, philosophy, and interdisciplinary topics since 2016.
• Leadership: Logic-based organizational management and systematic problem-solving.
• Languages: English (Professional) and Indonesian (Native).