{"id":5243,"date":"2024-10-01T14:31:58","date_gmt":"2024-10-01T12:31:58","guid":{"rendered":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/?p=5243"},"modified":"2025-02-18T12:24:02","modified_gmt":"2025-02-18T11:24:02","slug":"lira-session-bartosz-wieckowski","status":"publish","type":"post","link":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/2024\/10\/lira-session-bartosz-wieckowski\/","title":{"rendered":"LIRa session: Bartosz Wi\u0119ckowski"},"content":{"rendered":"

Speaker: Bartosz Wi\u0119ckowski<\/a> (Goethe Universit\u00e4t Frankfurt am Main)<\/p>\n

Date and Time: Thursday, March 6th 2025, 16:30-18:00<\/p>\n

Venue: ILLC Seminar Room F1.15, Science Park 107 and<\/strong>\u00a0online<\/a>.<\/p>\n

Title: Proof-Theoretic Considerations on the Structure of Reasoning with Counterfactuals and Knowledge.<\/strong><\/p>\n

Abstract.<\/em> Combined reasoning with counterfactuals and knowledge\/belief may involve constructions which:
\n(i) embed knowledge (relativized to an agent a) in the antecedent (resp. consequent) of a counterfactual (e.g., ‘If a knew that A, a would believe that B’), or
\n(ii) prefix knowledge to a counterfactual (e.g., ‘a knows that if A were the case, B would be the case’), or
\n(iii) do both;
\nwhere the embedding and prefixing can be iterated. Counterfactual inference is typically studied from a model-theoretic perspective. In this talk, we take a proof-theoretic perspective. We combine components from [1] and [2], so as to obtain intuitionistic subatomic natural deduction systems for combined reasoning with (‘would’- and ‘might’-) counterfactuals and knowledge (resp. belief) which are proof-theoretically well-behaved (normalization, subexpression\/subformula property, internal completeness) and which admit the formulation of a semantically autarkic proof-theoretic semantics for elementary combined constructions of the aforementioned kinds.<\/p>\n

[1] Wi\u0119ckowski, B. (2021). Intuitionistic multi-agent subatomic natural deduction <\/em>for belief and knowledge,<\/em> Journal of Logic and Computation 31(3): 704-770. Special issue on External and Internal Calculi for Non-Classical Logics edited by A. Ciabattoni, D. Galmiche, N. Olivetti, and R. Ramanayake.
\nhttps:\/\/doi.org\/10.1093\/logcom\/exab013<\/a><\/p>\n

[2] —. (2024). Counterfactual assumptions and counterfactual implications<\/em>. In Piecha, T. and Wehmeier, K. F., eds., Peter Schroeder-Heister on Proof-Theoretic Semantics, Outstanding Contributions to Logic, Vol. 29, pp. 399-423. Cham, Switzerland: Springer.
\nhttps:\/\/doi.org\/10.1007\/978-3-031-50981-0_15<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Speaker: Bartosz Wi\u0119ckowski (Goethe Universit\u00e4t Frankfurt am Main)
\nDate and Time: Thursday, March 6th 2025, 16:30-18:00
\nVenue: ILLC Seminar Room F1.15, Science Park 107 and\u00a0online.
\nTitle: Proof-Theoretic Considerations on the Structure of Reasoning with Counterfactuals and Knowledge.
\nAbstract. Combined reasoning with counterfactuals and knowledge\/belief may involve constructions which:
\n(i) embed knowledge (relativized to an agent a) in the antecedent (resp. consequent) […]<\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-5243","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5243","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/comments?post=5243"}],"version-history":[{"count":7,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5243\/revisions"}],"predecessor-version":[{"id":5379,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/posts\/5243\/revisions\/5379"}],"wp:attachment":[{"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/media?parent=5243"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/categories?post=5243"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/projects.illc.uva.nl\/lgc\/seminar\/wp-json\/wp\/v2\/tags?post=5243"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}