In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. London: College Publications. pp. 197-210 (2019)

Authors
Ivo Pezlar
Czech Academy of Sciences
Abstract
We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.
Keywords Transparent Intensional Logic  procedural semantics  logic of problems  procedural isomorphism
Categories (categorize this paper)
Buy the book Find it on Amazon.com
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
The Foundations of Frege’s Logic.Pavel Tichý - 1988 - Berlin and New York: De Gruyter.
Anatomy of a Proposition.Bjørn Jespersen - 2019 - Synthese 196 (4):1285-1324.
Intensional Isomorphism and Identity of Belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.

View all 14 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Can Concepts Be Defined in Terms of Sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.
Should Propositions Proliferate?Bjørn Jespersen - 2015 - Thought: A Journal of Philosophy 4 (4):243-251.
Simple Concepts.Pavel Materna - 2013 - Acta Analytica 28 (3):295-319.
Science – Logic – Philosophy. An Old Problem Resuscitated.Pavel Materna - 2012 - Logic and Logical Philosophy 21 (2):107-126.
Anatomy of a Proposition.Bjørn Jespersen - 2019 - Synthese 196 (4):1285-1324.
Remarks on the Type Theory in the Semantics of Propositional Attitudes.Oleg A. Domanov - 2018 - Epistemology and Philosophy of Science 55 (4):62-67.
About a Mature Theory of Fregean Sense. [REVIEW]Adam Olszewski - 2017 - Logic and Logical Philosophy 26 (3):417-428.
A Survey of Propositional Realizability Logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.
Procedural Knowledge in Molecular Biology.Baljinder Sahdra & Paul Thagard - 2003 - Philosophical Psychology 16 (4):477 – 498.

Analytics

Added to PP index
2019-08-13

Total views
148 ( #72,827 of 2,454,828 )

Recent downloads (6 months)
21 ( #34,019 of 2,454,828 )

How can I increase my downloads?

Downloads

My notes