Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- Conditionals and the Algebra of Logic, justo después de los Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic Logic en donde…32 kB (5266 palabras) - 02:51 12 may 2024
- problems and Computable Functions"». The Journal of Symbolic Logic 31 (3): 484-494. Church, Alonzo (1972). «Review of "A Source Book in Mathematical Logic 1879–1931"»…13 kB (1490 palabras) - 08:33 13 ene 2024
- 2006, 545-574. Burgess on Plural Logic and Set Theory, Philosophia Mathematica 15(1): 2007, 79-93. Structuralism and the Notion of Dependence, Philosophical…4 kB (424 palabras) - 19:26 7 dic 2022
Ernst Schröder (categoría Lógicos)"19th Century Logic between Philosophy and Mathematics," Bulletin of Symbolic Logic 5: 433-450. Reprinted in Glen van Brummelen and Michael Kinyon,…8 kB (1110 palabras) - 17:35 27 dic 2023- Second-order languages and mathematical practice, Journal of Symbolic Logic 50 (1985), pp. 714--742 Principles of reflection and second-order logic, Journal of Philosophical…7 kB (911 palabras) - 07:29 11 ago 2022
- bibliography of symbolic logic". Journal of Symbolic Logic 1: 121-218; 3:178-212. Dov Gabbay and John Woods, eds, 2004. Handbook of the History of Logic. Vol. 1:…42 kB (5433 palabras) - 21:04 15 mar 2024
pp.». Bulletin of Symbolic Logic (en inglés) 9 (1): 39-42. ISSN 1079-8986. doi:10.1017/S107989860000473X. Liddell, Henry George, and Robert Scott. 1940…38 kB (8727 palabras) - 19:54 19 may 2024
«Completeness before Post: Bernays, Hilbert, and the development of propositional logic». Bulletin of Symbolic Logic 5: 331-366. JSTOR 421184. doi:10.2307/421184…8 kB (965 palabras) - 00:19 30 sep 2023- consecuencia lógica entre la premisa y la conclusión!). En 1912 Lewis publica Conditionals and the Algebra of Logic, justo después de los Principia mathematica de…27 kB (3995 palabras) - 16:14 20 ene 2024
- "Principia Mathematica" de Alfred North Whitehead y Bertrand Russell. A veces también se pretende excluir los tipos polimórfico y dependiente.[1] La lógica de…10 kB (1183 palabras) - 10:00 10 feb 2024
- Rudolf Carnap (categoría Lógicos)Inductive Methods. University of Chicago Press. 1958. Introduction to Symbolic Logic with Applications. Dover. 1963, «Intellectual Autobiography» en Schilpp…14 kB (1815 palabras) - 08:55 5 may 2024
1996. Computability and recursion, Bulletin of Symbolic Logic v. 2 pp. 284–321. Burgin, M. and Klinger, A. "Experience, Generations, and Limits in Machine…30 kB (4148 palabras) - 00:23 28 ene 2024
Leon Henkin (categoría Lógicos de Estados Unidos)The Journal of Symbolic Logic, 18(3), 201-208. Henkin, L. (1953). Some interconnections between modern algebra and mathematical logic. Transactions of…71 kB (10 199 palabras) - 13:37 19 may 2024- Ciencias formales (sección Lógica)necessity, truth. Clarendon Press, Oxford 2000, vi + 114 pp.». Bulletin of Symbolic Logic (en inglés) 9 (1): 39-42. ISSN 1079-8986. doi:10.1017/S107989860000473X…2 kB (1690 palabras) - 18:39 12 mar 2024
- Method of Presentation..) In: Journal of Symbolic Logic 10 ( 4) (dic. 1945) pp. 133-134 B. Rolf: Black and Hempel on vagueness. In: Allgemeine Wissenschaftstheorie…7 kB (901 palabras) - 13:32 25 dic 2023
- Impredicatividad (categoría Lógica matemática)Reichenbach 1947, Elements of Symbolic Logic, Dover Publications, Inc., NY, ISBN 0-486-24004-5. Cf. his §40. The antinomies and the theory of types (pp. 218…8 kB (1086 palabras) - 09:23 20 mar 2024
Teoremas de incompletitud de Gödel (categoría Teoremas de lógica)Rosser, B. (1936). «Extensions of some theorems of Gödel and Church». Journal of Symbolic Logic 1 (3): 87-91. Smullyan, Raymond (1992). Gödel's Incompleteness…39 kB (4670 palabras) - 08:53 11 abr 2024
Mathematica (en alemán) 5: 299-314, Zbl 0018.17705 .. Freudenthal, Hans (1960), Lincos: design of a language for cosmic intercourse, Studies in logic…14 kB (1506 palabras) - 15:56 8 may 2024
Prueba de imposibilidad (categoría Lógica matemática)su prueba y una discusión sobre ella. Hans Reichenbach, Elements of Symbolic Logic, Dover Publications Inc., Nueva York, 1947. Una referencia a menudo…32 kB (4401 palabras) - 08:35 21 dic 2023
The Foundations of Mathematics in the Theory of Sets. The Bulletin of Symbolic Logic. 8. 424. 10.2307/3062207. «Formalismo, I. Filosofía». Para una introducción…72 kB (12 307 palabras) - 19:25 21 may 2024
