Results for 'P. Helm'

1000+ found
Order:
  1. Freedom of the heart.Bennett W. Helm - 1996 - Pacific Philosophical Quarterly 77 (2):71--87.
    Philosophical accounts of freedom typically fail to capture an important kind of freedom—freedom to change what one cares about—that is central to our understanding of what it is to be a person. This paper articulates this kind of freedom more clearly, distinguishing it from freedom of action and freedom of the will, and gives an account of how it is possible. Central to this account is an understanding of the role of emotions in determining what we value, thus motivating a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  2. Scientific enquiry and natural kinds: from planets to mallards.P. D. Magnus - 2012 - New York, NY: Palgrave-Macmillan.
    Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  3. Beautiful, Troubling Art: In Defense of Non-Summative Judgment.P. Quinn White - manuscript
    Do the ethical features of an artwork bear on its aesthetic value? This movie endorses misogyny, that song is a civil rights anthem, the clay constituting this statue was extracted with underpaid labor—are facts like these the proper bases for aesthetic evaluation? I argue that this debate has suffered from a false presupposition: that if the answer is yes (for at least some such ethical features), such considerations feature as pro tanto contributions to an artwork's overall aesthetic value, i.e., as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  91
    Does Art Pluralism Lead to Eliminativism?P. D. Magnus & Christy Mag Uidhir - 2024 - Estetika: The European Journal of Aesthetics 61 (1):73-80.
    A critical note on Christopher Bartel and Jack M. C. Kwong, ‘Pluralism, Eliminativism, and the Definition of Art’, Estetika 58 (2021): 100–113. Art pluralism is the view that there is no single, correct account of what art is. Instead, art is understood through a plurality of art concepts and with considerations that are different for particular arts. Although avowed pluralists have retained the word ‘art’ in their discussions, it is natural to ask whether the considerations that motivate pluralism should lead (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Personal Identity.David Shoemaker & Kevin P. Tobia - 2022 - In Manuel Vargas & John Doris (eds.), The Oxford Handbook of Moral Psychology. Oxford, U.K.: Oxford University Press.
    Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  6. Emotions and Motivation: Reconsidering Neo-Jamesian Accounts.Bennett Helm - 2009 - In Peter Goldie (ed.), The Oxford Handbook of Philosophy of Emotion. Oxford University Press.
    One central argument in favor of perceptual accounts of emotions concerns recalcitrant emotions: emotions that persist in the face of repudiating judgments. For, it is argued, to understand how the conflict between recalcitrant emotions and judgment falls short of incoherence in judgment, we need to understand recalcitrant emotions to be something like perceptual illusions of value, so that in normal, non-recalcitrant cases emotions are non-illusory perceptions of value. I argue that these arguments fail and that a closer examination of recalcitrant (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  7. Truly, Madly, Deeply: Moral Beauty & the Self.Ryan P. Doran - forthcoming - Ergo: An Open Access Journal of Philosophy.
    When are morally good actions beautiful, when indeed they are? In this paper, it is argued that morally good actions are beautiful when they appear to express the deep or true self, and in turn tend to give rise to an emotion which is characterised by feelings of being moved, unity, inspiration, and meaningfulness, inter alia. In advancing the case for this claim, it is revealed that there are additional sources of well-formedness in play in the context of moral beauty (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Crisis, Call, and Leadership in the Abrahamic Traditions.P. Ochs & W. Johnson (eds.) - 2008 - NYC: Palgrave Macmillan.
    "Over three years of study and fellowship, sixteen Muslim, Jewish, and Christian scholars sought to answer one question: “Do our three scriptures unite or divide us?” They offer their answers in this book: sixteen essays on how certain ways of reading scripture may draw us apart and other ways may draw us, together, into the source that each tradition calls peace. Reading scriptural sources in the classical and medieval traditions, the authors examine how each tradition addresses the “other” within its (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  59
    The Presentist Fragmentalist Theory of Quantum Gravity: FCQG.P. Merriam & M. Habeeb - manuscript
    Presentist Fragmentalism is a novel interpretation of quantum mechanics. This paper develops the resulting theory of Quantum Gravity.
    Download  
     
    Export citation  
     
    Bookmark  
  10.  58
    The Presentist Fragmentalist Theory of Quantum Gravity 2.P. Merriam & M. Habeeb - manuscript
    This paper gives a theory of quantum gravity based on the Presentist Fragmentalist interpretation of quantum mechanics. It is a dialogue with the AI Claude Ultra 3.0.
    Download  
     
    Export citation  
     
    Bookmark  
  11.  56
    A Theory of Everything consistent with the PF interpretation of Quantum Mechanics.P. Merriam & M. Habeeb - manuscript
    This note outlines a Theory of Everything consistent with the PF interpretation of quantum mechanics.
    Download  
     
    Export citation  
     
    Bookmark  
  12.  79
    De politieke filosofie van Aron.P. Janssens - 1971 - Brussel,: Sint-Aloysiushandelshogeschool (Broekstr..
    Download  
     
    Export citation  
     
    Bookmark  
  13. True Beauty.Ryan P. Doran - forthcoming - British Journal of Aesthetics.
    What is the nature of the concept BEAUTY? Does it differ fundamentally from nearby concepts such as PRETTINESS? It is argued that BEAUTY, but not PRETTINESS, is a dual-character concept. Across a number of contexts, it is proposed that BEAUTY has a descriptive sense that is characterised by, inter alia, having intrinsically pleasing appearances; and a normative sense associated with deeply-held values. This account is supported across two, pre-registered, studies (N=500), and by drawing on analysis of corpus data. It is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  33
    The Presentist Fragmentalist Theory of Quantum Gravity: FCQG.P. Merriam & M. Habeeb - manuscript
    Two philosophical arguments gave the novel interpretation of quantum mechanics Presentist Fragmentalism. This paper gives the resulting theory of quantum gravity.
    Download  
     
    Export citation  
     
    Bookmark  
  15.  27
    A Theory of Everything Consistent with the PF interpretation of Quantum Mechanics.P. Merriam & M. A. Z. Habeeb - manuscript
    This paper continues developing the theory of everything consistent with the Presentist Fragmentalist interpretation of quantum mechanics.
    Download  
     
    Export citation  
     
    Bookmark  
  16.  96
    Freedom, Harmony & Moral Beauty.Ryan P. Doran - forthcoming - Philosophers' Imprint.
    Why are moral actions beautiful, when indeed they are? This paper assesses the view, found most notably in Schiller, that moral actions are beautiful just when they present the appearance of freedom by appearing to be the result of internal harmony (the Schillerian Internal Harmony Thesis). I argue that while this thesis can accommodate some of the beauty involved in contrasts of the ‘continent’ and the ‘fully’ virtuous, it cannot account for all of the beauty in such contrasts, and so (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Concinnated quantum gravity papers 3.P. Merriam & M. A. Z. Habeeb - manuscript
    The first purpose of this series of articles is to introduce case studies on how current AI models can be used in the development of a possible theory of quantum gravity, their limitations, and the role the researcher has in steering the development in the right direction, even highlighting the errors, weaknesses and strengths of the whole process. -/- The second is to introduce the new Presentist Fragmentalist ontology as a framework and use it for developing theories of quantum gravity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  70
    More on the PF theory of Quantum Gravity FCQG and its Theory of Everything FCQG-SM.P. Merriam & M. A. Z. Habeeb - manuscript
    "This self-consistent evolution of the fragments, their causal relationships, and their quantum properties is at the heart of the FCQG-SM framework, providing a unified description of quantum mechanics, general relativity, and the Standard Model.".
    Download  
     
    Export citation  
     
    Bookmark  
  19.  52
    Merriam-Habeeb-Claude Theory of Quantum Gravity.P. Merriam & M. A. Z. Habeeb - manuscript
    This is the first in a series of papers developing a theory of quantum gravity that is consistent with the PF interpretation of quantum mechanics. "Key Features: Reconciles quantum theory, general relativity, and the PF interpretation in a common framework...".
    Download  
     
    Export citation  
     
    Bookmark  
  20.  44
    Yet More on the PF theory of QG and its TOE 3 29 2024.P. Merriam & M. A. Z. Habeeb - manuscript
    This paper continues and extensive exploration of the QG and TOE resulting from the PF interpretation of QM. Some highlights are an exploration of symmetries of the Standard Model, outlines of testable predictions of implications for QG, that this theory can simultaneously give an account of dark matter and dark energy, probabilities and statevector collapse vs. gravity, applications of the causal interaction tensor Cαβγδ(Fi, Fj). Note the first section mentions qualia but this is not a psychological theory this is an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Art Concept Pluralism.Christy Mag Uidhir & P. D. Magnus - 2011 - Metaphilosophy 42 (1-2):83-97.
    Abstract: There is a long tradition of trying to analyze art either by providing a definition (essentialism) or by tracing its contours as an indefinable, open concept (anti-essentialism). Both art essentialists and art anti-essentialists share an implicit assumption of art concept monism. This article argues that this assumption is a mistake. Species concept pluralism—a well-explored position in philosophy of biology—provides a model for art concept pluralism. The article explores the conditions under which concept pluralism is appropriate, and argues that they (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  22. How Are We to Think of God’s Freedom?Paul Helm - 2015 - European Journal for Philosophy of Religion 7 (3):49--65.
    The paper discusses two conceptions of divine freedom. The first, Hugh McCann’s, proposes that God is a timelessly eternal act, whose agency is not deliberative and who, in that act, creates himself and the contents of his will. God is such an act. Following discussion of this view, its costs and benefits, a more traditional account of God’s freedom, in which he possesses vestigial alternativity, the freedom to choose an alternative should there have been a sufficient reason to do so.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Eternity and Vision in Boethius.Paul Helm - 2009 - European Journal for Philosophy of Religion 1 (1):77 - 97.
    Boethius and Augustine of Hippo are two of the fountainheads from which the long tradition of regarding God’s existence as timelessly eternal has flowed, a tradition which has influenced not only Christianity, but Judaism and Islam, too. But though the two have divine eternality in common, I shall argue that in other respects, in certain crucial respects, they differ significantly over how they articulate that notion.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  25
    A Theory of Everything consistent with the PF interpretation of Quantum Mechanics.P. Merriam - manuscript
    This paper appears to give a Theory of Everything.
    Download  
     
    Export citation  
     
    Bookmark  
  25.  95
    The Conceptualization of RRI: An Iterative Approach.P. Klaassen - 2017 - In L. Asveld, R. Van Dam-Mieras, T. Swierstra, S. Lavrijssen, K. Linse & J. Van Den Hoven (eds.), Responsible Innovation. Springer International Publishing.
    To stimulate research and innovation (R&I), to contribute to the solution of societal challenges and to align R&I with societal values, the European Commission has launched the governance framework of Responsible Research and Innovation (RRI). RRI figures in many high-level EU policies as a means to promote smart growth, and a growing community of R&I practitioners from both the public and private sectors appears committed to it. Although debates on what RRI precisely entails have not reached closure yet, RRI provides (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26.  21
    The Theory of Everything consistent with the PF interpretation of quantum mechanics.P. Merriam & M. A. Z. Habeeb - manuscript
    This paper give the first foray into the development of a Theory of Everything that is consistent with the PF interpretation of quantum mechanics.
    Download  
     
    Export citation  
     
    Bookmark  
  27. On the Matter of Robot Minds.Brian P. McLaughlin & David Rose - forthcoming - Oxford Studies in Experimental Philosophy.
    The view that phenomenally conscious robots are on the horizon often rests on a certain philosophical view about consciousness, one we call “nomological behaviorism.” The view entails that, as a matter of nomological necessity, if a robot had exactly the same patterns of dispositions to peripheral behavior as a phenomenally conscious being, then the robot would be phenomenally conscious; indeed it would have all and only the states of phenomenal consciousness that the phenomenally conscious being in question has. We experimentally (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  28. Personal Identity and Moral Psychology.David Shoemaker & Kevin P. Tobia - 2022 - In Manuel Vargas & John Doris (eds.), The Oxford Handbook of Moral Psychology. Oxford, U.K.: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Belief revision in psychotherapy.J. P. Grodniewicz - 2024 - Synthese 203 (4):1-22.
    According to the cognitive model of psychopathology, maladaptive beliefs about oneself, others, and the world are the main factors contributing to the development and persistence of various forms of mental suffering. Therefore, the key therapeutic process of Cognitive Behavioral Therapy (CBT)—a therapeutic approach rooted in the cognitive model—is cognitive restructuring, i.e., a process of revision of such maladaptive beliefs. In this paper, I examine the philosophical assumptions underlying CBT and offer theoretical reasons to think that the effectiveness of belief revision (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30.  93
    Inner speech and the body error theory.Ronald P. Endicott - 2024 - Frontiers in Psychology 15:1360699.
    Inner speech is commonly understood as the conscious experience of a voice within the mind. One recurrent theme in the scientific literature is that the phenomenon involves a representation of overt speech, for example, a representation of phonetic properties that result from a copy of speech instructions that were ultimately suppressed. I propose a larger picture that involves some embodied objects and their misperception. I call it “the Body Error Theory,” or BET for short. BET is a form of illusionism, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. The Epistemology of Genealogies.Justin P. McBrayer - 2018 - In Hans van Eyghen, Rik Peels & Gijsbert van den Brink (eds.), New Developments in the Cognitive Science of Religion - The Rationality of Religious Belief. Dordrecht: Springer. pp. 157-169.
    Beliefs have genealogies. Can tracing a belief’s genealogy illuminate the epistemic quality of the belief? This paper sets out a general epistemology of genealogies. As it turns out, genealogies for beliefs come in two sorts: those that trace a belief to some mental event that doubles as evidence for the belief and those that do not. The former have the potential to undercut the belief, rebut the belief, or—importantly—both. The latter have the potential to reinforce the belief or rebut the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  32. Termination Analyzer H is Not Fooled by Pathological Input D.P. Olcott - manuscript
    A pair of C functions are defined such that D has the halting problem proof's pathological relationship to simulating termination analyzer H. When H correctly determines that D correctly simulated by H must be aborted to prevent its own infinite execution then H is necessarily correct to reject D as specifying non-halting behavior. This exact same reasoning is applied to the Peter Linz Turing machine based halting problem proof.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Fatalism for Presentists.David P. Hunt - 2020 - In Per Hasle, David Jakobsen & Peter Ohstrom (eds.), The Metaphysics of Time: Themes on Prior. Aalborg University Press. pp. 299-316.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. Levinas and 'Finite Freedom'.James H. P. Lewis & Simon Thornton - 2023 - In Joe Saunders (ed.), Freedom After Kant: From German Idealism to Ethics and the Self. Blackwell's.
    The ethical philosophy of Emmanuel Levinas is typically associated with a punishing conception of responsibility rather than freedom. In this chapter, our aim is to explore Levinas’s often overlooked theory of freedom. Specifically, we compare Levinas’s account of freedom to the Kantian (and Fichtean) idea of freedom as autonomy and the Hegelian idea of freedom as relational. Based on these comparisons, we suggest that Levinas offers a distinctive conception of freedom—“finite freedom.” In contrast to Kantian autonomy, finite freedom constitutively involves (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35.  40
    What is the Matter with Matter? Barad, Butler, and Adorno.P. Højme - 2024 - Matter: Journal of New Materialist Research 9.
    This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. The Providential Advantage of Divine Foreknowledge.David P. Hunt - 2009 - In Kevin Timpe (ed.), Arguing about religion. New York: Routledge. pp. 374-385.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Public sociology and democratic theory.Stephen P. Turner - 2007 - In Jeroen Van Bouwel (ed.), The Social Sciences and Democracy. Palgrave-Macmillan.
    Sociology, as conceived by Comte, was to put an end to the anarchy of opinions characteristic of liberal democracy by replacing opinion with the truths of sociology, imposed through indoctrination. Later sociologists backed away from this, making sociology acceptable to liberal democracy by being politically neutral. The critics of this solution asked 'whose side are we on?' Burawoy provides a novel justification for advocacy scholarship in sociology. Public sociology is intended to have political effects, but also to be funded by (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  38. BAB 1: RENCANA YANG SEMPURNA.Quan-Hoang Vuong & Sari N. P. W. P. - manuscript - Translated by Ni Putu Wulan Purnama Sari.
    Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.
    Download  
     
    Export citation  
     
    Bookmark  
  39. Proof that Wittgenstein is correct about Gödel.P. Olcott - manuscript
    The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.
    Download  
     
    Export citation  
     
    Bookmark  
  40. Philosophy of Logic – Reexamining the Formalized Notion of Truth.P. Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to true conclusions without any need for other representations such as model theory.
    Download  
     
    Export citation  
     
    Bookmark  
  41. Minimal Type Theory (MTT).P. Olcott - manuscript
    Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
    Download  
     
    Export citation  
     
    Bookmark  
  42. Deductively Sound Formal Proofs.P. Olcott - manuscript
    Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]? All that we have to do to provide [deductively sound formal proofs of mathematical logic] is select the subset of conventional [formal proofs of mathematical logic] having true premises and now we have [deductively sound formal proofs of mathematical logic].
    Download  
     
    Export citation  
     
    Bookmark  
  43. Tarski Undefinability Theorem Succinctly Refuted.P. Olcott - manuscript
    If the conclusion of the Tarski Undefinability Theorem was that some artificially constrained limited notions of a formal system necessarily have undecidable sentences, then Tarski made no mistake within his assumptions. When we expand the scope of his investigation to other notions of formal systems we reach an entirely different conclusion showing that Tarski's assumptions were wrong.
    Download  
     
    Export citation  
     
    Bookmark  
  44. Halting Problem Proof from Finite Strings to Final States.P. Olcott - manuscript
    If there truly is a proof that shows that no universal halt decider exists on the basis that certain tuples: (H, Wm, W) are undecidable, then this very same proof (implemented as a Turing machine) could be used by H to reject some of its inputs. When-so-ever the hypothetical halt decider cannot derive a formal proof from its input strings and initial state to final states corresponding the mathematical logic functions of Halts(Wm, W) or Loops(Wm, W), halting undecidability has been (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Eliminating Undecidability and Incompleteness in Formal Systems.P. Olcott - manuscript
    To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.
    Download  
     
    Export citation  
     
    Bookmark  
  46. The Notion of Truth in Natural and Formal Languages.P. Olcott - manuscript
    For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts. -/- By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that evaluate to neither True nor False.
    Download  
     
    Export citation  
     
    Bookmark  
  47. Formalizing the logical (self-reference) error of the Liar Paradox.P. Olcott - manuscript
    This paper decomposes the Liar Paradox into its semantic atoms using Meaning Postulates (1952) provided by Rudolf Carnap. Formalizing truth values of propositions as Boolean properties of these propositions is a key new insight. This new insight divides the translation of a declarative sentence into its equivalent mathematical proposition into three separate steps. When each of these steps are separately examined the logical error of the Liar Paradox is unequivocally shown.
    Download  
     
    Export citation  
     
    Bookmark  
  48. Defining Gödel Incompleteness Away.P. Olcott - manuscript
    We can simply define Gödel 1931 Incompleteness away by redefining the meaning of the standard definition of Incompleteness: A theory T is incomplete if and only if there is some sentence φ such that (T ⊬ φ) and (T ⊬ ¬φ). This definition construes the existence of self-contradictory expressions in a formal system as proof that this formal system is incomplete because self-contradictory expressions are neither provable nor disprovable in this formal system. Since self-contradictory expressions are neither provable nor disprovable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Philosophy of Logic – Reexamining the Formalized Notion of Truth.P. Olcott - manuscript
    Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Refuting Tarski and Gödel with a Sound Deductive Formalism.P. Olcott - manuscript
    The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000