corpus.blog
41554 blogs · [ { "id": "01a08763-6dec-7305-b9d8-c959461a7646", "title": "PY4638: Philosophy of Religion", "url": "https://consequently.org/class/2022/py4638/", "published_at": "2022-09-13T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95946646261", "title": "Classical Logic and Intuitionistic Logic: looking both ways", "url": "https://consequently.org/presentation/2022/classical-logic-intuitionistic-logic-both-ways-torino/", "published_at": "2022-09-06T07:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95946de83c3", "title": "The Many Uses of Proofs: logic and philosophy, language and more", "url": "https://consequently.org/presentation/2022/uses-of-proofs-cs-st-andrews/", "published_at": "2022-06-13T14:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c959472b0de0", "title": "True Contradictions? Why, and Why Not?", "url": "https://consequently.org/presentation/2022/true-contradictions-why-and-why-not/", "published_at": "2022-06-07T14:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c959480b65d1", "title": "Exploring Three-Valued Models for Identity", "url": "https://consequently.org/presentation/2022/exploring-three-valued-models-for-identity/", "published_at": "2022-04-18T14:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95948d0903f", "title": "A little book on Proofs and Models", "url": "https://consequently.org/news/2022/publishing-pmpl/", "published_at": "2022-04-05T12:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95948e928b3", "title": "Proofs and Models in Philosophical Logic", "url": "https://consequently.org/writing/pmpl-elements/", "published_at": "2022-03-25T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95949ba9ba7", "title": "Natural Deduction with Alternatives: on structural rules, and identifying assumptions", "url": "https://consequently.org/presentation/2022/natural-deduction-with-alternatives-bochum/", "published_at": "2022-03-17T15:30:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95949c0cfbf", "title": "Justification Requests, Inference and Definitions", "url": "https://consequently.org/presentation/2022/jrid-calgary/", "published_at": "2022-01-28T22:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594a5c251d", "title": "PY1012: Reasoning", "url": "https://consequently.org/class/2022/py1012/", "published_at": "2022-01-13T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594af2aabf", "title": "PY4634: Philosophical Logic", "url": "https://consequently.org/class/2022/py4634/", "published_at": "2022-01-13T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594be80261", "title": "Proofs with Star and Perp: pluralism and proofs for different logics", "url": "https://consequently.org/presentation/2021/proofs-for-star-and-perp/", "published_at": "2021-12-10T12:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594cdc979a", "title": "Assertions, Denials, Questions, Answers, and the Common Ground", "url": "https://consequently.org/presentation/2021/assertion-denial-common-ground-bristol/", "published_at": "2021-10-20T13:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594db5f21a", "title": "Worlds: Possible and Impossible", "url": "https://consequently.org/presentation/2021/worlds-possible-and-impossible/", "published_at": "2021-10-04T14:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594db72f41", "title": "PY3100: Reading Philosophy 1—Texts in Language, Logic, Mind, Epistemology, Metaphysics and Science", "url": "https://consequently.org/class/2021/py3100/", "published_at": "2021-09-13T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594e82f4cc", "title": "PY4612: Advanced Logic", "url": "https://consequently.org/class/2021/py4612/", "published_at": "2021-09-13T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594e8abf7b", "title": "Comparing Rules for Identity in sequent systems and natural deduction", "url": "https://consequently.org/presentation/2021/identity-rules-tableaux-2021/", "published_at": "2021-09-06T13:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594f4028d8", "title": "Proofs and Models in Philosophical Logic", "url": "https://consequently.org/presentation/2021/pmpl-blc/", "published_at": "2021-09-03T10:45:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9594fe5edcb", "title": "Leaving Melbourne", "url": "https://consequently.org/news/2021/leaving-melbourne/", "published_at": "2021-06-29T23:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95950d8c400", "title": "Natural Deduction with Alternatives: on structural rules, and identifying assumptions", "url": "https://consequently.org/presentation/2021/natural-deduction-with-alternatives-aal/", "published_at": "2021-06-25T03:10:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95951d62992", "title": "Geometric Models for Relevant Logics", "url": "https://consequently.org/writing/geometric-models/", "published_at": "2021-05-14T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c959525a678f", "title": "Platonism, Nominalism, Realism, Anti-Realism, Reprentationalism, Inferentialism and all that", "url": "https://consequently.org/presentation/2021/platonism-nominalism-etc/", "published_at": "2021-05-06T05:15:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c959525fae86", "title": "Comparing Rules for Identity in Sequent Systems and Natural Deduction", "url": "https://consequently.org/presentation/2021/comparing-identity-rules/", "published_at": "2021-04-21T08:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c959534e174d", "title": "PHIL30043: The Power and Limits of Logic", "url": "https://consequently.org/class/2021/phil30043/", "published_at": "2021-03-01T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9595403fe16", "title": "UNIB10002: Logic, Language and Information", "url": "https://consequently.org/class/2021/unib10002/", "published_at": "2021-03-01T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95954910405", "title": "An Inferentialist Account of Identity and Modality", "url": "https://consequently.org/presentation/2021/an-inferentialist-account-of-identity-and-modality/", "published_at": "2021-02-16T09:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95954e849cf", "title": "Natural Deduction with Alternatives", "url": "https://consequently.org/presentation/2020/natural-deduction-with-alternatives/", "published_at": "2020-11-06T01:30:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9595578b983", "title": "Speech Acts & the Quest for a Natural Account of Classical Proof", "url": "https://consequently.org/presentation/2020/speech-acts-for-classical-natural-deduction-berkeley/", "published_at": "2020-09-18T23:10:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9595663f8a3", "title": "Speech Acts & the Quest for a Natural Account of Classical Proof", "url": "https://consequently.org/writing/speech-acts-for-classical-proofs/", "published_at": "2020-09-15T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95956950040", "title": "Teaching During a Pandemic", "url": "https://consequently.org/news/2020/teaching-during-a-pandemic/", "published_at": "2020-08-06T12:10:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95956a2c5d6", "title": "PHIL20030: Logical Methods", "url": "https://consequently.org/class/2020/phil20030/", "published_at": "2020-07-28T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95956b3fc0e", "title": "Notes from a Pandemic", "url": "https://consequently.org/news/2020/notes-from-a-pandemic/", "published_at": "2020-05-27T11:19:47+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c959578526ed", "title": "Assertions, Denials, Questions, Answers, and the Common Ground", "url": "https://consequently.org/presentation/2020/assertion-denial-common-ground-acu/", "published_at": "2020-05-05T05:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95958295abf", "title": "Proofs and Models in Naive Property Theory: A Response to Hartry Field's “Properties, Propositions and Conditionals”", "url": "https://consequently.org/writing/proofs-and-models-in-npt/", "published_at": "2020-04-02T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95959214bc2", "title": "Geometric Models for Relevant Logics", "url": "https://consequently.org/presentation/2020/geometric-models-logicmelb/", "published_at": "2020-03-20T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c95959638ad6", "title": "UNIB10002: Logic, Language and Information", "url": "https://consequently.org/class/2020/unib10002/", "published_at": "2020-03-04T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9595a135418", "title": "PHIL40013: Uncertainty, Vagueness and Disagreement", "url": "https://consequently.org/class/2020/phil40013/", "published_at": "2020-03-03T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9595a3270b1", "title": "PHIL30043: The Power and Limits of Logic", "url": "https://consequently.org/class/2020/phil30043/", "published_at": "2020-03-02T00:00:00+00:00" }, { "id": "01a08763-6dec-7305-b9d8-c9595a44777c", "title": "A Place for Logic in the Humanities?", "url": "https://consequently.org/presentation/2020/a-place-for-logic-ballarat/", "published_at": "2020-02-20T23:30:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d421534e15", "title": "Two Negations are More than One", "url": "https://consequently.org/writing/two-negations/", "published_at": "2019-12-12T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d421c7e54c", "title": "Generics: Inference & Accommodation", "url": "https://consequently.org/presentation/2019/generics-inference-accommodation-mit/", "published_at": "2019-12-06T21:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42248e4d0", "title": "What's So Special About Logic? Practices, Rules and Definitions", "url": "https://consequently.org/presentation/2019/whats-so-special-about-logic-smith/", "published_at": "2019-12-05T00:30:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d422612b28", "title": "Negation on the Australian Plan", "url": "https://consequently.org/writing/nap/", "published_at": "2019-12-02T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d423172c36", "title": "Teaching Logical Methods", "url": "https://consequently.org/news/2019/teaching-logical-methods/", "published_at": "2019-11-14T09:01:45+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d423781f0f", "title": "What's So Special About Logic? Practices, Rules and Definitions", "url": "https://consequently.org/presentation/2019/whats-so-special-about-logic-logicmelb/", "published_at": "2019-11-01T05:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d423fd35b1", "title": "Assertions, Denials, Questions, Answers, and the Common Ground", "url": "https://consequently.org/presentation/2019/assertion-denial-qa-common-ground-arche/", "published_at": "2019-09-30T12:15:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d424ac577f", "title": "Collection Frames for Substructural Logics", "url": "https://consequently.org/presentation/2019/collection-frames-lancog-lisbon/", "published_at": "2019-09-26T11:30:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d424e95e82", "title": "PHIL20030: Meaning, Possibility and Paradox", "url": "https://consequently.org/class/2019/phil20030/", "published_at": "2019-07-29T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d4256d8c38", "title": "PHIL40013: Uncertainty, Vagueness and Disagreement", "url": "https://consequently.org/class/2019/phil40013/", "published_at": "2019-07-29T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42652ec6b", "title": "Assertions, Denials, Questions, Answers, and the Common Ground", "url": "https://consequently.org/presentation/2019/assertion-denial-qa-common-ground-express/", "published_at": "2019-06-22T11:11:45+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42716e576", "title": "Assertions, Denials, Questions, Answers, and the Common Ground", "url": "https://consequently.org/presentation/2019/assertion-denial-qa-common-ground-mcmp/", "published_at": "2019-06-18T11:16:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d427a07243", "title": "Assertions, Denials, Questions, Answers, and the Common Ground", "url": "https://consequently.org/presentation/2019/assertion-denial-qa-common-ground-logicmelb/", "published_at": "2019-06-07T18:16:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d427bb2794", "title": "Isomorphisms in a Category of Proofs", "url": "https://consequently.org/presentation/2019/isomorphisms-pts3/", "published_at": "2019-03-29T16:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d428afa990", "title": "Collection Frames for Substructural Logics", "url": "https://consequently.org/presentation/2019/collection-frames-logicmelb/", "published_at": "2019-03-15T17:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d428b8cda4", "title": "PHIL30043: The Power and Limits of Logic", "url": "https://consequently.org/class/2019/phil30043/", "published_at": "2019-03-05T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42940ad17", "title": "UNIB10002: Logic, Language and Information", "url": "https://consequently.org/class/2019/unib10002/", "published_at": "2019-03-04T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42951b722", "title": "Generality and Existence I: Quantification and Free Logic", "url": "https://consequently.org/writing/generality-and-existence-1/", "published_at": "2019-03-01T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d429f018b8", "title": "Generality and Existence 2: Modality and Quantifiers", "url": "https://consequently.org/presentation/2019/generality-and-existence-2-apa/", "published_at": "2019-02-21T14:15:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42a2f1274", "title": "Summer Reading 2018-2019", "url": "https://consequently.org/news/2019/summer-reading-2018-2019/", "published_at": "2019-01-27T09:49:05+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42a4143fc", "title": "New Work for a (Formal) Theory of Grounds", "url": "https://consequently.org/presentation/2018/new-work-for-a-theory-of-grounds-logicmelb/", "published_at": "2018-12-14T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42b06aa96", "title": "Truth and Stereotypes", "url": "https://consequently.org/presentation/2018/truth-and-stereotypes/", "published_at": "2018-10-30T08:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42ba0485a", "title": "Philosophy in Public", "url": "https://consequently.org/news/2018/philosophy-in-public/", "published_at": "2018-10-28T02:34:27+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42c59eeab", "title": "With help from Hugo, GitHub, Netlify, Working Copy and Shortcuts, I might update this website more frequently", "url": "https://consequently.org/news/2018/with-help-from-hugo-github-netlify-working-copy-and-shortcuts-i-might-update-this-website-more-frequently/", "published_at": "2018-10-21T05:39:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42cebcbfc", "title": "Accommodation, Inference, Generics and Pejoratives", "url": "https://consequently.org/presentation/2018/accommodation-melb-workshop/", "published_at": "2018-10-11T23:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42d439cdc", "title": "Accommodation, Inference, Generics and Pejoratives", "url": "https://consequently.org/presentation/2018/accommodation-uq/", "published_at": "2018-10-05T04:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42df233a5", "title": "Defining Rules, Proofs and Counterexamples", "url": "https://consequently.org/presentation/2018/defining-rules-proofs-and-counterexamples-ba-logic-vii/", "published_at": "2018-08-03T20:45:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42e11b192", "title": "Proof Theory, Rules and Meaning — an introduction", "url": "https://consequently.org/presentation/2018/proof-theory-rules-and-meaning/", "published_at": "2018-07-30T19:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42e6644d5", "title": "PHIL30043: The Power and Limits of Logic", "url": "https://consequently.org/class/2018/phil30043/", "published_at": "2018-07-25T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42ec18339", "title": "PHIL20030: Meaning, Possibility and Paradox", "url": "https://consequently.org/class/2018/phil20030/", "published_at": "2018-07-24T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42f0cbf8b", "title": "What Proofs are For", "url": "https://consequently.org/presentation/2018/what-proofs-are-for-melbourne-glasgow/", "published_at": "2018-06-11T23:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42f5f65d8", "title": "Isomorphisms in a Category of Proofs", "url": "https://consequently.org/presentation/2018/mit-sllerg/", "published_at": "2018-04-20T18:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d42fa99dc1", "title": "Accommodation, Inference, Generics and Pejoratives", "url": "https://consequently.org/presentation/2018/mit-wip/", "published_at": "2018-04-19T16:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d4301bd529", "title": "Accommodation, Inference, Generics and Pejoratives", "url": "https://consequently.org/presentation/2018/uconn-brown-bag/", "published_at": "2018-04-18T16:15:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d43031b949", "title": "Accommodation, Inference, Generics and Pejoratives", "url": "https://consequently.org/presentation/2018/pitt-philosophy-colloquium/", "published_at": "2018-04-13T19:30:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d4311835dc", "title": "Isomorphisms in a Category of Proofs", "url": "https://consequently.org/presentation/2018/cmu-pure-and-applied-logic/", "published_at": "2018-04-12T20:30:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d4313b7a44", "title": "Isomorphisms in a Category of Proofs", "url": "https://consequently.org/presentation/2018/cuny-gc-logic-and-metaphysics/", "published_at": "2018-04-09T20:15:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d431bf2546", "title": "What Proofs are For", "url": "https://consequently.org/presentation/2018/what-proofs-are-for-nyu/", "published_at": "2018-04-06T20:15:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d43216dcf0", "title": "Accommodation, Inference, Generics and Pejoratives", "url": "https://consequently.org/presentation/2018/cuny-gc-colloquium/", "published_at": "2018-03-28T16:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d4321df97e", "title": "Accommodation, Inference, Generics and Pejoratives", "url": "https://consequently.org/presentation/2018/unimelb-accommodation/", "published_at": "2018-03-22T05:15:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d432c54a6c", "title": "Truth Tellers in Bradwardine's Theory of Truth", "url": "https://consequently.org/writing/bradwardine-truth-tellers/", "published_at": "2018-03-21T00:00:00+00:00" }, { "id": "01a08763-6ded-73f4-a7d5-77d433657537", "title": "Isomorphisms in a Category of Propositions and Proofs", "url": "https://consequently.org/presentation/2018/logicmelb-isomorphisms/", "published_at": "2018-03-02T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e85f8e629d", "title": "Community (the twelfth of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-12-community/", "published_at": "2017-12-30T06:12:57+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86076807f", "title": "Proof Identity, Aboutness and Meaning", "url": "https://consequently.org/presentation/2017/proof-identity-aboutness-and-meaning/", "published_at": "2017-11-11T09:30:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e861741047", "title": "Negation on the Australian Plan", "url": "https://consequently.org/presentation/2017/negation-on-the-australian-plan/", "published_at": "2017-09-22T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e861a6faf2", "title": "Learning and Teaching (the eleventh of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-11-learning-and-teaching/", "published_at": "2017-09-19T11:47:48+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e861f003ed", "title": "Possibility (the tenth of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-10-possibility/", "published_at": "2017-09-18T03:38:20+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e861f52fe3", "title": "Necessity (the ninth of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-09-necessity/", "published_at": "2017-09-14T12:55:19+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e862edd843", "title": "Attention (the eighth of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-08-attention/", "published_at": "2017-09-13T03:01:56+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e862f80b08", "title": "Pragmatics (the seventh of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-07-pragmatics/", "published_at": "2017-09-12T01:53:42+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86358386e", "title": "Conceptual Expansion (the sixth of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-06-expansion/", "published_at": "2017-09-10T22:26:50+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e863820992", "title": "The Moment of Recognition (the fifth of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-05-recognition/", "published_at": "2017-09-09T03:29:39+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e863d22abc", "title": "Interdisciplinarity (the fourth of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-04-interdisciplinarity/", "published_at": "2017-09-08T03:27:05+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e86438e882", "title": "Multiple Realisability (the third of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-03-multiple-realisability/", "published_at": "2017-09-07T04:34:51+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8648dd334", "title": "Abstraction (the second of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-02-abstraction/", "published_at": "2017-09-06T02:00:03+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e865445eee", "title": "The Dialectic (the first of twelve things I love about philosophical logic)", "url": "https://consequently.org/news/2017/twelve-things-01-the-dialectic/", "published_at": "2017-09-05T02:36:03+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8654e3d88", "title": "Twelve things I love about philosophical logic", "url": "https://consequently.org/news/2017/twelve-things-i-love/", "published_at": "2017-09-04T09:21:54+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8658b7b13", "title": "PHIL20030: Meaning, Possibility and Paradox", "url": "https://consequently.org/class/2017/phil20030/", "published_at": "2017-07-25T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e865916b09", "title": "PHIL40013: Uncertainty, Vagueness and Disagreement", "url": "https://consequently.org/class/2017/phil40013/", "published_at": "2017-07-25T00:00:00+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8665b95e5", "title": "Conditionals in Closed Set Logic", "url": "https://consequently.org/news/2017/closed-set-logic/", "published_at": "2017-07-22T03:23:43+00:00" }, { "id": "01a08763-6dee-73b5-89e5-89e8668c73f5", "title": "Typesetting Flow Graphs with tikz", "url": "https://consequently.org/news/2017/typesetting-flow-graphs/", "published_at": "2017-07-11T00:17:18+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

2022

PY4638: Philosophy of Religionoriginal ↗
13 Sept 2022
Classical Logic and Intuitionistic Logic: looking both waysoriginal ↗
6 Sept 2022
The Many Uses of Proofs: logic and philosophy, language and moreoriginal ↗
13 Jun 2022
True Contradictions? Why, and Why Not?original ↗
7 Jun 2022
Exploring Three-Valued Models for Identityoriginal ↗
18 Apr 2022
A little book on Proofs and Modelsoriginal ↗
5 Apr 2022
Proofs and Models in Philosophical Logicoriginal ↗
25 Mar 2022
Natural Deduction with Alternatives: on structural rules, and identifying assumptionsoriginal ↗
17 Mar 2022
Justification Requests, Inference and Definitionsoriginal ↗
28 Jan 2022
PY1012: Reasoningoriginal ↗
13 Jan 2022
PY4634: Philosophical Logicoriginal ↗
13 Jan 2022

2021

Proofs with Star and Perp: pluralism and proofs for different logicsoriginal ↗
10 Dec 2021
Assertions, Denials, Questions, Answers, and the Common Groundoriginal ↗
20 Oct 2021
Worlds: Possible and Impossibleoriginal ↗
4 Oct 2021
PY3100: Reading Philosophy 1—Texts in Language, Logic, Mind, Epistemology, Metaphysics and Scienceoriginal ↗
13 Sept 2021
PY4612: Advanced Logicoriginal ↗
13 Sept 2021
Comparing Rules for Identity in sequent systems and natural deductionoriginal ↗
6 Sept 2021
Proofs and Models in Philosophical Logicoriginal ↗
3 Sept 2021
Leaving Melbourneoriginal ↗
29 Jun 2021
Natural Deduction with Alternatives: on structural rules, and identifying assumptionsoriginal ↗
25 Jun 2021
Geometric Models for Relevant Logicsoriginal ↗
14 May 2021
Platonism, Nominalism, Realism, Anti-Realism, Reprentationalism, Inferentialism and all thatoriginal ↗
6 May 2021
Comparing Rules for Identity in Sequent Systems and Natural Deductionoriginal ↗
21 Apr 2021
PHIL30043: The Power and Limits of Logicoriginal ↗
1 Mar 2021
UNIB10002: Logic, Language and Informationoriginal ↗
1 Mar 2021
An Inferentialist Account of Identity and Modalityoriginal ↗
16 Feb 2021

2020

Natural Deduction with Alternativesoriginal ↗
6 Nov 2020
Speech Acts & the Quest for a Natural Account of Classical Prooforiginal ↗
18 Sept 2020
Speech Acts & the Quest for a Natural Account of Classical Prooforiginal ↗
15 Sept 2020
Teaching During a Pandemicoriginal ↗
6 Aug 2020
PHIL20030: Logical Methodsoriginal ↗
28 Jul 2020
Notes from a Pandemicoriginal ↗
27 May 2020
Assertions, Denials, Questions, Answers, and the Common Groundoriginal ↗
5 May 2020
Proofs and Models in Naive Property Theory: A Response to Hartry Field's “Properties, Propositions and Conditionals”original ↗
2 Apr 2020
Geometric Models for Relevant Logicsoriginal ↗
20 Mar 2020
UNIB10002: Logic, Language and Informationoriginal ↗
4 Mar 2020
PHIL40013: Uncertainty, Vagueness and Disagreementoriginal ↗
3 Mar 2020
PHIL30043: The Power and Limits of Logicoriginal ↗
2 Mar 2020
A Place for Logic in the Humanities?original ↗
20 Feb 2020

2019

Two Negations are More than Oneoriginal ↗
12 Dec 2019
Generics: Inference & Accommodationoriginal ↗
6 Dec 2019
What's So Special About Logic? Practices, Rules and Definitionsoriginal ↗
5 Dec 2019
Negation on the Australian Planoriginal ↗
2 Dec 2019
Teaching Logical Methodsoriginal ↗
14 Nov 2019
What's So Special About Logic? Practices, Rules and Definitionsoriginal ↗
1 Nov 2019
Assertions, Denials, Questions, Answers, and the Common Groundoriginal ↗
30 Sept 2019
Collection Frames for Substructural Logicsoriginal ↗
26 Sept 2019
PHIL20030: Meaning, Possibility and Paradoxoriginal ↗
29 Jul 2019
PHIL40013: Uncertainty, Vagueness and Disagreementoriginal ↗
29 Jul 2019
Assertions, Denials, Questions, Answers, and the Common Groundoriginal ↗
22 Jun 2019
Assertions, Denials, Questions, Answers, and the Common Groundoriginal ↗
18 Jun 2019
Assertions, Denials, Questions, Answers, and the Common Groundoriginal ↗
7 Jun 2019
Isomorphisms in a Category of Proofsoriginal ↗
29 Mar 2019
Collection Frames for Substructural Logicsoriginal ↗
15 Mar 2019
PHIL30043: The Power and Limits of Logicoriginal ↗
5 Mar 2019
UNIB10002: Logic, Language and Informationoriginal ↗
4 Mar 2019
Generality and Existence I: Quantification and Free Logicoriginal ↗
1 Mar 2019
Generality and Existence 2: Modality and Quantifiersoriginal ↗
21 Feb 2019
Summer Reading 2018-2019original ↗
27 Jan 2019

2018

New Work for a (Formal) Theory of Groundsoriginal ↗
14 Dec 2018
Truth and Stereotypesoriginal ↗
30 Oct 2018
Philosophy in Publicoriginal ↗
28 Oct 2018
With help from Hugo, GitHub, Netlify, Working Copy and Shortcuts, I might update this website more frequentlyoriginal ↗
21 Oct 2018
Accommodation, Inference, Generics and Pejorativesoriginal ↗
11 Oct 2018
Accommodation, Inference, Generics and Pejorativesoriginal ↗
5 Oct 2018
Defining Rules, Proofs and Counterexamplesoriginal ↗
3 Aug 2018
Proof Theory, Rules and Meaning — an introductionoriginal ↗
30 Jul 2018
PHIL30043: The Power and Limits of Logicoriginal ↗
25 Jul 2018
PHIL20030: Meaning, Possibility and Paradoxoriginal ↗
24 Jul 2018
What Proofs are Fororiginal ↗
11 Jun 2018
Isomorphisms in a Category of Proofsoriginal ↗
20 Apr 2018
Accommodation, Inference, Generics and Pejorativesoriginal ↗
19 Apr 2018
Accommodation, Inference, Generics and Pejorativesoriginal ↗
18 Apr 2018
Accommodation, Inference, Generics and Pejorativesoriginal ↗
13 Apr 2018
Isomorphisms in a Category of Proofsoriginal ↗
12 Apr 2018
Isomorphisms in a Category of Proofsoriginal ↗
9 Apr 2018
What Proofs are Fororiginal ↗
6 Apr 2018
Accommodation, Inference, Generics and Pejorativesoriginal ↗
28 Mar 2018
Accommodation, Inference, Generics and Pejorativesoriginal ↗
22 Mar 2018
Truth Tellers in Bradwardine's Theory of Truthoriginal ↗
21 Mar 2018
Isomorphisms in a Category of Propositions and Proofsoriginal ↗
2 Mar 2018

2017

Community (the twelfth of twelve things I love about philosophical logic)original ↗
30 Dec 2017
Proof Identity, Aboutness and Meaningoriginal ↗
11 Nov 2017
Negation on the Australian Planoriginal ↗
22 Sept 2017
Learning and Teaching (the eleventh of twelve things I love about philosophical logic)original ↗
19 Sept 2017
Possibility (the tenth of twelve things I love about philosophical logic)original ↗
18 Sept 2017
Necessity (the ninth of twelve things I love about philosophical logic)original ↗
14 Sept 2017
Attention (the eighth of twelve things I love about philosophical logic)original ↗
13 Sept 2017
Pragmatics (the seventh of twelve things I love about philosophical logic)original ↗
12 Sept 2017
Conceptual Expansion (the sixth of twelve things I love about philosophical logic)original ↗
10 Sept 2017
The Moment of Recognition (the fifth of twelve things I love about philosophical logic)original ↗
9 Sept 2017
Interdisciplinarity (the fourth of twelve things I love about philosophical logic)original ↗
8 Sept 2017
Multiple Realisability (the third of twelve things I love about philosophical logic)original ↗
7 Sept 2017
Abstraction (the second of twelve things I love about philosophical logic)original ↗
6 Sept 2017
The Dialectic (the first of twelve things I love about philosophical logic)original ↗
5 Sept 2017
Twelve things I love about philosophical logicoriginal ↗
4 Sept 2017
PHIL20030: Meaning, Possibility and Paradoxoriginal ↗
25 Jul 2017
PHIL40013: Uncertainty, Vagueness and Disagreementoriginal ↗
25 Jul 2017
Conditionals in Closed Set Logicoriginal ↗
22 Jul 2017
Typesetting Flow Graphs with tikzoriginal ↗
11 Jul 2017
Previous Next