Results for 'Yaroslav Senyshyn'

(not author) ( search as author name )
159 found
Order:
  1.  23
    Musical Aphorisms and Common Aesthetic Quandaries.Yaroslav Senyshyn - 2003 - Philosophy of Music Education Review 11 (2):112-129.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  33
    Musical Aphorisms and Common Aesthetic Quandaries.Yaroslav Senyshyn - 2003 - Philosophy of Music Education Review 11 (2):112-129.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  21
    The Good and its Relation to Music Education.Yaroslav Senyshyn - 2008 - Philosophy of Music Education Review 16 (2):174-192.
    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' (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  10
    Plato: His Precursors, His Educational Philosophy, and His Legacy.Yaroslav Senyshyn - 2008 - Paideusis: Journal of the Canadian Philosophy of Education Society 17 (2):91-98.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  9
    A Kierkegaardian perspective on society and the status of the individual as a performing musician.Yaroslav Senyshyn - forthcoming - Philosophy of Music Education Review.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  16
    Kierkegaard's Aesthetic Stage of Existence and Its Relation to Live Musical Performance.Yaroslav Senyshyn - forthcoming - Philosophy of Music Education Review.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  34
    Subjective experience of anxiety and musical performance: A relational perspective.Yaroslav Senyshyn & Susan A. O'Neill - forthcoming - Philosophy of Music Education Review.
  8.  28
    Wittgenstein, Collingwood, and the Aesthetic and Ethical Conundrum of Opera.Yaroslav Senyshyn & Danielle Vézina - forthcoming - Philosophy of Music Education Review 10 (1):27-35.
  9. A Response to Yaroslav Senyshyn and Susan A. O'Neill," Subjective Experience of Anxiety and Musical Performance: A Relational Perspective".Stephen F. Zdzinski - forthcoming - Philosophy of Music Education Review.
     
    Export citation  
     
    Bookmark  
  10.  42
    Order-Based Inference in Natural Logic.Yaroslav Fyodorov, Yoad Winter & Nissim Francez - 2003 - Logic Journal of the IGPL 11 (4):385-416.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  11.  20
    The third Ukraine: A case of civic nationalism.Yaroslav Hrytsak - 2024 - Philosophy and Social Criticism 50 (4):674-687.
    To some extent, the current Russian-Ukrainian may be described as a conflict between two visions of nation, respectively, ethnic and civic models. Putin believes that a language defines a nation. In his understanding, since many Ukrainians are Russian speakers, they are Russians. His perception of Ukraine is anachronistic. He has failed to notice Ukraine's radical transformation since it gained independence. The current Ukrainian identity has a strong civic component. Its core is represented by a new urban middle class with a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  5
    The Main Factors Influencing the Socialization of Students in PostPandemic Period.Yaroslav Haleta, Oksana Filonenko, Olexander Ratsul, Anatoliy Ratsul & Tetiana Babenko - 2021 - Postmodern Openings 12 (3):245-256.
    Successful reform of the higher education system in the context of COVID-19, both in a single country and in the world in the context of its development toward democratization, requires updated approaches to assessing the results of socialization of various categories of young people, and especially students. Since student age is a period of active formation of the inner need of a person to correlate his own aspirations with the interests of society, it is sensitive for the assimilation of social (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  27
    Ціннісні засади польської модернізації: М. дзельський.Yaroslav Pasko - 2014 - Схід 3 (129):98-102.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Truth, Falsehood, Information and Beyond: The American Plan Generalized.Yaroslav Shramko - 2016 - In Katalin Bimbó (ed.), J. Michael Dunn on Information Based Logics. Cham, Switzerland: Springer.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  15.  24
    Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  22
    Automated correspondence analysis for the binary extensions of the logic of paradox.Yaroslav Petrukhin & Vasily Shangin - 2017 - Review of Symbolic Logic 10 (4):756-781.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17.  53
    Exactly true and non-falsity logics meeting infectious ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  27
    Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics.Yaroslav I. Petrukhin - 2017 - Logica Universalis 11 (4):525-532.
    In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  22
    Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis.Yaroslav Petrukhin & Vasilyi Shangin - forthcoming - Logic and Logical Philosophy:1.
  20.  19
    Correspondence Analysis for Some Fragments of Classical Propositional Logic.Yaroslav Petrukhin & Vasilyi Shangin - 2021 - Logica Universalis 15 (1):67-85.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  6
    Moral Discussions Around Literature: The Example of O. Wilde and G. D. Salinger.Yaroslav Moskvin - 2018 - Visnyk of the Lviv University Series Philosophical Sciences 20 (20):104.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  3
    Language of the Golden rule of ethics in digital reality: search for realization in virtual dialogue.Yaroslav Mudryakov & Vasilisa Klenovskaya - 2019 - Sotsium I Vlast 1:112-120.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  20
    Non-transitive Correspondence Analysis.Yaroslav Petrukhin & Vasily Shangin - 2023 - Journal of Logic, Language and Information 32 (2):247-273.
    The paper’s novelty is in combining two comparatively new fields of research: non-transitive logic and the proof method of correspondence analysis. To be more detailed, in this paper the latter is adapted to Weir’s non-transitive trivalent logic \({\mathbf{NC}}_{\mathbf{3}}\). As a result, for each binary extension of \({\mathbf{NC}}_{\mathbf{3}}\), we present a sound and complete Lemmon-style natural deduction system. Last, but not least, we stress the fact that Avron and his co-authors’ general method of obtaining _n_-sequent proof systems for any _n_-valent logic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  22
    Natural Deduction for Post’s Logics and their Duals.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (1-2):83-100.
    In this paper, we introduce the notion of dual Post’s negation and an infinite class of Dual Post’s finitely-valued logics which differ from Post’s ones with respect to the definitions of negation and the sets of designated truth values. We present adequate natural deduction systems for all Post’s k-valued ) logics as well as for all Dual Post’s k-valued logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25. The trilaticce of constructive truth values.Yaroslav Shramko, J. Michael Dunn & Tatsutoshi Takenaka - 2001 - Journal of Logic and Computation 11 (1):761--788.
     
    Export citation  
     
    Bookmark   37 citations  
  26.  76
    Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  27. Hyper-contradictions, generalized truth values and logics of truth and falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  28.  8
    Ресурс та рефлексія свободи у добу цивілізаційних трансформацій.Yaroslav Lyubiviy - 2020 - Multiversum. Philosophical Almanac 1 (2):3-15.
    У добу радикальної цивілізаційної трансформації суспільства та досягнення ним нового рівня складності, загострюється проблема віднаходження ресурсів свободи та свободи вибору людини. Обмеженість природних ресурсів спонукає людину віднаходити внутрішні, рефлексивні, інтелектуально-духовні ресурси виживання та свободи самореалізації, що дає можливість у перспективі перейти, крім іншого, до екологічної рівноваги між природою та суспільством та запобігти кліматичному колапсу людства. Цивілізаційний розвиток розширює горизонт свободи людини і, водночас, ставить її перед проблемою ресурсного забезпечення для реалізації нових можливостей свободи, одним із важливих ресурсів якої є рефлексія. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  4
    Methodological peculiarities of study of polyvector history of parishes, monasteries and eparchies of Ukrainian Greek Catholic Church.Yaroslav Stockiy - 2014 - Ukrainian Religious Studies 71:161-171.
    Jaroslav Stotskyi. Methodological peculiarities of study of polyvector history of parishes, monasteries and eparchies of Ukrainian Greek Catholic Church. The article reveals investigation methodology of history of eparchy main activity constituents, namely history of establishment, development, integral parts of eparchy transformations – parishes, monasteries, parish communities, brotherhoods, catechetic processes, monastery religious and social institutions etc.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  9
    Protestantism and sectarianism of the Ternopil region under the repressive eye of special services.Yaroslav Stockiy - 2004 - Ukrainian Religious Studies 30:123-136.
    After Stalin's death, the struggle for power took place in the top of the CPSU, and in the lower echelons they took a standstill, so in 1953, in the reports of the ROC Commissioner and the Commissioner of Religious Cults, he was formally restrained.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  5
    State policy of cancellation of Rome-Catholic Church parishes network in Galician rеgion.Yaroslav Stockiy - 2015 - Ukrainian Religious Studies 73:149-158.
    The article deals with the main reasons, processes and consequences of minimization of Roman Catholic network in Lviv, Ternopil and Stanislav regions in consequence of state policy in the area of religion in late Stalinism and Khrushchev periods.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    The comparative triad "state-education-church" in Ukraine and some countries of Western Europe.Yaroslav Stockiy - 2014 - Ukrainian Religious Studies 70:53-60.
    The urgency of the topic is due to the lack of research on the problem of the school curriculum with regard to the special elective course "Fundamentals of Christian ethics", its curriculum, the professionalism of teachers, the role of students in education, certain religious uniqueness in polyconfessional Ukraine, and comparison with religious studies in public, private or church schools of some Western European countries.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  20
    Tibetan Buddhism and Mystical Experience.Yaroslav Komarovski - 2015 - New York: Oxford University Press USA.
    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 (...)
  34.  55
    Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  35.  41
    First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.
    We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, it is possible (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  36.  25
    The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2019 - Journal of Philosophical Logic 48 (5):787-808.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  18
    The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2019 - Journal of Philosophical Logic 48 (5):787-808.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  38.  20
    Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.
    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, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  39.  35
    On Vidal's trivalent explanations for defective conditional in mathematics.Yaroslav Petrukhin & Vasily Shangin - 2019 - Journal of Applied Non-Classical Logics 29 (1):64-77.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  46
    A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.
  41.  52
    Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System.Heinrich Wansing & Yaroslav Shramko - 2008 - Studia Logica 88 (3):405-429.
    According to Suszko’s Thesis, there are but two logical values, true and false. In this paper, R. Suszko’s, G. Malinowski’s, and M. Tsuji’s analyses of logical twovaluedness are critically discussed. Another analysis is presented, which favors a notion of a logical system as encompassing possibly more than one consequence relation. [A] fundamental problem concerning many-valuedness is to know what it really is. [13, p. 281].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  42.  11
    Ukraine as a carrier of the new humanism: the way to victory over neo-totalitarism?Yaroslav Lyubiviy - 2024 - Filosofiya osvity Philosophy of Education 29 (2):255-258.
    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.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  51
    The logical way of being true: Truth values and the ontological foundation of logic.Yaroslav Shramko - 2014 - Logic and Logical Philosophy 23 (2):119-131.
    In this paper I reject the normative interpretation of logic and give reasons for a realistic account based on the ontological treatment of logical values.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  26
    Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko - 2017 - Logica Universalis 11 (3):317-343.
    A modal extension of multilattice logic, called modal multilattice logic, is introduced as a Gentzen-type sequent calculus \. Theorems for embedding \ into a Gentzen-type sequent calculus S4C and vice versa are proved. The cut-elimination theorem for \ is shown. A Kripke semantics for \ is introduced, and the completeness theorem with respect to this semantics is proved. Moreover, the duality principle is proved as a characteristic property of \.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  45. Символічна логіка: повернення до витоків. Стаття ІІІ. Похідні логістичні категорії.Yaroslav Kokhan - 2021 - Multiversum. Philosophical Almanac 2 (2):141-155.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  19
    Truth Values. Part I.Yaroslav Shramko & Heinrich Wansing - 2009 - Studia Logica 91 (3):429-455.
    The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false. In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim that the slingshot (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47.  3
    Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.Yaroslav Petrukhin - forthcoming - Journal of Logic, Language and Information:1-18.
    In this paper, we introduce the notions of connexive and bi-intuitionistic multilattices and develop on their base the algebraic semantics for Kamide, Shramko, and Wansing’s connexive and bi-intuitionistic multilattice logics which were previously known in the form of sequent calculi and Kripke semantics. We prove that these logics are sound and complete with respect to the presented algebraic structures.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  8
    Cosmology in the Philosophical Education of Ukraine: History and Modern Condition.Sergii Rudenko, Yaroslav Sobolievskyi & Vadym Tytarenko - 2018 - Philosophy and Cosmology 20 (1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  30
    Entailment relations and/as truth values.Yaroslav Shramko & Heinrich Wansing - 2007 - Bulletin of the Section of Logic 36 (3/4):131-143.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  11
    Provability multilattice logic.Yaroslav Petrukhin - 2023 - Journal of Applied Non-Classical Logics 32 (4):239-272.
    In this paper, we introduce provability multilattice logic PMLn and multilattice arithmetic MPAn which extends first-order multilattice logic with equality by multilattice versions of Peano axioms. We show that PMLn has the provability interpretation with respect to MPAn and prove the arithmetic completeness theorem for it. We formulate PMLn in the form of a nested sequent calculus and show that cut is admissible in it. We introduce the notion of a provability multilattice and develop algebraic semantics for PMLn on its (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 159