### ?

## Eastern Proto-Logics

P. 529-552.

Schang F.

In press

Schang F., Journal of Indian Council of Philosophical Research 2011 Vol. 27 No. 1 P. 47-76

A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhangi, and the Madhyamika catuskoti. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from Aristotelian metaphysics. This misunderstanding can be corrected in two steps: by recalling their assumptions about truth; by reconstructing their ensuing ...

Added: November 4, 2014

Schang F., / Ontos Verlag, De Gruyter Series. Series ISBN 3110319578 "Logic in Religious Discourse". 2010.

Added: November 4, 2014

Schang F., Philosophia Scientiae 2011 Vol. 15 No. 1 P. 149-188

Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood. But a closer examination shows that such a legacy is debatable and should take into account the way in which these modalities proceeded. We argue that, while MacColl devised a ...

Added: October 31, 2014

Schang F., International Journal of Jaina Studies 2013 Vol. 9 No. 1 P. 1-25

The Jain saptabhaṅgī is well-known for its general stance of non-one-sidedness. After a number of debates about the occurrence of contradictory sentences inside the so-called "Jain logic", three main theses are presented in the following: the saptabhaṅgī is a theory of judgment giving an exhaustive list of possible statements; it is not a "logic" in the modern sense of ...

Added: October 30, 2014

Schang F., The Reasoner 2009 Vol. 3 No. 7 P. 8-9

H. Slater famously argued that there are no paraconsistent logics, inasmuch as paraconsistent negation is not a proper negation. Such a vivid attack has been variously replied, including an appropriate reply by J.Y. Beziau, where the author resorted to the same conceptual framework as Slater’s argument: the theory of opposition. Slater argues that, in order to overcome the view that ...

Added: October 31, 2014

Schang F., / Epigram Publishing House. Series ISBN 978-83-61231-20-2 "Scientific Knowledge and Common Knowledge". 2009.

Added: November 4, 2014

Rybakov M., Shkatov D., , in : Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. : М. : Современные тетради, 2017. P. 45-45.

We discuss an example of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames. ...

Added: October 7, 2019

Karpenko I., Философия науки 2023 № 1(96) С. 70-94

The article is concerned with the problem of reality describing in the language of mathematics and logic in connection with the intellectual intuition corresponding to a certain stage in knowledge development. The question of how the basic requirements for mathematical theory and logic will change if we take as a basis some of the many-worlds ...

Added: September 19, 2023

Rybakov M., Shkatov D., Studia Logica 2024

In the early 1960s, to prove undecidability of monadic fragments of sublogics of the predicate modal logic QS5 that include the classical predicate logic QCl, Saul Kripke showed how a classical atomic formula with a binary predicate letter can be simulated by a monadic modal formula. We consider adaptations of Kripke's simulation, which we call the Kripke trick, to various modal ...

Added: December 2, 2023

Slavnov S. A., Moscow Mathematical Journal 2005 Vol. 5 No. 2 P. 477-492

Классический результат о топологической семантике модальных логик, принадлежащий МакКинси и Тарскому (и часто называемый теоремой Тарского), состоит в полноте логики S4 по отношению к интерпретациям в пространстве R^n
для любого n. В последнее время разные авторы рассматривали динамические топологические логики, которые интерпретируются в динамических пространствах (абстрактных динамических системах). Динамическое пространство – это топологическое пространство вместе с непрерывной функцией на нем. В работе Артёмова, Даворен и ...

Added: February 27, 2013

Botchkarev A., Вестник Новосибирского государственного университета. Серия: Лингвистика и межкультурная коммуникация 2017 Т. 15 № 4 С. 43-51

The article is devoted to color designation of feelings and emotions in Russian. According to the National Corpus the palette of emotional states used by native speakers is limited to few basic colors and hues, including white, red, pink, green, blue, black and gray. In the Russian lan-guage conscience, different feelings can be painted with ...

Added: February 1, 2018

Ilya Makarov, Olga Gerasimova, Logica Universalis 2017

We describe a method of finding the canonical types of formulas based on three-valued projection logic functions. The method focuses on a separation of all tuples of values for variables into disjoint sets and write indicators of these sets using only functions from the closed class under consideration. We obtain the required canonical type combining ...

Added: September 25, 2015

Beklemishev L. D., / Cornell University. Series math "arxiv.org". 2013. No. arXiv:1304.4396.

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant `true' by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform reflection schemata in arithmetic, possibly of unrestricted logical complexity. We formulate an arithmetically complete calculus with ...

Added: November 22, 2013

Мактаггарт Д. Э., Эпистемология и философия науки 2019 Т. 56 № 2 С. 211-228

This text is a translation of an article by British idealist J.E. McTaggart “The Unreality of Time” pub- lished in the journal Mind in 1908. Author argues for the unreality of time by employing his typical methods – rejection of reality of contradictory objects, difference between real and existent, etc. This paper became a standard of excellence ...

Added: June 17, 2019

Kudinov A., Shehtman V. B., , in : Leo Esakia on Duality in Modal and Intuitionistic Logics. : Springer, 2014. Ch. 11. P. 291-334.

We study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces, T1- spaces, dense-in-themselves spaces, a zero-dimensional dense-in-itself separable metric space, R^n (n>1). We also discuss the correlation between languages with different combinations of the ...

Added: March 5, 2014

Zolin E., Logic Journal of the IGPL 2015 Vol. 23 No. 6 P. 861-880

The celebrated theorem proved by Goldblatt and Thomason in 1974 gives necessary and sufficient conditions for an elementary class of Kripke frames to be modally definable. Here we obtain a local analogue of this result, which deals with modal definability of classes of pointed frames. Furthermore, we generalize it to the case of n-frames, which ...

Added: June 14, 2018

Olga Gerasimova, Makarov I., , in : Proceedings of the 10th Panhelleic Logic Symposium. : Samos Island : University of Aegean, 2015. Ch. 23. P. 82-86.

We give a complete description of total equivalence systems (TES) for formulas based on closed classes of functions from the projection logic P3,2 with the property that the restrictions of its functions to the set {0,1} constitute a closed class of linear Boolean functions. For each such class, we find a total equivalence system, providing ...

Added: September 19, 2015

Shehtman V. B., Shapirovsky I., , in : Advances in Modal Logic. Vol. 11.: L. : College Publications, 2016. P. 520-534.

According to the classical result by Segerberg and Maksimova, a modal logic containing K4 is locally tabular iff it is of finite height. The notion of finite height can also be defined for logics, in which the master modality is expressible (‘pretransitive’ logics). We observe that any locally tabular logic is pretransitive of finite height. Then we prove some ...

Added: September 20, 2018

Marseille : [б.и.], 2011

Added: February 27, 2013

Beklemishev L. D., Fernandez-Duque D., Joosten J. J., Studia Logica 2014 Vol. 102 No. 3 P. 541-566

We introduce the logics GLPΛ, a generalization of Japaridze’s polymodal provability logic GLPω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLPω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLPΛ and the decidability of GLPΛ for recursive ...

Added: November 21, 2013

Kudinov A., , in : Advances in Modal Logic, Volume 6. : L. : College Publications, 2006. P. 319-332.

Added: February 27, 2013

Dragalina-Chernaya E., В кн. : Людвиг Витгенштейн. Pro et contra. : СПб. : Издательство РХГА, 2017. С. 496-506.

Прослеживается эволюция взглядов Витгенштейна на отрицание и противоречие как развитие его грамматической теории от онтологии через феноменологию к терапии противоречия. ...

Added: November 21, 2018

Shamis D., В кн. : Философия. Язык. Культура (вып.4). Вып. 4.: СПб. : Алетейя, 2013. С. 415-424.

This work is dedicated to an attempt to answer the question, what for irony is needed. Usually it is considered to be just a literary device or a special way of conversation. However as any other source of language it has its grounds in the intention of the author and compared to this intention form, ...

Added: February 16, 2014

Schang F., / De Gruyter, Editiones Scholasticae. Series ISBN 3110330105 "Philisophy of Language and Linguistics (The Formal Turn)". 2010. No. 2.

One of the most prominent in analytic philosophy is the so-called "Fregean Axiom", according to which the reference of a sentence is a truth-value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. ...

Added: November 4, 2014