Logica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
|
Descargar SCORM
Este recurso ha sido solicitado 3 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
|
|
|
Logica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
|
| Id. |
3273481 |
| Idioma |
portugués
|
| Titulo |
Logica positiva : plenitude, potencialidade e problemas (do pensar sem negação) |
| Autor(es) |
Tomas Andres Barrero Guzman
|
| Localización |
http://libdigi.unicamp.br/document/?code=vtls000340496
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive completeness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive method to on-classical fragments equipped with weaker implications (that avoid Curry?s objection). This is the case, for example, of Jan Lukasiewicz?s n-valued logics and Wilhelm Ackermann?s logic of restricted implication. Besides such problems, both Henkin?s method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to motivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a first-order positive logic as well as the philosophical connection between truth and meaning are discussed from a conceptual point of view.
|
| Palabras clave |
Constructive completeness
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
17-oct-2009 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
