🪴 Quartz 4.0
Search
Search
Dark mode
Light mode
Explorer
1. Active & Works
Academic Diary
2023
Bachelors' Outline
2024
Diary
An Interesting Field, Finite Model Theory
Assume I finish the MoL in one year, what then?
Five Reasons Why I Should Slow My Pace
Is it the Begin of a Motivational Decline?
PhD Applications Regrets
Master of Logic
6th Semester Courses Choice
Academic Plan for the MoL
ELLIS Honours Programme
Finishing the Fifth Semester, Deadlines and Priorities
Last Steps to Finish the MoL in one Year
Master's Outline
Track of the MSc. Logic
PhD Applications
PhD Applications
PhD Applications in the EU & UK
PhD Applications in the US
PhD Applications Results
Suboptimal Scenarios for PhD Applications
Attachments to PhD Applications
Information for Recommenders
Academic Diary
Bachelor
1st Semester
Philosophy
Essays
A Priori's Division of Knowledge
Indeterminacy in the Mind-World Relationship
Issues on Real Numbers
On the Subsubject
The Frequency of Telling Stories
The Method's Codomain
The Structure of the Perceived
1st Semester
2nd Semester
Mathematics
Lecture Notes
Advanced Set Theory (Lecture)
Analysis II (Lecture)
Linear Algebra II (Lecture)
Model Theory (Lecture)
Philosophy
Essays
An Historical Discourse on Phenomenological Platonism
From the ἕν to the Universe of Sets
Reality is a Word
Other Works
Nonsense in a Phenomenal Subject
Realism&Causality
2nd Semester
3rd Semester
Mathematics
Algebra (Lecture)
Analysis III (Lecture)
Constructive Analysis (Lecture)
Programming II (Lecture)
Stochastic (Lecture)
Philosophy
Choice
Correspondence
Modal Logic (Lecture)
Modern Philosophy (Lecture)
Political Philosophy (Lecture)
Structure on Models
The Silent Assumption in Tarskian Semantics
What a Logic Could not Be
3rd Semester
4th Semester
Mathematics
Commutative Algebra (Lecture)
Philosophy
Axiomatic Metaphysics (Lecture)
Ethics (Lecture)
Logic II (Lecture)
Mathematical Philosophical Colloquium
Questions & Other Works
First Thesis Concept
Mathematics First Thesis Concept
Algebra on Worlds
Mathematics First Thesis Concept
Philosophy First Thesis Concept
Philosophy First Thesis Concept
Structuralism
Appendix of the Thesis
First Bachelor Thesis Concept
Axiom of Strong Negation of Undefinable Choice
Thesis
B.A. Philosophy Thesis
B.Sc. Mathematics Thesis
Bachelor Thesis
4th Semester
B.A. Philosophy (LMU)
B.Sc. Mathematics (LMU)
Index of Bachelor Works
Master
5th Semester
Research Project
Categorical Foundations of Structuralism
Supervisor's Page
5th Semester
2024-10-18
A Topological Approach to Infinite Disjunctions
Category Theory (Lecture)
Closure Theory
De Re Knowledge of Arbitrary Objects
Dynamic Epistemic Logic (Lecture)
Forcing (Research Project)
Introduction to Modal Logic (Lecture)
Isomorphism Classes of Total Orders
Knowledge, Representation and Reasoning (Lecture)
Logic, Language and Computation (Lecture)
Mathematical Proof Methods for Logic (Lecture)
Meaning, Reference and Modality (Lecture)
On Disjoint Union
On Infinitary Paths
Ontic Structuralism of Concepts
Philosophy of Cognition (Essay)
Philosophy of Cognition (Lecture)
Philosophy of Logic (Essay)
Philosophy of Logic (Lecture)
Philosophy of Science (Lecture)
Proof Theory (Lecture)
6th Semester
6th Semester
Logic and Probability (Lecture)
Master Thesis
Model Theory bis (Lecture)
Philosophy of Mathematics (Lecture)
Recursion Theory (Lecture)
Rudiments in Set Theory (Lecture)
Structures for Semantics (Lecture)
Topology, Logic and Learning (Lecture)
Type Theory (Lecture)
Index of Master Works
M.Sc. Logic (UvA)
MoL_Marks (SIP.py)
Research Areas
Algebra
Category Theory
Formal Cognitive Sciences
Formal Epistemology
Modal Logic
Research Areas
Research Experience
Set Theory
Academic Writings
Active & Works
2. Notes & Papers
Authors
Albert Visser
Visser, A. (1998) Preliminary Notes on Interpretability Logic
Alexandru Baltag
Baltag, A. (2016), To Know is to Know the Value of a Variable
Giorgie Dzhaparidze
Dzhaparidze, G. (1993), A generalized notion of weak interpretability and the corresponding modal logic
Hannes Leitgeb
Leitgeb, H., Ladyman, J. (2007), Criteria of Identity and Structuralist Ontology
Hans Halvorson
Halvorson, H. (2012), What Scientific Theories Could not Be
Halvorson, H. (2013), The semantic view, if plausible, is syntactic
Halvorson, H. (2015), Morita Equivalence
Halvorson, H., Barrett, T. (2015), Glymour and Quine on Theoretical Equivalence
Halvorson, H., Tsementzis, D. (2015), Categories of Scientific Theories
Hans Halvorson
Helmut Schwichtenberg
Helmut Schwichtenberg
Leon Horsten
Horsten, L. (2010), Having an Interpretation
Horsten, L. (2019), The Metaphysics and Mathematics of Arbitrary Objects
Leon Horsten
Others
Cohen, M., Tang, W., Wang, Y. (2021), De Re Updates
Grimmer, D., Cinti, E., Jaksland, R. (forthcoming) Duality, Underdetermination, and the Uncommon Common Core
Kunen, K. (2011), Set Theory
Russell, G. (2018), Logical Nihilism Could There Be No Logic?
Wang, Y., Wei, Y., Seligman, J. (2022), Quantifier-free epistemic term-modal logic with assignment operator
Saul Kripke
Saul Kripke
W. V. Quine
Quine, V.W. (1951), Two Dogmas
Quine, V.W. (1970), Philosophy of Logic
Authors
Lecture Notes
Lecture Notes
Notes & Papers
3. ExAcademia
Diary
2024
How I use AI
Money as a Game
Motivational Decline
Why a Website?
Diary
Health
Sports
Blowgun Games
Blowgun Games
Infected
Infected (IT)
Bouldering
Bouldering
Rock Climbing & Ferrate
Mountain Biking
Spearfishing
Sports
Substances
Alcol
Caffeine
Health
Network
Amsterdam Mussic Network
Personal Finance
Financial Diary
2024
Long Time Leverage Investment
Financial Diary
Long Time Leverage Investment
Financial Ideas
2024
Cleaning Services for Rental Margin
Airbnb Project
Cleaning Services for Rental Margin
Employee
Employee Admission Process
House
Job Offer
List of Employee Candidates
Simone's House
Private Insured Student Loans
Contract Exempla
Private Insured Student Loans
Private Insured Student Loans (sketch)
Financial Ideas
Jobs
Futura
ADT Forze Armate
Futura
Futura Military
Futura Tutor
Futura Tutoring Contract
Personal Finance
Programs
LaTeX Commands
Storage Information Programs with OOP
ExAcademia
4. System
Contacts
Availability
Comments
Contacts
Payment Methods
Condensed Biography
Documents
Horreum
Home
❯
2. Notes and Papers
❯
Authors
❯
Alexandru Baltag
❯
Baltag, A. (2016), To Know is to Know the Value of a Variable
Baltag, A. (2016), To Know is to Know the Value of a Variable
Graph View
Backlinks
De Re Knowledge of Arbitrary Objects