¿Qué está mal?

Aviso: Antes de informar sobre un error con la descarga, por favor, prueba el enlace directo: A different approach to logic

Cargando...

Debes iniciar sesión para hacer esto.

A different approach to logic

A different approach to logic

A different approach to logic

Puntuación: ---- | 0 votos
| Enviando voto
| ¡Votado!
|

Detalles del libro:

pos
Global
pos
Categoría
Año:2011
Editor:Autoedición
Páginas:158 páginas
Idioma:inglés
Desde:29/07/2015
Tamaño:1.02 MB
Licencia:Pendiente de revisión

Contenido:

This paper outlines an approach to mathematical logic which is different from the standard one. We list the most relevant features of the system. In first-order logic there exist two different concepts of term and formula, in place of these two concepts in our approach we have just one notion of expression. The set-builder notation is enclosed as an expression-building pattern. In our system we can easily express second-order and all-order conditions (the set to which a quantifier refers is explicitly written in the expression). The meaning of a sentence will depend solely on the meaning of the symbols it contains, it will not depend on external ‘structures’. Our deductive system is based on a very simple definition of proof and provides a good model of human mathematical deductive process. The soundness and consistency of the system are proved, as well as the fact that our system is not affected by the most known types of paradox. The paper provides both the theoretical material and two fully documented examples of deduction. The author has built the whole system with the idea to provide a faithful model of human mathematical deductive process. He believes this objective has been achieved but obviously the reader is free to examine the system and get his own opinion about it.

Categorías:

Etiquetas:

Cargando comentarios...

Escaneando listas...

El libro en números

Posición global

posición en categorías

en catálogo desde

29/07/2015

puntuación

Nothing yet...

votos

Nothing yet...

'LIKES' sociales

Nothing yet...

Visitas

Descargas

Esto puede tardar un momento

Interés

Segmentación por países

Esto puede tardar un momento

Páginas de entrada

Segmentación por sitios web

evolución

Esto puede tardar un momento

Cargando...