• 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
  • Thumbnail for Graham Priest
    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
  • Thumbnail for Franca D'Agostini
    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
  • Thumbnail for Syllogism
    contributed heavily to the prevailing Old Logic, or logica vetus. The onset of a New Logic, or logica nova, arose alongside the reappearance of Prior Analytics...
    46 KB (5,158 words) - 22:04, 9 May 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
  • Thumbnail for World
    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
  • Thumbnail for Piergiorgio Odifreddi
    should instead have made you deduce what was evident" (Italian: "Un po’ di logica avrebbe dovuto far invece dedurre a voi ciò che era evidente"). Odifreddi...
    20 KB (2,103 words) - 20:20, 31 March 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
  • Thumbnail for Cesare Burali-Forti
    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
  • Thumbnail for Teleology
    the term, as teleologia (Latin), in his work Philosophia rationalis, sive logica (1728). In Plato's dialogue Phaedo, Socrates argues that true explanations...
    31 KB (3,997 words) - 06:17, 25 April 2024
  • Thumbnail for Frode Alfson Bjørdal
    ), 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
  • Thumbnail for Semiotic square
    "Aristotle's Non-Logical Works and the Square of Oppositions in Semiotics," Logica Universalis. 2(1): 107-126. Chandler, Daniel. 2007. Semiotics: The Basics...
    8 KB (967 words) - 08:26, 26 September 2023
  • Thumbnail for Anil Gupta (philosopher)
    (2001). Set-Theoretic Absoluteness and the Revision Theory of Truth. Studia Logica 68: 21–41. Welch, P.D. (2001). On Gupta-Belnap Revision Theories of Truth...
    14 KB (1,338 words) - 19:25, 22 November 2023
  • Thumbnail for Stanisław Leśniewski
    Leśniewski's Systems, Proceedings of XXII Conference on History of Logic", Studia Logica 36(4): 247–426 MR0476370 Urbaniak, Rafal, 2013. Leśniewski's Systems of...
    9 KB (805 words) - 23:48, 7 November 2023
  • 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
  • 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
  • Thumbnail for Square of opposition
    ISBN 88-350-7271-9. OCLC 971192154. Massaro, Domenico (2005). Questioni di verità: logica di base per capire e farsi capire. Script (in Italian). Vol. 2. Maples:...
    24 KB (3,111 words) - 19:18, 15 April 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
  • Thumbnail for Wason selection task
    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