The paper is Part III of the large research, dedicated to both the revision of the system of basic logical categories and the generalization of modern predicate logic to functional logic. We determinate and contrapose modern Fregean logistics and proposed by the author ultra-Fregean logistics, next we describe values and arguments of functions, arguments of relations, relations themselves, sets (classes), and subsets (subclasses) as derivative categories (concepts) of ultrafregean logistics. Logistics is a part of metalogic, independent of semantics. Fregean logictics (...) is a metalogical theory, based on the quadruple <particular (individual), predicate, equality, sequence>; it generates predicate logic. Ultrafregean logictics is based on the quadruple <particular, function, representation, sequence>, where the notion of a function is a generalization of the notion of a predicate and the notion of representation is a generalization of the notion of equality; this logictics generates functional logic. For the completely correct denotation of the functional values, we need the Churchian symbolics with parenthesis. Predicates are usually identified with relations. A relation is the derived and even definable category of ultra-Fregean logictics. Namely, relations are representations by functions (of one of their arguments). We show that Frege could really establish this definition and the notion (category) of representation but, unfortunately, rejected this course of thought. Next, we show that every n-ary relation can be resolved for some of its arguments via some (n-1)-ary function. A set, or class, is a derived and not definable category of ultra-Fregean logistics. The universal way to introduce the sets is Frege’s abstraction principle. We formulate this principle for functional logic and show that the notion of a set is quantified, so there is the dual existential notion of a nonempty subset, involved by the same abstraction principle. (shrink)

This paper develops a version of Natural Logic – an inference system that works directly on natural language syntactic representations, with no intermediate translation to logical formulae. Following work by Sánchez, we develop a small fragment that computes semantic order relations between derivation trees in Categorial Grammar. The proposed system has the following new characteristics: It uses orderings between derivation trees as purely syntactic units, derivable by a formal calculus. The system is extended for conjunctive phenomena like coordination and relative (...) clauses. This allows a simple account of non-monotonic expressions that are reducible to conjunctions of monotonic ones. A decision procedure for provability is developed for a fragment of Natural Logic. (shrink)

In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics.

In Belnap's useful 4-valued logic, the set 2 = {T, F} of classical truth values is generalized to the set 4 = ������(2) = {Ø, {T}, {F}, {T, F}}. In the present paper, we argue in favor of extending this process to the set 16 = ᵍ (4) (and beyond). It turns out that this generalization is well-motivated and leads from the bilattice FOUR₂ with an information and a truth-and-falsity ordering to another algebraic structure, namely the trilattice SIXTEEN₃ with an (...) information ordering together with a truth ordering and a (distinct) falsity ordering. Interestingly, the logics generated separately by the algebraic operations under the truth order and under the falsity order in SIXTEEN₃ coincide with the logic of FOUR₂, namely first degree entailment. This observation may be taken as a further indication of the significance of first degree entailment. In the present setting, however, it becomes rather natural to consider also logical systems in the language obtained by combining the vocabulary of the logic of the truth order and the falsity order. We semantically define the logics of the two orderings in the extended language and in both cases axiomatize a certain fragment comprising three unary operations: a negation, an involution, and their combination. We also suggest two other definitions of logics in the full language, including a bi-consequence system. In other words, in addition to presenting first degree entailment as a useful 16-valued logic, we define further useful 16-valued logics for reasoning about truth and (non-)falsity. We expect these logics to be an interesting and useful instrument in information processing, especially when we deal with a net of hierarchically interconnected computers. We also briefly discuss Arieli's and Avron's notion of a logical bilattice and state a number of open problems for future research. (shrink)

In Philosophical Logic, the Liar Paradox has been used to motivate the introduction of both truth value gaps and truth value gluts. Moreover, in the light of “revenge Liar” arguments, also higher-order combinations of generalized truth values have been suggested to account for so-called hyper-contradictions. In the present paper, Graham Priest's treatment of generalized truth values is scrutinized and compared with another strategy of generalizing the set of classical truth values and defining an entailment relation on the resulting sets of (...) higher-order values. This method is based on the concept of a multilattice. If the method is applied to the set of truth values of Belnap's “useful four-valued logic”, one obtains a trilattice, and, more generally, structures here called Belnap-trilattices. As in Priest's case, it is shown that the generalized truth values motivated by hyper-contradictions have no effect on the logic. Whereas Priest's construction in terms of designated truth values always results in his Logic of Paradox, the present construction in terms of truth and falsity orderings always results in First Degree Entailment. However, it is observed that applying the multilattice-approach to Priest's initial set of truth values leads to an interesting algebraic structure of a “bi-and-a-half” lattice which determines seven-valued logics different from Priest's Logic of Paradox. (shrink)

In this book, Yaroslav Komarovski argues that the Tibetan Buddhist interpretations of the realization of ultimate reality both contribute to and challenge contemporary interpretations of unmediated mystical experience. The model used by the majority of Tibetan Buddhist thinkers states that the realization of ultimate reality, while unmediated during its actual occurrence, is necessarily filtered and mediated by the conditioning contemplative processes leading to it, and Komarovski argues that therefore, in order to understand this mystical experience, one must focus on (...) these processes, rather than on the experience itself. Komarovski also provides an in-depth comparison of seminal Tibetan Geluk thinker Tsongkhapa and his major Sakya critic Gorampa's accounts of the realization of ultimate reality, demonstrating that the differences between these two interpretations lie primarily in their conflicting descriptions of the compatible conditioning processes that lead to this realization. Komarovski maintains that Tsongkhapa and Gorampa's views are virtually irreconcilable, but demonstrates that the differing processes outlined by these two thinkers are equally effective in terms of actually attaining the realization of ultimate reality. Tibetan Buddhism and Mystical Experience speaks to the plurality of mystical experience, perhaps even suggesting that the diversity of mystical experience is one of its primary features. (shrink)

We consider a logic which is semantically dual (in some precise sense of the term) to intuitionistic. This logic can be labeled as “falsification logic”: it embodies the Popperian methodology of scientific discovery. Whereas intuitionistic logic deals with constructive truth and non-constructive falsity, and Nelson's logic takes both truth and falsity as constructive notions, in the falsification logic truth is essentially non-constructive as opposed to falsity that is conceived constructively. We also briefly clarify the relationships of our falsification logic to (...) some other logical systems. (shrink)

A logic with normal modal operators and countable infinite conjunctions and disjunctions is introduced. A Hilbert's style axiomatization is proved complete for this logic, as well as for countable sublogics and subtheories. It is also shown that the logic has the interpolation property.

In the paper, we apply Kooi and Tamminga’s correspondence analysis to some conventional and functionally incomplete fragments of classical propositional logic. In particular, the paper deals with the implication, disjunction, and negation fragments. Additionally, we consider an application of correspondence analysis to some connectiveless fragment with certain basic properties of the logical consequence relation only. As a result of the application, one obtains a sound and complete natural deduction system for any binary extension of each fragment in question. With the (...) focus on exclusive disjunction we comparatively study the proposed systems. Finally, we discuss Segerberg’s systems for connectiveless and negation fragments and compare them with our systems. (shrink)

Introduction. In the Russian philosophical tradition, domestic philosophical concepts are rather poorly considered at the moment. In fact, there is no coverage of regional specific features: the problems that worried and united Russian philosophers within the boundaries of one or another temporalterritorial locality. The purpose of the article is to consider the views of the Tyumen philosopher-ethicist Yuri Mikhailovich Fedorov in the context of their relevance at present and in the context of a continuous research tradition. Methods. The author proceeds (...) from the methods of hermeneutics, which are obligatory in this case, and also uses L. Laudan’s theory of research traditions, M. Foucault’s optics and the concept of permanent modernity. Scientific novelty of the research. The author clarifies Yu.M. Fedorov’s views through the specified methodology, considering his works in the context of a continuing philosophical tradition, with a special emphasis on the methods of subjectification. Results and conclusions. Taking into consideration the results of analytical reading of Yu.M. Fedorov’s key work “Universe of Morality”, it is concluded that the author’s concept, which combines the features of idealism, cosmism, structuralism, semiotics and existentialism, with some reservations (indicated in the article), suggests an adequate model of subjectification for a person of the XXI century. (shrink)

Важливою характеристикою самоорганізаційної еволюції складних систем, починаючи від неорганічних, продовжуючи до органічних і завершуючи соціальними, є зростання потенціалу свободи. Ця динаміка розвитку, що набирає прискорення, продовжується в еволюції соціальних систем. Найбільш помітною названа динаміка стає у біфуркаційних періодах соціальних трансформацій. Два таких трансформаційних переходів суспільства відбулися у доцивілізаційний час. Це Когнітивна революція та Неолітична (аграрна) революція (Ю. Н. Харарі). Два інші радикальні трансформації соціуму відбулися вже після виникнення цивілізацій, які можна назвати цивілізаційними трансформаціями. Це «осьовий час» та Індустріальна революція. Аграрна (...) революція та Індустріальна революція створили матеріально-технологічні умови суттєвого нарощування свободи людини у зовнішніх її проявах. Аграрна революція сприяла виробленню достатньої кількості харчу для зростаючого населення та створенню цивілізованих форм життя. Індустріальна революція створила матеріальні засоби для достатнього життєзабезпечення та розвитку людини, збільшення ресурсу вільного часу й створення умов для свободи творчості. Індустріальна революція стала можливою у передових країнах світу, які спромоглися забезпечити низку соціально-організаційних інновацій. Н. Фергюсон такими інноваціями вважає конкуренцію, науку, власність, медицину, споживання, працю. Решта світу швидше засвоює технологічні результати та переваги більш прогресивного способу життя, однак дещо повільніше оволодіває людськими якостями та відповідними інноваційними суспільними відносинами, необхідними для створення зазначених людиновимірних досягнень цивілізації. С. Пінкер засвідчує, що решта світу у найважливіших соціальних і економічних показниках наздоганяє високоцивілізовані країни у темпах значно вищих, ніж останні розвивалися у період від початку Індустріальної революції, створюючи умови для подальшої вільної самореалізації людини. Когнітивна революція та, особливо, «осьовий час» створили рефлексивний духовно-культурний інструментарій для розширення горизонтів свободи людини на внутрішньому її плані – у сфері свідомості. Наразі у світі на глобальному рівні відбувається цивілізаційна трансформація, що співвимірна із зазначеними вище. Ця трансформація відбувається як на зовнішньому плані – у сфері технологій, так і у внутрішньому – у сфері свідомості. Останнє полягає у формуванні інституціоналізованої рефлексії другого порядку – цілеспрямованим управлінням рефлексивними процесами, нарощуванням їх ієрархічної складності та підвищенням їх ефективності. (shrink)

ABSTRACTThe paper deals with a problem posed by Mathieu Vidal to provide a formal representation for defective conditional in mathematics Vidal, M. [. The defective conditional in mathematics. Journal of Applied Non-Classical Logics, 24, 169–179]. The key feature of defective conditional is that its truth-value is indeterminate if its antecedent is false. In particular, we are interested in two explanations given by Vidal with the use of trivalent logics. By analysing a simple argument from plane geometry, where defective conditional is (...) in use, he gives two trivalent formal explanations for it. For both explanations, Vidal rigorously shows that trivalent logics cannot adequately represent defective conditional. Preserving Vidal's criteria of defective conditional ad max, we indicate some arguable points in his explanations and present an alternative explanation containing the original conjunction and disjunction in order to show that there are trivalent logics that might be an adequate formal explanation for defective conditional. (shrink)

In Luminous Emptiness, Yaroslav Komarovski offers an annotated translation of three seminal works on the nature and relationship of Yogacara and Madhyamaka, by Serdok Penchen Shakya Chokden.

У добу радикальної цивілізаційної трансформації суспільства та досягнення ним нового рівня складності, загострюється проблема віднаходження ресурсів свободи та свободи вибору людини. Обмеженість природних ресурсів спонукає людину віднаходити внутрішні, рефлексивні, інтелектуально-духовні ресурси виживання та свободи самореалізації, що дає можливість у перспективі перейти, крім іншого, до екологічної рівноваги між природою та суспільством та запобігти кліматичному колапсу людства. Цивілізаційний розвиток розширює горизонт свободи людини і, водночас, ставить її перед проблемою ресурсного забезпечення для реалізації нових можливостей свободи, одним із важливих ресурсів якої є рефлексія. (...) Здатність людини до рефлексії не є чимось, що притаманно виключно ефемерній суб’єктивності, а виявляється продовженням певних глибинних закономірностей буття, що виражаються, зокрема, у рекурсивній функції, а також у самореференції природних і соціальних процесів. Відрефлексовування людиною власного стану в аспекті свободи або несвободи є важливим чинником, що спонукає її як до самовдосконалення, так і до втілення якісно нових суспільних відносин, за яких її власна вільна самореалізація є і умовою і наслідком вільної самореалізації осіб, з якими вона взаємодіє. Напрацювання такого соціального капіталу та формування відповідних соціальних відносин є соціальною й організаційною передумовою прориву до інноваційних технологій та відновлювальної енергетики. Досягнути такого рівня вільного цивілізованого стану суспільство може лише пройшовши через «вузький коридор» (Д. Аджемоглу та Дж. Робінсон) цілеспрямованого створення відповідних соціальних інститутів і формування легітимної держави та відповідального громадянського суспільства, що відкриває можливість свободи самореалізації людини. У результаті триваючої наразі цивілізаційної трансформації має виникнути суспільство з високою синергією (А. Маслоу), важливим ресурсом якого повинно стати рефлексія другого порядку, цілеспрямоване самоуправління рефлексивними процесами, що забезпечують соціальну самоорганізацію на основі загальнолюдських цінностей. (shrink)

У статті реконструйовано заключний етап українсько-польської війни 1918-1919 рр., зокрема травневий 1919 р. загальний наступ польського війська в Галичині. Визначено геополітичні передумови, перебіг та наслідки Чортківської операції Галицької армії в червні 1919 р., які спричинили тимчасовий перелом у ході українсько-польської війни. І хоча ця операція не закінчилася повним успіхом - визволенням Львова та території ЗУНР, однак засвідчила високий морально-бойовий дух і боєздатність особового складу Галицької армії, змусивши країни Антанти повернутися до серйозного обговорення проблеми державно-політичного статусу ЗУНР, нових східних кордонів Польщі.

In this paper, we introduce a new four-valued logic which may be viewed as a variation on the theme of Kubyshkina and Zaitsev's Logic of Rational Agent textbf{LRA} cite{LRA}. We call our logic $ bf LIRA$. In contrast to textbf{LRA}, it has three designated values instead of one and a different interpretation of truth values, the same as in Zaitsev and Shramko's bi-facial truth logic cite{ZS}. This logic may be useful in a situation when according to an agent's point of (...) view her/his reasoning is rational, while from the external one it might be not the case. One may use textbf{LIRA}, if one wants to reconstruct an agent's way of thinking, compare it with respect to the real state of affairs, and understand why an agent thought in this or that way. Moreover, we discuss Kubyshkina and Zaitsev's necessity and possibility operators for textbf{LRA} definable by means of four-valued Kripke-style semantics and show that, due to two negations of textbf{LRA}, two more possibility operators for textbf{LRA} can be defined. Then we slightly modify all these modalities to be appropriate for $bf LIRA$. Finally, we formalize all the truth-functional $ n $-ary extensions of the negation fragment of $bf LIRA$ as well as their basic modal extension via linear-type natural deduction systems. (shrink)

An aesthetic distinction between good music and the good in music is crucial for a philosophy of music education. Ultimately, it is not the music's fault, as it were, that someone may view it as being 'not good' in either a social or aesthetic context. Regardless of how music is colored it remains an entity unto itself and thus untouched by our pronouncements. Wittgenstein's Philosophical Investigations recognized the falseness of such propositions as biased pronouncements taking the form of bad 'x' (...) or good 'x.' Thus we may seek the good within the music if we know how to define what we mean by that. This approach allows music to be conceptualized and framed in a meaningful educational context. In such a way Plato and Aristotle attempted a conceptualization of the 'good' and the 'ungood' in the music of their time, as did Adorno in the preceding century. Although this context still does not allow pronouncements of music as good or bad, it does allow a seeking of its educational utility and unlimited potentiality in the name of an aesthetic and moral understanding. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy of Music Education Review 11.2 (2003) 112-129 [Access article in PDF] Musical Aphorisms and Common Aesthetic Quandaries Yaroslav Senyshyn Simon Fraser University, Canada I have written in the style of aphorisms because their form is useful for both the sake of brevity and possible complexity. As well, they are historically significant as they have served many philosophers in the past and in our own time. Some will (...) argue that they do not say enough, but this is unfounded as in saying less there is often scope for more. Who knows perhaps academe will experiment with this mode of writing more frequently?For the sake of a sense of direction, I will borrow Russell Nieli's title to his thoughtful book on Wittgenstein's philosophy, From Mysticism to Ordinary Language, 1 to characterize the procedure of these aphorisms. Thus my initial aphorisms begin with music as a thing-in-itself, a striving toward a Kantian noumenon 2 and move toward the everyday practical concerns of music education. There are no determinate limits to a philosophy of music; unfortunately, this is also true of confusion. The following aphorisms (while hardly exhaustive of any possible gamut of music philosophy) strive to demystify some of the more common aesthetic quandaries and hopefully provide an opportunity for a wider field of discussion in music philosophy and education. [End Page 112] Music: External and Internal Inferences Sound and silence as potentiation of music precedes human existence.If music precedes existence then it can never be defined in absolute terms of thought. It remains thus even if nothingness were an all-pervasive, encompassing silence (that is, the silence of music or music as silence). 3 Silence as music in our culture may be perceived to be music by some and not necessarily by all cultures. As the sound and silence that preceded our being, it is indeed music in everlasting potentiation.In this sense sound can only be philosophically inferred as the "other," outside music, which the pre-Socratic philosophers referred to mystically and metaphorically as "the music of the spheres"; it is that music outside of us and finds its origins in sounds indirectly related to us. 4 It is what I prefer to call the Sound and Silence that define and are defined by each other in their potentiation for music. Thus this sound is music as potential or dynamis if intended to be music and perceived as such. It is also the possible music or sounds of the environment and non-humans such as whales, elephants, and monkeys. But the latter is our perception of their "music" and not necessarily their own appropriation. In the former we can use or intend the sounds of the environment to be music if these are perceived as such by at least one other person.Thus all sound is music in potentiation.The notion of a possible pre-existence of music, as stated in the first aphorism, is then defined by music as both a source and external entity.As an external inference (that is, the possibility of such) music does not communicate with us; rather, we utilize it through our own means and culture to communicate by it indirectly. It becomes our social construct and thus not an absolute notion.This source of music can be verified as it is implicit in our respective societies and world cultures.A music which possibly or inferentially precedes existence is, of necessity, part of that possible catalyst of sound waves identified by modern-day physics by which the universe may have been formed. For this reason, such notions usually appropriated by world mythologies have made it possible to worship music, perceive it as a supernatural force, or even view it is a possible cause in the big bang theory. 5Music is embodied in experience in that it is appropriated by members of extant cultures for its own particular use. We can speak of music from within our personal experiences of it. But this can only be appropriated or understood properly by others when our description of it accords with that cultural... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy of Music Education Review 11.2 (2003) 112-129 [Access article in PDF] Musical Aphorisms and Common Aesthetic Quandaries Yaroslav Senyshyn Simon Fraser University, Canada I have written in the style of aphorisms because their form is useful for both the sake of brevity and possible complexity. As well, they are historically significant as they have served many philosophers in the past and in our own time. Some will (...) argue that they do not say enough, but this is unfounded as in saying less there is often scope for more. Who knows perhaps academe will experiment with this mode of writing more frequently?For the sake of a sense of direction, I will borrow Russell Nieli's title to his thoughtful book on Wittgenstein's philosophy, From Mysticism to Ordinary Language, 1 to characterize the procedure of these aphorisms. Thus my initial aphorisms begin with music as a thing-in-itself, a striving toward a Kantian noumenon 2 and move toward the everyday practical concerns of music education. There are no determinate limits to a philosophy of music; unfortunately, this is also true of confusion. The following aphorisms (while hardly exhaustive of any possible gamut of music philosophy) strive to demystify some of the more common aesthetic quandaries and hopefully provide an opportunity for a wider field of discussion in music philosophy and education. [End Page 112] Music: External and Internal Inferences Sound and silence as potentiation of music precedes human existence.If music precedes existence then it can never be defined in absolute terms of thought. It remains thus even if nothingness were an all-pervasive, encompassing silence (that is, the silence of music or music as silence). 3 Silence as music in our culture may be perceived to be music by some and not necessarily by all cultures. As the sound and silence that preceded our being, it is indeed music in everlasting potentiation.In this sense sound can only be philosophically inferred as the "other," outside music, which the pre-Socratic philosophers referred to mystically and metaphorically as "the music of the spheres"; it is that music outside of us and finds its origins in sounds indirectly related to us. 4 It is what I prefer to call the Sound and Silence that define and are defined by each other in their potentiation for music. Thus this sound is music as potential or dynamis if intended to be music and perceived as such. It is also the possible music or sounds of the environment and non-humans such as whales, elephants, and monkeys. But the latter is our perception of their "music" and not necessarily their own appropriation. In the former we can use or intend the sounds of the environment to be music if these are perceived as such by at least one other person.Thus all sound is music in potentiation.The notion of a possible pre-existence of music, as stated in the first aphorism, is then defined by music as both a source and external entity.As an external inference (that is, the possibility of such) music does not communicate with us; rather, we utilize it through our own means and culture to communicate by it indirectly. It becomes our social construct and thus not an absolute notion.This source of music can be verified as it is implicit in our respective societies and world cultures.A music which possibly or inferentially precedes existence is, of necessity, part of that possible catalyst of sound waves identified by modern-day physics by which the universe may have been formed. For this reason, such notions usually appropriated by world mythologies have made it possible to worship music, perceive it as a supernatural force, or even view it is a possible cause in the big bang theory. 5Music is embodied in experience in that it is appropriated by members of extant cultures for its own particular use. We can speak of music from within our personal experiences of it. But this can only be appropriated or understood properly by others when our description of it accords with that cultural... (shrink)

In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M. Fitting and the other one by E. Komendantskaya. All these systems were originally presented in the semantical way and based on the theory of recursion. However, the proof theory of them still is not fully developed. Thus, natural deduction sys- tems are built only for strong Kleene’s logic both with one (...) (A. Urquhart, G. Priest, A. Tamminga) and two designated values (G. Priest, B. Kooi, A. Tamminga). The purpose of this paper is to provide natural deduction systems for weak and intermediate regular logics both with one and two designated values. (shrink)

The purpose of this article is to offer a specific perspective on Puritan philosophy. Most of the early American philosophy of the Puritans dealt with theological issues, the main topics of philosophical speculation were the ideas of God, salvation, freedom, and others. However, there were some ideas, the presence of which is an important factor, which until now has been little taken into account. This factor is the genuine interest of the Puritans in the natural sciences. Both in England and (...) in America, there were favorable conditions for the new natural philosophy proclaimed by Francis Bacon, this natural philosophy offered a new type of thought. The English philosopher struggled with obstacles in the way of research, one of which was infallible authority, for example, the authority of Aristotle. One of the most curious facts about the colonial life of American settlers is the construction of Harvard College, which from the first days, preserved and increased knowledge. Among the sciences taught was astronomy, which indicates the interest of the Puritans in the study of space. The most important change in the scientific worldview of the times of the first colonies in North America was the adoption of the heliocentric system of Nicolaus Copernicus to replace the geocentric system of Ptolemy, which had existed for many centuries. Among the first books printed in the colonies were mainly religious texts, but there were also scientific ones, for example, astronomical almanacs and catalogs appeared. The information in these books helped in observing the heavenly bodies, for which the first optical instruments, telescopes, were used. Several decades after the first settlers in Plymouth, the first telescope appeared in America thanks to John Winthrop Jr. Taken together, these facts show that in addition to religious reflections, American Puritan thinkers were also interested in cosmological problems. (shrink)

In this paper, we study logical systems which represent entailment relations of two kinds. We extend the approach of finding ‘exactly true’ and ‘non-falsity’ versions of four-valued logics that emerged in series of recent works [Pietz & Rivieccio (2013). Nothing but the truth. Journal of Philosophical Logic, 42(1), 125–135; Shramko (2019). Dual-Belnap logic and anything but falsehood. Journal of Logics and their Applications, 6, 413–433; Shramko et al. (2017). First-degree entailment and its relatives. Studia Logica, 105(6), 1291–1317] to the case (...) of infectious logics, namely to the case of Deutsch's logic Sfde introduced in Deutsch [Relevant analytic entailment. The Relevance Logic Newsletter, 2(1), 26–44; The completeness of S. Studia Logica, 38(2), 137–147]. The particular systems obtained in this way are Setl and Snfl. We present them in the form of sequent calculi and prove corresponding soundness and completeness theorems. We illuminate the connection between Setl, Snfl and two well-known systems, strong Kleene three-valued logic K3 and Priest's Logic of Paradox LP. This connection allows us to investigate the characterisation of the entailment relations associated with Setl and Snfl as well as to introduce the notion of ‘infectious analogue’ of a certain logic. We also study implicative extensions of Setl and Snfl and prove soundness and completeness theorems for them as well. (shrink)

This paper considers normative dimensions of the memory of Ukrainians and the problem related to the post soviet model of memory in Ukrainian society. The author emphasizes the social and cultural determinants of the process of formation and development of soviet model of memory, its conceptualization in the Soviet and Post soviet world. The analysis is centered on the clash of European and post soviet discourses in the context of the conflict of identities. The paper raises some general problems regarding (...) these discourses as well as the development of values within the antonymic memory frames in the context of its belonging to certain socio-cultural traditions, its compatibility with the dimensions of morality, the observance of Low, social responsibility, solidarity and openness too changes. Sintering the different approaches to the values, experience of formation and evolution social institutions, it also explores the role of Central European changes in the process of memory reconstruction in Ukraine. The paper considers cultural and law foundations of social reconstruction and problems related to historical foundation of different grope and communities. The article emphasizes that the lack of legal consciousness, disrespect for the law, the spread of rooted traditions of revolutionary purposefulness and the post soviet stile telephone justice are the serious obstacle for changes of post soviet frame and changes within European Union. In this context the aim of social groups is oriented to their historical memory transformation as well as the development of common European experience, symbolic and values heritage. At the same time the role of civil society as European foundation for historical changes is analyzed. (shrink)

ABSTRACTIn this paper, we consider non-associative generalisations of Hájek's logics BL and psBL. As it was shown by Cignoli, Esteva, Godo, and Torrens, the former is the logic of continuous t-norms and their residua. Botur introduced logic naBL which is the logic of non-associative continuous t-norms and their residua. Thus, naBL can be viewed as a non-associative generalisation of BL. However, Botur has not presented axiomatization of naBL. We fill this gap by constructing an adequate Hilbert-style calculus for naBL. Although, (...) as was shown by Flondor, Georgescu, and Iorgulescu, there are no non-commutative continuous t-norms, Hájek's psBL can be viewed as BL's non-commutative generalisation. We present the logic psnaBL of psnaBL-algebras which can be viewed as naBL's non-commutative generalisation as well as psBL's non-associative generalisation and BL's both non-commutative and non-associative generalisation. (shrink)

The paragraph starting with “By accepting condition only,...” should be read as follows.

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...) other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

The review is devoted to an analysis of Nazip Khamitov’s new book “War in Ukraine and the New Humanism: David versus Goliath. Metaanthropology of history of the 21st century”, which was published in Bulgaria.

Shramko [. Truth, falsehood, information and beyond: The American plan generalized. In K. Bimbo, J. Michael Dunn on information based logics, outstanding contributions to logic...

Correspondence analysis is Kooi and Tamminga’s universal approach which generates in one go sound and complete natural deduction systems with independent inference rules for tabular extensions of many-valued functionally incomplete logics. Originally, this method was applied to Asenjo–Priest’s paraconsistent logic of paradox LP. As a result, one has natural deduction systems for all the logics obtainable from the basic three-valued connectives of LP -language) by the addition of unary and binary connectives. Tamminga has also applied this technique to the paracomplete (...) analogue of LP, strong Kleene logic \. In this paper, we generalize these results for the negative fragments of LP and \, respectively. Thus, the method of correspondence analysis works for the logics which have the same negations as LP or \, but either have different conjunctions or disjunctions or even don’t have them as well at all. Besides, we show that correspondence analyses for the negative fragments of \ and LP, respectively, are also suitable without any changes for the negative fragments of Heyting’s logic \ and its dual \ and LP). (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

B. Kooi and A. Tamminga present a correspondence analysis for extensions of G. Priest’s logic of paradox. Each unary or binary extension is characterizable by a special operator and analyzable via a sound and complete natural deduction system. The present paper develops a sound and complete proof searching technique for the binary extensions of the logic of paradox.

The development of recursion theory motivated Kleene to create regular three-valued logics. Remove it taking his inspiration from the computer science, Fitting later continued to investigate regular three-valued logics and defined them as monotonic ones. Afterwards, Komendantskaya proved that there are four regular three-valued logics and in the three-valued case the set of regular logics coincides with the set of monotonic logics. Next, Tomova showed that in the four-valued case regularity and monotonicity do not coincide. She counted that there are (...) 6400 four-valued regular logics, but only six of them are monotonic. The purpose of this paper is to create natural deduction systems for them. We also describe some functional properties of these logics. (shrink)

Формування рефлексії як схеми мислення та тригера практичної дії у стародавньому світі було важливим чинником виникнення феномена «вісьового часу» (К.Ясперс). У цей період виникли мораль як рефлексія та регулятор вольової діяльності, логіка як рефлексивне відслідковування істинності руху думки, демократія як рефлексивне взаємовизнання громадянами гідності один одного, монотеїстичні релігії (юдаїзм, брахманізм, веданта, християнство, деякі школи будизму), а також класична філософія. Рефлексія як компонент самосвідомості стала важливим механізмом самоорганізації ідентичності, починаючи з вісьового часу. Сократ виявив необхідність рефлексивного усвідомлення відмінності загального від одиничного (...) у процесі мислення та сприяв усвідомленню моралі як форми суспільної свідомості. Платон сформулював ідею мислення як бесіди душі із самою собою та рефлексивного осмисленного переходу від однієї ідеї до іншої у процесі мислення. Аристотель з’ясував, що відчуття, сприйняття, уява супроводжуються своєрідним сприйняттям-мисленням (усвідомленням, рефлексією), але останнє є вищим за природою, ніж перші, та, на противагу цьому, розум мислить божественне, що є однією природою з ним, і є мисленням мислення. (shrink)

There are two implicit semantic postulates underlying modern predicate logic. Hence predicate logic is not semantically neutral. The author proposes to take semantically neutral languages, which have no predicate categorial structure but replace the notion of predicate with general notion of function. Some function calculi for different semantics are demonstrated.

The paper is the Part IV of the large research, dedicated to both revision of the system of basic logical categories and generalization of modern predicate logic to functional logic. The topic of the paper is consideration of graphs of functions and relations as a derivative and definable category of ultra-Fregean logistics. There are two types of function specification: an operational specification, in which a function is first applied to arguments and then the value of the function is entered as (...) the result of such application, and a grammar specification, in which an object is first entered and then represented as a value of the function on the given arguments. Since function specifications are relations themselves (which was shown in the previous article of the series), this means that each function forms two relations: the obverse (for an operational specification) and the reverse one (for a grammatical specification). Hence, the definitions introduce two types of graphs: the obverse graph of a function, or a graph of the obverse relation formed by this function, is a set of sequences of such objects, the last of which is a value of this function on the sequence of other of these objects as arguments of the same function. Similarly, the reverse graph of a function, or the graph of the reverse relation formed by this function, is called a set of sequences of such objects, the first of which is the value of this function on the sequence of other of these objects as arguments of the same function. In the limiting case of 0-ary functions, both graphs of any such function coincide. Gottlob Frege discovered obverse graphs of functions and called them function value-ranges. He fundamentally emphasized the non-identity of functions and their graphs. Unfortunately, in set theory under the influence of Giuseppe Peano, an alternative approach was adopted, according to which functions and relations are identical to their graphs and, ultimately, to each other. We show that this approach leads to two unacceptable and, at the same time, mutually contradictory conclusions, and must therefore be rejected. (shrink)

The aggravation of the global environmental and military-political crisis has become evidence that the postmodern era has ended and the time has come for post-postmodern and profound civilizational transformation, the technological base of which is renewable energy and artificial intelligence; the main social environment is distributed capitalism (J. Rifkin) and social networks; and the main driving forces and mechanisms of social self-organization are humanity, competitiveness and double reflection (E. Giddens). Since humanity has not yet fully actualized the basic values of (...) survival and development and has not paid enough attention to the problem of climate catastrophe, more drastic measures to mitigate it will be implemented in the process of its deployment (A. Honnacker) and in the difficult conditions of military-political opposition to democracy and authoritarianism. One of the main rational worldview and practical guidelines of post-postmodernism is classical Pragmatism, which is based on human experience, an important element of which should be scientific knowledge, which is confirmed experimentally. Societies that are dominated by pragmatic and democratic egalitarian relations that promote human self-realization and creative freedom can channel natural aggressiveness into competition to improve the well-being of all its members. The ruling elite in totalitarian societies, in which man is humiliated and exploited, and in which aggressiveness accumulates due to polarization into upper and lower classes of the population, may start wars in order to prevent self-destruction from within, directing aggression outwards against other countries. Therefore, the global community in today's conditions needs to expand the worldview and orientation horizon of every citizen of the world from the everyday concerns of life support to the understanding and actualization of the absolute values of survival and development of humanity. Pragmatism, from a purely methodological point of view, is aimed at ensuring that a person is guided by life experience in his activity and cognition, putting forward certain hypotheses regarding his own activity and cognition, simultaneously and/or later experimentally testing these hypotheses on the basis of practical results. Thanks to the pragmatist approach, a person increasingly experiments with the choice of innovative behavior models and avoids predetermined outdated life guidelines and ideological grand narratives. Based on her own experience and online social communication with other people, he or she is convinced of the effectiveness of certain value models of behavior that have not only a socio-economic, but also a moral dimension. A pragmatist approach focused on global human values of survival and development is an important tool that should ensure urgent civilizational transformation and the avoidance of destructive environmental and military-political disasters. In the conditions of modern civilizational transformation, survival is possible only with a radical intensification of the development of human-centered social self-organization. (shrink)

На основі синергетичної методології (І.Пригожин, Г.Хакен та ін.) в останню третину ХХ століття формується концепція соціальної самоорганізації, якій спочатку певною мірою був притаманний фізикалістський підхід до розуміння суспільства. На початку ХХІ століття концепція самоорганізації соціуму стає все більш людиномірною (Е.Гіденс, Н.Луман, К.Фухс, Ф.Хейліген, Ф.Шлем та ін.). Людина своєю діяльністю та комунікацією з іншими людьми продукує соціальну структуру, а остання, своєю чергою, спрямовує людську діяльність. Внаслідок цього соціальна система стає самовідтворюваною соціальною системою, а ця самовідтворюваність ґрунтується на творчій діяльності людської істоти. (...) Самоорганізація суспільства у ХХІ столітті є багатовимірною та багаторівневою. Основою самоорганізації суспільства знизу є протестні рухи, основою самоорганізації яких є самоорганізація кіберпротесту, а основою самоорганізації останнього є самоорганізація комунікації в інтернеті; остання базується на самоорганізації відповідного самоменеджменту знання і т.п. (К.Фухс). Новий підхід до ідеї самоорганізації суспільства є дуже перспективним і потребує ретельного дослідження. (shrink)