-

Resultados 1 - 10 de 12 para  Wikipedia / Lenguaje formalizado / Wikipedia    (1141023 Artículos)

Lenguaje formalizado print that page

Ejemplo_de_formalizaci%C3%B3n_aplicada_a_una_situaci%C3%B3n

El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados ». Es una de las características esenciales del lenguaje científico . [ 1 ] Incluso hay autores que llegan a opinar que la ciencia en sí misma no es más que un lenguaje

Lenguaje formal print that page

En matemáticas , lógica , y ciencias de la computación , un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados. [ 1 ] [ 2 ] Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del

wikipedia.org | 2015/7/25 0:05:43

Verdad print that page

BLW_Truth_and_Falsehood

epistemológicamente verdadera con justificación válida . [ 9 ] Interesa a la lingüística pues el lenguaje es expresión de la propia verdad. Interesa a la antropología filosófica , pues parece evidente que los seres humanos prefieren la verdad a la falsedad al error o la mentira

Incógnita print that page

Diophantus-cover

En matemáticas , una incógnita es un elemento constitutivo de una expresión matemática . La incógnita permite describir una propiedad verificada por algún tipo de "valor desconocido", por lo general números. En el caso de una ecuación , es un valor tal que, al sustituirlo por la incógnit

Gramática generativa transformacional print that page

Una gramática generativa, en el sentido en que Noam Chomsky utiliza el término, es un sistema de reglas formalizado con precisión matemática que, sin necesidad de información ajena al sistema, genera las oraciones gramaticales de la lengua que describe o caracteriza y asigna a cada

wikipedia.org | 2015/7/21 13:49:59

Formalismo matemático print that page

Por formalismo matemático se entiende, en materias relacionadas con las fundamentos de las matemáticas , la filosofía de las matemáticas y la filosofía de la lógica , una teoría que sostiene que las proposiciones de las matemáticas y la lógica pueden considerarse como declaraciones

wikipedia.org | 2015/7/19 6:08:04

Evidencia (filosofía) print that page

Body_of_evidence%5E_-_geograph.org.uk_-_256618

conocimiento 5.2 Conocer y saber 6 Las creencias como fuentes de evidencia 6.1 Las creencias y el lenguaje 7 Evidencia y verdad 8 Véase también 9 Referencias 9.1 Bibliografía 10 Enlaces externos El problema de la evidencia [ editar ] El concepto normal y natural

Proposición print that page

valores de verdad diferentes). Una proposición es una cadena de signos expresados en un determinado lenguaje . En un lenguaje natural , esos signos usualmente son sonidos o caracteres escritos, mientras que un tipo de lenguaje formalizado pueden ser signos arbitrarios. Dado que los lenguajes

wikipedia.org | 2015/8/2 14:07:23

Afirmación print that page

El término afirmación es una proposición lógica que comunica un consentimiento categórico en conformidad. Consiste en un acto por el cual consta nuestro asentimiento intelectual y compromiso social respecto a una creencia expresando lingüísticamente un enunciado; considerando y declarando

wikipedia.org | 2015/7/29 15:39:38

Sistema formal print that page

Un sistema formal es un tipo de sistema lógico-deductivo constituido por un lenguaje formal , una gramática formal que restringe cuales son las expresiones correctamente formadas de dicho lenguaje y las reglas de inferencia y un conjunto de axiomas que permite encontrar las proposiciones

wikipedia.org | 2013/3/9 14:06:16