https://e-sygoing.link Latest links in the Semantics of Logic category en-us Thu, 21 May 2026 06:53:36 -0400 https://e-sygoing.link/link/7782779-interpreting-formal-logic Article by Jaroslav Peregrin. Thu, 26 Feb 2026 14:32:45 -0500 https://e-sygoing.link/go/7782779 https://e-sygoing.link/link/7782777-on-the-meaning-of-the-logical-constants-and-the-justificatio Lecture notes of Per Martin-Löf. Argues that a close analysis of the concepts of proof, judgement and justification yield a direct, constructive account of the meaning of logical judgements. Sun, 05 Oct 2025 00:50:00 -0400 https://e-sygoing.link/go/7782777 https://e-sygoing.link/link/7782775-satisfaction An introduction to the model-theoretic stasfaction relation, by Peter Suber. Sun, 24 Aug 2025 05:13:42 -0400 https://e-sygoing.link/go/7782775 https://e-sygoing.link/link/7782776-assigning-meaning-to-proofs Report by Robert Constable, subtitled `A semantic basis for problem solving environments'. Constable's aim is to use metamathematical results to guide the making of framewroks for constructive logic, as part of the NuPrl project. Mon, 30 Jun 2025 00:12:15 -0400 https://e-sygoing.link/go/7782776 https://e-sygoing.link/link/7782773-torkel-franzns-homepage Contains his PhD thesis, `Provability and Truth'. Sun, 23 Mar 2025 06:13:10 -0400 https://e-sygoing.link/go/7782773 https://e-sygoing.link/link/7782778-what-cant-be-evaluated-cant-be-evaluated-and-it-cant-be-supe Essay by Jerry Fodor and Ernie Lepore attacking an argument for maintaining principle of the excluded middle in the absence of bivalence by the device of supervaluations. Sun, 26 Jan 2025 12:00:07 -0500 https://e-sygoing.link/go/7782778 https://e-sygoing.link/link/7782774-the-meanings-of-logical-constants Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics. Sat, 01 Jun 2024 13:54:19 -0400 https://e-sygoing.link/go/7782774