Results for 'Sergey Sudoplatov'

337 found
Order:
  1.  38
    Semi-Isolation and the Strict Order Property.Sergey Sudoplatov & Predrag Tanović - 2015 - Notre Dame Journal of Formal Logic 56 (4):555-572.
    We study semi-isolation as a binary relation on the locus of a complete type and prove that—under some additional assumptions—it induces the strict order property.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  2.  40
    A General Framework for $$ {FDE}$$ FDE -Based Modal Logics.Sergey Drobyshevich - 2020 - Studia Logica 108 (6):1281-1306.
    We develop a general theory of FDE-based modal logics. Our framework takes into account the four-valued nature of FDE by considering four partially defined modal operators corresponding to conditions for verifying and falsifying modal necessity and possibility operators. The theory comes with a uniform characterization for all obtained systems in terms of FDE-style formula-formula sequents. We also develop some correspondence theory and show how Hilbert-style axiom systems can be obtained in appropriate cases. Finally, we outline how different systems from the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  42
    The Concept of Neopatristic Synthesis at a New Stage.Sergey S. Horujy - 2019 - Russian Studies in Philosophy 57 (1):17-39.
    The structure of G. V. Florovsky’s concept of neopatristic synthesis is analyzed and reassessed here in light of the current state of philosophy and theology. As a result, the concept receives a ne...
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  52
    Unification in linear temporal logic LTL.Sergey Babenyshev & Vladimir Rybakov - 2011 - Annals of Pure and Applied Logic 162 (12):991-1000.
    We prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  65
    Iamblichus’ Response to Aristotle’s and Pseudo-Archytas’ Theories of Time.Sergey Trostyanskiy - 2016 - Forum Philosophicum: International Journal for Philosophy 21 (2):187-213.
    This article aims to shed light on certain aspects of Iamblichus’ theory of time that have not been sufficiently examined to date in the scholarly literature. As of today, there are a mere handful of scholarly works tackling Iamblichus’ solutions to the paradoxes of time in particular, and his contribution to the developments of the Neoplatonic theory of the subject more generally. This article attempts to redress the lack of literature on this topic by examining Iamblichus’ response to Aristotle’s and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. Collective Action and the Evolution of Social Norm Internalization.Sergey Gavrilets & Peter J. Richerson - 2017 - Proceedings of the National Academy of Sciences 114 (23):6068--6073.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  7.  28
    Value theory in twentieth-century Russian philosophy.Sergey F. Anisimov - 1996 - Journal of Value Inquiry 30 (1-2):91-100.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  18
    Behavioral equivalence of hidden k -logics: An abstract algebraic approach.Sergey Babenyshev & Manuel A. Martins - 2016 - Journal of Applied Logic 16:72-91.
  9. Introduction.Sergey Dolgopolski & James Adam Redfield - 2024 - In Sergey Dolgopolski & James Adam Redfield (eds.), Talmud /and/ philosophy: conjunctions, disjunctions, continuities. Bloomington, Indiana: Indiana University Press.
     
    Export citation  
     
    Bookmark  
  10.  49
    Equilibrium and potential in coalitional congestion games.Sergey Kuniavsky & Rann Smorodinsky - 2014 - Theory and Decision 76 (1):69-79.
    The model of congestion games is widely used to analyze games related to traffic and communication. A central property of these games is that they are potential games and hence posses a pure Nash equilibrium. In reality, it is often the case that some players cooperatively decide on their joint action in order to maximize the coalition’s total utility. This is modeled by Coalitional Congestion Games. Typical settings include truck drivers who work for the same shipping company, or routers that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  17
    Reproductive opportunities of human capital development in the conditions of digitalization.Sergey Vladimirovich Sokolov - 2021 - Kant 41 (4):90-95.
    The purpose of the study is to characterize the reproductive capabilities of human capital at the regional level. The article presents the results of a study concerning the state of factors determining the reproduction of human capital in the conditions of digitalization. The analysis of each of the indicators characterizing the reproductive capabilities of the human capital of the region is carried out. Special attention is paid to the quantitative and qualitative characteristics of the factors of reproduction of human capital, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  64
    (1 other version)Unconscious neural processing differs with method used to render stimuli invisible.Sergey V. Fogelson, Peter J. Kohler, Kevin J. Miller, Richard Granger & Peter U. Tse - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  13.  50
    A text on biosemiotic themes.Sergey V. Chebanov & Anton Markoš - 2009 - Sign Systems Studies 37 (1/2):332-343.
    What follows is a two-part review of Günther Witzany’s two-part book, The Logos of the Bios. The first part of the review is written by Sergey Chebanov, and it approaches the text as a source of ideas on biosemiotics and biohermeneutics. The second part is written by Anton Markoš, and it estimates the biological pithiness of the book and the correctness of the reflection of the included data of modern biology.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  21
    Dare to Know, or the Gospel According to Kant.Sergey N. Gradirovsky - 2023 - Kantian Journal 42 (2):141-170.
    In the course of a close analysis of Kant’s essay in which he gives his original answer to the question, “What is Enlightenment?” I examine the causes and consequences of the theses about Enlightenment which makes a plea for emancipation from the shackles of guardianship, above all by getting rid of one’s own cowardice. In search of an answer to the question, “What is the real reason of self-incurred immaturity?” I consider the bifurcation: Is it all about unjust social institutions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  82
    Π 1 1 relations and paths through.Sergey S. Goncharov, Valentina S. Harizanov, Julia F. Knight & Richard A. Shore - 2004 - Journal of Symbolic Logic 69 (2):585-611.
  16.  27
    Voice and bodily deixis as manifestation of performativity in written texts.Sergey Proskurin & Vladimir Feshchenko - 2019 - Semiotica 2019 (227):317-334.
    This article deals with voice and bodily deixis as manifestations of performativity in written texts. A speech act of origin presents as both vocal and performative events. Ritual matrixes of culture contain performative complexes, as suggested by Austin. Such performative nuclei are neither true nor false, that is, their negation cannot be logically inferred from true premises. The term deixis describes the performative moment of the utterance, its active and transformative force. The first embodied deictic utterance in Western history would (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  11
    Corruption in Russia: institutional foundations.Sergey Moshkin - 2019 - Sotsium I Vlast 1:72-78.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  24
    American World Order: The End of the ‘End of History’.Sergey Chugrov - 2015 - Japanese Journal of Political Science 16 (3):442-449.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  32
    Some effectively infinite classes of enumerations.Sergey Goncharov, Alexander Yakhnis & Vladimir Yakhnis - 1993 - Annals of Pure and Applied Logic 60 (3):207-235.
    This research partially answers the question raised by Goncharov about the size of the class of positive elements of a Roger's semilattice. We introduce a notion of effective infinity of classes of computable enumerations. Then, using finite injury priority method, we prove five theorems which give sufficient conditions to be effectively infinite for classes of all enumerations without repetitions, positive undecidable enumerations, negative undecidable enumerations and all computable enumerations of a family of r.e. sets. These theorems permit to strengthen the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  16
    Analysis of performance of medical college students with vegetative dysfunction in subject “anesthesiology and emergency medicine” on top of vitamin therapy.Guzun Sergey & Guzun Olga - 2016 - Science and Education: Academic Journal of Ushynsky University 10:39-45.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  20
    Global Consciousness as a Cultural and Historical Concept.Sergey Iagodzinskiy - 2016 - Studia Z Historii Filozofii 6 (4):139-148.
    Globalna świadomość jako pojęcie kulturowe i historyczne Artykuł stanowi analizę idei głoszonych przez przedstawicieli filozofii kosmicznej. Przedstawiony zostaje kulturowy, historyczny i cywilizacyjny charakter zjawiska świadomości globalnej. Dowodzi się w nim, że świadomość globalna jest częścią społecznego i kulturowego potencjału globalnych sieci informacyjnych oraz że może ona wskazywać perspektywę rozwoju obdarzonej rozumem ludzkości.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  16
    Developmental Changes in ANS Precision Across Grades 1–9: Different Patterns of Accuracy and Reaction Time.Sergey Malykh, Yulia Kuzmina & Tatiana Tikhomirova - 2021 - Frontiers in Psychology 12.
    The main aim of this study was to analyze the patterns of changes in Approximate Number Sense precision from grade 1 to grade 9 in a sample of Russian schoolchildren. To fulfill this aim, the data from a longitudinal study of two cohorts of children were used. The first cohort was assessed at grades 1–5, and the second cohort was assessed at grades 5–9. ANS precision was assessed by accuracy and reaction time in a non-symbolic comparison test. The patterns of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  16
    Economic Security as a Scientific Category: Theoretical and Methodological Aspect of Research.Sergey Efimovich Metelev - 2015 - Annales Umcs. Sectio I 39 (2):81-91.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  5
    On the concept of "metaphysics of faith".Sergey Nignikov - 2015 - Journal of Philosophical Researchжурнал Философских Исследований 1 (1):49-71.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Foundations of spiritual anthropology.Sergey Nizhnikov - 2015 - In Teresa Obolevitch & Paweł Rojek (eds.), Faith and reason in Russian thought. Kraków: Copernicus Center Press.
     
    Export citation  
     
    Bookmark  
  26.  42
    Coherent phase spaces. Semiclassical semantics.Sergey Slavnov - 2005 - Annals of Pure and Applied Logic 131 (1-3):177-225.
    The category of coherent phase spaces introduced by the author is a refinement of the symplectic “category” of A. Weinstein. This category is *-autonomous and thus provides a denotational model for Multiplicative Linear Logic. Coherent phase spaces are symplectic manifolds equipped with a certain extra structure of “coherence”. They may be thought of as “infinitesimal” analogues of familiar coherent spaces of Linear Logic. The role of cliques is played by Lagrangian submanifolds of ambient spaces. Physically, a symplectic manifold is the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  39
    Social Action and its Sense: Historical Hermeneutics after Ricoeur.Sergey Zenkin - 2012 - Études Ricoeuriennes / Ricoeur Studies 3 (1):86-101.
    In the 1970s, particularly in his article “The Model of the Text: Meaningful Action Considered as a Text”, Paul Ricœur proposed a hypothesis concerning the homology between the text and social action. That hypothesis is not reducible to the narrative logic prevailing in late Ricœur’s writings, and we are searching to elucidate its further implications in social sciences. A new hermeneutics of social meanings can be founded upon it, enriched by the methodological experience of structural semiotics and taking into account (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  28.  41
    Out of sorts? Some remedies for theories of object concepts: A reply to Rhemtulla and Xu (2007).Sergey V. Blok, George E. Newman & Lance J. Rips - 2007 - Psychological Review 114 (4):1096-1102.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  53
    Artificial intelligence, culture and education.Sergey B. Kulikov & Anastasiya V. Shirokova - 2021 - AI and Society 36 (1):305-318.
    Sequential transformative design of research :224–235, 2015; Groleau et al. in J Mental Health 16:731–741, 2007; Robson and McCartan in Real world research: a resource for users of social research methods in applied settings, Wiley, Chichester, 2016) allows testing a group of theoretical assumptions about the connections of artificial intelligence with culture and education. In the course of research, semiotics ensures the description of self-organizing systems of cultural signs and symbols in terms of artificial intelligence as a special set of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  18
    Актуальность идей прокла диадоха в современной культуре.Sergey Kulikov - 2014 - Schole 8 (1):126-135.
    The paper defends the thesis that Proclus Diadochus’ ideas are still relevant in modern culture. It appears that the ideas of Neoplatonism as a whole and these of Proclus’ in particular matter at least in some aspects of modern culture, such as the foundations of politics, the basic characteristics of philosophy and the fundamental aspects of understanding of the human existence. In the sphere of politics, one can note the ideas useful for creating of the non-totalitarian forms of ideology. In (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  56
    Proper Names in the Legal Terminology of the English Language.Sergey P. Khizhnyak & Alexander A. Zaraiskiy - 2020 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 33 (3):543-558.
    The article deals with the problem of coining terms and nomenclature signs with proper names illustrated by the example of the English language legal terminology. The article begins with the discussion of the problems of intersection of two linguistic areas and differentiation between terms and nomenclature signs. It is observed that linguistic units with proper names possess a cultural specificity in the legal English as compared to the Russian terminological system of law. Linguistic and extra-linguistic factors influencing language units’ formation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  16
    Is the Kantian Transcendentalism Idealism? Kant's Conceptual Realism.Sergey Katrechko - 2021 - Studies in Transcendental Philosophy 2 (1).
    In my paper I argue, relying on Kantian definitions and conceptual distinctions, the thesis that Kantian transcen-dental philosophy, which he characterizes as a second-order system of transcendental idealism, is not [empirical] idealism, but a form of realism (resp. compatible with empirical realism [A370-1]). As arguments in favor of this “realistic” thesis, I consistently develop a realistic interpretation of the Kant’s concept of appearance (the theory of “two aspects”), as well as of Kantian Copernican revolution, of his theory of intuition as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  18
    Kant's "Idea [project] of Transcendental Philosophy".Sergey Katrechko - 2020 - Studies in Transcendental Philosophy 1 (1).
    At the present time, there are several interpretations and modes of Kant’s transcendental philosophy (TP). Which of these interpretations and modes of transcendentalism most adequately express the spirit of TP, i.e. can claim the title of the transcendental ones? For the explication of the ‘idea of transcendental philosophy’ [KrV, A1], here I distinguish two transcendental shifts: methodological and metaphysical ones, which in their totality predetermine the essence and set the specificity of Kant’s transcendental idealism. The methodological transcendental shift that Kant (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  24
    On the equivalence of paraconsistent and explosive versions of Nelson logic.Sergey Odintsov - 2014 - In On the equivalence of paraconsistent and explosive versions of Nelson logic. pp. 259-272.
  35.  8
    The Concept “World (die Welt)” in the Transcendental Perspective.Sergey Katrechko - 2020 - Studies in Transcendental Philosophy 1 (2-3).
    The topic of this article is the problem of World and Infinity. The concepts “Weltanschauung,” (I. Kant) and “Umgreifende” (K. Jaspers) are introduced. A transcendental analysis of the concepts "World" and "Infinite" as ideas of reason is carried out. The theory of the world by L. Tengely is analyzed. Metaphysical and mathematical interpretations of the infinite are compared (actual and potential infinity, openness, horizon).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  12
    Role of formal and informal institutions in the civil society development.Sergey Zyryanov & Anatoly Lukin - 2020 - Sotsium I Vlast 2:7-18.
    Today, scientific discussions on the specifics of the development of civil society in Russia do not stop. The institutional approach allows us to look at this problem through the prism of formal and informal institutions existing in society. Researchers and practitioners should not focus only on the rule of law, official prescriptions and orders, setting the framework for interactions between authorities and citizens, promoting private initiatives, and realizing the rights and freedoms of the population. If they do not correspond to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  28
    Time of Mentality.Sergey Demensky - 2008 - Proceedings of the Xxii World Congress of Philosophy 15:37-46.
    From descriptive interpretation of "understanding" to abstract-gnosiological understanding of mentality. The historical deconstruction of the existential understanding introduced as ontologic property of constantly becoming stable "Being-in-the-World" allows us to interpret this concept as mentality. Through theprism of existential philosophy in general and its interpreters such as Jacque Le Goff it allows us to make a conclusion that mentality is one of complete formations of public consciousness. But in the course of such interpretation of mentality it is important to avoid the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  26
    Disentangling Structural Connectives or Life Without Display Property.Sergey Drobyshevich - 2019 - Journal of Philosophical Logic 48 (2):279-303.
    The work is concerned with the so called display property of display logic. The motivation behind it is discussed and challenged. It is shown using one display calculus for intuitionistic logic as an example that the display property can be abandoned without losing subformula, cut elimination and completeness properties in such a way that results in additional expressive power of the system. This is done by disentangling structural connectives so that they are no longer context-sensitive. A recipe for characterizing structural (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. The physical theories and infinite hierarchical nesting of matter, Volume 1.Sergey G. Fedosin - 2014 - LAP LAMBERT Academic Publishing.
    With the help of syncretiсs as a new philosophical logic, the philosophy of carriers, the theory of similarity and the theory of Infinite Hierarchical Nesting of Matter, the problems of modern physics are analyzed. We consider the classical and relativistic mechanics, the special and general theories of relativity, the theory of electromagnetic and gravitational fields, of weak and strong interactions. The goal is axiomatization of these theories, building models of elementary particles and of their interactions with each other. The main (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  9
    Analyzing the transformation of “green zones” in a heterogeneous social space: as exemplified by the agglomeration of Chelyabinsk and the city pine forest.Sergey Gordeev, Andrey Kocherov & Vera Merker - 2021 - Sotsium I Vlast 4:83-93.
    The research is focused on the problems of transforming a complex heterogeneous spatial system, urban agglomeration with a unique natural complex. The paper touches upon the following issues: restrictions on spatial development, zoning of territories, transformation of the settlement framework, social transformations, and integration of the most significant city-forming objects. To predict transformations in such a system, a complex multilevel model is considered — “the biosphere core vs. urban environment”. Forming such a model to analyze the prospective development of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  12
    Філософський аналіз телеіндустрії: від дискурсу домінантних структур до домінування дискурсу.Sergey Gulevsky - 2019 - Multiversum. Philosophical Almanac 5:66-79.
    Статтю присвячено розгляду телеіндустрії під філософським кутом зору. Зокрема, здійснено аналіз критичних теорій щодо економічних основ телеіндустрії, її функціонування як медіа та особливості означування у соціокультурному просторі. Розглянуто концепції масової культури Макса Горкгаймера і Теодора Адорно, дослідження інструментального характеру мас-медіа Гербертом Маркузе, суспільства спектаклю Гі Дебора, телематичного екрану Жана Бодріяра, неотрайбалізму Мішеля Маффесолі. Телеіндустрія постає як один з найбільш характерних проявів масової культури, а з іншого боку – як центральний елемент сучасної культурної індустрії. Розглянуто телесеріали як один з найбільш впливових (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  9
    Methodology of Science and Scientific Knowledge Levels.Sergey A. Lebedev - 2014 - European Journal of Philosophical Research 1 (1):65-72.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  35
    Rate-Agnostic Structure Learning.Sergey Pils, David Danks, Cynthia Freeman & Vince Calhoun - unknown
    Causal structure learning from time series data is a major scientific challenge. Existing algorithms assume that measurements occur sufficiently quickly; more precisely, they assume that the system and measurement timescales are approximately equal. In many scientific domains, however, measurements occur at a significantly slower rate than the underlying system changes. Moreover, the size of the mismatch between timescales is often unknown. This paper provides three distinct causal structure learning algorithms, all of which discover all dynamic graphs that could explain the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  13
    Ideological Prolegomena of the Soviet-Russian Activity Theory.Sergey F. Sergeev - 2019 - Russian Journal of Philosophical Sciences 62 (5):44-61.
    The article examines the system-methodological and conceptual foundations of the psychological activity theory that arose in the Soviet Union under the influence of the ideology of Marxism-Leninism. The author demonstrates the process of incorporation of Marxism-Leninism dogmas into the canonical form of the activity theory as a scientific knowledge that does not need any scientific confirmation. The pseudoscientific discourse that arose at the same time served to strengthen the position of the ideologists of the bureaucratic system, who found “objective confirmations” (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  17
    Thevarvarin case: Compensation impossible?Sergey Sayapin * - 2004 - Journal of Military Ethics 3 (2):188-193.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  15
    The three approaches to the semiotics of power.Sergey V. Sannikov - 2020 - Semiotica 2020 (236-237):47-53.
    The article focuses the possibility of elaboration of a cross-disciplinary methodological approach to formation of the semiotics of power. Four possible forms of relation of semiotic research to the problem of power are revealed upon the basis of Drechsler’s typology. The approaches of Mandoki and Siefkes to formation of the methodological basis of the semiotics of power are analyzed and compared. The author designates the perspective directions of a further research and formulates methodological prerequisites for realization of the specified directions.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  77
    Enumerations in computable structure theory.Sergey Goncharov, Valentina Harizanov, Julia Knight, Charles McCoy, Russell Miller & Reed Solomon - 2005 - Annals of Pure and Applied Logic 136 (3):219-246.
    We exploit properties of certain directed graphs, obtained from the families of sets with special effective enumeration properties, to generalize several results in computable model theory to higher levels of the hyperarithmetical hierarchy. Families of sets with such enumeration features were previously built by Selivanov, Goncharov, and Wehner. For a computable successor ordinal α, we transform a countable directed graph into a structure such that has a isomorphic copy if and only if has a computable isomorphic copy.A computable structure is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  48.  75
    Computably categorical structures and expansions by constants.Peter Cholak, Sergey Goncharov, Bakhadyr Khoussainov & Richard Shore - 1999 - Journal of Symbolic Logic 64 (1):13-37.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  49.  40
    Tarskian consequence relations bilaterally: some familiar notions.Sergey Drobyshevich - 2019 - Synthese 198 (S22):5213-5240.
    This paper is dedicated to developing a formalism that takes rejection seriously. Bilateral notation of signed formulas with force indicators is adopted to define signed consequences which can be viewed as the bilateral counterpart of Tarskian consequence relations. Its relation to some other bilateral approaches is discussed. It is shown how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved. Further, bilateral variants of three familiar notions are considered and investigated: that of a fragment, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  13
    Isidore of Seville, his Mode of Writing and the Metaphor of Taste.Sergey Vorontsov - 2024 - Isidorianum 33 (1):59-81.
    The writings in which an author expresses his thought may actually be the product of certain cultural practices of his age. The article considers how such practices are manifested in the writings of Isidore of Seville, particularly with respect to the meaning of the metaphor of taste. Isidore borrows this metaphor from texts that explain the process of understanding Scripture and applies it to the achievement of wisdom. On the one hand, the metaphor stresses the transformative aspect of understanding (rather (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 337