Results for 'Alexei Y. Muravitsky'

999 found
Order:
  1.  20
    Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky - 2014 - Logica Universalis 8 (1):83-102.
    We deal with monotone structural deductive systems in an unspecified propositional language \ . These systems fall into several overlapping classes, forming a hierarchy. Along with well-known classes of deductive systems such as those of implicative, Fregean and equivalential systems, we consider new classes of unital and weakly implicative systems. The latter class is auxiliary, while the former is central in our discussion. Our analysis of unital systems leads to the concept of Lindenbaum–Tarski algebra which, under some natural conditions, is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  18
    The Embedding Theorem: Its Further Developments and Consequences. Part 1.Alexei Y. Muravitsky - 2006 - Notre Dame Journal of Formal Logic 47 (4):525-540.
    We outline the Gödel-McKinsey-Tarski Theorem on embedding of Intuitionistic Propositional Logic Int into modal logic S4 and further developments which led to the Generalized Embedding Theorem. The latter in turn opened a full-scale comparative exploration of lattices of the extensions of modal propositional logic S4, provability logic GL, proof-intuitionistic logic KM, and others, including Int. The present paper is a contribution to this part of the research originated from the Gödel-McKinsey-Tarski Theorem. In particular, we show that the lattice ExtInt of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  18
    Interconnection of the Lattices of Extensions of Four Logics.Alexei Y. Muravitsky - 2017 - Logica Universalis 11 (2):253-281.
    We show that the lattices of the normal extensions of four well-known logics—propositional intuitionistic logic \, Grzegorczyk logic \, modalized Heyting calculus \ and \—can be joined in a commutative diagram. One connection of this diagram is an isomorphism between the lattices of the normal extensions of \ and \; we show some preservation properties of this isomorphism. Two other connections are join semilattice epimorphims of the lattice of the normal extensions of \ onto that of \ and of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    Alexander Vladimirovich Kuznetsov.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):9-21.
    Alexander Vladimirovich Kuznetsov, also known to the second generation of Soviet logicians as Sasha Kuznetsov, was born in Moscow on the 28 th of October, 1926. He lived a short yet fruitful life and died of cancer 1 in Chişinău, Moldova, on the 24 th of July, 1984.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  5.  14
    From the Guest Editors.Alexei Y. Muravitsky & Sergei P. Odintsov - 2008 - Logic and Logical Philosophy 17 (1-2):5-7.
    On the 28th of October, 2006, Alexander Vladimirovich Kuznetsov, so is his full name, would have turned 80. Although belated, the editorial board of Logic and Logical Philosophy, we, the editors and contributors of the present issue, and other members of the logic community mark this event with the present issue. Most of those who contributed to it knew Kuznetsov in person and/or were influenced by him or by his ideas, which very often resided in somebody else’s papers or became (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  6.  40
    The Contribution of A.V. Kuznetsov to the Theory of Modal Systems and Structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
    We will outline the contributions of A.V. Kuznetsov to modal logic. In his research he focused mainly on semantic, i.e. algebraic, issues and lattices of extensions of particular modal logics, though his proof of the Full Conservativeness Theorem for the proof-intuitionistic logic KM (Theorem 17 below) is a gem of proof-theoretic art.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  7.  33
    A Knowledge Representation Based on the Belnap's Four-Valued Logic.Yuri Kaluzhny & Alexei Yu Muravitsky - 1993 - Journal of Applied Non-Classical Logics 3 (2):189-203.
  8.  9
    A Framework for Knowledge-Based Systems.Alexei Yu Muravitsky - 1996 - Journal of Applied Non-Classical Logics 6 (3):263-286.
  9.  63
    Knowledge Representation as Domain.Alexei Yu Muravitsky - 1997 - Journal of Applied Non-Classical Logics 7 (3):343-364.
    ABSTRACT This is a continuing attempt in a series of papers [KM 93, Mur 93, Mur 96] to show how computer-represented knowledge can be arranged as elements of an effectively represented semantic domain in the sense of [GS 90]. We present a direct deductive description of the domain, which was defined semantically in [KM 93], via the Scott's notion of information system. Also, the internal structure of the continuous ampliative operations coordinated with the domain's effective basis is established. Though we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  15
    Y = 2x Vs. Y = 3x.Alexei Stolboushkin & Damian Niwiński - 1997 - Journal of Symbolic Logic 62 (2):661-672.
    We show that no formula of first order logic using linear ordering and the logical relation y = 2x can define the property that the size of a finite model is divisible by 3. This answers a long-standing question which may be of relevance to certain open problems in circuit complexity.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  11.  12
    $Y = 2x$ Vs. $Y = 3x$.Alexei Stolboushkin & Damian Niwinski - 1997 - Journal of Symbolic Logic 62 (2):661-672.
    We show that no formula of first order logic using linear ordering and the logical relation $y = 2x$ can define the property that the size of a finite model is divisible by 3. This answers a long-standing question which may be of relevance to certain open problems in circuit complexity.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  40
    J. G. Montes Cala, M. Sánchez Ortiz de Landaluce, R. J. Gallé Cejudo (edd.): Plutarco, Dioniso y el vino. Actas del VI Simposio Español sobre Plutarco: Cádiz, 14–16 de Mayo de 1998 . Pp. x + 540. Madridx: Ediciones Clásicas, 1999. Paper. ISBN: 84-7882-383-. [REVIEW]Alexei V. Zadorojnyi - 2001 - The Classical Review 51 (01):163-.
  13.  18
    J. G. Montes Cala, M. Sánchez Ortiz de Landaluce, R. J. Gallé Cejudo : Plutarco, Dioniso y el vino. Actas del VI Simposio Español sobre Plutarco: Cádiz, 14–16 de Mayo de 1998. Pp. x + 540. Madridx: Ediciones Clásicas, 1999. Paper. ISBN: 84-7882-383-2. [REVIEW]Alexei Zadorojnyi - 2001 - The Classical Review 51 (1):163-164.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  19
    Evolution of Natural Agents: Preservation, Advance, and Emergence of Functional Information.Alexei A. Sharov - 2016 - Biosemiotics 9 (1):103-120.
    Biological evolution is often viewed narrowly as a change of morphology or allele frequency in a sequence of generations. Here I pursue an alternative informational concept of evolution, as preservation, advance, and emergence of functional information in natural agents. Functional information is a network of signs that are used by agents to preserve and regulate their functions. Functional information is preserved in evolution via complex interplay of copying and construction processes: the digital components are copied, whereas interpreting subagents together with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  19
    Protosemiosis: Agency with Reduced Representation Capacity.Alexei A. Sharov & Tommi Vehkavaara - 2015 - Biosemiotics 8 (1):103-123.
    Life has semiotic nature; and as life forms differ in their complexity, functionality, and adaptability, we assume that forms of semiosis also vary accordingly. Here we propose a criterion to distinguish between the primitive kind of semiosis, which we call “protosemiosis” from the advanced kind of semiosis, or “eusemiosis”. In protosemiosis, agents associate signs directly with actions without considering objects, whereas in eusemiosis, agents associate signs with objects and only then possibly with actions. Protosemiosis started from the origin of life, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  16.  13
    Evolutionary Biosemiotics and Multilevel Construction Networks.Alexei A. Sharov - 2016 - Biosemiotics 9 (3):399-416.
    In contrast to the traditional relational semiotics, biosemiotics decisively deviates towards dynamical aspects of signs at the evolutionary and developmental time scales. The analysis of sign dynamics requires constructivism to explain how new components such as subagents, sensors, effectors, and interpretation networks are produced by developing and evolving organisms. Semiotic networks that include signs, tools, and subagents are multilevel, and this feature supports the plasticity, robustness, and evolvability of organisms. The origin of life is described here as the emergence of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  19
    Comprehending the Semiosis of Evolution.Alexei Sharov, Timo Maran & Morten Tønnessen - 2016 - Biosemiotics 9 (1):1-6.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18. A Fiduciary Argument Against Stakeholder Theory.Alexei M. Marcoux - 2003 - Business Ethics Quarterly 13 (1):1-24.
    Critics attack normative ethical stakeholder theory for failing to recognize the special moral status of shareholders that justifiesthe fiduciary duties owed to them at law by managers. Stakeholder theorists reply that there is nothing morally significant about shareholders that can underwrite those fiduciary duties. I advance an argument that seeks to demonstrate both the special moral status of shareholders in a firm and the concomitant moral inadequacy of stakeholder theory. I argue that (i) if some relations morally requirefiduciary duties, and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   61 citations  
  19.  11
    Towards Synthesis of Biology and Semiotics.Alexei Sharov, Timo Maran & Morten Tønnessen - 2015 - Biosemiotics 8 (1):1-7.
    The journal Biosemiotics was envisioned by its founding editor, Marcello Barbieri, as a major periodical for interdisciplinary papers that integrate biology and semiotics. Since 2008 the journal has published 21 issues, including special issues on crucial problems such as the semiotics of perception, origins of mind, code biology, biohermeneutics, biosemiotic analysis of information and chance. The impact factor of the journal does not fully describe the significance of this journal, because the discipline of biosemiotics is young and remains in its (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20. Biosemiotics: A Functional-Evolutionary Approach to the Analysis of the Sense of Information.Alexei A. Sharov - forthcoming - Biosemiotics: The Semiotic Web.
     
    Export citation  
     
    Bookmark   6 citations  
  21.  7
    Minimal Mind.Alexei A. Sharov - 2013 - In Liz Swan (ed.), Origins of Mind. pp. 343--360.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  74
    Fundamental Principles and Mechanisms of the Conscious Self.Alexei V. Samsonovich & Lynn Nadel - 2005 - Cortex. Special Issue 41 (5):669-689.
  23. Reconstruction of Quantum Theory.Alexei Grinbaum - 2007 - British Journal for the Philosophy of Science 58 (3):387 - 408.
    What belongs to quantum theory is no more than what is needed for its derivation. Keeping to this maxim, we record a paradigmatic shift in the foundations of quantum mechanics, where the focus has recently moved from interpreting to reconstructing quantum theory. Several historic and contemporary reconstructions are analyzed, including the work of Hardy, Rovelli, and Clifton, Bub and Halvorson. We conclude by discussing the importance of a novel concept of intentionally incomplete reconstruction.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  24.  25
    On Superintuitionistic Logics as Fragments of Proof Logic Extensions.A. V. Kuznetsov & A. Yu Muravitsky - 1986 - Studia Logica 45 (1):77 - 99.
    Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  66
    Which Fine-Tuning Arguments Are Fine?Alexei Grinbaum - 2012 - Foundations of Physics 42 (5):615-631.
    Fine-tuning arguments are a frequent find in the literature on quantum field theory. They are based on naturalness—an aesthetic criterion that was given a precise definition in the debates on the Higgs mechanism. We follow the history of such definitions and of their application at the scale of electroweak symmetry breaking. They give rise to a special interpretation of probability, which we call Gedankenfrequency. Finally, we show that the argument from naturalness has been extended to comparing different models of the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  26.  8
    Alexei Ratmansky’s Serenade After Plato’s Symposium.Julie C. Van Camp - 2017 - The Philosophers' Magazine 76:105-107.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  17
    Toward a Semantic General Theory of Everything.Alexei V. Samsonovich, Rebecca F. Goldin & Giorgio A. Ascoli - 2010 - Complexity 15 (4):NA-NA.
  28.  9
    Kant and the Problem of Optimism: The Origin of the Debate.Alexei N. Krouglov - 2018 - Kantian Journal 37 (1):9-24.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  7
    How Device-Independent Approaches Change the Meaning of Physical Theory.Alexei Grinbaum - 2017 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 58:22-30.
  30. Ethics in Robotics Research: CERNA Recommendations.Alexei Grinbaum & Raja Chatila - 2017 - IEEE Robotics and Automation Magazine (99):1-8.
    This article summarizes the recommendations concerning robotics as issued by the Commission for the Ethics of Research in Information Sciences and Technologies (CERNA), the French advisory commission for the ethics of information and communication technology (ICT) research. Robotics has numerous applications in which its role can be overwhelming and may lead to unexpected consequences. In this rapidly evolving technological environment, CERNA does not set novel ethical standards but seeks to make ethical deliberation inseparable from scientific activity. Additionally, it provides tools (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  34
    Freeman and Evan: Stakeholder Theory in the Original Position.Alexei M. Marcoux - 1999 - Business Ethics Quarterly 9 (2):207-224.
    We argue that the Rawlsian social contract argument advanced for stakeholder theory by R. Edward Freeman, writing alone and with William M. Evan, fails in three main ways. First, it is true to Rawls in neither form, nor purpose, nor the level of knowledge (or ignorance) required to motivate the veil of ignorance. Second, it fails to tailor the veil of ignorance to the fairness conditions that are required to solve the moral problem that Freeman and Evan set out to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  32.  13
    Organisms Reshape Sign Relations.Alexei Sharov, Timo Maran & Morten Tønnessen - 2015 - Biosemiotics 8 (3):361-365.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  17
    The Effectiveness of Mathematics in Physics of the Unknown.Alexei Grinbaum - 2019 - Synthese 196 (3):973-989.
    If physics is a science that unveils the fundamental laws of nature, then the appearance of mathematical concepts in its language can be surprising or even mysterious. This was Eugene Wigner’s argument in 1960. I show that another approach to physical theory accommodates mathematics in a perfectly reasonable way. To explore unknown processes or phenomena, one builds a theory from fundamental principles, employing them as constraints within a general mathematical framework. The rise of such theories of the unknown, which I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  22
    Kant and the Crusians in the Debate on Optimism.Alexei N. Krouglov - 2018 - Kantian Journal 37 (2):7-31.
  35.  31
    Business Ethics.Alexei Marcoux - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  36.  7
    Role of Utility and Inference in the Evolution of Functional Information.Alexei A. Sharov - 2009 - Biosemiotics 2 (1):101-115.
    Functional information means an encoded network of functions in living organisms from molecular signaling pathways to an organism’s behavior. It is represented by two components: code and an interpretation system, which together form a self-sustaining semantic closure. Semantic closure allows some freedom between components because small variations of the code are still interpretable. The interpretation system consists of inference rules that control the correspondence between the code and the function (phenotype) and determines the shape of the fitness landscape. The utility (...)
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  54
    Reconstructing Instead of Interpreting Quantum Theory.Alexei Grinbaum - 2007 - Philosophy of Science 74 (5):761-774.
    A paradigmatic shift in the foundations of quantum mechanics is recorded, from interpreting to reconstructing quantum theory. Examples of reconstruction are analyzed, and conceptual foundations of the information-theoretic reconstruction developed. A concept of intentionally incomplete reconstruction is introduced to mark the novel content of research in the foundation of quantum theory. ‡Many thanks to Lucien Hardy, Jeff Bub and Bill Demopoulos for their comments. This research was supported through the ANR grant ANR-06-BLAN-0348-01. Part of this research was held at the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  1
    Kants Raum-Zeit-Lehre und die Freiheit in der russischen Lyrik.Alexei N. Krouglov - 2018 - In Violetta L. Waibel, Margit Ruffing & David Wagner (eds.), Natur Und Freiheit. Akten des Xii. Internationalen Kant-Kongresses. De Gruyter. pp. 327-352.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  39.  25
    Living with Uncertainty: Toward the Ongoing Normative Assessment of Nanotechnology.Alexei Grinbaum & Jean-Pierre Dupuy - 2004 - Techné: Research in Philosophy and Technology 8 (2):4-25.
  40.  18
    The Ethico-Politics of Writing in Plutarch's Life of Dion.Alexei V. Zadorojnyi - 2011 - Journal of Hellenic Studies 131:147-163.
    The paper focuses on the representation of pedagogical and political communication between (and around) Plato, Dion and Dionysius II in Plutarch's Life of Dion. Plutarch's narrative invokes both the Platonic critique of writing as an inadequate medium for teaching philosophy, and the polarity between free oral speech and writing as a symptom of tyranny. It is argued that the Life espouses but also complicates and implicitly interrogates the opposition between writtenness and orality across the philosophical and the political domain, thus (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  8
    The Hanf Number for Amalgamation of Coloring Classes.Alexei Kolesnikov & Chris Lambie-Hanson - 2016 - Journal of Symbolic Logic 81 (2):570-583.
  42.  25
    The Effectiveness of Mathematics in Physics of the Unknown.Alexei Grinbaum - 2017 - Synthese:1-17.
    If physics is a science that unveils the fundamental laws of nature, then the appearance of mathematical concepts in its language can be surprising or even mysterious. This was Eugene Wigner’s argument in 1960. I show that another approach to physical theory accommodates mathematics in a perfectly reasonable way. To explore unknown processes or phenomena, one builds a theory from fundamental principles, employing them as constraints within a general mathematical framework. The rise of such theories of the unknown, which I (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  29
    Tetens und die Deduktion der Kategorien bei Kant.Alexei N. Krouglov - 2013 - Kant-Studien 104 (4):466-489.
  44.  11
    Can Social Systems Theory Be Used for Immanent Critique?Alexei Procyshyn - 2017 - Thesis Eleven 143 (1):97-114.
    Two trends have emerged in recent work from the Frankfurt School: the first involves a reconsideration of immanent critique’s basic commitments and viability for critical social theory, while the second involves an effort to introduce temporal considerations for social interaction into critical theorizing to help make sense of the phenomenon of social acceleration. This article contributes to these ongoing discussions by investigating whether social systems theory, in which temporal relations play a primary role, can be integrated with immanent critique. If (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  43
    The Nanotechnological Golem.Alexei Grinbaum - 2010 - NanoEthics 4 (3):191-198.
    We give reasons for the importance of old narratives, including myths, in ethical thinking about science and technology. On the example of a legend about creating artificial men we explore the side effects of having too much success and the problem of intermediate social status of bioengineered artefacts.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  13
    The Great War, the Russian Civil War, and the Invention of Big Science.Alexei Kojevnikov - 2002 - Science in Context 15 (2):239-275.
  47.  90
    The Geometrical Aspects of the Bell Inequalities.Alexei A. Tyapkin & Milan Vindushka - 1991 - Foundations of Physics 21 (2):185-195.
    The Bell inequalities of the metric form are introduced. The quantum-mechanical correlations of the particles with s=1/2 and photons are described using the relative measure of probability on the concave surfaces. The relation of the proposed scheme with the Bayes theorem about conditional information entropy and J. von Neumann's postulates is discussed.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  22
    Cato's Suicide in Plutarch.Alexei V. Zadorojnyi - 2007 - Classical Quarterly 57 (01):216-.
  49.  48
    A Counterintuitive Argument for Résumé Embellishment.Alexei M. Marcoux - 2006 - Journal of Business Ethics 63 (2):183-194.
    Applied ethicists say little about résumé embellishment. Presumably, this is so because résumé embellishment seems obviously wrong; an instance of ordinary lying, familiar moral prohibitions against which cover the case completely. Analysis of résumé embellishment merely as ordinary lying overlooks its collective action aspects. Taking account of those aspects and their implications, I argue on consequentialist grounds that, given some plausible background conditions, a limited form of résumé embellishment is morally permissible. This outcome is a particular instantiation of a more (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  32
    The Mental State Formalism of Gmu-Bica.Alexei V. Samsonovich, Kenneth A. de Jong & Anastasia Kitsantas - 2009 - International Journal of Machine Consciousness 1 (1):111-130.
1 — 50 / 999