dor_id: 4115773

506.#.#.a: Público

590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única

510.0.#.a: Arts and Humanities Citation Index, Revistes Cientifiques de Ciencies Socials Humanitais (CARHUS Plus); Latinoamericanas en Ciencias Sociales y Humanidades (CLASE); Directory of Open Access Journals (DOAJ); European Reference Index for the Humanities (ERIH PLUS); Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex); SCOPUS, Journal Storage (JSTOR); The Philosopher’s Index, Ulrich’s Periodical Directory

561.#.#.u: https://www.filosoficas.unam.mx/

650.#.4.x: Artes y Humanidades

336.#.#.b: article

336.#.#.3: Artículo de Investigación

336.#.#.a: Artículo

351.#.#.6: https://critica.filosoficas.unam.mx/index.php/critica

351.#.#.b: Crítica. Revista Hispanoamericana de Filosofía

351.#.#.a: Artículos

harvesting_group: RevistasUNAM

270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

590.#.#.c: Open Journal Systems (OJS)

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: https://revistas.unam.mx/catalogo/

883.#.#.a: Revistas UNAM

590.#.#.a: Coordinación de Difusión Cultural

883.#.#.1: https://www.publicaciones.unam.mx/

883.#.#.q: Dirección General de Publicaciones y Fomento Editorial

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: https://critica.filosoficas.unam.mx/index.php/critica/article/view/221/213

100.1.#.a: Käsbauer, Max

524.#.#.a: Käsbauer, Max (1977). First-Order Semantics for Higher-Order Languages. Crítica. Revista Hispanoamericana de Filosofía; Vol. 9 Núm. 25, 1977; 59-71. Recuperado de https://repositorio.unam.mx/contenidos/4115773

245.1.0.a: First-Order Semantics for Higher-Order Languages

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM

264.#.0.c: 1977

264.#.1.c: 2018-10-31

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico alberto@filosoficas.unam.mx

884.#.#.k: https://critica.filosoficas.unam.mx/index.php/critica/article/view/221

001.#.#.#: 034.oai:ojs2.132.248.184.97:article/221

041.#.7.h: eng

520.3.#.a: Se definen expansiones de sistemas de Post ([1]–[3]) y se usan para construir sistemas semánticos en los que se permite la cuantificación sobre individuos, pero no sobre clases. El metalenguaje empleado para definir el concepto de verdad lógica para el lenguaje objeto es un lenguaje de primer orden mientras que los lenguajes objeto son lenguajes de un orden superior arbitrario. La construcción de tales sistemas semánticos muestra que incluso los lenguajes platónicos pueden tener un fundamento no platónico. Los sistemas semánticos no se definen para lenguajes específicos; en lugar de esto, definimos un concepto general de lenguaje (lenguaje v) relativo a una clase Z de ordinales construibles (vεZ). Ejemplos de tales lenguajes lo son los lenguajes usuales de la lógica clásica de primer orden, así como los de las teorías simple y ramificada de los tipos.

773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol. 9 Núm. 25 (1977); 59-71

773.1.#.o: https://critica.filosoficas.unam.mx/index.php/critica

022.#.#.a: ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

310.#.#.a: Cuatrimestral

300.#.#.a: Páginas: 59-71

264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM

doi: https://doi.org/10.22201/iifs.18704905e.1977.221

handle: 4f81c345423f259b

harvesting_date: 2023-08-23 17:00:00.0

856.#.0.q: application/pdf

file_creation_date: 2010-10-13 19:04:01.0

file_modification_date: 2010-10-31 19:29:32.0

file_creator: Claudia Chavez

file_name: 10c36f055d5718a610427f430d7d3af0d87baf4b9fd45467b3cd3f35f2ffb8b4.pdf

file_pages_number: 13

file_format_version: application/pdf; version=1.6

file_size: 501328

245.1.0.b: First-Order Semantics for Higher-Order Languages

last_modified: 2023-08-23 17:00:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2