SETS, CLASSES AND THE PROPOSITIONAL CALCULUS
Autor(a) principal: | |
---|---|
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 |