An Intensional Schrödinger Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
An Intensional Schrödinger Logic
|
| Id. |
979784 |
| Idioma |
inglés
|
| Titulo |
An Intensional Schrödinger Logic |
| Autor(es) |
da Costa, Newton C. A.
Krause, Décio
|
| Localización |
http://projecteuclid.org/euclid.ndjfl/1039724886
Notre Dame J. Formal Logic 38, no. 2 (1997), 179-194
doi:10.1305/ndjfl/1039724886
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We investigate the higher-order modal logic $S_{\omega}I$ , which is a variant of the
system $S_{\omega}$ presented in our previous work. A semantics for that
system, founded on the theory of quasi sets, is outlined. We show how
such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an
alternative way to formalize some intensional concepts and features which
have been used in recent discussions on the logical foundations of quantum mechanics; for
example, that some terms like 'electron' have no precise reference and that 'identical' particles
cannot be named unambiguously. In the last section, we sketch a classical semantics
for quasi set theory.
|
| Tipo |
application/pdf
|
| Palabras clave |
03B60
|
| Tipo de recurso |
Text
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Copyright 1997 Duke University Press |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
21-nov-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
