Filters
Clear AllLoading
description Publicationkeyboard_double_arrow_right Article , Preprint 2015 AustriaSpringer Science and Business Media LLC FWF | Between Logicism and Meta..., SSHRCFWF| Between Logicism and Metalogic ,SSHRCAuthors: Georg Schiemer; Richard Zach; Erich H. Reck;Georg Schiemer; Richard Zach; Erich H. Reck;handle: 11353/10.627957
In his Untersuchungen zur allgemeinen Axiomatik (1928) and Abriss der Logistik (1929), Rudolf Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap's attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap's contributions to the development of modern logic.
Synthese; Permanent ... arrow_drop_down Synthese; Permanent Hosting, Archiving and Indexing of Digital Resources and AssetsOther literature type . Article . 2015 . 2018License: Springer TDMhttps://doi.org/10.48550/arxiv...Article . 2015License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/s11229-015-0877-z&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu4 citations 4 popularity Average influence Average impulse Average Powered by BIP!more_vert Synthese; Permanent ... arrow_drop_down Synthese; Permanent Hosting, Archiving and Indexing of Digital Resources and AssetsOther literature type . Article . 2015 . 2018License: Springer TDMhttps://doi.org/10.48550/arxiv...Article . 2015License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/s11229-015-0877-z&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu
Loading
description Publicationkeyboard_double_arrow_right Article , Preprint 2015 AustriaSpringer Science and Business Media LLC FWF | Between Logicism and Meta..., SSHRCFWF| Between Logicism and Metalogic ,SSHRCAuthors: Georg Schiemer; Richard Zach; Erich H. Reck;Georg Schiemer; Richard Zach; Erich H. Reck;handle: 11353/10.627957
In his Untersuchungen zur allgemeinen Axiomatik (1928) and Abriss der Logistik (1929), Rudolf Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap's attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap's contributions to the development of modern logic.
Synthese; Permanent ... arrow_drop_down Synthese; Permanent Hosting, Archiving and Indexing of Digital Resources and AssetsOther literature type . Article . 2015 . 2018License: Springer TDMhttps://doi.org/10.48550/arxiv...Article . 2015License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/s11229-015-0877-z&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu4 citations 4 popularity Average influence Average impulse Average Powered by BIP!more_vert Synthese; Permanent ... arrow_drop_down Synthese; Permanent Hosting, Archiving and Indexing of Digital Resources and AssetsOther literature type . Article . 2015 . 2018License: Springer TDMhttps://doi.org/10.48550/arxiv...Article . 2015License: arXiv Non-Exclusive DistributionData sources: Dataciteadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/s11229-015-0877-z&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu