Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Edward Nieznański"'
Autor:
Edward Nieznański
Publikováno v:
Studia Philosophiae Christianae. 56:85-93
Philosophical statements are often suppositions. Gottfried Wilhelm Leibniz proposes in Nouveaux Essais sur l’entendement humain, 1704, a method of the construction of assertive conditionals occurring between any philosophical suppositions. If we ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8e0a4fc2b99bed291c29f734d03a694
https://doi.org/10.21697/spch.2020.56.s1.05
https://doi.org/10.21697/spch.2020.56.s1.05
Autor:
Marcin Koszowy, Mariusz Urbański, Robert Trypuz, Andrzej Grabowski, Krzysztof A. Wieczorek, Tomasz Puczyłowski, Maciej Kielar, Teresa Hołówka, Kamila Debowska-Kozlowska, Łukasz Jochemczyk, Tomasz Żurek, Magdalena Kacprzak, Witold Marciszewski, Marcin Selinger, Alina Strachocka, Kazimierz Trzȩsicki, Marek Smolak, Edward Nieznański, Krzysztof Szymanek, Wojciech Suchoń, Tadeusz Ciecierski, Katarzyna Budzynska, Jacek Malinowski, Marcin Dziubiński, Barbara Bogołȩbska, Maciej Witek, Konrad Zdanowski, Andrzej Kisielewicz, Jarosław Stepaniuk, Jolanta Rytel, Anna Sawicka, Anna Gomolińska, Małgorzata Sokół, Robert Kublikowski, Maria Załȩska, Piotr Stalmaszczyk, Anna Kuzio, Andrzej Skowron, Paweł Kawalec, Justyna Tomczyk, Ewa Wasilewska-Kamińska, Piotr Kulicki, Michał Federowicz, Barbara Dunin-Kȩplicz, Piotr Lewiński, Jerzy Pogonowski, Olena Yaskorska, Tomasz Stawecki, Janina Pietrzak, Agnieszka Sowińska, Joanna K. Skulska, Michał Araszkiewicz, Jakub Z. Lichański, Piotr Cap, Urszula Wybraniec-Skardowska
Publikováno v:
Argumentation. 28:267-282
Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::986646824e569142177d8686822e291b
https://doi.org/10.1007/s10503-014-9320-8
https://doi.org/10.1007/s10503-014-9320-8
Autor:
Edward Nieznański
Publikováno v:
Studies in East European Thought. 65:65-73
The article presents a formalization of Thomas Aquinas proof for the indestructibility of the human soul. The author of the formalization—the first of its kind in the history of philosophy—is Father Joseph Maria Bochenski. The presentation involv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0a7e79edcdcdf606a98f7d4f052c17ed
https://doi.org/10.1007/s11212-013-9181-y
https://doi.org/10.1007/s11212-013-9181-y
Autor:
Edward Nieznanski
The aim of the book is to gauge the possibilities of formalization of the Thomistic Theodicy. The benefits of such formalization attempts may be mutual, both in applied logic and the formalized field. Concerning formal logic on the linguistic improve
Publikováno v:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2013.
Our aim is to present the algebra of concepts in two formal languages. First, after introducing a primary relation between concepts, which is subsumption, we shall specify in a language that uses quantifiers, the Boolean algebra of general concepts.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f33fcd1df768dd8db02b6cea483bafe2
https://doi.org/10.1117/12.2035254
https://doi.org/10.1117/12.2035254
Autor:
Edward Nieznański
Publikováno v:
Ontological Proofs Today
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0a2ea7b5ca69a9dcc3e2235922d5d36c
https://doi.org/10.1515/9783110325881.379
https://doi.org/10.1515/9783110325881.379
Publikováno v:
SPIE Proceedings.
In this article there are presented a few methods of proving that can be adopted for epistemic logic. Those methods are used for proving sample thesis in a certain considered epistemic logic also described briefly in this work.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ff6c0fc5eb9c82196f638ef72dfbb3e1
https://doi.org/10.1117/12.2000207
https://doi.org/10.1117/12.2000207
Publikováno v:
SPIE Proceedings.
The article describes an attempt to implement abstract and concrete inherence calculi in the PowerLoom technology. Issues in the field of artificial intelligence, ontology and philosophy have been addressed. The inherence calculus is a type of a form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33aea312b4fadfdee9f7a965e94b197c
https://doi.org/10.1117/12.2000055
https://doi.org/10.1117/12.2000055
Publikováno v:
SPIE Proceedings.
Adequate representation of data is crucial for modeling any type of data. To faithfully present and describe the relevant section of the world it is necessary to select the method that can easily be implemented on a computer system which will help in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::db251d696b88c647ff3e5bd284faeca8
https://doi.org/10.1117/12.2000187
https://doi.org/10.1117/12.2000187
Autor:
Edward Nieznański
Publikováno v:
Knowledge and Faith ISBN: 9789004457829
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3ac9c3a7f293c14ec27fa8602e48637
https://doi.org/10.1163/9789004457829_025
https://doi.org/10.1163/9789004457829_025