Results for 'Madison Valentine'

255 found
Order:
  1. On justifications and excuses.B. J. C. Madison - 2017 - Synthese 195 (10):4551-4562.
    The New Evil Demon problem has been hotly debated since the case was introduced in the early 1980’s (e.g. Lehrer and Cohen 1983; Cohen 1984), and there seems to be recent increased interest in the topic. In a forthcoming collection of papers on the New Evil Demon problem (Dutant and Dorsch, forthcoming), at least two of the papers, both by prominent epistemologists, attempt to resist the problem by appealing to the distinction between justification and excuses. My primary aim here is (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  2. Is open-mindedness truth-conducive?B. J. C. Madison - 2019 - Synthese 196 (5):2075-2087.
    What makes an intellectual virtue a virtue? A straightforward and influential answer to this question has been given by virtue-reliabilists: a trait is a virtue only insofar as it is truth-conducive. In this paper I shall contend that recent arguments advanced by Jack Kwong in defence of the reliabilist view are good as far as they go, in that they advance the debate by usefully clarifying ways in how best to understand the nature of open-mindedness. But I shall argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  3. Epistemological Disjunctivism and the New Evil Demon.B. J. C. Madison - 2014 - Acta Analytica 29 (1):61-70.
    In common with traditional forms of epistemic internalism, epistemological disjunctivism attempts to incorporate an awareness condition on justification. Unlike traditional forms of internalism, however, epistemological disjunctivism rejects the so-called New Evil Genius thesis. In so far as epistemological disjunctivism rejects the New Evil Genius thesis, it is revisionary. -/- After explaining what epistemological disjunctivism is, and how it relates to traditional forms of epistemic internalism / externalism, I shall argue that the epistemological disjunctivist’s account of the intuitions underlying the New (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  4. Internalism in the Epistemology of Testimony Redux.B. J. C. Madison - 2016 - Erkenntnis 81 (4):741-755.
    In general, epistemic internalists hold that an individual’s justification for a belief is exhausted by her reflectively accessible reasons for thinking that the contents of her beliefs are true. Applying this to the epistemology of testimony, a hearer’s justification for beliefs acquired through testimony is exhausted by her reflectively accessible reasons to think that the contents of the speaker’s testimony is true. A consequence of internalism is that subjects that are alike with respect to their reflectively accessible reasons are alike (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  5. Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
    We propose a generalization of Sahlqvist formulas to polyadic modal languages by representing such languages in a combinatorial PDL style and thus, in particular, developing what we believe to be the right syntactic approach to Sahlqvist formulas at all. The class of polyadic Sahlqvist formulas PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  6. Internalism and Externalism.B. J. C. Madison - 2017 - In Sven Bernecker & Kourken Michaelian (eds.), The Routledge Handbook of Philosophy of Memory. New York: Routledge. pp. 283-295.
    This chapter first surveys general issues in the epistemic internalism / externalism debate: what is the distinction, what motivates it, and what arguments can be given on both sides. -/- The second part of the chapter will examine the internalism / externalism debate as regards to the specific case of the epistemology of memory belief.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Liberty, Mill and the Framework of Public Health Ethics.Madison Powers, Ruth Faden & Yashar Saghai - 2012 - Public Health Ethics 5 (1):6-15.
    In this article, we address the relevance of J.S. Mill’s political philosophy for a framework of public health ethics. In contrast to some readings of Mill, we reject the view that in the formulation of public policies liberties of all kinds enjoy an equal presumption in their favor. We argue that Mill also rejects this view and discuss the distinction that Mill makes between three kinds of liberty interests: interests that are immune from state interference; interests that enjoy a presumption (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  8. Epistemic Value and the New Evil Demon.B. J. C. Madison - 2017 - Pacific Philosophical Quarterly 98 (1):89-107.
    In this article I argue that the value of epistemic justification cannot be adequately explained as being instrumental to truth. I intend to show that false belief, which is no means to truth, can nevertheless still be of epistemic value. This in turn will make a good prima facie case that justification is valuable for its own sake. If this is right, we will have also found reason to think that truth value monism is false: assuming that true belief does (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  9. Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  10. Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. On the Nature of Intellectual Vice.B. J. C. Madison - 2017 - Social Epistemology Review and Reply Collective 6 (12):1-6.
    Vice epistemology, as Quassim Cassam understands it, is the study of the nature, identity, and significance of the epistemic vices. But what makes an intellectual vice a vice? Cassam calls his own view “Obstructivism” – intellectual vices are those traits, thinking styles, or attitudes that systematically obstruct the acquisition, retention, and transmission of knowledge. -/- I shall argue that Cassam’s account is an improvement upon virtue-reliabilism, and that it fares better against what I call Montmarquet’s objection than its immediate rivals. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Hierarchies of modal and temporal logics with reference pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  13. Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Download  
     
    Export citation  
     
    Bookmark  
  14. Two forms of responsibility: Reassessing Young on structural injustice.Valentin Beck - 2023 - Critical Review of International Social and Political Philosophy 26 (6):918-941.
    In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  15. The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  16. SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part Three. DYNAMICS OF GROWTH OF NEW KNOWLEDGE IN POSTACADEMICAL SCIENCE.Valentin Cheshko & Yulia Kosova - 2012 - Practical Philosophy 1:59-69.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of mental (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Modal definability in enriched languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
    The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  18.  82
    L'épineuse question de l'odium Dei chez André de Neufchâteau.Valentin Braekman - 2022 - Freiburger Zeitschrift für Philosophie Und Theologie 69 (1):58-77.
    Among others, the recent work of Janine Idziak presents Andrew of Neufchateau (†1400) as a fervent advocate of “divine command ethics,” a promoter of radical voluntarism, according to which moral values depend solely on the divine will. One example that illustrates this theory is the “hatred of God” (odium Dei ), often discussed in the fourteenth century. Since moral values depend on the divine will, it can be morally good to hate God if that is his command. Andrew has been (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. La liberté de la volonté dans la vision béatifique. Suárez critique d'Ockham.Valentin Braekman - 2021 - Lo Sguardo. Rivista di Filosofia 33 (2):227-245.
    Download  
     
    Export citation  
     
    Bookmark  
  20. Anthropocene: The philosophy of Biotechnology.Valentin Cheshko, Glazko Valery & Ivanitskaya Lida - 2018 - Moscow, Russia: Kurs INFRA-M.
    The theory of evolution of complex, including the humans system and algorithm for its constructing are a synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern science,. In other words, natural philosophy is regaining the status bar element theoretical science in the era of technology-driven evolution. The co-evolutionary concept of 3-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Epistemic Internalism, Justification, and Memory.B. J. C. Madison - 2014 - Logos and Episteme 5 (1):33-62.
    Epistemic internalism, by stressing the indispensability of the subject’s perspective, strikes many as plausible at first blush. However, many people have tended to reject the position because certain kinds of beliefs have been thought to pose special problems for epistemic internalism. For example, internalists tend to hold that so long as a justifier is available to the subject either immediately or upon introspection, it can serve to justify beliefs. Many have thought it obvious that no such view can be correct, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  22. Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  23. Is Justification Knowledge?Brent J. C. Madison - 2010 - Journal of Philosophical Research 35:173-191.
    Analytic epistemologists agree that, whatever else is true of epistemic justification, it is distinct from knowledge. However, if recent work by Jonathan Sutton is correct, this view is deeply mistaken, for according to Sutton justification is knowledge. That is, a subject is justified in believing that p iff he knows that p. Sutton further claims that there is no concept of epistemic justification distinct from knowledge. Since knowledge is factive, a consequence of Sutton’s view is that there are no false (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. ТРАНСБІОПОЛІТИЧНИЙ ХРОНОТОП ТЕХНОЛОГІЧНОЇ ЦИВІЛІЗАЦІЇ: БІО- І ГЕОПОЛІТИЧНІ КОННОТАЦІЇ МІЖНАРОДНИХ ВІДНОСИН (TRANSBIOPOLITICAL CHRONOTOPE OF TECHNOLOGICAL CIVILIZATION: BIO- AND GEOPOLITICAL CONNOTATIONS OF INTERNATIONAL RELATION).Valentin Cheshko, Nina Konnova & Oleh Kuz - 2022 - Epistemological studies in Philosophy, Social and Political Sciences 5 (2):143-150.
    Problem Statement. In modern conditions the reconstruction of self-developing socio-technological- ecological systems, which include man as its element, is actualized. The result of such a construction will be the management of the value of technogenic risk in its biological, social and civilizational forms. And the obvious consequence will be the transition of the development of biopolitical problems to a new, no longer international, but global-evolutionary level. The theory and practice of such a reconstruction can be designated by the category of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
    A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  26. Transbiopolitics and paradigmatic explication of International relations: the factor covid-19.Valentin Cheshko & Oleg Kuz - 2021 - In I. K. Golovko І.В. Ishchenko & Ishchenko Olena Mykolayivna (eds.), Proceedings of the international scientific and practical conference CURRENT PROBLEMS OF MODERN INTERNATIONAL RELATIONS Ukraine, Dnipro November 05-06, 2021. PrintDim; MINISTRY OF EDUCATION AND SCIENCE OF UKRAINE. pp. 169-174.
    The COVID-19 crisis has not only ontological roots but also epistemic ones too; its cause lies in the main evolutionary trends in the development of science as a social institution. And only then the epistemic factors were transformed into existential-ontological ones, connected with the very existence of civilization and our biosocial nature. The way out of the crisis is the unalterable development of all sectors of technologies of controlled evolution. As a result, biopolitics extends the sphere of competence to interstate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Н.Я. Грот и К.Г. Юнг: О вкладе русской философии в развитие аналитической психологии.Valentin Balanovskiy - 2016 - Voprosi Filosofii (The Problems of Philosophy) 6:115-124.
    In this article is discussed an issue, how Nicolas von Grot’s theory of psychic energy had an influence upon theoretical basis of the analytical psychology, firstly, upon the concept of ‘libido’, which denotes a universal psychic energy. Also the author analyzes C.G. Jung’s objections against some moments of Grot’s argumentation and shows, how these objections can be eliminated through the Jung’s concept of psychoid factor’ (‘psychoid’) -/- В данной статье рассматривается влияние энергетизма Н.Я. Грота на формирование теоретического базиса аналитической психологии (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Роль массовой психологии Б.П. Вышеславцева в развитии аналитической психологии.Valentin Balanovskiy - 2020 - Философская Мысль 5:1-13.
    The subject of the article is a mass psychology of B.P. Vysheslavtsev. This is a socio-philosophical conception, which created by Vysheslavtsev through the synthesizing of German classical philosophy, neo-Kantianism, Russian religious philosophy and analytical psychology. He developed the mass psychology in close collaboration with C.G. Jung by his direct order. The mass psychology, despite the heterogeneity of its foundations, became an organic continuation of analytical psychology. Moreover, there is reason to suppose that Vysheslavtsev's socio-philosophical and religious ideas influenced all of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. STABLE ADAPTIVE STRATEGY of HOMO SAPIENS and EVOLUTIONARY RISK of HIGH TECH. Transdisciplinary essay.Valentin Cheshko, Valery Glazko, Gleb Yu Kosovsky & Anna S. Peredyadenko (eds.) - 2015 - new publ.tech..
    The co-evolutionary concept of Three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctly) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the trends of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism ˗ gene-cultural co-evolution and techno- humanitarian balance. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Stable adaptive strategy of Homo sapiens. Biopolitical alternatives. God problem. (in Russian).Valentin Cheshko (ed.) - 2012 - publ.house "INGEK".
    Mechanisms to ensure the integrity of the system stable evolutionary strategy Homo sapiens – genetic and cultural coevolution techno-cultural balance – are analyzed. оe main content of the study can be summarized in the following the- ses: stable adaptive strategy of Homo sapiens includes superposition of three basic types (biological, cultural and technological) of adaptations, the integrity of the system provides by two coevolutionary ligament its elements – the genetic-cultural coevolution and techno-cultural balance, the system takes as result of by (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  31. The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.
    We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  32. A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  33. Роль С. Н. Шпильрейн в формировании теоретического базиса аналитической психологии.Valentin Balanovskiy - 2020 - Сибирский Психологический Журнал 75:6-21.
    The article is devoted to an objective assessment of the role of Sabina Spielrein – one of the Russian pioneers of psychoanalysis – in the forming of theoretical basis of analytical psychology. A bibliographic review precedes the main part, in order to show the prevailing bias towards the consideration of personal life and the subjective features of Spielrein’s creativity, and not her ideas. In the first part the author briefly considers Spielrein’s contribution to the empirical justification and further development of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. I. Kant and C.G. Jung on the prospects of Scientific Psychology.Valentin Balanovskiy - 2017 - Estudos Kantianos 5 (1):375-390.
    This study aims to show a similarity of Kant’s and Jung’s approaches to an issue of the possibility of scientific psychology, hence to explicate what they thought about the future of psychology. Therefore, the article contains heuristic material, which can contribute in a resolving of such methodological task as searching of promising directions to improve philosophical and scientific psychology. To achieve the aim the author attempts to clarify an entity of Kant’s and Jung’s objections against even the possibility of scientific (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. On Social Defeat.B. J. C. Madison - 2020 - Canadian Journal of Philosophy 50 (6):719-734.
    Influential cases have been provided that seem to suggest that one can fail to have knowledge because of the social environment. If not a distinct kind of social defeater, is there a uniquely social phenomenon that defeats knowledge? My aim in this paper is to explore these questions. I shall argue that despite initial appearances to the contrary, we have no reason to accept a special class of social defeater, nor any essentially social defeat phenomenon. We can explain putative cases (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Эхо Канта в аналитической психологии К. Г. Юнга.Valentin Balanovskiy - 1898 - In История философии. pp. 14-21.
    The article discusses some facts of C. G. Jung's direct appeal to the ideas of I. Kant. The main part of the article is preceded by statistical data on the mention of various philosophers in the Collected Works of Jung. It is not surprising that Kant leads in the number of links to his ideas or personality in Jung’s heritage. Then I show examples of the mention of Kant in Jung’s correspondence, which allow understand the fundamental philosophical background of analytical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Configuration of Stable Evolutionary Strategy of Homo Sapiens and Evolutionary Risks of Technological Civilization (the Conceptual Model Essay).Valentin T. Cheshko, Lida V. Ivanitskaya & Yulia V. Kosova - 2014 - Biogeosystem Technique 1 (1):58-68.
    Stable evolutionary strategy of Homo sapiens (SESH) is built in accordance with the modular and hierarchical principle and consists of the same type of self-replicating elements, i.e. is a system of systems. On the top level of the organization of SESH is the superposition of genetic, social, cultural and techno-rationalistic complexes. The components of this triad differ in the mechanism of cycles of generation - replication - transmission - fixing/elimination of adoptively relevant information. This mechanism is implemented either in accordance (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Peacocke’s A Priori Arguments Against Scepticism.B. J. C. Madison - 2011 - Grazer Philosophische Studien 83 (1):1-8.
    In The Realm of Reason (2004), Christopher Peacocke develops a “generalized rationalism” concerning, among other things, what it is for someone to be “entitled”, or justified, in forming a given belief. In the course of his discussion, Peacocke offers two arguments to the best explanation that aim to undermine scepticism and establish a justification for our belief in the reliability of sense perception, respectively. If sound, these ambitious arguments would answer some of the oldest and most vexing epistemological problems. In (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
    We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  40. From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  41. Curriculum Management and Graduate Programmes’ Viability: The Mediation of Institutional Effectiveness Using PLS-SEM Approach.Valentine Joseph Owan, Emmanuel E. Emanghe, Chiaka P. Denwigwe, Eno Etudor-Eyo, Abosede A. Usoro, Victor O. Ebuara, Charles Effiong, Joseph O. Ogar & Bassey A. Bassey - 2022 - Journal of Curriculum and Teaching 11 (5):114-127.
    This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. On the Role of the Political Theorist Regarding Global Injustice.Valentin Beck & Julian Culp - 2013 - Global Justice: Theory Practice Rhetoric 6:40-53.
    Interview of Katrin Flikschuh, Rainer Forst and Darrel Moellendorf by Valentin Beck and Julian Culp for Global Justice: Theory Practice Rhetoric.
    Download  
     
    Export citation  
     
    Bookmark  
  43. Verantwortung oder Pflicht? Zur Frage der Aktualität und Unterscheidbarkeit zweier philosophischer Grundbegriffe.Valentin Beck - 2015 - Zeitschrift für Praktische Philosophie 2 (2):165-202.
    Im diesem Aufsatz nehme ich die Popularität des Verantwortungsbegriffs in der Alltagssprache zum Anlass, um seinem Verhältnis zum Pflichtbegriff auf den Grund zu gehen. Dabei unterziehe ich den Verantwortungsbegriff zunächst einer allgemeinen Analyse. Anschließend diskutiere ich in Gestalt von Indeterminismus, Amoralismus und Interaktionismus drei Modi der missbräuchlichen Verwendung dieses Begriffs. Dabei handelt es sich jedoch bei genauerer Betrachtung um allgemeine rhetorische Verschleierungsstrategien, die nicht an die Verwendung des Verantwortungsbegriffs gebunden sind, sondern in der kommunikativen Bezugnahme auf moralische Forderungen generell auftreten (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Права и свободы человека и гражданина в контексте развития и внедрения систем искусственного интеллекта.Valentin Balanovskiy - 2007 - In Vadim Vasilyev (ed.), Философия сознания: классика и современность: Вторые Грязновские чтения. pp. 209-217.
    The author considers ethical and legal aspects of a developing of AI systems. He examines the ethical aspect through the prism of Kant’s philosophy and outlines moral prospects of (quasi)intelligent robots. The author considers the legal aspect in context of normative regulation of risks that arise with a creating of AI systems. In conclusion the author makes an assumption on forthcoming transformation of a legal system because of a new type of legal acts that combine classical form of legal act (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Classes and theories of trees associated with a class of linear orders.Valentin Goranko & Ruaan Kellerman - 2011 - Logic Journal of the IGPL 19 (1):217-232.
    Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  47. Proving unprovability in some normal modal logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
    This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  48. Consumer Boycotts as Instruments for Structural Change.Valentin Beck - 2018 - Journal of Applied Philosophy 36 (4):543-559.
    Consumer boycotts have become a frequent form of social protest in the digital age. The corporate malpractices motivating them are varied, including environmental pollution, lack of minimum labour standards, severe mistreatment of animals, lobbying and misinformation campaigns, collaboration or complicity with illegitimate political regimes, and systematic tax evasion and tax fraud. In this article, I argue that organised consumer boycotts should be regarded as a legitimate and purposeful instrument for structural change, provided they conform to a number of normative criteria. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
    ABSTRACT A complete axiomatic system CTLrp is introduced for a temporal logic for finitely branching ω+ -trees in a language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTLrp. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. SOCIAL VERIFICATION – HUMAN DIMENSONS OF THEORETICAL SCIENCE AND HIGH-TECH (CASUS BIOETHICS). Part Two.Valentin Cheshko & Yulia Kosova - 2011 - Practical Philosophy 2:46-55.
    The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 255