
A different approach to logic
Mauro Avon
A different approach to logic
Mauro Avon
Detalles del libro:
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 en categorías
en catálogo desde
29/07/2015puntuación
Nothing yet...votos
Nothing yet...'LIKES' sociales
Nothing yet...Visitas
Descargas
Interés
Segmentación por países
Páginas de entrada
Segmentación por sitios web
evolución
Cargando...