New Foundations (section Russell's paradox) membership, such as ... xn ∈ xn-1 ∈ ... ∈ x2 ∈ x1. It avoids Russell's paradox by permitting only stratifiable formulas to be defined using the axiom... 51 KB (8,093 words) - 06:53, 9 May 2024 |
into Portuguese as Lógica para Começar, Temas & Debates, 2002. Translated into Spanish as Una Brevísima Introducción a la Lógica, Oceano, 2006. Translated... 6 KB (863 words) - 22:00, 3 May 2024 |
First Incompleteness Theorem Archived 2016-03-06 at the Wayback Machine", Logica Universalis, v. 8, pp. 499–552. doi:10.1007/s11787-014-0107-3 Charlesworth... 92 KB (12,120 words) - 15:46, 9 May 2024 |
Franca D'Agostini (section Nihilism and paradoxes) 1999 ·Logica del nichilismo, Roma-Bari: Laterza, 2000 ·Disavventure della verità, Turin: Einaudi, 2002 ·Le ali al pensiero. Corso di logica elementare... 13 KB (1,542 words) - 00:18, 28 April 2024 |
Logic of class -- Logic of information -- Logic programming -- Logica Universalis -- Logica nova -- Logical Analysis and History of Philosophy -- Logical... 21 KB (1,874 words) - 11:11, 28 October 2023 |
Logica Yearbook 2003, L.Behounek (ed), Academy of Sciences, Prague, pp. 73–84. Font, J. M. (2009). "Taking Degrees of Truth Seriously". Studia Logica... 17 KB (1,864 words) - 13:13, 15 December 2023 |
inconsistent LP". Studia Logica. 50 (2): 321–331. doi:10.1007/BF00370190. S2CID 31032152. — (1991). "Intensional Paradoxes". Notre Dame J. Formal Logic... 36 KB (3,790 words) - 11:40, 3 December 2023 |
Mead (who invented the phrase Moore's law) at Caltech; Robert Worden of Logica Cambridge; Teuvo Kohonen, who developed the self-organizing map of unsupervised... 272 KB (39,663 words) - 14:36, 21 April 2024 |
Journal of the IGPL, Studia Logica and Analysis. Head of the project (with Hannes Leitgeb - MCMP - LMU Munich) "Truth, Paradoxes and Modalities” DAAD-MinCyT... 6 KB (581 words) - 16:05, 28 December 2023 |
World (section Paradox of many worlds) Jacquette, Dale (1 April 2006). "Propositions, Sets, and Worlds". Studia Logica. 82 (3): 337–343. doi:10.1007/s11225-006-8101-2. ISSN 1572-8730. S2CID 38345726... 57 KB (6,329 words) - 15:57, 6 April 2024 |
Logic 20. 1991: Models for relevant modal logics. Studia Logica 49. 1994: On S. Studia Logica 53; with E. D. Mares. 1994: Undercutting and the Ramsey test... 5 KB (532 words) - 07:33, 28 August 2023 |
Meccanica razionale with Tommaso Boggio (S. Lattes & c., Torino, 1921). [1] Logica Matematica (Hoepli, Milano, 1894). [2] Archived 2016-03-04 at the Wayback... 4 KB (312 words) - 20:21, 19 March 2024 |
), The Logica Yearbook 1998, FILOSOFIA, Prague, 1999, 214-217. Considerations Contra Cantorianism, in M. Pelis & V. Puncochar (eds), The Logica Yearbook... 7 KB (581 words) - 03:11, 15 August 2023 |
shows strong influence by William of Ockham, whose commentaries on the logica vetus (i. e. on Porphyry, and Aristotle's Categoriae and De interpretatione)... 16 KB (1,865 words) - 21:27, 25 April 2024 |
theory. Elsevier. p. 127. ISBN 978-0-444-88054-3. Jean-Yves Béziau (2005). Logica universalis: towards a general theory of logic. Birkhäuser. p. 20. ISBN 978-3-7643-7259-0... 4 KB (386 words) - 20:20, 15 January 2022 |
commonly diagnosed by a predicate's ability to give rise to the Sorites paradox. Vagueness is separate from ambiguity, in which an expression has multiple... 27 KB (3,830 words) - 14:31, 21 March 2024 |
Reduction Rules, Meaning-as-Use and Proof-Theoretic Semantics". Studia Logica. 90 (2): 211–247. doi:10.1007/s11225-008-9150-5. S2CID 11321602. A paper... 85 KB (11,500 words) - 21:06, 26 April 2024 |
"Application of bi-elemental boolean algebra to electronic circuits". Studia Logica. 2: 7–75. doi:10.1007/BF02124765. S2CID 122166200. Ben Choi (2013) "Advancing... 10 KB (1,341 words) - 00:05, 9 January 2024 |
company: "The humbug of many logical values" in Jean-Yves Beziau, ed. (2007). Logica Universalis: Towards a General Theory of Logic (2nd ed.). Springer Science... 30 KB (3,346 words) - 23:05, 6 November 2023 |
Fuzzy concept (section Sorites paradox) logics in: Jaśkowski, "On the rules of supposition in formal logic". Studia Logica No. 1, 1934.[4] See Susan Haack, Philosophy of Logics. Cambridge University... 158 KB (21,684 words) - 12:24, 2 May 2024 |
works were known as the "Old Logic" (Logica Vetus or Ars Vetus). An important work in this tradition was the Logica Ingredientibus of Peter Abelard (1079–1142)... 102 KB (13,242 words) - 04:39, 26 March 2024 |
Benthem, Johan (2008). "Logic and reasoning: do the facts matter?". Studia Logica. 88 (1): 67–84. CiteSeerX 10.1.1.130.4704. doi:10.1007/s11225-008-9101-1... 17 KB (1,969 words) - 01:34, 8 April 2024 |
Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics", Logica Universalis 9, 2015. doi:10.1007/s11787-015-0118-8 Thomas Piecha, Peter... 3 KB (350 words) - 14:30, 3 January 2024 |