Semantic Foundations of Reductive Reasoning.
The development of logic has largely been through the deductive paradigm: conclusions are inferred from established premisses. However, the use of logic in the context of both human and machine reasoning is typically through the dual reductive perspective: collections of sufficient premisses are gen...
| Publicado en: | Topoi: An International Review of Philosophy Vol. 45; no. 2; pp. 675 - 692 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
May2026
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=194359004&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 194359004 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 01677411 NM2 jtl: Topoi: An International Review of Philosophy issn: 01677411 maglogo: N pubinfo: dt: May2026 vid: 45 iid: 2 pid: 237 pub: Springer Nature artinfo: ui: 194359004 10.1007/s11245-025-10211-6 ppf: 675 ppct: 17 formats: fmt: – @attributes: type: T – @attributes: type: P size: 671KB tig: atl: Semantic Foundations of Reductive Reasoning. aug: au: Gheorghiu, Alexander V. Pym, David J. affil: https://ror.org/02jx3x895 Department of Computer Science, University College London, Gower Street, WC1E 6EA, London, UK https://ror.org/01ryk1543 School of Electronics and Computer Science, University of Southampton, University Street, SO17 1BJ, Southampton, UK https://ror.org/02jx3x895 Department of Philosophy, University College London, Gordon Square, WC1H 0AW, London, UK https://ror.org/04cw6st05 Institute of Philosophy, University of London, Malet Street, WC1E 7HU, London, UK su: Logic Inference (Logic) Semantics (Philosophy) sug: subj: Logic Inference (Logic) Semantics (Philosophy) keyword: Logical systems Proof-search Proof-theoretic semantics Reductive logic Tactical proof Tactics Theorem proving ab: The development of logic has largely been through the deductive paradigm: conclusions are inferred from established premisses. However, the use of logic in the context of both human and machine reasoning is typically through the dual reductive perspective: collections of sufficient premisses are generated from putative conclusions. We call this paradigm, reductive logic. This expression of logic encompass as diverse reasoning activities as proving a formula in a formal system to seeking to meet a friend before noon on Saturday. This paper is a semantical analysis of reductive logic. In particular, we provide mathematical foundations for representing and reasoning about reduction operators. Heuristically, reduction operators may be thought of as 'backwards' inference rules. In this paper, we address their mathematical representation, how they are used in the context of reductive reasoning, and, crucially, what makes them valid. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Topoi: An International Review of Philosophy is a copyright of Springer, 2026. All Rights Reserved. item: Topoi: An International Review of Philosophy holder: Springer Nature dt: @attributes: year: 2026 holdings: @attributes: islocal: N |
|---|