es.wikipedia.org/wiki/Significado
2 corrections found
El término pragmática fue introducido por el positivista lógico, Rudolf Carnap.
La bibliografía especializada atribuye la introducción semiótica de «pragmática» a Charles Morris, no a Rudolf Carnap.
Full reasoning
Las fuentes consultadas contradicen la atribución a Carnap. Una entrada de referencia de SAGE sobre pragmatics afirma que, en semiótica, el término fue usado por primera vez por Charles Morris en 1937 para distinguirlo de la sintáctica y la semántica. Además, en el texto clásico de Morris Foundations of the Theory of Signs (1938), Morris ya presenta explícitamente a la semiótica como compuesta por tres ramas subordinadas: syntactics, semantics, and pragmatics.
Por tanto, la afirmación de que Rudolf Carnap introdujo el término es incorrecta. Como mucho, Carnap desarrolló y utilizó esa distinción después, pero no fue quien introdujo el término en este marco.
2 sources
- Sage Reference - Encyclopedia of Communication Theory - Pragmatics
“In semiotics, the term was first used by Charles Morris in 1937 to distinguish sign behavior from structure (syntactics) and meaning (semantics).”
- Charles W. Morris, Foundations of the Theory of Signs (1938)
“Semiotic has the three subordinate branches of syntactics, semantics, and pragmatics, dealing, respectively, with the syntactical, the semantical, and the pragmatical dimensions of semiosis.”
solo las teorías categóricas admiten un modelo único.
En teoría de modelos, una teoría categórica no tiene literalmente un solo modelo; tiene un solo modelo **hasta isomorfismo** (a veces, en una cardinalidad dada).
Full reasoning
La frase es incorrecta tal como está escrita porque confunde unicidad literal con unicidad hasta isomorfismo. En teoría de modelos, una teoría se llama categórica cuando cualesquiera dos de sus modelos son isomorfos; y, en la noción más común en lógica de primer orden, se habla además de ser categórica en una cardinalidad cuando todos los modelos de esa cardinalidad son isomorfos.
Eso no implica que exista un único modelo en sentido estricto. Puede haber muchos modelos distintos como conjuntos/estructuras concretas, aunque todos sean isomorfos entre sí. Por eso la formulación correcta requiere el matiz “único salvo isomorfismo” o “único hasta isomorfismo”, no “un modelo único” sin más.
2 sources
- Bas C. van Fraassen, Formal Semantics and Logic
“When any two models of a theory are isomorphic, the theory is called categorical. ... A theory is categorical in power m if and only if any two of its models of cardinality m are isomorphic.”
- Section 2.6: Models of Theories | dbFin
“A set of sentences is called categorical iff any two models of T are isomorphic. A theory is κ-categorical iff all the infinite models of cardinality κ of T are isomorphic.”