Results for 'X is decidable by a constructively defined algorithm which is currently known'

988 found
Order:
  1. Meillassoux’s Virtual Future.Graham Harman - 2011 - Continent 1 (2):78-91.
    continent. 1.2 (2011): 78-91. This article consists of three parts. First, I will review the major themes of Quentin Meillassoux’s After Finitude . Since some of my readers will have read this book and others not, I will try to strike a balance between clear summary and fresh critique. Second, I discuss an unpublished book by Meillassoux unfamiliar to all readers of this article, except those scant few that may have gone digging in the microfilm archives of the École normale (...)
     
    Export citation  
     
    Bookmark   2 citations  
  2. THIS IS NICE OF YOU. Introduction by Ben Segal.Gary Lutz - 2011 - Continent 1 (1):43-51.
    Reproduced with the kind permission of the author. Currently available in the collection I Looked Alive . © 2010 The Brooklyn Rail/Black Square Editions | ISBN 978-1934029-07-7 Originally published 2003 Four Walls Eight Windows. continent. 1.1 (2011): 43-51. Introduction Ben Segal What interests me is instigated language, language dishabituated from its ordinary doings, language startled by itself. I don't know where that sort of interest locates me, or leaves me, but a lot of the books I see in the (...)
     
    Export citation  
     
    Bookmark  
  3.  16
    A tableau decision algorithm for modalized ALC with constant domains.Carsten Lutz, Holger Sturm, Frank Wolter & Michael Zakharyaschev - 2002 - Studia Logica 72 (2):199-232.
    The aim of this paper is to construct a tableau decision algorithm for the modal description logic K ALC with constant domains. More precisely, we present a tableau procedure that is capable of deciding, given an ALC-formula with extra modal operators (which are applied only to concepts and TBox axioms, but not to roles), whether is satisfiable in a model with constant domains and arbitrary accessibility relations. Tableau-based algorithms have been shown to be practical even for logics of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  4.  5
    Currents in a theory of strong interaction based on a fiber bundle geometry.W. Drechsler - 1977 - Foundations of Physics 7 (9-10):629-671.
    A fiber bundle constructed over spacetime is used as the basic underlying framework for a differential geometric description of extended hadrons. The bundle has a Cartan connection and possesses the de Sitter groupSO(4, 1) as structural group, operating as a group of motion in a locally defined space of constant curvature (the fiber) characterized by a radius of curvatureR≈10−13 cm related to the strong interactions. A hadronic matter field ω(x, ζ) is defined on the bundle space, withx the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5. A principled approach to defining actual causation.Sander Beckers & Joost Vennekens - 2018 - Synthese 195 (2):835-862.
    In this paper we present a new proposal for defining actual causation, i.e., the problem of deciding if one event caused another. We do so within the popular counterfactual tradition initiated by Lewis, which is characterised by attributing a fundamental role to counterfactual dependence. Unlike the currently prominent definitions, our approach proceeds from the ground up: we start from basic principles, and construct a definition of causation that satisfies them. We define the concepts of counterfactual dependence and production, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  6. A New Negentropic Subject: Reviewing Michel Serres' Biogea.A. Staley Groves - 2012 - Continent 2 (2):155-158.
    continent. 2.2 (2012): 155–158 Michel Serres. Biogea . Trans. Randolph Burks. Minneapolis: Univocal Publishing. 2012. 200 pp. | ISBN 9781937561086 | $22.95 Conveying to potential readers the significance of a book puts me at risk of glad handing. It’s not in my interest to laud the undeserving, especially on the pages of this journal. This is not a sales pitch, but rather an affirmation of a necessary work on very troubled terms: human, earth, nature, and the problematic world we made. (...)
     
    Export citation  
     
    Bookmark  
  7.  5
    Algorithmic uses of the Feferman–Vaught Theorem.J. A. Makowsky - 2004 - Annals of Pure and Applied Logic 126 (1-3):159-213.
    The classical Feferman–Vaught Theorem for First Order Logic explains how to compute the truth value of a first order sentence in a generalized product of first order structures by reducing this computation to the computation of truth values of other first order sentences in the factors and evaluation of a monadic second order sentence in the index structure. This technique was later extended by Läuchli, Shelah and Gurevich to monadic second order logic. The technique has wide applications in decidability and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8. Architecture and Deconstruction. The Case of Peter Eisenman and Bernard Tschumi.Cezary Wąs - 2015 - Dissertation, University of Wrocław
    Architecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi -/- Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  2
    Bootstrapping the PC and CPC Algorithms to Improve Search Accuracy.Joseph Ramsey - unknown
    By bootstrapping the output of the PC algorithm (Spirtes et al., 2000; Meek 1995), using larger conditioning sets informed by the current graph state, it is possible to define a novel algorithm, JPC, that improves accuracy of search for i.i.d. data drawn from linear, Gaussian, sparse to moderately dense models. The motivation for constructing sepsets using information in the current graph state is to highlight the differences between d-­‐separation information in the graph and conditional independence information extracted from (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  1
    Application of Computer Simulation Optimization Algorithm in Waste Treatment of Drilling Engineering.Chang Shu & JiChuan Zhang - 2021 - Complexity 2021:1-10.
    The existing computer technology is used to conduct an in-depth study and analysis of drilling waste treatment, and the results are analyzed by computer simulation optimization algorithms. Based on the system theory, we define the research system, combine the unique characteristics of the technological innovation mechanism of drilling waste treatment, and use the internal and external factors affecting the technological innovation dynamics of drilling waste treatment, such as drilling waste treatment capacity, from the current actual situation. On this basis, factor (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Object-Oriented France: The Philosophy of Tristan Garcia.Graham Harman - 2012 - Continent 2 (1):6-21.
    continent. 2.1 (2012): 6–21. The French philosopher and novelist Tristan Garcia was born in Toulouse in 1981. This makes him rather young to have written such an imaginative work of systematic philosophy as Forme et objet , 1 the latest entry in the MétaphysiqueS series at Presses universitaires de France. But this reference to Garcia’s youthfulness is not a form of condescension: by publishing a complete system of philosophy in the grand style, he has already done what none of us (...)
     
    Export citation  
     
    Bookmark  
  12.  41
    HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
    This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  13.  6
    A Risk Assessment Algorithm for College Student Entrepreneurship Based on Big Data Analysis.Chengjun Zhou & DuanXu Wang - 2021 - Complexity 2021:1-12.
    College student entrepreneurship is a complex and dynamic process, in which the potential risks faced by entrepreneurial enterprises are interactive and diverse. The changes in risk assessment for college student entrepreneurship are also dynamic and nonlinear and are affected by many factors, which make the risk assessment process for college student entrepreneurship quite complicated. Big data analysis technology is a new product formed under the background of cloud computing and Internet technology, which has the characteristics of large (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  5
    Using Game Description Language for mediated dispute resolution.Dave de Jonge, Tomas Trescak, Carles Sierra, Simeon Simoff & Ramon López de Mántaras - 2019 - AI and Society 34 (4):767-784.
    Mediation is a process in which two parties agree to resolve their dispute by negotiating over alternative solutions presented by a mediator. In order to construct such solutions, the mediator brings more information and knowledge, and, if possible, resources to the negotiation table. In order to do so, the mediator faces the challenge of determining which information is relevant to the current problem, given a vast database of knowledge. The contribution of this paper is the automated mediation machinery (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  7
    Logiḳah be-peʻulah =.Doron Avital - 2012 - Or Yehudah: Zemorah-Bitan, motsiʼim le-or.
    Logic in Action/Doron Avital Nothing is more difficult, and therefore more precious, than to be able to decide (Napoleon Bonaparte) Introduction -/- This book was born on the battlefield and in nights of secretive special operations all around the Middle East, as well as in the corridors and lecture halls of Western Academia best schools. As a young boy, I was always mesmerized by stories of great men and women of action at fateful cross-roads of decision-making. Then, like as today, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. What is a Compendium? Parataxis, Hypotaxis, and the Question of the Book.Maxwell Stephen Kennel - 2013 - Continent 3 (1):44-49.
    Writing, the exigency of writing: no longer the writing that has always (through a necessity in no way avoidable) been in the service of the speech or thought that is called idealist (that is to say, moralizing), but rather the writing that through its own slowly liberated force (the aleatory force of absence) seems to devote itself solely to itself as something that remains without identity, and little by little brings forth possibilities that are entirely other: an anonymous, distracted, deferred, (...)
     
    Export citation  
     
    Bookmark  
  17.  12
    Decidable and enumerable predicate logics of provability.Giorgie Dzhaparidze - 1990 - Studia Logica 49 (1):7 - 21.
    Predicate modal formulas are considered as schemata of arithmetical formulas, where is interpreted as the standard formula of provability in a fixed sufficiently rich theory T in the language of arithmetic. QL T(T) and QL T are the sets of schemata of T-provable and true formulas, correspondingly. Solovay's well-known result — construction an arithmetical counterinterpretation by Kripke countermodel — is generalized on the predicate modal language; axiomatizations of the restrictions of QL T(T) and QL T by formulas, which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Constructivism about Practical Knowledge.Carla Bagnoli - 2013 - In Constructivism in Ethics. New York: Cambridge University Press. pp. 153-182.
    It is largely agreed that if constructivism contributes anything to meta-ethics it is by proposing that we understand ethical objectivity “in terms of a suitably constructed point of view that all can accept” (Rawls 1980/1999: 307). Constructivists defend this “practical” conception of objectivity in contrast to the realist or “ontological” conception of objectivity, understood as an accurate representation of an independent metaphysical order. Because of their objectivist but not realist commitments, Kantian constructivists place their theory “somewhere in the space between (...)
     
    Export citation  
     
    Bookmark   22 citations  
  19. A Computational Constructivist Model as an Anticipatory Learning Mechanism for Coupled Agent–Environment Systems.F. S. Perotto - 2013 - Constructivist Foundations 9 (1):46-56.
    Context: The advent of a general artificial intelligence mechanism that learns like humans do would represent the realization of an old and major dream of science. It could be achieved by an artifact able to develop its own cognitive structures following constructivist principles. However, there is a large distance between the descriptions of the intelligence made by constructivist theories and the mechanisms that currently exist. Problem: The constructivist conception of intelligence is very powerful for explaining how cognitive development takes (...)
     
    Export citation  
     
    Bookmark   1 citation  
  20. Editorial, Cosmopolis. Spirituality, religion and politics.Paul Ghils - 2015 - Cosmopolis. A Journal of Cosmopolitics 7 (3-4).
    Cosmopolis A Review of Cosmopolitics -/- 2015/3-4 -/- Editorial Dominique de Courcelles & Paul Ghils -/- This issue addresses the general concept of “spirituality” as it appears in various cultural contexts and timeframes, through contrasting ideological views. Without necessarily going back to artistic and religious remains of primitive men, which unquestionably show pursuits beyond the biophysical dimension and illustrate practices seeking to unveil the hidden significance of life and death, the following papers deal with a number of interpretations covering (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  8
    A modified biogeography-based optimization algorithm with improved mutation operator for job shop scheduling problem with time lags.Madiha Harrabi, Olfa Belkahla Driss & Khaled Ghedira - forthcoming - Logic Journal of the IGPL.
    This paper addresses the job shop scheduling problem including time lag constraints. This is an extension of the job shop scheduling problem with many applications in real production environments, where extra delays can be introduced between successive operations of the same job. It belongs to a category of problems known as NP-hard problem due to large solution space. Biogeography-based optimization is an evolutionary algorithm which is inspired by the migration of species between habitats, recently proposed by Simon (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Esse as the Target of Judgment in Rahner and Aquinas.John F. X. Knasas - 1987 - The Thomist 51 (2):222-245.
    In lieu of an abstract, here is a brief excerpt of the content:ESSE AS THE TARGET OF JUDGMENT IN RAHNER AND AQUINAS 0 NE OF THE commanding currents of thought in Catholic circles since the Second Vatican Council has been Transcendental Thomism. Though its proponents differ among themselves, it is safe to say that the common inspiration is that Thomistic metaphysical conclusions can be arrived at through a Kantian-style transcendental method. The emphasis is on the knower's conditions of knowing, not (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  7
    The embedding model of induced gravity with bosonic sources.Matej Pavšic - 1994 - Foundations of Physics 24 (11):1495-1518.
    We consider a theory in which spacetime is a 4-dimensional manifold V4 embedded in an N-dimensional space VN. The dynamics is given by a first-order action which is a straightforward generalization of the well-known Nambu-Gotto string action. Instead of the latter action we then consider an equivalent action, a generalization of the Howe-Tucker action, which is a functional of the (extrinsic) embedding variables ηa(x) and of the (intrinsic) induced metric gυv (x) on V4. In the quantized (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  10
    Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels.James Lipton & Michael J. O'Donnell - 1996 - Annals of Pure and Applied Logic 81 (1-3):187-239.
    We use formal semantic analysis based on new constructions to study abstract realizability, introduced by Läuchli in 1970, and expose its algebraic content. We claim realizability so conceived generates semantics-based intuitive confidence that the Heyting Calculus is an appropriate system of deduction for constructive reasoning.Well-known semantic formalisms have been defined by Kripke and Beth, but these have no formal concepts corresponding to constructions, and shed little intuitive light on the meanings of formulae. In particular, the completeness proofs for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  13
    An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.Dimitar P. Guelev, Catalin Dima & Constantin Enea - 2011 - Journal of Applied Non-Classical Logics 21 (1):93-131.
    We present a variant of ATL with incomplete information which includes the distributed knowledge operators corresponding to synchronous action and perfect recall. The cooperation modalities assume the use the distributed knowledge of coalitions and accordingly refer to perfect recall incomplete information strategies. We propose a model-checking algorithm for the logic. It is based on techniques for games with imperfect information and partially observable objectives, and involves deciding emptiness for automata on infinite trees. We also propose an axiomatic system (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  2
    Transcendental Thomism and the Thomistic Texts.John F. X. Knasas - 1990 - The Thomist 54 (1):81-95.
    In lieu of an abstract, here is a brief excerpt of the content:TRANSCENDENTAL THOMISM AND THE THOMISTIC TEXTS JOHN F. x. KNASAS Genter for Thomistic Studies Houston, Temas SOME THIRTY YEARS ago in the journal Thought, there appeared an article by Fr. Joseph Donceel, S.J., entitled " A Thomistic Misapprehension? " Its thesis is that American Thomism had seen too much of the a posteriori in Aquinas's noetic.1 In fact the interpretation was so a posteriori that it bordered on empiricism (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. A Continuous Act..Nico Jenkins - 2012 - Continent 2 (4):248-250.
    In this issue we include contributions from the individuals presiding at the panel All in a Jurnal's Work: A BABEL Wayzgoose, convened at the second Biennial Meeting of the BABEL Working Group. Sadly, the contributions of Daniel Remein, chief rogue at the Organism for Poetic Research as well as editor at Whiskey & Fox , were not able to appear in this version of the proceedings. From the program : 2ND BIENNUAL MEETING OF THE BABEL WORKING GROUP CONFERENCE “CRUISING IN (...)
     
    Export citation  
     
    Bookmark  
  28.  13
    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   10 citations  
  29. Nierozstrzygalność i algorytmiczna niedostępność w naukach społecznych.Witold Marciszewski - 2004 - Filozofia Nauki 3.
    The paper is meant as a survey of issues in computational complexity from the standpoint of its relevance to social research. Moreover, the threads are hinted at that lead to computer science from mathematical logic and from philosophical questions about the limits and the power both of mathematics and the human mind. Especially, the paper addresses Turing's idea of oracle, considering its impact on computational (i.e., relying on simulations) economy, sociology etc. Oracle is meant as a device capable of finding (...)
    No categories
     
    Export citation  
     
    Bookmark  
  30.  7
    Mathematical Basis of Predicting Dominant Function in Protein Sequences by a Generic HMM–ANN Algorithm.Siddhartha Kundu - 2018 - Acta Biotheoretica 66 (2):135-148.
    The accurate annotation of an unknown protein sequence depends on extant data of template sequences. This could be empirical or sets of reference sequences, and provides an exhaustive pool of probable functions. Individual methods of predicting dominant function possess shortcomings such as varying degrees of inter-sequence redundancy, arbitrary domain inclusion thresholds, heterogeneous parameterization protocols, and ill-conditioned input channels. Here, I present a rigorous theoretical derivation of various steps of a generic algorithm that integrates and utilizes several statistical methods to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    Proximity to Seacoast: G. W. Field and the Marine Laboratory at Point Judith Pond, Rhode Island, 1896-1900. [REVIEW]C. Leah Devlin & P. J. Capelotti - 1996 - Journal of the History of Biology 29 (2):251 - 265.
    By the time George Wilton Field concluded his work at the marine laboratory his initial scientific concerns had forced him directly into local politics. He pleaded with little success with the community of South Kingstown, and with no success with the town of Narragansett, to create and maintain a permanent breach:Is it not possible for the acute business sense and the broad philanthropy of the community to sweep aside petty, local, and personal jealousies which are now blocking practical progress (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  10
    The problematic value of mathematical models of evidence.Ronald J. Allen & Michael S. Pardo - 2007
    Legal scholarship exploring the nature of evidence and the process of juridical proof has had a complex relationship with formal modeling. As evident in so many fields of knowledge, algorithmic approaches to evidence have the theoretical potential to increase the accuracy of fact finding, a tremendously important goal of the legal system. The hope that knowledge could be formalized within the evidentiary realm generated a spate of articles attempting to put probability theory to this purpose. This literature was both insightful (...)
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  33.  1
    Relative decidability and definability in henselian valued fields.Joseph Flenner - 2011 - Journal of Symbolic Logic 76 (4):1240-1260.
    Let (K, v) be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map. The main step in obtaining this partition is an answer to the question, given a polynomial f(x) ∈ K[x], what is v(f(x))? Two applications are given: first, a constructive quantifier elimination relative to the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  22
    Axioms for a Logic of Consequential Counterfactuals.Claudio E. A. Pizzi - 2023 - Logic Journal of the IGPL 31 (5):907-925.
    The basis of the paper is a logic of analytical consequential implication, CI.0, which is known to be equivalent to the well-known modal system KT thanks to the definition A → B = df A ⥽ B ∧ Ξ (Α, Β), Ξ (Α, Β) being a symbol for what is called here Equimodality Property: (□A ≡ □B) ∧ (◊A ≡ ◊B). Extending CI.0 (=KT) with axioms and rules for the so-called circumstantial operator symbolized by *, one obtains (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  28
    Neural Representations Beyond “Plus X”.Vivian Cruz & Alessio Plebe - 2018 - Minds and Machines 28 (1):93-117.
    In this paper we defend structural representations, more specifically neural structural representation. We are not alone in this, many are currently engaged in this endeavor. The direction we take, however, diverges from the main road, a road paved by the mathematical theory of measure that, in the 1970s, established homomorphism as the way to map empirical domains of things in the world to the codomain of numbers. By adopting the mind as codomain, this mapping became a boon for all (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36. W poszukiwaniu ontologicznych podstaw prawa. Arthura Kaufmanna teoria sprawiedliwości [In Search for Ontological Foundations of Law: Arthur Kaufmann’s Theory of Justice].Marek Piechowiak - 1992 - Instytut Nauk Prawnych PAN.
    Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  4
    Znanost, družba, vrednote =.A. Ule - 2006 - Maribor: Založba Aristej.
    In this book, I will discuss three main topics: the roots and aims of scientific knowledge, scientific knowledge in society, and science and values I understand scientific knowledge as being a planned and continuous production of the general and common knowledge of scientific communities. I begin my discussion with a brief analysis of the main differences between sciences, on the one hand, and everyday experience, philosophies, religions, and ideologies, on the other. I define the concept of science as a set (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  20
    Neural Representations Beyond “Plus X”.Alessio Plebe & Vivian M. De La Cruz - 2018 - Minds and Machines 28 (1):93-117.
    In this paper we defend structural representations, more specifically neural structural representation. We are not alone in this, many are currently engaged in this endeavor. The direction we take, however, diverges from the main road, a road paved by the mathematical theory of measure that, in the 1970s, established homomorphism as the way to map empirical domains of things in the world to the codomain of numbers. By adopting the mind as codomain, this mapping became a boon for all (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39.  24
    God and God’s beloved: A constructive re-reading of Scotus’s supralapsarian Christological argument.Edwin Chr van Driel - 2022 - Heythrop Journal 63 (5):995-1006.
    In this essay I argue that John Duns Scotus offers two arguments to support his well-known supralapsarian Christological position: a formal argument based on the ordering within God’s will, and a material argument based on the ordering of God’s love. While the latter is constructively more fruitful, its most natural reading, according to which God becomes incarnate so as to be loved not just by Godself but also by another, is also inconsistent with Scotus’s own account of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  5
    The Papris Methodology Verification Using The Implementation Of Specific Information System For Public Administration.Pavel Vlček & Vladimír Krajčík - 2016 - Creative and Knowledge Society 6 (2):26-35.
    The article focuses on process management in public administration using the specific case study of the statutory city of Ostrava. Based on the selected part of the PAPRIS methodology, the process management is verified, and conclusions from the application of information system e-SMO are generalized. Ostrava is third the biggest city in Czech Republic with approximately 320 thousand citizen. Article describes experiences with SW implements, which are used for model of process in public administration. Particulary at local authority of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  3
    Defining the law: (Mis)using the dictionary to decide cases.Pamela Hobbs - 2011 - Discourse Studies 13 (3):327-347.
    Legislatures enact laws and the courts interpret them. Under the doctrine of legislative supremacy, a judge is not free to ignore or modify a statutory provision in order to substitute a rule that seems to him to be better reasoned; thus where the language of a statute is clear and unambiguous, interpretation is unnecessary and it must be enforced according to its terms. Nevertheless, gaps and ambiguities can arise and, in such cases, courts apply interpretive rules, or ‘canons of construction’, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  27
    On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames.Wesley H. Holliday - 2017 - Studia Logica 105 (1):13-35.
    Viewing the language of modal logic as a language for describing directed graphs, a natural type of directed graph to study modally is one where the nodes are sets and the edge relation is the subset or superset relation. A well-known example from the literature on intuitionistic logic is the class of Medvedev frames $\langle W,R\rangle$ where $W$ is the set of nonempty subsets of some nonempty finite set $S$, and $xRy$ iff $x\supseteq y$, or more liberally, where $\langle (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  4
    An Evolutionary Paradigm For International Law: Philosophical Method, David Hume And The Essence Of Sovereignty.John Martin Gillroy - 2013 - New York, NY, USA: Palgrave MacMillan.
    Preface The status of sovereignty as a highly ambiguous concept is well established. Pointing out or deploring, the ambiguity of the idea has itself become a recurring motif in the literature on sovereignty. As the legal theorist and international lawyer Alf Ross put it, “there is hardly any domain in which the obscurity and confusion is as great as here.” 1 The concept of sovereignty is often seen as a downright obstacle to fruitful conceptual analysis, carried over from its (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  10
    Aristotle on Practical Rationality: Deliberation, Preference-Ranking, and the Imperfect Decision-Making of Women.Van Tu - 2020 - Dissertation, University of Michigan, Ann Arbor
    We have it on the authority of Aristotle that “reason (nous) is the best thing in us” (EN X.7, 1177a20). This idealization of reason permeates his account of eudaimonia, a term commonly translated as ‘happiness’, which Aristotle identifies with living and doing well (EN I.4, 1095a18-20). In harmony with a certain intellectualism peculiar to the mainstream of ancient philosophical accounts of eudaimonia, Aristotle holds that living well requires the unique practical application of rationality of which only humans are (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    Interpretation in Legal Theory.Andrei Marmor (ed.) - 1990 - Hart Publishing.
    Chapter 1: An Introduction: The ‘Semantic Sting’ Argument Describes Dworkin’s theory as concerning the conditions of legal validity. “A legal system is a system of norms. Validity is a logical property of norms in a way akin to that in which truth is a logical property of propositions. A statement about the law is true if and only if the norm it purports to describe is a valid legal norm…It follows that there must be certain conditions which render (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  46.  13
    Almost weakly 2-generic sets.Stephen A. Fenner - 1994 - Journal of Symbolic Logic 59 (3):868-887.
    There is a family of questions in relativized complexity theory--weak analogs of the Friedberg Jump-Inversion Theorem--that are resolved by 1-generic sets but which cannot be resolved by essentially any weaker notion of genericity. This paper defines aw2-generic sets. i.e., sets which meet every dense set of strings that is r.e. in some incomplete r.e. set. Aw2-generic sets are very close to 1-generic sets in strength, but are too weak to resolve these questions. In particular, it is shown that (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  47.  5
    Algebraic and Model Theoretic Properties of O-minimal Exponential Fields.Lothar Sebastian Krapp - 2021 - Bulletin of Symbolic Logic 27 (4):529-530.
    An exponential $\exp $ on an ordered field $$. The structure $$ is then called an ordered exponential field. A linearly ordered structure $$ is called o-minimal if every parametrically definable subset of M is a finite union of points and open intervals of M.The main subject of this thesis is the algebraic and model theoretic examination of o-minimal exponential fields $$ whose exponential satisfies the differential equation $\exp ' = \exp $ with initial condition $\exp = 1$. This study (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  9
    Michael Heller. Creative Tension. Essays on Science and Religion.Stanisław Wszołek - 1970 - Forum Philosophicum: International Journal for Philosophy 10 (1):261-264.
    This is the second book by Michael Heller which presents to English readers his previously written papers on science and theology. The first one, The New Physics and a New Theology is worth mentioning in this context because in it, Michael Heller proposes a new direction in theology - the theology of science. The theology of science as envisioned by Heller is defined as an authentic theological reflection on the existence, foundations, methods, and results of modern science. Its (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  3
    Medically Valid Religious Beliefs.Gregory Bock - 2012 - Dissertation,
    This dissertation explores conflicts between religion and medicine, cases in which cultural and religious beliefs motivate requests for inappropriate treatment or the cessation of treatment, requests that violate the standard of care. I call such requests M-requests (miracle or martyr requests). I argue that current approaches fail to accord proper respect to patients who make such requests. Sometimes they are too permissive, honoring M-requests when they should not; other times they are too strict. I propose a phronesis-based approach to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  2
    Construction of talent training mechanism for innovation and entrepreneurship education in colleges and universities based on data fusion algorithm.Yuanbing Liu - 2022 - Frontiers in Psychology 13.
    Nowadays, innovation and entrepreneurship courses occupy a very important place in universities and colleges and have also become an important teaching position in the process of building a new science. Colleges and universities actively respond to the challenge of “mass entrepreneurship and innovation” and define the goals and specifications of the talent training mechanism based on data fusion algorithms to cultivate as much high-quality applied talent as possible. In view of some shortcomings and problems in the current talent training mechanism (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 988