形式逻辑、表示和直觉

IF 3 3区计算机科学 Q2 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Visual Computer Pub Date : 2023-07-14 DOI:10.37467/revvisual.v9.5020

José Alejandro Fernández Cuesta

{"title":"形式逻辑、表示和直觉","authors":"José Alejandro Fernández Cuesta","doi":"10.37467/revvisual.v9.5020","DOIUrl":null,"url":null,"abstract":"El estudio filosófico de la representación de objetos matemáticos exige definir, previamente, qué entendemos por intuición. En el presente artículo introduzco un argumento que muestra por qué no podemos representar todo objeto manipulable conceptualmente hablando. Para alcanzar esta conclusión admitiré que existen ciertos objetos abstractos no aprehensibles de manera intuitiva. Y, para ello, repasaré históricamente su caracterización y definición formal. Finalmente, asentaré una base actualizada sobre la que iniciar un estudio específico acerca del papel de la representación de objetos en ciencias formales.","PeriodicalId":49376,"journal":{"name":"Visual Computer","volume":"54 1","pages":""},"PeriodicalIF":3.0000,"publicationDate":"2023-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Lógica Formal, Representación e Intuición\",\"authors\":\"José Alejandro Fernández Cuesta\",\"doi\":\"10.37467/revvisual.v9.5020\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"El estudio filosófico de la representación de objetos matemáticos exige definir, previamente, qué entendemos por intuición. En el presente artículo introduzco un argumento que muestra por qué no podemos representar todo objeto manipulable conceptualmente hablando. Para alcanzar esta conclusión admitiré que existen ciertos objetos abstractos no aprehensibles de manera intuitiva. Y, para ello, repasaré históricamente su caracterización y definición formal. Finalmente, asentaré una base actualizada sobre la que iniciar un estudio específico acerca del papel de la representación de objetos en ciencias formales.\",\"PeriodicalId\":49376,\"journal\":{\"name\":\"Visual Computer\",\"volume\":\"54 1\",\"pages\":\"\"},\"PeriodicalIF\":3.0000,\"publicationDate\":\"2023-07-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Visual Computer\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.37467/revvisual.v9.5020\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Visual Computer","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.37467/revvisual.v9.5020","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}

引用次数: 0

摘要

对数学对象表示的哲学研究需要首先定义我们所说的直觉。在本文中，我介绍了一个论点，说明为什么我们不能从概念上表示每一个可操作的对象。为了得出这个结论，我承认存在某些抽象的对象，这些对象是不能直观地理解的。为了做到这一点，我将回顾它的历史特征和形式定义。最后，我将建立一个更新的基础，在此基础上开始具体研究对象表征在形式科学中的作用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Lógica Formal, Representación e Intuición

El estudio filosófico de la representación de objetos matemáticos exige definir, previamente, qué entendemos por intuición. En el presente artículo introduzco un argumento que muestra por qué no podemos representar todo objeto manipulable conceptualmente hablando. Para alcanzar esta conclusión admitiré que existen ciertos objetos abstractos no aprehensibles de manera intuitiva. Y, para ello, repasaré históricamente su caracterización y definición formal. Finalmente, asentaré una base actualizada sobre la que iniciar un estudio específico acerca del papel de la representación de objetos en ciencias formales.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Visual Computer 工程技术-计算机：软件工程

CiteScore

5.80

自引率

31.40%

发文量

373

审稿时长

4.3 months

期刊介绍： The Visual Computer publishes articles on all research fields of capturing, recognizing, modelling, analysing and generating shapes and images. It includes image understanding, machine learning for graphics and 3D fabrication. 3D Reconstruction Computer Animation Computational Fabrication Computational Geometry Computational Photography Computer Vision for Computer Graphics Data Compression for Graphics Geometric Modelling Geometric Processing HCI and Computer Graphics Human Modelling Image Analysis Image Based Rendering Image Processing Machine Learning for Graphics Medical Imaging Pattern Recognition Physically Based Modelling Illumination and Rendering Methods Robotics and Vision Saliency Methods Scientific Visualization Shape and Surface Modelling Shape Analysis and Image Retrieval Shape Matching Sketch-based Modelling Solid Modelling Stylized rendering Textures Virtual and Augmented Reality Visual Analytics Volume Rendering All papers are subject to thorough review and, if accepted, will be revised accordingly. Original contributions, describing advances in the theory in the above mentioned fields as well as practical results and original applications, are invited.