Olá a todos. Estou lendo o artigo abaixo. Se alguém quiser, podemos trocar informações e discussões sobre ele.
Agradeço ao Jean-Yves pela referência. Abraço a todos, Ricardo. 2009/12/23 BEZIAU Jean-Yves <[email protected]> > By Willard L. Miranker, Gregg J. Zuckerman > in Journal of Applied Logic, Volume 7, Issue 4 (2009) > We employ the Zermelo–Fränkel Axioms that characterize sets as mathematical > primitives. The Anti-foundation Axiom plays a significant role in our > development, since among other of its features, its replacement for the > Axiom of Foundation in the Zermelo–Fränkel Axioms motivates Platonic > interpretations. These interpretations also depend on such allied notions > for sets as pictures, graphs, decorations, labelings and various mappings > that we use. A syntax and semantics of operators acting on sets is > developed. Such features enable construction of a theory of non-well-founded > sets that we use to frame mathematical foundations of consciousness. To do > this we introduce a supplementary axiomatic system that characterizes > experience and consciousness as primitives. The new axioms proceed through > characterization of so-called consciousness operators. The Russell operator > plays a central role and is shown to be one example of a consciousness > operator. Neural networks supply striking examples of non-well-founded > graphs the decorations of which generate associated sets, each with a > Platonic aspect. Employing our foundations, we show how the supervening of > consciousness on its neural correlates in the brain enables the framing of a > theory of consciousness by applying appropriate consciousness operators to > the generated sets in question. > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Dr. Ricardo Pereira Tassinari - Departamento de Filosofia UNESP - Faculdade de Filosofia e Ciências - Marília Homepage: http://www.marilia.unesp.br/ricardotassinari
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
