A new logic of technical malfunction

DOI10.1007/S11225-012-9397-8MaRDI QIDQ2377053zbMATH OpenOpenAlexFDO

Authors Bjørn Jespersen, Massimiliano Carrara

Publication date 27 June 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9397-8

zbMATH Keywords

artefactfunctioning asintensional essentialismlogic of malfunctionmodificationphilosophy of technologysimple type theorytransparent intensional logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60)

Recommendations

• Preliminaries to a logic to malfunction
• scientific article; zbMATH DE number 4010478
• scientific article; zbMATH DE number 3854978
• scientific article; zbMATH DE number 3896903
• scientific article; zbMATH DE number 4204322

Cites work

• From (AB)a infer A^*a
• scientific article; zbMATH DE number 43055 (Why is no real title available?)
• scientific article; zbMATH DE number 3540808 (Why is no real title available?)
• Indiscernibility of identicals
• Intension in terms of Turing machines
• Iterated privation and positive predication
• Predication and extensionalization
• Transparent quantification into hyperpropositional contexts \textit{de re}

Cited in

(5)

• Iterated privation and positive predication
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• Algorithmic theories of problems. A constructive and a non-constructive approach
• Preliminaries to a logic to malfunction
• Substitution inconsistencies in transparent intensional logic

This page was built for publication: A new logic of technical malfunction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2377053)