المؤلفون: Nygren, Karl, 1992

المساهمون: Goranko, Valentin, Professor, Westerståhl, Dag, Professor, Ciardelli, Ivano, Associate Professor

مصطلحات موضوعية: alternative semantics, norms, normative systems, deontic logic, modal logic, inquisitive semantics, inquisitive logic, semantics of questions, disjunction, free choice, obligation, permission, action, normative reasoning, ignorance, axiomatic system, completeness, Philosophy, filosofi

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-206501Test
https://su.diva-portal.org/smash/get/diva2:1670966/FULLTEXT01.pdfTest
https://su.diva-portal.org/smash/get/diva2:1670966/PREVIEW01.jpgTest

المؤلفون: Orensanz Martin

المصدر: Open Philosophy, Vol 3, Iss 1, Pp 119-131 (2020)

مصطلحات موضوعية: quentin meillassoux, rudolf carnap, axiomatic system, syntactic system, hyper-chaos, Philosophy (General), B1-5802

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/2543-8875Test

الوصول الحر: https://doaj.org/article/e0a2043e749d4669afd092607906f97aTest

المؤلفون: Jožef Muhovič

المصدر: Phainomena, Vol 28, Iss 108-109, Pp 127-155 (2019)

مصطلحات موضوعية: style, axiomatic method, axiom, axiomatic system, generative grammar, syntactic rules, axiomatic structure of style, Philosophy. Psychology. Religion

وصف الملف: electronic resource

العلاقة: https://www.phainomena.com/wp-content/uploads/2019/09/6_E-PHI-108-109-Muhovi%C4%8D.pdfTest; https://doaj.org/toc/1318-3362Test; https://doaj.org/toc/2232-6650Test

الوصول الحر: https://doaj.org/article/3b0a2671bc0045b1bb180e0a882f5093Test

المؤلفون: Lobovikov, V. O.

المصدر: Mathematics

مصطلحات موضوعية: A PRIORI KNOWLEDGE, EMPIRICAL KNOWLEDGE, GÖDEL’S INCOMPLETENESS THEOREM, HILBERT’S FORMALISM, KANT’S APRIORISM, LOGICALLY FORMALIZED AXIOMATIC SYSTEM OF EPISTEMOLOGY, TWO-VALUED AL-GEBRAIC SYSTEM OF FORMAL AXIOLOGY

وصف الملف: application/pdf

العلاقة: Lobovikov V. O. A Logically Formalized Axiomatic Epistemology System Σ + c and Philosophical Grounding Mathematics as a Self-Sufficing System / V. O. Lobovikov // Mathematics. — 2021. — Vol. 9. — Iss. 16. — 1859.; All Open Access, Gold; http://elar.urfu.ru/handle/10995/112182Test; 85112203267; 000690561100001

الإتاحة: https://doi.org/10.3390/math9161859Test
http://elar.urfu.ru/handle/10995/112182Test

المؤلفون: Corcoran, John

المصدر: Analytica - Revista de Filosofia; v. 23, n. 2 (2019): Percepção e Linguagem; 117-123 ; 1414-3003 ; 10.35920/10.35920/arf.v23i2

مصطلحات موضوعية: Lógica, Filosofia da Lógica, Aristóteles, Lukasiewicz, silogística, dedução, sistema axiomático, Aristotle, syllogistic, deduction, axiomatic system

وصف الملف: application/pdf

العلاقة: https://revistas.ufrj.br/index.php/analytica/article/view/48674/26359Test; AUSTIN, J. L. 1952. Review of Lukasiewicz, Aristotle’s Syllogistic. Mind, vol. lxi, pp. 395- 404. Disponível em: https://www.jstor.org/stable/2251022Test (acesso em 28/11/2019).; CORCORAN, J. 1972a. Conceptual Structure of Classical Logic. Philosophy and Phenomenological Research, vol. 33, pp. 25-47. Disponível em: http://bit.ly/corcoranCSCLTest (acesso em 28/11/2019).; CORCORAN, J. 1972b. Aristotle’s natural deduction system. Abstract of presentation to Association for Symbolic Logic at the Annual Meeting, 27 December 1971. Journal of Symbolic Logic, vol. 37, p. 437. Disponível em: https://doi.org/10.2307/2273026Test (acesso em 28/11/2019).; CORCORAN, J. 1972c. Completeness of an Ancient Logic. Journal of Symbolic Logic, vol. 37, pp. 696-702. Disponível em: http://bit.ly/corcoranCALTest (acesso em 28/11/2019).; CORCORAN, J. 1973. A Mathematical Model of Aristotle’s Syllogistic. Archiv für Geschichte der Philosophie, vol. 55. Disponível em: http://bit.ly/corcoranMMASTest (acesso em 28/11/2019).; CHURCH, A. 1956. Introduction to Mathematical Logic. Princeton: Princeton University Press.; IVERSON, S. 1964. Reduction of the Aristotelian Syllogism. Master’s thesis in Philosophy, SUNY/Buffalo.; LUKASIEWICZ, J. 1957. Aristotle’s Syllogistic. 2a ed. Oxford: Oxford University Press.; PATZIG, G. 1968. Aristotle’s Theory of the Syllogism. A Logico-Philological Study of Book a of the Prior Analytics. Trad. J. Barnes, Dordrecht: D. Reidel.; MATES, B. 1965. Elementary Logic, New York: Oxford University Press.; ROSE, L. 1968. Aristotle’s Syllogistic, Springfield, Illinois: Charles C. Thomas.; https://revistas.ufrj.br/index.php/analytica/article/view/48674Test

الإتاحة: https://doi.org/10.35920/arf.v23i2.48674Test
https://doi.org/10.35920/10.35920/arf.v23i2Test
https://doi.org/10.2307/2273026Test
https://revistas.ufrj.br/index.php/analytica/article/view/48674Test

المؤلفون: López-Orellana, Rodrigo, Redmond, Juan

المصدر: Revista de Filosofía; Vol. 78 (2021); pp. 135-155 ; 0718-4360 ; 0034-8236

مصطلحات موضوعية: model, axiomatic system, theory, static semantics, Suppes, Tarski, modelo, sistema axiomático, teoría, semántica estática

وصف الملف: application/pdf

العلاقة: https://revistas.uchile.cl/index.php/RDF/article/view/65672/68895Test; https://revistas.uchile.cl/index.php/RDF/article/view/65672Test

الإتاحة: https://revistas.uchile.cl/index.php/RDF/article/view/65672Test

المؤلفون: Vladimir Olegovich Lobovikov

المصدر: Mathematics; Volume 9; Issue 16; Pages: 1859

مصطلحات موضوعية: logically formalized axiomatic system of epistemology, a priori knowledge, empirical knowledge, Kant’s apriorism, Hilbert’s formalism, Gödel’s incompleteness theorem, two-valued algebraic system of formal axiology

وصف الملف: application/pdf

العلاقة: https://dx.doi.org/10.3390/math9161859Test

الإتاحة: https://doi.org/10.3390/math9161859Test

المؤلفون: Miller, Leon

المساهمون: Tallinn University of Technology (TTÜ)

المصدر: ISSN: 2304-1013 ; Review of Integrative Business and Economics Research ; https://hal.science/hal-03969539Test ; Review of Integrative Business and Economics Research, 2019, Vol. 9 (Issue 1.

مصطلحات موضوعية: co-generative Functionalism formal categorizations axiomatic system bridging mechanism, co-generative, Functionalism, formal categorizations, axiomatic system, bridging mechanism, [SHS]Humanities and Social Sciences

العلاقة: hal-03969539; https://hal.science/hal-03969539Test; https://hal.science/hal-03969539/documentTest; https://hal.science/hal-03969539/file/Developing%20an%20Integrative%20Marketing%20Theory.pdfTest

الإتاحة: https://hal.science/hal-03969539Test
https://hal.science/hal-03969539/documentTest
https://hal.science/hal-03969539/file/Developing%20an%20Integrative%20Marketing%20Theory.pdfTest

المؤلفون: Piotr Kulicki

المصدر: Axioms; Volume 9; Issue 2; Pages: 56

مصطلحات موضوعية: Aristotle’s logic, syllogistic, Jan Łukasiewicz, axiomatic system, axiomatic refutation, completeness

وصف الملف: application/pdf

العلاقة: Logic; https://dx.doi.org/10.3390/axioms9020056Test

الإتاحة: https://doi.org/10.3390/axioms9020056Test

المؤلفون: Batzoglou, Serafim

المساهمون: Seer, Inc

المصدر: https://hal.archives-ouvertes.fr/hal-03471372Test ; 2021.

مصطلحات موضوعية: Recursive Function, Church-Turing thesis, Godel's theorems, Peano arithmetic, Axiomatic system, Godel's Incompleteness theorem, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

العلاقة: hal-03471372; https://hal.archives-ouvertes.fr/hal-03471372Test; https://hal.archives-ouvertes.fr/hal-03471372/documentTest; https://hal.archives-ouvertes.fr/hal-03471372/file/Batzoglou_Incompleteness%20.pdfTest

الإتاحة: https://hal.archives-ouvertes.fr/hal-03471372Test
https://hal.archives-ouvertes.fr/hal-03471372/documentTest
https://hal.archives-ouvertes.fr/hal-03471372/file/Batzoglou_Incompleteness%20.pdfTest