TY - JOUR AU - Nagase, Daniel Arvage PY - 2018/12/28 Y2 - 2024/03/29 TI - Conceitos Matemáticos como Tipos Naturais JF - Revista de Filosofia Moderna e Contemporânea JA - R. Fil. Mod. Contemp. VL - 6 IS - 2 SE - Dossiê DO - 10.26512/rfmc.v6i2.19014 UR - https://periodicos.unb.br/index.php/fmc/article/view/19014 SP - 07-13 AB - <p>Este artigo apresenta uma abordagem de termos matemáticos semelhante à abordagem desenvolvida por Kripke para lidar com termos de tipo natural; na verdade, eu defendo que termos matemáticos <em>são </em>termos de tipo natural no sentido de Kripke. Assim, sugiro que, a partir de uma perspectiva semântica, tais termos devem ser vistos principalmente como termos referentes, e, de uma perspectiva metafísica, que boas definições de tais termos devem incorporar informações estruturais sobre os exemplares do tipo em questão.</p> ER -