• English
    • français
    • Deutsch
    • español
    • português (Brasil)
    • Bahasa Indonesia
    • русский
    • العربية
    • 中文
  • English 
    • English
    • français
    • Deutsch
    • español
    • português (Brasil)
    • Bahasa Indonesia
    • русский
    • العربية
    • 中文
  • Login
View Item 
  •   Home
  • Journals AtoZ
  • Signos Filosóficos
  • View Item
  •   Home
  • Journals AtoZ
  • Signos Filosóficos
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of the LibraryCommunitiesPublication DateTitlesSubjectsAuthorsThis CollectionPublication DateTitlesSubjectsAuthorsProfilesView

My Account

Login

The Library

AboutNew SubmissionSubmission GuideSearch GuideRepository PolicyContact

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors

LA LÓGICA IF Y LOS FUNDAMENTOS DE LAS MATEMÁTICAS

  • CSV
  • RefMan
  • EndNote
  • BibTex
  • RefWorks
Author(s)
MAX FERNÁNDEZ DE CASTRO
Keywords
Filosofía
Fundamentos
Lógica Clasica
Lógica IF
Matemáticas

Full record
Show full item record
URI
http://hdl.handle.net/20.500.12424/53742
Online Access
http://www.redalyc.org/articulo.oa?id=34311555006
Abstract
El objetivo del presente artículo es someter a escrutinio la afirmación de Hintikka según la cual la verdadera lógica elemental no es la clásica sino la lógica IF y, en consecuencia, el marco en que ordinariamente son pensadas las relaciones entre lógica y matemáticas es por completo inadecuado. Para ello, primero se exponen las funciones o características que una lógica debe poseer y, en segundo lugar, se presentan las ideas constitutivas de la lógica IF. Más adelante se demuestran algunas de las propiedades matemáticas de la lógica IF y se analizan las complejidades a que da lugar la negación en este sistema. Por último, se ofrecen algunas razones para matizar o poner en duda las conclusiones que Hintikka extrae de su propuesta para la filosofía de las matemáticas.
Date
2008
Type
Artículo científico
Identifier
oai:redalyc.org:34311555006
http://www.redalyc.org/articulo.oa?id=34311555006
Copyright/License
Signos Filosóficos
Collections
Signos Filosóficos

entitlement

 
DSpace software (copyright © 2002 - 2022)  DuraSpace
Quick Guide | Contact Us
Open Repository is a service operated by 
Atmire NV
 

Export search results

The export option will allow you to export the current search results of the entered query to a file. Different formats are available for download. To export the items, click on the button corresponding with the preferred download format.

By default, clicking on the export buttons will result in a download of the allowed maximum amount of items.

To select a subset of the search results, click "Selective Export" button and make a selection of the items you want to export. The amount of items that can be exported at once is similarly restricted as the full export.

After making a selection, click one of the export format buttons. The amount of items that will be exported is indicated in the bubble next to export format.