The Mystery of the Fifth Logical Notion (Alice in the Wonderful Land of Logical Notions)

1. Bellotti, L. Tarski on logical notions, Synthese 135, 2003, pp. 401-413.10.1023/A:1023590504284Search in Google Scholar

2. Beziau, J.-Y. Identity, logic and structure, Bulletin of the Section of Logic 25, 1996, pp. 89-94.Search in Google Scholar

3. Beziau, J.-Y. New light on the square of oppositions and its nameless corner, Logical Investigations 10, 2003, pp. 218-232.Search in Google Scholar

4. Beziau, J.-Y. Quine on identity, Principia 7, 2003, pp. 1-5.Search in Google Scholar

5. Beziau, J.-Y. What is the principle of identity? (identity, logic and congruence), In F. T. Sautter and H. de Araújo Feitosa (eds), Logica: teoria, aplicaçõoes e reflexões, Campinas: CLE, 2004, pp. 163-172.Search in Google Scholar

6. Beziau, J.-Y. Les axiomes de Tarski, In R. Pouivet and M.Rebuschi (eds), La philosophie en Pologne 1918-1939, Paris: Vrin, 2006, pp. 135-149.Search in Google Scholar

7. Beziau, J.-Y. Mystérieuse identité, In Le même et l’autre, identité et différence - Actes du XXXIe Congrès International de l’ASPLF, Budapest: Eotvos, 2009, pp. 159-162.Search in Google Scholar

8. Beziau, J.-Y (ed.). Universal Logic: An Anthology, Basel: Birkhäuser, 2012.10.1007/978-3-0346-0145-0Search in Google Scholar

9. Beziau, J.-Y. Identification of identity, special Dale Jacquette memorial issue of IfCoLog Journal of Logics and their Applications, J. Woods (ed.), 4, 2017, pp. 3571-3581.Search in Google Scholar

10. Beziau, J.-Y. The Pyramid of Meaning, In J. Ceuppens, H. Smessaert, J. van Craenenbroeck and G. Vanden Wyngaerd (eds.), A Coat of Many Colours - D60, Brussels, 2018.Search in Google Scholar

11. Beziau, J.-Y. Logic Prizes et Cætera, Logica Universalis 12, 2018, pp. 271-296.10.1007/s11787-018-0215-6Search in Google Scholar

12. Beziau, J.-Y. The Lvov-Warsaw School: A True Mythology, In A. Garrido and U. Wybraniec-Skardowska (eds), The Lvov-Warsaw School. Past and Present, Basel: Birkhäuser, 2018, pp. 779-815.Search in Google Scholar

13. Beziau, J.-Y. 1st World Logic Day: 14 January 2019, Logica Universalis 13, 2019, pp. 1-20.10.1007/s11787-019-00221-5Search in Google Scholar

14. Beziau, J.-Y. and Buchsbaum, A. Let us be Antilogical: Anti-Classical Logic as a Logic, In A. Moktefi, A. Moretti and F. Schang (eds.), Soyons logiques / Let us be Logical, London: College Publications, 2016, pp. 1-10.Search in Google Scholar

15. Beziau, J.-Y., and J. Lemanski. The Cretan Square, Logica Universalis 14, 2020, pp. 1-5.10.1007/s11787-020-00247-0Search in Google Scholar

16. Beziau, J.-Y., V. Vandoulakis. The Exoteric Square of Opposition, Basel: Birkhäuser, 2020.Search in Google Scholar

17. Beziau, J.-Y. Identity and equality in logic, mathematics and politics, In J.-Y. Beziau, J.-P-Desclés, A. Moktefi and A. Pascu (eds), Logic in Question, Basel: Birkhäuser, 2020.Search in Google Scholar

18. Beziau, J.-Y, and S. Read (eds). Special issue of History and Philosophy of Logic on the Square of Opposition 35, 2014.10.1080/01445340.2014.917836Search in Google Scholar

19. Birkhoff, G. On the structure of abstract algebras, Proceedings of the Cambridge Philosophical Society 31, 1935, pp. 433-454.10.1017/S0305004100013463Search in Google Scholar

20. Bonnay, D. Logicality and Invariance, Bulletin of Symbolic Logic 14, 2006, pp. 29-68.10.2178/bsl/1208358843Search in Google Scholar

21. Bonnay, D. Qu’est-ce qu’une constante logique?, Ph.D. Dissertation, University Panthéon-Sorbone, Paris 1, 2006.Search in Google Scholar

22. Feferman, S. Logic, Logics, and Logicism, Notre Dame Journal of Formal Logic 40, 1999, pp. 31-54.10.1305/ndjfl/1039096304Search in Google Scholar

23. Feferman, A. B., and S. Feferman. Alfred Tarski: Life and Logic, Cambridge: Cambridge University Press, 2004.Search in Google Scholar

24. Corcoran, J. Categoricity, History and Philosophy of Logic 1, 1980, pp. 187-207.10.1080/01445348008837010Search in Google Scholar

25. Corcoran, J. Tarski on logical notions (abstract), Journal of Symbolic Logic 53, 1988, p.1291.Search in Google Scholar

26. Garrido, Á., and U. Wybraniec-Skardowska (eds). The Lvov-Warsaw School. Past and Present, Basel: Birkhäuser, 2018.10.1007/978-3-319-65430-0Search in Google Scholar

27. Givant, S. A portrait of Alfred Tarski, The Mathematical Intelligencer 13, 1991, pp. 16-32.10.1007/BF03023831Search in Google Scholar

28. Givant, S. Unifying threads in Alfred Tarski’s work, The Mathematical Intelligencer 21, 1999, pp. 47-58.10.1007/BF03024832Search in Google Scholar

29. Grothendieck, A. Récoltes et semailles - Réflexions et témoignage sur un passé de mathématicien, unpublished manuscript, 1983-1986.Search in Google Scholar

30. Hodges, W. Elementary predicate logic, In D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical logic, vol. I, Dordrecht: Reidel, 1983, pp. 1-131.10.1007/978-94-009-7066-3_1Search in Google Scholar

31. Kalmar, K. Zum Entscheidungsproblem der mathematischen Logik, Verhandlungen des internationalen Mathematiker-Kongresses Zürich 1932, vol. 2, Zurich and Leipzig: Orell Füssli, 1932, pp. 337-338.Search in Google Scholar

32. Kalmar, K. Zurückführung des Endscheidungsproblems auf den Fall von Formeln mit einer einzigen, bindren, Funktionsvariablen, Compositio Mathematica 4, 1936, pp. 137-144.Search in Google Scholar

33. Kalmar, K. On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate, The Journal of Symbolic Logic 4, 1939, pp. 1-9.10.2307/2266211Search in Google Scholar

34. Lindenbaum, A. Sur la simplicité formelle des notions, In Actes du congrès international de philosophie scientifique, vol. VII, Logique, Paris: Hermann, 1936, pp. 28-38.Search in Google Scholar

35. Lindenbaum, A., and A. Tarski. Über die Beschränktheit der Ausdrucksmittel deduktiver Theorien, In Ergebnisse eines mathematischen Kolloquiums, fasc. 7, 1934–1935, pp. 15-22. Reproduced in A. Tarski, Collected Papers, Vol.1 1921-1934, Vol.2 1935-1944, Vol.3. 1945-1957, Vol.4 1958-1979, Edited by S. Givant and R. McKenzie, Birkhäuser, Basel, 1986. and translated into English in A. Tarski, Logic, semantics, metamathematics, 2nd ed. (J. Corcoran), Indianapolis: Hackett, 1983. [1st ed. and transl. by J. H. Woodger, Oxford, 1956, pp. 384-39.Search in Google Scholar

36. Łukasiewicz, J. O zasadzie sprzeczności u Arystotelesa, Kraków: Akademia Umiejętności, 1910Search in Google Scholar

37. McGee, V. Logical operations, Journal of Philosophical Logic 25, 1996, pp. 567-580.10.1007/BF00265253Search in Google Scholar

38. Papy, G. Mathématique moderne, 1-6, Paris: Didier, 1963-1967.10.1111/j.1746-8361.1968.tb01576.xSearch in Google Scholar

39. Papy-Lenger, F. and G. Papy. L’enfant et les graphes, Paris: Didier, 1969.Search in Google Scholar

40. Purdy, R., and J. Zygmunt. Adolf Lindenbaum, Metric Spaces and Decompositions, In A. Garrido and U. Wybraniec-Skardowska (eds), The Lvov-Warsaw School. Past and Present, Basel: Birkhäuser, 2018, pp. 505-550.10.1007/978-3-319-65430-0_36Search in Google Scholar

41. Shapiro, S. (ed.). The Limits of Logic, Dartmouth Publishing Company, Aldershot, 1996.Search in Google Scholar

42. Sher, G. The bounds of logic, Cambridge: MIT Press, 1991.Search in Google Scholar

43. Tarski, A. Remarques sur les notions fondamentales de la méthodologie des mathématiques, Annales de la Société Polonaise de Mathématiques 7, 1929, pp. 270-272. English translation by R. Purdy and J. Zygmunt in J.-Y. Beziau (ed.), Universal Logic: An Anthology, Basel: Birkhäuser, 2012, pp. 67-68].Search in Google Scholar

44. Tarski, A. O Logice Matematycznej i Metodzie Dedukcyjnej, Atlas, Lvov-Warsaw, 1936.Search in Google Scholar

45. Tarski, A. Contributions to the theory of models. I, II, III, Indigationes Mathematicae 16, 1954, pp. 572-581, pp. 582-588, 17, 1955, pp. 56-64.10.1016/S1385-7258(54)50075-2Search in Google Scholar

46. Tarski, A. Logic, semantics, metamathematics, 2nd ed. (J. Corcoran), Indianapolis: Hackett, 1983. [1st ed. and transl. by J. H. Woodger, Oxford, 1956].Search in Google Scholar

47. Tarski, A. What are logical notions? (ed. by J. Corcoran), History and Philosophy of Logic 7, 1986, pp. 143-154.10.1080/01445348608837096Search in Google Scholar

48. Tarski, A. Collected Papers, Vol.1 1921-1934, Vol.2 1935-1944, Vol.3. 1945-1957, Vol.4 1958-1979, Edited by S. Givant and R. McKenzie, Birkhäuser, Basel, 1986. Reviewed by J. Corcoran in Mathematical Reviews (91h:01101, 91h:01101, 91h:01103, 91h:01104). Reprinted by Birkhäuser, Basel, 2019.Search in Google Scholar

49. Tarski, A., and S. Givant. A formalization of set theory without variable, Providence: American Mathematical Society, 198710.1090/coll/041Search in Google Scholar

50. Tarski, A., J. Tarski, and J. Woleński. Some Current Problems in Metamathematics, History and Philosophy of Logic 16, 1995, pp. 159-168.10.1080/01445349508837247Search in Google Scholar

51. Woleński, J. Logic and Philosophy in the Lvov-Warsaw School, Dordrecht: Kluwer, 1989.10.1007/978-94-009-2581-6Search in Google Scholar

52. Woleński, J. Applications of squares of oppositions and their generalizations in philosophical analysis, Logica Universalis 1, 2008, pp. 13-29.10.1007/s11787-007-0028-5Search in Google Scholar

53. Woleński, J. Alfred Tarski (1901-1983), In A. Garrido and U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw School. Past and Present, Basel: Birkhäuser, 2018, pp. 361-371.10.1007/978-3-319-65430-0_27Search in Google Scholar

54. Woleński, J. Some Philosophical Aspects of Semantic Theory of Truth, In A. Garrido and U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw School. Past and Present, Basel: Birkhäuser, 2018, pp. 373-389.10.1007/978-3-319-65430-0_28Search in Google Scholar

55. Woleński, J. Jerzy Słupecki (1904-1987), In A. Garrido and U. Wybraniec-Skardowska (eds.), The Lvov-Warsaw School. Past and Present, Basel: Birkhäuser, 2018, pp. 567-573.10.1007/978-3-319-65430-0_39Search in Google Scholar

56. Woleński, J. Adolf Lindenbaum, The Internet Encyclopedia of Philosophy, https://www.iep.utm.edu/lindenba/, 2020.Search in Google Scholar

57. Woleński, J. The Semantic Theory of Truth, The Internet Encyclopedia of Philosophy, https://www.iep.utm.edu/s-truth/, 2020.Search in Google Scholar

58. Zygmunt, J. Tarski’s first published contribution to general mathematics, In J.-Y. Beziau, (ed.), Universal Logic: An Anthology, Basel: Birkhäuser, 2012, pp. 59-66.10.1007/978-3-0346-0145-0_5Search in Google Scholar

59. Zygmunt, J., and R. Purdy. Adolf Lindenbaum: Notes on His Life with Bibliography and Selected References, Logica Universalis 8, 2014, pp. 285–320.10.1007/s11787-014-0108-2Search in Google Scholar