corpus.blog
41554 blogs · [ { "id": "01a08763-6dee-73b5-89e5-89e8675d19c4", "title": "A Concrete Category of Classical Proofs", "url": "https://consequently.org/presentation/2017/a-category-of-classical-proofs-tacl/", "published_at": "2017-06-28T13:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8680b158b", "title": "A Category of Classical Proofs", "url": "https://consequently.org/presentation/2017/a-category-of-classical-proofs-logicmelb/", "published_at": "2017-05-19T01:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8680f4e6d", "title": "Proof Identity, Invariants and Hyperintensionality", "url": "https://consequently.org/presentation/2017/proof-identity-invariants-and-hyperintensionality/", "published_at": "2017-03-07T13:15:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e868de0e8c", "title": "Proof Terms for Classical Derivations", "url": "https://consequently.org/presentation/2017/proof-terms-invariants-talk-amsterdam/", "published_at": "2017-03-06T15:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8690b4086", "title": "Logical Pluralism: Meaning, Rules and Counterexamples", "url": "https://consequently.org/presentation/2017/logical-pluralism-meaning-counterexamples/", "published_at": "2017-03-03T16:40:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86952827d", "title": "Fixed Point Models for Theories of Properties and Classes", "url": "https://consequently.org/writing/fixed-point-models/", "published_at": "2017-02-28T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e869b9b5e8", "title": "PHIL30043: The Power and Limits of Logic", "url": "https://consequently.org/class/2017/phil30043/", "published_at": "2017-02-27T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86ab00340", "title": "UNIB10002: Logic, Language and Information", "url": "https://consequently.org/class/2017/unib10002/", "published_at": "2017-02-27T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86b16ad2e", "title": "First Degree Entailment, Symmetry and Paradox", "url": "https://consequently.org/writing/fde-symmetry-paradox/", "published_at": "2017-02-23T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86c1369d3", "title": "With Gratitude to Raymond Smullyan", "url": "https://consequently.org/news/2017/with-gratitude-to-smullyan/", "published_at": "2017-02-13T11:12:50+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86c3f1b54", "title": "A New Paper", "url": "https://consequently.org/news/2017/a-new-paper/", "published_at": "2017-02-12T14:32:58+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86c41965b", "title": "Proof Terms for Classical Derivations", "url": "https://consequently.org/writing/proof-terms-for-classical-derivations/", "published_at": "2017-02-12T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86d26053b", "title": "Proof Terms as Invariants", "url": "https://consequently.org/presentation/2016/proof-terms-invariants/", "published_at": "2016-12-09T02:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86deb296b", "title": "A Puzzle for Brandom's Account of Singular Terms", "url": "https://consequently.org/news/2016/a-puzzle-for-bob/", "published_at": "2016-11-30T00:22:42+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86ebb2aee", "title": "Existence, Definedness and the Semantics of Possibility and Necessity", "url": "https://consequently.org/presentation/2016/existence-definedness-awpl-tplc/", "published_at": "2016-10-07T05:30:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86f0aec8a", "title": "Existence and Definedness: the semantics of possibility and necessity", "url": "https://consequently.org/writing/existence-definedness/", "published_at": "2016-10-03T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86ffee45c", "title": "Proof Terms are fun", "url": "https://consequently.org/news/2016/proof-terms-are-fun/", "published_at": "2016-09-02T06:35:21+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e87091f428", "title": "Proofs and what they’re good for", "url": "https://consequently.org/presentation/2016/proofs-and-what-theyre-good-for-aap-2016/", "published_at": "2016-08-25T05:20:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e870d776f8", "title": "What Proofs and Truthmakers are About", "url": "https://consequently.org/presentation/2016/what-proofs-are-about/", "published_at": "2016-08-12T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e87178076d", "title": "First Degree Entailment, Symmetry and Paradox", "url": "https://consequently.org/news/2016/fde-symmetry-and-paradox/", "published_at": "2016-07-26T13:36:40+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e871b04533", "title": "PHIL20030: Meaning, Possibility and Paradox", "url": "https://consequently.org/class/2016/phil20030/", "published_at": "2016-07-25T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e871e44f6e", "title": "PHIL30043: The Power and Limits of Logic", "url": "https://consequently.org/class/2016/phil30043/", "published_at": "2016-07-25T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e872425654", "title": "Proof Theory: Logical and Philosophical Aspects", "url": "https://consequently.org/class/2016/ptpla-nasslli/", "published_at": "2016-07-11T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8728eb78b", "title": "Proofs and what they’re good for", "url": "https://consequently.org/presentation/2016/proofs-and-what-theyre-good-for-melb/", "published_at": "2016-07-03T02:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e872e69693", "title": "Terms for Classical Sequents: Proof Invariants and Strong Normalisation", "url": "https://consequently.org/presentation/2016/terms-for-classical-sequents-aal-2016/", "published_at": "2016-07-01T05:45:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e873d074e9", "title": "I have a campaign poster on my picket fence", "url": "https://consequently.org/news/2016/the-poster-on-my-fence/", "published_at": "2016-06-15T10:23:20+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8745c1640", "title": "3am Interview on Philosophical Logic", "url": "https://consequently.org/news/2016/3am-interview/", "published_at": "2016-06-06T06:37:47+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e874a80831", "title": "Proofs and what they’re good for", "url": "https://consequently.org/presentation/2016/proofs-and-what-theyre-good-for-acu/", "published_at": "2016-05-27T03:30:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e874f29b80", "title": "Proofs and what they’re good for", "url": "https://consequently.org/presentation/2016/proofs-and-what-theyre-good-for-sydney/", "published_at": "2016-05-18T02:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e874f605b8", "title": "Review of Thomas Piecha and Peter Schroeder-Heister (editors), Advances in Proof-Theoretic Semantics", "url": "https://consequently.org/writing/advances-in-pts-review/", "published_at": "2016-05-16T00:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fa2cf195", "title": "Advice from Undergraduate Logic Students", "url": "https://consequently.org/news/2016/advice-from-undergraduate-logic-students/", "published_at": "2016-05-12T11:49:30+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fa2dcb59", "title": "Terms for Classical Sequents: Proof Invariants and Strong Normalisation", "url": "https://consequently.org/presentation/2016/terms-for-classical-sequents-gothenburg/", "published_at": "2016-05-10T08:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fa3041cc", "title": "Terms for Classical Sequents: Proof Invariants and Strong Normalisation", "url": "https://consequently.org/presentation/2016/terms-for-classical-sequents-logicmelb/", "published_at": "2016-05-06T00:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fa3545d7", "title": "On Priest on Nonmonotonic and Inductive Logic", "url": "https://consequently.org/writing/on-priest-on-nonmonotonic/", "published_at": "2016-03-08T00:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5538faf261cb", "title": "UNIB10002: Logic, Language and Information", "url": "https://consequently.org/class/2016/unib10002/", "published_at": "2016-02-28T13:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fbc07023", "title": "Models for Compatibility", "url": "https://consequently.org/news/2016/models-for-compatibility/", "published_at": "2016-02-11T05:57:01+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fbf0aba5", "title": "Congratulations to Bruce French, AO", "url": "https://consequently.org/news/2016/congratulations-bruce-french-ao/", "published_at": "2016-01-28T13:30:47+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fca1b93b", "title": "Fixed Point Models for Theories of Properties and Classes", "url": "https://consequently.org/presentation/2016/fixed-point-models-fnclmp-2016/", "published_at": "2016-01-26T02:38:19+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fd1e7375", "title": "On Priest on nonmonotonic and inductive logic", "url": "https://consequently.org/news/2016/just-how-reassured/", "published_at": "2016-01-21T13:55:52+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fd991752", "title": "Generality and Existence 3: Substitution and Identity", "url": "https://consequently.org/presentation/2015/generality-and-existence-3-melbourne-logic-workshop/", "published_at": "2015-12-11T03:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fe78fb1e", "title": "Generality and Existence 4: Identity and Modality", "url": "https://consequently.org/presentation/2015/generality-and-existence-4-arche/", "published_at": "2015-12-03T10:45:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5538fea11065", "title": "Generality and Existence 3: Substitution and Identity", "url": "https://consequently.org/presentation/2015/generality-and-existence-3-arche/", "published_at": "2015-12-02T16:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5538ff1c4699", "title": "Generality and Existence 2: Modality and Quantifiers", "url": "https://consequently.org/presentation/2015/generality-and-existence-2-arche/", "published_at": "2015-12-02T10:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-553900104e16", "title": "Generality and Existence 1: Quantification and Free Logic", "url": "https://consequently.org/presentation/2015/generality-and-existence-1-arche/", "published_at": "2015-11-25T09:15:00+00:00" }, { "id": "01a08763-6def-73aa-b019-553900b83bbb", "title": "Language, Logic and Existential Commitment", "url": "https://consequently.org/news/2015/language-logic-and-existential-commitment/", "published_at": "2015-11-18T00:49:21+00:00" }, { "id": "01a08763-6def-73aa-b019-553901749b18", "title": "Logic at Melbourne finally has a presence on the web", "url": "https://consequently.org/news/2015/logic-at-melbourne/", "published_at": "2015-10-29T06:02:04+00:00" }, { "id": "01a08763-6def-73aa-b019-553901a859d8", "title": "Three Cultures—or: what place for logic in the humanities?", "url": "https://consequently.org/writing/three-cultures/", "published_at": "2015-10-29T00:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-553902a7daec", "title": "Cian Dorr on Defining Quantifiers (Verbal Disputes Workshop Report #2)", "url": "https://consequently.org/news/2015/verbal-disputes-in-oxford-2/", "published_at": "2015-10-24T04:27:36+00:00" }, { "id": "01a08763-6def-73aa-b019-553903a5c6b1", "title": "Fixed Point Models for Theories of Properties and Classes", "url": "https://consequently.org/presentation/2015/fixed-point-models-clmps-2015/", "published_at": "2015-08-05T10:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5539044dd643", "title": "PHIL20030: Meaning, Possibility and Paradox", "url": "https://consequently.org/class/2015/phil20030/", "published_at": "2015-07-27T00:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-553904b2399d", "title": "PHIL40013: Uncertainty, Vagueness and Disagreement", "url": "https://consequently.org/class/2015/phil40013/", "published_at": "2015-07-26T13:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5539053a836c", "title": "Merely Verbal Disputes and Coordinating on Logical Constants", "url": "https://consequently.org/presentation/2015/verbal-disputes-aap/", "published_at": "2015-07-06T05:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5539059a7ca7", "title": "Contingent Existence and Modal Definedness", "url": "https://consequently.org/presentation/2015/cemd-aal/", "published_at": "2015-07-02T05:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5539061d5a2a", "title": "Another Day at the Office", "url": "https://consequently.org/news/2015/another-view-of-the-old-quad/", "published_at": "2015-06-04T01:44:46+00:00" }, { "id": "01a08763-6def-73aa-b019-553906e52b92", "title": "Adventures in Bi-Intuitionistic Logic", "url": "https://consequently.org/news/2015/adventures-in-bi-intuitionistic-logic/", "published_at": "2015-05-29T17:04:25+00:00" }, { "id": "01a08763-6def-73aa-b019-553907814659", "title": "Verbal Disputes in Oxford (Workshop Report #1)", "url": "https://consequently.org/news/2015/verbal-disputes-in-oxford/", "published_at": "2015-05-27T04:56:45+00:00" }, { "id": "01a08763-6def-73aa-b019-55390836c000", "title": "Workshop on Verbal Disputes and their Philosophical Significance", "url": "https://consequently.org/presentation/2015/verbal-disputes-oxford/", "published_at": "2015-05-21T09:20:00+00:00" }, { "id": "01a08763-6def-73aa-b019-553908e8ac0a", "title": "One Quick Trip to Oxford", "url": "https://consequently.org/news/2015/quick-trip-to-oxford/", "published_at": "2015-05-17T11:19:26+00:00" }, { "id": "01a08763-6def-73aa-b019-553908f53ce6", "title": "Merely Verbal Disputes and Coordinating on Logical Constants", "url": "https://consequently.org/presentation/2015/mvd-logicmelb/", "published_at": "2015-05-08T00:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-55390985f95a", "title": "Assertion, Denial, Accepting, Rejecting, Symmetry and Paradox", "url": "https://consequently.org/writing/assertiondenialparadox/", "published_at": "2015-05-05T00:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-55390a6329ca", "title": "Incarnation and Detachment: on surprising connections between logic, semantics, and prayer", "url": "https://consequently.org/presentation/2015/ctc-seminar/", "published_at": "2015-05-01T00:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-55390b5a00c9", "title": "Logic: Language and Information 2", "url": "https://consequently.org/class/2015/logic2_coursera/", "published_at": "2015-04-14T07:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-55390c2c93be", "title": "Sophistry and Argumentation: The Role of Reason in the Examined Life", "url": "https://consequently.org/presentation/2015/lyceum-club/", "published_at": "2015-04-13T08:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-55390d0f0ea3", "title": "Another View of the Old Quad", "url": "https://consequently.org/news/2015/another-day-at-the-office/", "published_at": "2015-03-31T13:23:10+00:00" }, { "id": "01a08763-6def-73aa-b019-55390d247e25", "title": "Incarnation and Detachment: Philosophy, Prayer, and Taking Positions", "url": "https://consequently.org/presentation/2015/csn-incarnation-and-detachment/", "published_at": "2015-03-24T08:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-55390dacee0a", "title": "Advocacy on Sydney Road", "url": "https://consequently.org/news/2015/advocacy-on-sydney-road/", "published_at": "2015-03-19T01:49:30+00:00" }, { "id": "01a08763-6def-73aa-b019-55390e6aa0c0", "title": "Our Thinking Behind Logic Teaching on Coursera", "url": "https://consequently.org/news/2015/our-thinking-behind-logic-teaching-on-coursera/", "published_at": "2015-03-16T03:46:22+00:00" }, { "id": "01a08763-6def-73aa-b019-55390f668cfb", "title": "Come and work with me on proof theory and philosophy", "url": "https://consequently.org/news/2015/come-work-with-me/", "published_at": "2015-03-06T01:28:44+00:00" }, { "id": "01a08763-6def-73aa-b019-55390ff5cdb0", "title": "PHIL30043: The Power and Limits of Logic", "url": "https://consequently.org/class/2015/phil30043/", "published_at": "2015-03-01T13:00:00+00:00" }, { "id": "01a08763-6def-73aa-b019-5539101acdf9", "title": "UNIB10002: Logic, Language and Information", "url": "https://consequently.org/class/2015/unib10002/", "published_at": "2015-03-01T13:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84b316f01", "title": "Academic Genealogy", "url": "https://consequently.org/news/2015/academic-genealogy/", "published_at": "2015-02-27T13:35:19+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84ba1264d", "title": "Contingent Existence and Modal Definedness", "url": "https://consequently.org/presentation/2015/cemd-anu/", "published_at": "2015-02-26T05:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84ba80a29", "title": "Classes in Semester One", "url": "https://consequently.org/news/2015/semester-one-classes/", "published_at": "2015-02-25T12:55:17+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84c323bed", "title": "Logic: Language and Information 1", "url": "https://consequently.org/class/2015/logic1_coursera/", "published_at": "2015-02-24T07:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84d1efced", "title": "Ash Wednesday", "url": "https://consequently.org/news/2015/ash-wednesday/", "published_at": "2015-02-18T00:59:50+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84d32c2cc", "title": "Do LNC and LEM suffice to define negation?", "url": "https://consequently.org/news/2015/lnc-and-lem-but-not-negation/", "published_at": "2015-02-17T12:20:25+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84e2b951a", "title": "Adding Site Search", "url": "https://consequently.org/news/2015/adding-site-search/", "published_at": "2015-02-13T00:19:07+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84edb627a", "title": "Another Blast From the Past", "url": "https://consequently.org/news/2015/another-blast-from-the-past/", "published_at": "2015-02-08T04:02:19+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84f18f7c9", "title": "Recovering the Past", "url": "https://consequently.org/news/2015/recovering-the-past/", "published_at": "2015-02-06T20:20:10+00:00" }, { "id": "01a08763-6df0-7096-a729-dac84fe35194", "title": "Back in the office", "url": "https://consequently.org/news/2015/back-in-the-office/", "published_at": "2015-02-04T01:45:04+00:00" }, { "id": "01a08763-6df0-7096-a729-dac850d58252", "title": "Why no comment box?", "url": "https://consequently.org/news/2015/no-comments/", "published_at": "2015-02-02T22:52:39+00:00" }, { "id": "01a08763-6df0-7096-a729-dac8512e9cc4", "title": "What’s the point of a personal website these days?", "url": "https://consequently.org/news/2015/the-point/", "published_at": "2015-02-01T12:05:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac851525291", "title": "Ternary Relations and Models for Relevant Arithmetics", "url": "https://consequently.org/presentation/2014/trmra-asubl5/", "published_at": "2014-12-14T22:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac85230c6e4", "title": "Normal Proofs, Cut Free Derivations and Structural Rules", "url": "https://consequently.org/writing/npcfdsr/", "published_at": "2014-12-01T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac852d5f4a1", "title": "Living as a Christian Academic", "url": "https://consequently.org/presentation/2014/christian-academic-monash/", "published_at": "2014-09-16T22:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac853afc721", "title": "Towards Fixed Point Models for Theories of Properties and Classes", "url": "https://consequently.org/presentation/2014/towards-fixed-point-models-logicmelb/", "published_at": "2014-09-05T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac8540af541", "title": "Ludwig Wittgenstein’s Tractatus Logico-Philosophicus", "url": "https://consequently.org/presentation/2014/tractatus-masterclass/", "published_at": "2014-08-26T06:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac85452db1b", "title": "Pluralism and Proofs", "url": "https://consequently.org/writing/pluralism-and-proofs/", "published_at": "2014-08-03T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac8554d7106", "title": "PHIL10003: Philosophy, the Great Thinkers", "url": "https://consequently.org/class/2014/phil10003/", "published_at": "2014-07-28T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac85563695d", "title": "PHIL30043: The Power and Limits of Logic", "url": "https://consequently.org/class/2014/phil30043/", "published_at": "2014-07-28T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac855dd11d1", "title": "From Defining Rules to Cut Elimination (and its consequences)", "url": "https://consequently.org/presentation/2014/from-defining-rules-nip-mfl/", "published_at": "2014-07-04T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac856629e08", "title": "Proof Theory and Philosophy", "url": "https://consequently.org/class/2014/ptp-nip/", "published_at": "2014-06-25T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac8566a63e2", "title": "Modal Definedness", "url": "https://consequently.org/presentation/2014/modal-definedness-arche/", "published_at": "2014-06-19T16:15:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac8566e658b", "title": "Ternary Relations and Models for Relevant Arithmetics", "url": "https://consequently.org/presentation/2014/trmra-logicmelb/", "published_at": "2014-05-30T02:30:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac856f1c2fc", "title": "Logic: Language and Information 2", "url": "https://consequently.org/class/2014/logic2_coursera/", "published_at": "2014-04-21T13:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac8570efbd3", "title": "PHIL20030: Meaning, Possibility and Paradox", "url": "https://consequently.org/class/2014/phil20030/", "published_at": "2014-03-03T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac857abcba4", "title": "PHIL40007: Philosophy of Language and Mind", "url": "https://consequently.org/class/2014/phil40007/", "published_at": "2014-03-03T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac85833409f", "title": "UNIB10002: Logic, Language and Information", "url": "https://consequently.org/class/2014/unib10002/", "published_at": "2014-03-03T00:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac85839131a", "title": "MULT10016: Reason", "url": "https://consequently.org/class/2014/mult10016/", "published_at": "2014-03-02T13:00:00+00:00" }, { "id": "01a08763-6df0-7096-a729-dac859383bd4", "title": "Logic: Language and Information 1", "url": "https://consequently.org/class/2014/logic1_coursera/", "published_at": "2014-02-28T13: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

2017

A Concrete Category of Classical Proofsoriginal ↗
28 Jun 2017
A Category of Classical Proofsoriginal ↗
19 May 2017
Proof Identity, Invariants and Hyperintensionalityoriginal ↗
7 Mar 2017
Proof Terms for Classical Derivationsoriginal ↗
6 Mar 2017
Logical Pluralism: Meaning, Rules and Counterexamplesoriginal ↗
3 Mar 2017
Fixed Point Models for Theories of Properties and Classesoriginal ↗
28 Feb 2017
PHIL30043: The Power and Limits of Logicoriginal ↗
27 Feb 2017
UNIB10002: Logic, Language and Informationoriginal ↗
27 Feb 2017
First Degree Entailment, Symmetry and Paradoxoriginal ↗
23 Feb 2017
With Gratitude to Raymond Smullyanoriginal ↗
13 Feb 2017
A New Paperoriginal ↗
12 Feb 2017
Proof Terms for Classical Derivationsoriginal ↗
12 Feb 2017

2016

Proof Terms as Invariantsoriginal ↗
9 Dec 2016
A Puzzle for Brandom's Account of Singular Termsoriginal ↗
30 Nov 2016
Existence, Definedness and the Semantics of Possibility and Necessityoriginal ↗
7 Oct 2016
Existence and Definedness: the semantics of possibility and necessityoriginal ↗
3 Oct 2016
Proof Terms are funoriginal ↗
2 Sept 2016
Proofs and what they’re good fororiginal ↗
25 Aug 2016
What Proofs and Truthmakers are Aboutoriginal ↗
12 Aug 2016
First Degree Entailment, Symmetry and Paradoxoriginal ↗
26 Jul 2016
PHIL20030: Meaning, Possibility and Paradoxoriginal ↗
25 Jul 2016
PHIL30043: The Power and Limits of Logicoriginal ↗
25 Jul 2016
Proof Theory: Logical and Philosophical Aspectsoriginal ↗
11 Jul 2016
Proofs and what they’re good fororiginal ↗
3 Jul 2016
Terms for Classical Sequents: Proof Invariants and Strong Normalisationoriginal ↗
1 Jul 2016
I have a campaign poster on my picket fenceoriginal ↗
15 Jun 2016
3am Interview on Philosophical Logicoriginal ↗
6 Jun 2016
Proofs and what they’re good fororiginal ↗
27 May 2016
Proofs and what they’re good fororiginal ↗
18 May 2016
Review of Thomas Piecha and Peter Schroeder-Heister (editors), Advances in Proof-Theoretic Semanticsoriginal ↗
16 May 2016
Advice from Undergraduate Logic Studentsoriginal ↗
12 May 2016
Terms for Classical Sequents: Proof Invariants and Strong Normalisationoriginal ↗
10 May 2016
Terms for Classical Sequents: Proof Invariants and Strong Normalisationoriginal ↗
6 May 2016
On Priest on Nonmonotonic and Inductive Logicoriginal ↗
8 Mar 2016
UNIB10002: Logic, Language and Informationoriginal ↗
28 Feb 2016
Models for Compatibilityoriginal ↗
11 Feb 2016
Congratulations to Bruce French, AOoriginal ↗
28 Jan 2016
Fixed Point Models for Theories of Properties and Classesoriginal ↗
26 Jan 2016
On Priest on nonmonotonic and inductive logicoriginal ↗
21 Jan 2016

2015

Generality and Existence 3: Substitution and Identityoriginal ↗
11 Dec 2015
Generality and Existence 4: Identity and Modalityoriginal ↗
3 Dec 2015
Generality and Existence 3: Substitution and Identityoriginal ↗
2 Dec 2015
Generality and Existence 2: Modality and Quantifiersoriginal ↗
2 Dec 2015
Generality and Existence 1: Quantification and Free Logicoriginal ↗
25 Nov 2015
Language, Logic and Existential Commitmentoriginal ↗
18 Nov 2015
Logic at Melbourne finally has a presence on the weboriginal ↗
29 Oct 2015
Three Cultures—or: what place for logic in the humanities?original ↗
29 Oct 2015
Cian Dorr on Defining Quantifiers (Verbal Disputes Workshop Report #2)original ↗
24 Oct 2015
Fixed Point Models for Theories of Properties and Classesoriginal ↗
5 Aug 2015
PHIL20030: Meaning, Possibility and Paradoxoriginal ↗
27 Jul 2015
PHIL40013: Uncertainty, Vagueness and Disagreementoriginal ↗
26 Jul 2015
Merely Verbal Disputes and Coordinating on Logical Constantsoriginal ↗
6 Jul 2015
Contingent Existence and Modal Definednessoriginal ↗
2 Jul 2015
Another Day at the Officeoriginal ↗
4 Jun 2015
Adventures in Bi-Intuitionistic Logicoriginal ↗
29 May 2015
Verbal Disputes in Oxford (Workshop Report #1)original ↗
27 May 2015
Workshop on Verbal Disputes and their Philosophical Significanceoriginal ↗
21 May 2015
One Quick Trip to Oxfordoriginal ↗
17 May 2015
Merely Verbal Disputes and Coordinating on Logical Constantsoriginal ↗
8 May 2015
Assertion, Denial, Accepting, Rejecting, Symmetry and Paradoxoriginal ↗
5 May 2015
Incarnation and Detachment: on surprising connections between logic, semantics, and prayeroriginal ↗
1 May 2015
Logic: Language and Information 2original ↗
14 Apr 2015
Sophistry and Argumentation: The Role of Reason in the Examined Lifeoriginal ↗
13 Apr 2015
Another View of the Old Quadoriginal ↗
31 Mar 2015
Incarnation and Detachment: Philosophy, Prayer, and Taking Positionsoriginal ↗
24 Mar 2015
Advocacy on Sydney Roadoriginal ↗
19 Mar 2015
Our Thinking Behind Logic Teaching on Courseraoriginal ↗
16 Mar 2015
Come and work with me on proof theory and philosophyoriginal ↗
6 Mar 2015
PHIL30043: The Power and Limits of Logicoriginal ↗
1 Mar 2015
UNIB10002: Logic, Language and Informationoriginal ↗
1 Mar 2015
Academic Genealogyoriginal ↗
27 Feb 2015
Contingent Existence and Modal Definednessoriginal ↗
26 Feb 2015
Classes in Semester Oneoriginal ↗
25 Feb 2015
Logic: Language and Information 1original ↗
24 Feb 2015
Ash Wednesdayoriginal ↗
18 Feb 2015
Do LNC and LEM suffice to define negation?original ↗
17 Feb 2015
Adding Site Searchoriginal ↗
13 Feb 2015
Another Blast From the Pastoriginal ↗
8 Feb 2015
Recovering the Pastoriginal ↗
6 Feb 2015
Back in the officeoriginal ↗
4 Feb 2015
Why no comment box?original ↗
2 Feb 2015
What’s the point of a personal website these days?original ↗
1 Feb 2015

2014

Ternary Relations and Models for Relevant Arithmeticsoriginal ↗
14 Dec 2014
Normal Proofs, Cut Free Derivations and Structural Rulesoriginal ↗
1 Dec 2014
Living as a Christian Academicoriginal ↗
16 Sept 2014
Towards Fixed Point Models for Theories of Properties and Classesoriginal ↗
5 Sept 2014
Ludwig Wittgenstein’s Tractatus Logico-Philosophicusoriginal ↗
26 Aug 2014
Pluralism and Proofsoriginal ↗
3 Aug 2014
PHIL10003: Philosophy, the Great Thinkersoriginal ↗
28 Jul 2014
PHIL30043: The Power and Limits of Logicoriginal ↗
28 Jul 2014
From Defining Rules to Cut Elimination (and its consequences)original ↗
4 Jul 2014
Proof Theory and Philosophyoriginal ↗
25 Jun 2014
Modal Definednessoriginal ↗
19 Jun 2014
Ternary Relations and Models for Relevant Arithmeticsoriginal ↗
30 May 2014
Logic: Language and Information 2original ↗
21 Apr 2014
PHIL20030: Meaning, Possibility and Paradoxoriginal ↗
3 Mar 2014
PHIL40007: Philosophy of Language and Mindoriginal ↗
3 Mar 2014
UNIB10002: Logic, Language and Informationoriginal ↗
3 Mar 2014
MULT10016: Reasonoriginal ↗
2 Mar 2014
Logic: Language and Information 1original ↗
28 Feb 2014
Previous Next