SETS, CLASSES AND THE PROPOSITIONAL CALCULUS

Detalhes bibliográficos
Autor(a) principal: Lopez-Escobar, E. G. K.
Data de Publicação: 2016
Tipo de documento: Artigo
Idioma: por
Título da fonte: Manuscrito (Online)
Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643892
Resumo: The propositional calculus AoC, “Algebra of Classes”, and the extended propositional calculus EAC, “Extended Algebra of Classes” are introduced in this paper. They are extensions, by additional propositional functions which are not invariant under the biconditional, of the corresponding classical propositional systems. Their origin lies in an analysis, motivated by Cantor’s concept of the cardinal numbers, of A. P. Morse’s impredicative, polysynthetic set theory.
id UNICAMP-17_b947d34c3e7f38c6aa3bc64c56e31730
oai_identifier_str oai:ojs.periodicos.sbu.unicamp.br:article/8643892
network_acronym_str UNICAMP-17
network_name_str Manuscrito (Online)
repository_id_str
spelling SETS, CLASSES AND THE PROPOSITIONAL CALCULUSAlgebra. CalculusThe propositional calculus AoC, “Algebra of Classes”, and the extended propositional calculus EAC, “Extended Algebra of Classes” are introduced in this paper. They are extensions, by additional propositional functions which are not invariant under the biconditional, of the corresponding classical propositional systems. Their origin lies in an analysis, motivated by Cantor’s concept of the cardinal numbers, of A. P. Morse’s impredicative, polysynthetic set theory.Universidade Estadual de Campinas2016-03-04info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643892Manuscrito: Revista Internacional de Filosofia; v. 28 n. 2 (2005): Jul./Dec.; 417-448Manuscrito: International Journal of Philosophy; Vol. 28 No. 2 (2005): Jul./Dec.; 417-448Manuscrito: Revista Internacional de Filosofía; Vol. 28 Núm. 2 (2005): Jul./Dec.; 417-4482317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643892/11361Copyright (c) 2005 Manuscritoinfo:eu-repo/semantics/openAccessLopez-Escobar, E. G. K.2016-03-08T11:27:17Zoai:ojs.periodicos.sbu.unicamp.br:article/8643892Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2016-03-08T11:27:17Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv SETS, CLASSES AND THE PROPOSITIONAL CALCULUS
title SETS, CLASSES AND THE PROPOSITIONAL CALCULUS
spellingShingle SETS, CLASSES AND THE PROPOSITIONAL CALCULUS
Lopez-Escobar, E. G. K.
Algebra. Calculus
title_short SETS, CLASSES AND THE PROPOSITIONAL CALCULUS
title_full SETS, CLASSES AND THE PROPOSITIONAL CALCULUS
title_fullStr SETS, CLASSES AND THE PROPOSITIONAL CALCULUS
title_full_unstemmed SETS, CLASSES AND THE PROPOSITIONAL CALCULUS
title_sort SETS, CLASSES AND THE PROPOSITIONAL CALCULUS
author Lopez-Escobar, E. G. K.
author_facet Lopez-Escobar, E. G. K.
author_role author
dc.contributor.author.fl_str_mv Lopez-Escobar, E. G. K.
dc.subject.por.fl_str_mv Algebra. Calculus
topic Algebra. Calculus
description The propositional calculus AoC, “Algebra of Classes”, and the extended propositional calculus EAC, “Extended Algebra of Classes” are introduced in this paper. They are extensions, by additional propositional functions which are not invariant under the biconditional, of the corresponding classical propositional systems. Their origin lies in an analysis, motivated by Cantor’s concept of the cardinal numbers, of A. P. Morse’s impredicative, polysynthetic set theory.
publishDate 2016
dc.date.none.fl_str_mv 2016-03-04
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643892
url https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643892
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8643892/11361
dc.rights.driver.fl_str_mv Copyright (c) 2005 Manuscrito
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2005 Manuscrito
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual de Campinas
publisher.none.fl_str_mv Universidade Estadual de Campinas
dc.source.none.fl_str_mv Manuscrito: Revista Internacional de Filosofia; v. 28 n. 2 (2005): Jul./Dec.; 417-448
Manuscrito: International Journal of Philosophy; Vol. 28 No. 2 (2005): Jul./Dec.; 417-448
Manuscrito: Revista Internacional de Filosofía; Vol. 28 Núm. 2 (2005): Jul./Dec.; 417-448
2317-630X
reponame:Manuscrito (Online)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Manuscrito (Online)
collection Manuscrito (Online)
repository.name.fl_str_mv Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br
_version_ 1800216566129754112

Registros relacionados