corpus.blog
41554 blogs · [ { "id": "01a0e718-e33b-7165-9f6d-d881414b1cbe", "title": "Reasoning with Negations: The Australian Plan, Negation-as-Failure and Card Selection Tasks (with Francesco Berto)", "url": "https://consequently.org/writing/rwn/", "published_at": "2026-09-25T00:00:00+00:00" }, { "id": "01a08763-6de9-712f-8987-f4997dd875f2", "title": "An Old News Post, and 20 Years of Pandoc", "url": "https://consequently.org/news/2026/20-years-of-pandoc/", "published_at": "2026-08-03T17:30:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69a737355", "title": "Logical Bilateralism: Proofs, Models and Applications", "url": "https://consequently.org/class/2026/bilat-esslli/", "published_at": "2026-08-03T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69aae3674", "title": "LP as a substructural logic, bilaterally", "url": "https://consequently.org/presentation/2026/lp-subst-bochum/", "published_at": "2026-07-10T14:15:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69b556a02", "title": "Thoroughly Linear (and Relevant) Modal Hypersequents", "url": "https://consequently.org/presentation/2026/tlml-bochum/", "published_at": "2026-07-07T16:30:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69b5f7dd9", "title": "LP as a substructural logic", "url": "https://consequently.org/presentation/2026/lp-subst-logica/", "published_at": "2026-05-22T08:30:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69c142662", "title": "The Logic of Paradox as a substructural logic", "url": "https://consequently.org/presentation/2026/lp-subst-arche/", "published_at": "2026-05-13T15:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69d00ae9a", "title": "Thoroughly Modal Hypersequents", "url": "https://consequently.org/presentation/2026/tlmh-edi/", "published_at": "2026-05-05T16:10:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69d64f245", "title": "Holy Saturday Reflection", "url": "https://consequently.org/news/2026/holy-saturday-reflection/", "published_at": "2026-04-05T13:24:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69dcfb464", "title": "Reflection (John 19:31-42)", "url": "https://consequently.org/presentation/2026/holy-saturday-reflection/", "published_at": "2026-04-04T18:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69e969876", "title": "Must Do “Must Do Better” Better", "url": "https://consequently.org/presentation/2026/must-do-mdb-better-glasgow/", "published_at": "2026-03-03T15:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69f824196", "title": "Debating the Status of Mathematics", "url": "https://consequently.org/news/2026/debating-the-status-of-mathematics/", "published_at": "2026-02-18T10:12:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c69fdc8faf", "title": "PY4612: Advanced Logic", "url": "https://consequently.org/class/2026/py4612/", "published_at": "2026-01-27T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a0428017", "title": "Why Logic Matters for Philosophy, and why Philosophy Matters for Logic", "url": "https://consequently.org/presentation/2025/wlmfp-wpmfl-p/", "published_at": "2025-11-18T19:30:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a052acce", "title": "Why Logic Matters for Philosophy, and why Philosophy Matters for Logic", "url": "https://consequently.org/presentation/2025/wlmfp-wpmfl-i/", "published_at": "2025-11-12T17:10:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a0c82a3a", "title": "2025 Wendy Huang Lectures", "url": "https://consequently.org/presentation/2025/whl/", "published_at": "2025-10-21T14:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a0f913c7", "title": "The Shape of an Intermediate Logic Class", "url": "https://consequently.org/news/2025/the-shape-of-an-intermediate-logic-class/", "published_at": "2025-09-29T19:40:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a13adb28", "title": "Inferentialism: Logic and Meaning", "url": "https://consequently.org/presentation/2025/whl-a/", "published_at": "2025-09-24T14:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a19a6403", "title": "Back in Edgecliffe", "url": "https://consequently.org/news/2025/back-in-edgecliffe/", "published_at": "2025-09-22T11:15:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a1d7fe38", "title": "PY2010: Intermediate Logic", "url": "https://consequently.org/class/2025/py2010/", "published_at": "2025-09-15T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a2bb9791", "title": "Reflections on Brady's Logic of Meaning Containment", "url": "https://consequently.org/writing/reflections-on-mc/", "published_at": "2025-09-10T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a326bbd5", "title": "Proof, Rules and Meaning", "url": "https://consequently.org/writing/prm/", "published_at": "2025-08-29T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a3e2385e", "title": "Must Do “Must Do Better” Better", "url": "https://consequently.org/presentation/2025/must-do-mdb-better-sep/", "published_at": "2025-06-19T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a47615dc", "title": "Type Theory and Themes in Philosophical Logic", "url": "https://consequently.org/presentation/2025/type-theory-and-phil-logic-types/", "published_at": "2025-06-10T12:30:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a53e1892", "title": "Must Do “Must Do Better” Better", "url": "https://consequently.org/presentation/2025/must-do-mdb-better-st-a/", "published_at": "2025-06-05T08:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a5b08f61", "title": "What can We Mean? On Practices, Norms and Pluralisms", "url": "https://consequently.org/writing/what-can-we-mean/", "published_at": "2025-04-19T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a5fd8b21", "title": "Modal Logic and Contingent Existence", "url": "https://consequently.org/presentation/2025/mlce-illc/", "published_at": "2025-04-10T13:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a6de550d", "title": "Modal Logic and Contingent Existence", "url": "https://consequently.org/presentation/2025/mlce-vienna/", "published_at": "2025-04-08T13:30:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a7268594", "title": "Modal Logic and Contingent Existence", "url": "https://consequently.org/presentation/2025/mlce-prague/", "published_at": "2025-04-03T12:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a81e1633", "title": "Modal Logic and Contingent Existence", "url": "https://consequently.org/presentation/2025/mlce-cuny-lm/", "published_at": "2025-03-17T21:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a87d190f", "title": "Modal Logic and Contingent Existence", "url": "https://consequently.org/presentation/2025/mlce-calgary/", "published_at": "2025-03-14T21:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a8e07fd4", "title": "Mathematical Practice, Proof Assistants and Meaning", "url": "https://consequently.org/presentation/2025/mathematical-practice-proof-assistants-and-meaning-calgary/", "published_at": "2025-03-13T21:30:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a9697d37", "title": "Modal Logic and Contingent Existence", "url": "https://consequently.org/presentation/2025/mlce-ocie/", "published_at": "2025-03-08T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6a9fed581", "title": "Upcoming trip to North America", "url": "https://consequently.org/news/2025/upcoming-na-trip/", "published_at": "2025-02-28T12:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6aaf324a4", "title": "Proofs with Star and Perp", "url": "https://consequently.org/writing/proofs-with-star-and-perp/", "published_at": "2025-02-25T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6abae978d", "title": "Defining Rules for Quantifiers and Identity", "url": "https://consequently.org/presentation/2025/drqi-pplv-ucl/", "published_at": "2025-02-20T01:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6ac5712cb", "title": "Books Read: January 2025", "url": "https://consequently.org/news/2025/books-january-2025/", "published_at": "2025-01-31T05:52:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6ac62be0a", "title": "Modal Logic and Contingent Existence (Generality and Existence 2)", "url": "https://consequently.org/writing/mlce-ge2/", "published_at": "2025-01-20T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6ad5be714", "title": "Books Read: December 2024", "url": "https://consequently.org/news/2025/books-december-2024/", "published_at": "2025-01-01T19:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6ae4b4f20", "title": "Another semester done", "url": "https://consequently.org/news/2024/end-of-another-semester/", "published_at": "2024-12-20T16:35:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6ae95f684", "title": "What Can We Mean?", "url": "https://consequently.org/presentation/2024/what-can-we-mean-winter-arche-day/", "published_at": "2024-12-13T14:15:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6aed3bf56", "title": "Congratulations, John!", "url": "https://consequently.org/news/2024/congratulations-john/", "published_at": "2024-11-29T10:25:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6af03e7ed", "title": "Graham Priest is in the house", "url": "https://consequently.org/news/2024/graham-is-in-the-house/", "published_at": "2024-11-25T14:45:32+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6af44103a", "title": "Podcast recommendation: Marooned on Mars", "url": "https://consequently.org/news/2024/marooned-on-mars/", "published_at": "2024-11-25T10:25:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6afb95bb1", "title": "Books Read: September, October, November 2024", "url": "https://consequently.org/news/2024/books-sep-oct-nov/", "published_at": "2024-11-24T17:55:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b04d90b3", "title": "Defining Quantifiers", "url": "https://consequently.org/presentation/2024/defining-quantifiers-mcmp/", "published_at": "2024-11-16T16:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b0cdce6e", "title": "What Can We Mean? — on practices, norms and pluralism", "url": "https://consequently.org/presentation/2024/what-can-we-mean-aristo/", "published_at": "2024-10-28T17:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b104b114", "title": "Generics: Inference & Accommodation", "url": "https://consequently.org/writing/gen-inf-acc/", "published_at": "2024-10-10T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b1335eb7", "title": "What do calculators tell us about meaning?", "url": "https://consequently.org/presentation/2024/what-do-calculators-tell-us-about-meaning-philsoc/", "published_at": "2024-10-07T18:30:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b2242a34", "title": "PY2010: Intermediate Logic", "url": "https://consequently.org/class/2024/py2010/", "published_at": "2024-09-16T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b2853f3e", "title": "Books Read: August 2024", "url": "https://consequently.org/news/2024/books-august-2024/", "published_at": "2024-09-11T20:25:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b28c8717", "title": "Models for Identity in Three-Valued Logics", "url": "https://consequently.org/presentation/2024/models-for-identity-blc/", "published_at": "2024-09-05T13:50:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b3012cb2", "title": "Books Read: July 2024", "url": "https://consequently.org/news/2024/books-july-2024/", "published_at": "2024-08-22T20:40:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b3853847", "title": "Questions, Justification Requests, Inference, and Definition", "url": "https://consequently.org/writing/qjrid/", "published_at": "2024-08-16T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b40c8968", "title": "Substructural Logics", "url": "https://consequently.org/writing/slintro/", "published_at": "2024-08-15T00:00:00+00:00" }, { "id": "01a08763-6dea-72fa-9114-96c6b45661de", "title": "Finitude, Eternity, Love, the Good, and Martin Hägglund’s This Life", "url": "https://consequently.org/writing/finitude-eternity-etc/", "published_at": "2024-07-27T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-8112649ed7da", "title": "Books Read: June 2024", "url": "https://consequently.org/news/2024/books-june-2024/", "published_at": "2024-07-10T21:58:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-8112656ca279", "title": "What Do We Mean? Semantics, Practices and Pluralism", "url": "https://consequently.org/presentation/2024/what-do-we-mean-arche/", "published_at": "2024-07-03T14:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811265881bba", "title": "What ‘No’ Does", "url": "https://consequently.org/presentation/2024/what-no-does/", "published_at": "2024-06-28T10:30:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126635e37b", "title": "Books Read: May 2024", "url": "https://consequently.org/news/2024/books-may-2024/", "published_at": "2024-06-25T20:25:32+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811266849df9", "title": "Proof Theory", "url": "https://consequently.org/class/2024/nls-proof-theory/", "published_at": "2024-06-10T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126741092a", "title": "A Chinese Translation!", "url": "https://consequently.org/news/2024/logic-chinese-translation/", "published_at": "2024-05-21T15:05:32+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126837f725", "title": "Books Read: April 2024", "url": "https://consequently.org/news/2024/books-april-2024/", "published_at": "2024-05-01T20:25:32+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811268fced28", "title": "Natural Deduction Proof for Substructural, Constructive and Classical Logics", "url": "https://consequently.org/presentation/2024/nd-proof-scc-leeds/", "published_at": "2024-05-01T15:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811269f209bb", "title": "Logic (Chinese Translation)", "url": "https://consequently.org/writing/logic_chinese_translation/", "published_at": "2024-05-01T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126ad641c6", "title": "λμ: Relating Constructive, Classical and Substructural Logics", "url": "https://consequently.org/presentation/2024/lambda-mu-lisbon/", "published_at": "2024-04-16T16:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126b320b22", "title": "Proofs, Rules, and Meanings, Arché Workshop", "url": "https://consequently.org/news/2024/proofs-rules-and-meanings-arche/", "published_at": "2024-04-13T03:46:32+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126b852505", "title": "λμ: Relating Constructive and Classical Logics", "url": "https://consequently.org/presentation/2024/lambda-mu-arche/", "published_at": "2024-04-11T08:30:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126bcd3194", "title": "Books Read: March 2024", "url": "https://consequently.org/news/2024/books-march-2024/", "published_at": "2024-04-07T03:46:32+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126c42df79", "title": "PY4612: Advanced Logic", "url": "https://consequently.org/class/2024/py4612/", "published_at": "2024-01-15T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126d236460", "title": "Collection Frames for Distributive Substructural Logics", "url": "https://consequently.org/writing/collection-frames/", "published_at": "2023-12-18T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126e08c793", "title": "The Philosophical Significance of the Paradoxes", "url": "https://consequently.org/writing/psp/", "published_at": "2023-12-13T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126e553480", "title": "Finitude, Eternity, Love, the Good and Martin Hagglünd’s ‘This Life’", "url": "https://consequently.org/presentation/2023/finitude-logos/", "published_at": "2023-11-03T15:30:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126ecad54b", "title": "The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasks", "url": "https://consequently.org/presentation/2023/semantics-and-psychology-of-negation-stirling/", "published_at": "2023-10-19T14:15:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81126f35b77e", "title": "The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasks", "url": "https://consequently.org/presentation/2023/semantics-and-psychology-of-negation-arche/", "published_at": "2023-09-20T14:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81127003eceb", "title": "PY2010: Intermediate Logic", "url": "https://consequently.org/class/2023/py2010/", "published_at": "2023-09-11T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-8112706fb9f5", "title": "The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasks", "url": "https://consequently.org/presentation/2023/semantics-and-psychology-of-negation/", "published_at": "2023-09-08T09:20:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811270d8ec60", "title": "Finitude, Eternity, Love, the Good and Martin Hagglünd’s ‘This Life’", "url": "https://consequently.org/presentation/2023/finitude/", "published_at": "2023-09-01T08:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81127188c5f5", "title": "Looking at Logic(s)", "url": "https://consequently.org/writing/looking-at-logics/", "published_at": "2023-08-07T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-8112718b4c89", "title": "Review of The Contradictory Christ", "url": "https://consequently.org/writing/contradictory-christ-review/", "published_at": "2023-08-07T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81127212855f", "title": "Exploring Three-Valued Models for Identity", "url": "https://consequently.org/presentation/2023/exploring-three-valued-models-for-identity/", "published_at": "2023-07-20T09:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81127270f7cc", "title": "Structural Rules in Natural Deduction with Alternatives", "url": "https://consequently.org/writing/structural-rules-in-natural-deduction-with-alternatives/", "published_at": "2023-07-18T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81127319a54d", "title": "Numbers, the World, and God: Varieties of Semantic Anti-Realism", "url": "https://consequently.org/presentation/2023/numbers-the-world-and-god/", "published_at": "2023-06-22T09:15:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811273be0770", "title": "Proofs for Relevant Consequence, with Star and Perp", "url": "https://consequently.org/presentation/2023/proofs-for-relevant-consequence-with-star-and-perp-bergen/", "published_at": "2023-03-09T09:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-8112740fd6a8", "title": "Interview with the Undergraduate Philosophy Journal of Australasia", "url": "https://consequently.org/news/2023/ujpa-interview/", "published_at": "2023-03-07T08:42:32+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811274c63885", "title": "A Brush with Fame", "url": "https://consequently.org/news/2023/a-brush-with-fame/", "published_at": "2023-01-26T21:02:27+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81127569baf8", "title": "PY4601: Paradoxes", "url": "https://consequently.org/class/2023/py4601/", "published_at": "2023-01-17T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811275869dad", "title": "PY1012: Reasoning", "url": "https://consequently.org/class/2023/py1012/", "published_at": "2023-01-16T00:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81127647987d", "title": "Kicking off Semester 2 in St Salvator's Chapel", "url": "https://consequently.org/news/2023/semester-start-chapel-sermon/", "published_at": "2023-01-15T16:20:58+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811276ae91ff", "title": "Come and See! (John 1:29-42)", "url": "https://consequently.org/presentation/2023/come-and-see/", "published_at": "2023-01-15T10:00:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81127778b60a", "title": "Erdős Number: 3", "url": "https://consequently.org/news/2023/erdos-number-3/", "published_at": "2023-01-07T09:29:30+00:00" }, { "id": "01a08763-6deb-738f-a3d6-8112784e28fa", "title": "Wombat, Conditional, or Inference?", "url": "https://consequently.org/news/2023/wombat-conditional-or-inference/", "published_at": "2023-01-04T16:41:24+00:00" }, { "id": "01a08763-6deb-738f-a3d6-811278ffe6b4", "title": "Logical Methods Publication Day", "url": "https://consequently.org/news/2023/logical-methods-publication-day/", "published_at": "2023-01-03T06:55:00+00:00" }, { "id": "01a08763-6deb-738f-a3d6-81127994b224", "title": "Logical Methods", "url": "https://consequently.org/writing/logical_methods/", "published_at": "2023-01-03T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c959425306af", "title": "Time for a little grease and oil change", "url": "https://consequently.org/news/2023/grease-and-oil-change/", "published_at": "2023-01-01T20:08:30+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594350d36a", "title": "True Contradictions in Theology?", "url": "https://consequently.org/writing/contradictions-in-theology/", "published_at": "2022-12-31T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95943fe933d", "title": "Natural Deduction with Alternatives: on structural rules, and identifying assumptions", "url": "https://consequently.org/presentation/2022/natural-deduction-with-alternatives-lisbon/", "published_at": "2022-12-15T15:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594446f9cb", "title": "Collection Frames: What, How and Why?", "url": "https://consequently.org/presentation/2022/collection-frames-what-how-why/", "published_at": "2022-11-18T11:30:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95944b5968b", "title": "Natural Deduction with Alternatives: on structural rules, and identifying assumptions", "url": "https://consequently.org/presentation/2022/natural-deduction-with-alternatives-london/", "published_at": "2022-11-09T13:30:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c959452cd573", "title": "PY3100: Reading Philosophy 1—Texts in Language, Logic, Mind, Epistemology, Metaphysics and Science", "url": "https://consequently.org/class/2022/py3100/", "published_at": "2022-09-13T00:00:00+00:00" } ] posts Claim your blog
Back to consequently.org — Greg Restall’s home on the internet.
Blog · corpus.blog/blogs/consequently.org/posts

consequently.org — Greg Restall’s home on the internet.

consequently.org

2026

Reasoning with Negations: The Australian Plan, Negation-as-Failure and Card Selection Tasks (with Francesco Berto)original ↗
25 Sept 2026
An Old News Post, and 20 Years of Pandocoriginal ↗
3 Aug 2026
Logical Bilateralism: Proofs, Models and Applicationsoriginal ↗
3 Aug 2026
LP as a substructural logic, bilaterallyoriginal ↗
10 Jul 2026
Thoroughly Linear (and Relevant) Modal Hypersequentsoriginal ↗
7 Jul 2026
LP as a substructural logicoriginal ↗
22 May 2026
The Logic of Paradox as a substructural logicoriginal ↗
13 May 2026
Thoroughly Modal Hypersequentsoriginal ↗
5 May 2026
Holy Saturday Reflectionoriginal ↗
5 Apr 2026
Reflection (John 19:31-42)original ↗
4 Apr 2026
Must Do “Must Do Better” Betteroriginal ↗
3 Mar 2026
Debating the Status of Mathematicsoriginal ↗
18 Feb 2026
PY4612: Advanced Logicoriginal ↗
27 Jan 2026

2025

Why Logic Matters for Philosophy, and why Philosophy Matters for Logicoriginal ↗
18 Nov 2025
Why Logic Matters for Philosophy, and why Philosophy Matters for Logicoriginal ↗
12 Nov 2025
2025 Wendy Huang Lecturesoriginal ↗
21 Oct 2025
The Shape of an Intermediate Logic Classoriginal ↗
29 Sept 2025
Inferentialism: Logic and Meaningoriginal ↗
24 Sept 2025
Back in Edgecliffeoriginal ↗
22 Sept 2025
PY2010: Intermediate Logicoriginal ↗
15 Sept 2025
Reflections on Brady's Logic of Meaning Containmentoriginal ↗
10 Sept 2025
Proof, Rules and Meaningoriginal ↗
29 Aug 2025
Must Do “Must Do Better” Betteroriginal ↗
19 Jun 2025
Type Theory and Themes in Philosophical Logicoriginal ↗
10 Jun 2025
Must Do “Must Do Better” Betteroriginal ↗
5 Jun 2025
What can We Mean? On Practices, Norms and Pluralismsoriginal ↗
19 Apr 2025
Modal Logic and Contingent Existenceoriginal ↗
10 Apr 2025
Modal Logic and Contingent Existenceoriginal ↗
8 Apr 2025
Modal Logic and Contingent Existenceoriginal ↗
3 Apr 2025
Modal Logic and Contingent Existenceoriginal ↗
17 Mar 2025
Modal Logic and Contingent Existenceoriginal ↗
14 Mar 2025
Mathematical Practice, Proof Assistants and Meaningoriginal ↗
13 Mar 2025
Modal Logic and Contingent Existenceoriginal ↗
8 Mar 2025
Upcoming trip to North Americaoriginal ↗
28 Feb 2025
Proofs with Star and Perporiginal ↗
25 Feb 2025
Defining Rules for Quantifiers and Identityoriginal ↗
20 Feb 2025
Books Read: January 2025original ↗
31 Jan 2025
Modal Logic and Contingent Existence (Generality and Existence 2)original ↗
20 Jan 2025
Books Read: December 2024original ↗
1 Jan 2025

2024

Another semester doneoriginal ↗
20 Dec 2024
What Can We Mean?original ↗
13 Dec 2024
Congratulations, John!original ↗
29 Nov 2024
Graham Priest is in the houseoriginal ↗
25 Nov 2024
Podcast recommendation: Marooned on Marsoriginal ↗
25 Nov 2024
Books Read: September, October, November 2024original ↗
24 Nov 2024
Defining Quantifiersoriginal ↗
16 Nov 2024
What Can We Mean? — on practices, norms and pluralismoriginal ↗
28 Oct 2024
Generics: Inference & Accommodationoriginal ↗
10 Oct 2024
What do calculators tell us about meaning?original ↗
7 Oct 2024
PY2010: Intermediate Logicoriginal ↗
16 Sept 2024
Books Read: August 2024original ↗
11 Sept 2024
Models for Identity in Three-Valued Logicsoriginal ↗
5 Sept 2024
Books Read: July 2024original ↗
22 Aug 2024
Questions, Justification Requests, Inference, and Definitionoriginal ↗
16 Aug 2024
Substructural Logicsoriginal ↗
15 Aug 2024
Finitude, Eternity, Love, the Good, and Martin Hägglund’s This Lifeoriginal ↗
27 Jul 2024
Books Read: June 2024original ↗
10 Jul 2024
What Do We Mean? Semantics, Practices and Pluralismoriginal ↗
3 Jul 2024
What ‘No’ Doesoriginal ↗
28 Jun 2024
Books Read: May 2024original ↗
25 Jun 2024
Proof Theoryoriginal ↗
10 Jun 2024
A Chinese Translation!original ↗
21 May 2024
Books Read: April 2024original ↗
1 May 2024
Natural Deduction Proof for Substructural, Constructive and Classical Logicsoriginal ↗
1 May 2024
Logic (Chinese Translation)original ↗
1 May 2024
λμ: Relating Constructive, Classical and Substructural Logicsoriginal ↗
16 Apr 2024
Proofs, Rules, and Meanings, Arché Workshoporiginal ↗
13 Apr 2024
λμ: Relating Constructive and Classical Logicsoriginal ↗
11 Apr 2024
Books Read: March 2024original ↗
7 Apr 2024
PY4612: Advanced Logicoriginal ↗
15 Jan 2024

2023

Collection Frames for Distributive Substructural Logicsoriginal ↗
18 Dec 2023
The Philosophical Significance of the Paradoxesoriginal ↗
13 Dec 2023
Finitude, Eternity, Love, the Good and Martin Hagglünd’s ‘This Life’original ↗
3 Nov 2023
The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasksoriginal ↗
19 Oct 2023
The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasksoriginal ↗
20 Sept 2023
PY2010: Intermediate Logicoriginal ↗
11 Sept 2023
The Semantics and Psychology of Negation: The Australian Plan, Negation as Failure, and Card Selection Tasksoriginal ↗
8 Sept 2023
Finitude, Eternity, Love, the Good and Martin Hagglünd’s ‘This Life’original ↗
1 Sept 2023
Looking at Logic(s)original ↗
7 Aug 2023
Review of The Contradictory Christoriginal ↗
7 Aug 2023
Exploring Three-Valued Models for Identityoriginal ↗
20 Jul 2023
Structural Rules in Natural Deduction with Alternativesoriginal ↗
18 Jul 2023
Numbers, the World, and God: Varieties of Semantic Anti-Realismoriginal ↗
22 Jun 2023
Proofs for Relevant Consequence, with Star and Perporiginal ↗
9 Mar 2023
Interview with the Undergraduate Philosophy Journal of Australasiaoriginal ↗
7 Mar 2023
A Brush with Fameoriginal ↗
26 Jan 2023
PY4601: Paradoxesoriginal ↗
17 Jan 2023
PY1012: Reasoningoriginal ↗
16 Jan 2023
Kicking off Semester 2 in St Salvator's Chapeloriginal ↗
15 Jan 2023
Come and See! (John 1:29-42)original ↗
15 Jan 2023
Erdős Number: 3original ↗
7 Jan 2023
Wombat, Conditional, or Inference?original ↗
4 Jan 2023
Logical Methods Publication Dayoriginal ↗
3 Jan 2023
Logical Methodsoriginal ↗
3 Jan 2023
Time for a little grease and oil changeoriginal ↗
1 Jan 2023

2022

True Contradictions in Theology?original ↗
31 Dec 2022
Natural Deduction with Alternatives: on structural rules, and identifying assumptionsoriginal ↗
15 Dec 2022
Collection Frames: What, How and Why?original ↗
18 Nov 2022
Natural Deduction with Alternatives: on structural rules, and identifying assumptionsoriginal ↗
9 Nov 2022
PY3100: Reading Philosophy 1—Texts in Language, Logic, Mind, Epistemology, Metaphysics and Scienceoriginal ↗
13 Sept 2022
Next