🪴 Quartz 4.0

          • Bachelors' Outline
            • 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
            • 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 in the EU & UK
            • PhD Applications in the US
            • Suboptimal Scenarios for PhD Applications
          • Attachments to PhD Applications
          • Information for Recommenders
        • Academic Diary
              • 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
              • Advanced Set Theory (Lecture)
              • Analysis II (Lecture)
              • Linear Algebra II (Lecture)
              • Model Theory (Lecture)
              • An Historical Discourse on Phenomenological Platonism
              • From the ἕν to the Universe of Sets
              • Reality is a Word
              • Nonsense in a Phenomenal Subject
              • Realism&Causality
          • 2nd Semester
            • Algebra (Lecture)
            • Analysis III (Lecture)
            • Constructive Analysis (Lecture)
            • Programming II (Lecture)
            • Stochastic (Lecture)
            • 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
            • Commutative Algebra (Lecture)
            • Axiomatic Metaphysics (Lecture)
            • Ethics (Lecture)
            • Logic II (Lecture)
            • Mathematical Philosophical Colloquium
                • Algebra on Worlds
                • Mathematics First Thesis Concept
                • Philosophy First Thesis Concept
                • Structuralism
              • Appendix of the Thesis
              • First Bachelor Thesis Concept
            • Axiom of Strong Negation of Undefinable Choice
            • B.A. Philosophy Thesis
            • B.Sc. Mathematics Thesis
            • Bachelor Thesis
          • 4th Semester
        • B.A. Philosophy (LMU)
        • B.Sc. Mathematics (LMU)
        • Index of Bachelor Works
            • 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
          • 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)
        • Algebra
        • Category Theory
        • Formal Cognitive Sciences
        • Formal Epistemology
        • Modal Logic
        • Model Theory
        • Research Areas
        • Research Experience
        • Set Theory
      • Academic Writings
      • Active & Works
          • Visser, A. (1998) Preliminary Notes on Interpretability Logic
          • Baltag, A. (2016), To Know is to Know the Value of a Variable
          • Dzhaparidze, G. (1993), A generalized notion of weak interpretability and the corresponding modal logic
          • Leitgeb, H., Ladyman, J. (2007), Criteria of Identity and Structuralist Ontology
          • 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
          • Horsten, L. (2010), Having an Interpretation
          • Horsten, L. (2019), The Metaphysics and Mathematics of Arbitrary Objects
          • Leon Horsten
          • 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
          • Quine, V.W. (1951), Two Dogmas
          • Quine, V.W. (1970), Philosophy of Logic
        • Authors
        • Lecture Notes
      • Notes & Papers
            • Blowgun Games
            • Infected
            • Infected (IT)
        • Not Found
            • House Purchase Code
            • ADT Forze Armate
            • Futura
            • Futura Abstract and Spacial Logic Quizzes
            • Futura Math Didactic Document
            • Futura Military
            • Futura Tutor
        • LaTeX Commands
      • ExAcademia
        • Availability
        • Comments
        • Contacts
        • Payment Methods
      • Condensed Biography
      • Documents
      • Horreum
    Home

    ❯

    1. Active and Works

    ❯

    Master

    ❯

    5th Semester

    Folder: 1.-Active--and--Works/Master/5th-Semester

    23 items under this folder.

    • May 18, 2025

      Proof Theory (Lecture)

      • May 18, 2025

        Philosophy of Logic (Lecture)

        • May 18, 2025

          Philosophy of Logic (Essay)

          • May 18, 2025

            Philosophy of Cognition (Essay)

            • May 18, 2025

              On Disjoint Union

              • May 18, 2025

                Meaning, Reference and Modality (Lecture)

                • May 18, 2025

                  Mathematical Proof Methods for Logic (Lecture)

                  • May 18, 2025

                    Logic, Language and Computation (Lecture)

                    • May 18, 2025

                      Isomorphism Classes of Total Orders

                      • May 18, 2025

                        Forcing (Research Project)

                        • May 18, 2025

                          Dynamic Epistemic Logic (Lecture)

                          • May 18, 2025

                            De Re Knowledge of Arbitrary Objects

                            • May 18, 2025

                              Closure Theory

                              • May 18, 2025

                                Category Theory (Lecture)

                                • May 18, 2025

                                  2024-10-18

                                  • Feb 04, 2025

                                    A Topological Approach to Infinite Disjunctions

                                    • Jan 28, 2025

                                      Ontic Structuralism of Concepts

                                      • Nov 26, 2024

                                        Philosophy of Cognition (Lecture)

                                        • Oct 25, 2024

                                          On Infinitary Paths

                                          • Sep 30, 2024

                                            Introduction to Modal Logic (Lecture)

                                            • Sep 09, 2024

                                              Philosophy of Science (Lecture)

                                              • Sep 02, 2024

                                                Knowledge, Representation and Reasoning (Lecture)

                                                • Aug 02, 2024

                                                  5th Semester


                                                  Created with Quartz v4.3.0 © 2025

                                                  • GitHub
                                                  • Discord Community