Results for 'minimization operator'

981 found
Order:
  1. Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
    Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  2. On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
    By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Normality operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
    In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Minimal Modal Interpretation of Quantum Theory.Jacob Barandes & David Kagan - manuscript
    We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Notes on a semantic analysis of variable binding term operators.J. Corcoran & John Herring - 1971 - Logique Et Analyse 55:644-657.
    -/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. An Argument for Minimal Logic.Nils Kürbis - 2019 - Dialectica 73 (1-2):31-63.
    The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Neutrosophic linear models and algorithms to find their optimal solution.Florentin Smarandache & Maissam Ahmad Jdid - 2023
    In this book, we present a study of linear models and algorithms to find the optimal solution for them using the concepts of neuroscientific science. We know that the linear programming method is one of the important methods of operations research, the science that was the product of the great scientific development that our contemporary world is witnessing. The name operations research is given to the group of scientific methods used. In analyzing problems and searching for optimal solutions, it is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Framework for Harm Elimination in Light of the Islamic Legal Maxims.Sayyed Mohamed Muhsin, Muhammad Amanullah & Luqman Zakariyah - 2019 - The Islamic Quarterly 63 (2):233-272.
    Islamic legal maxims (qawāʿʿid fiqhiyyah) provide necessary basis for extracting legal injunctions on the unprecedented cases (fiqh al-nawāzil) and make it possible for the jurists to forego the need of memorizing copious fiqh treatises. In light of this fact, this article attempts to design a framework for harm elimination, utilizing the related legal maxims, which will be arguably of great use in developing an outlook that enables a person to tackle the many challenges he or she finds in the course (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Modal meinongianism and fiction: The best of three worlds.Francesco Berto - 2011 - Philosophical Studies 152 (3):313-35.
    We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  11. Weak islands and an algebraic semantics for scope taking.Anna Szabolcsi & Frans Zwarts - 1997 - In Ways of Scope Taking. Kluwer Academic Publishers.
    Modifying the descriptive and theoretical generalizations of Relativized Minimality, we argue that a significant subset of weak island violations arise when an extracted phrase should scope over some intervener but is unable to. Harmless interveners seem harmless because they can support an alternative reading. This paper focuses on why certain wh-phrases are poor wide scope takers, and offers an algebraic perspective on scope interaction. Each scopal element SE is associated with certain operations (e.g., not with complements). When a wh-phrase scopes (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  12. Electrophysiological connectivity of logical deduction: Early cortical MEG study.Anton Toro Luis F., Salto Francisco, Requena Carmen & Maestu Fernando - 2023 - Cortex 166:365-376.
    Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational variables, same (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. A model of the ontology of time.Marian Călborean - manuscript
    I this paper I give minimal axioms for the ontology of time, especially A-theories and B-theories and I derive philosophically interesting lemmas. The exercise is set-theoretical, defining all notions and indicating assumptions and philosophical points of disagreement, while being easy to translate to other formal expressions . The issue of a logic for A-theories of time is treated towards the end, where I sketch ‘copresent’ operators for capturing the idea of temporal passage. The main conclusion will be that, while circularity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. 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  
  15.  70
    Predicates without Extensions.Paul Teller - manuscript
    Sainsbury argued that exact extensions for predicates entails the unacceptable infinite tower of higher order vagueness so that exact extensions must be rejected. I offer a second argument: The exact extensions arise when semantic values are assumed to be (exact) properties. But no assignment of unique properties to predicates could arise from any real-world finite basis. How, then, is talk of properties as semantic values to be understood? We distinguish the precise compositional rules of semantics from the operation of messy, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - 2024 - Review of Symbolic Logic 17 (1):244-271.
    Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Safety’s coordination problems.Julien Dutant & Sven Rosenkranz - 2024 - Philosophical Studies 181 (5):1317-1343.
    The safety conception of knowledge holds that a belief constitutes knowledge iff relevantly similar beliefs—its epistemic counterparts—are true. It promises an instructive account of why certain general principles of knowledge hold. We focus on two such principles that anyone should endorse: the closure principle that knowledge is downward closed under competent conjunction elimination, and the counter-closure principle that knowledge is upward closed under competent conjunction introduction. We argue that anyone endorsing the former must also endorse the latter on pains of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. (1 other version)The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - 2022 - Review of Symbolic Logic:1-28.
    This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  31
    Predicatres without extensions.Paul Teller - manuscript
    Sainsbury argued that exact extensions for predicates entails the unacceptable infinite tower of higher order vagueness so that exact extensions must be rejected. I offer a second argument: The exact extensions arise when semantic values are assumed to be (exact) properties. But no assignment of unique properties to predicates could arise from any real-world finite basis. How, then, is talk of properties as semantic values to be understood? We distinguish the precise compositional rules of semantics from the operation of messy, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Review of The Stuff of Thought by Steven Pinker (2008).Michael Starks - 2017 - Philosophy, Human Nature and the Collapse of Civilization Michael Starks 3rd Ed. (2017).
    I start with some famous comments by the philosopher (psychologist) Ludwig Wittgenstein because Pinker shares with most people (due to the default settings of our evolved innate psychology) certain prejudices about the functioning of the mind and because Wittgenstein offers unique and profound insights into the workings of language, thought and reality (which he viewed as more or less coextensive) not found anywhere else. The last quote is the only reference Pinker makes to Wittgenstein in this volume, which is most (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  21. The Structures of Temporally Extended Agents.Luca Ferrero - 2022 - In Carla Bagnoli (ed.), Time in Action: The Temporal Structure of Rational Agency and Practical Thought. New York: Routledge. pp. 108-132.
    This paper offers an overview of the ways agents might extend over time and the characteristic structure of extended human agency. Agency can extend in two distinct but combinable modes: the ontological, which gives rise to simple continuous agents; and the conceptual, which gives rise to agents who conceive of and care about distal times, and have minimal planning abilities. Our extended form of agency combines both. But we are still limited by the temporal locality in the operation of our (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Conditioning by Minimizing Accessibility.Konstantinos Georgatos - 2010 - In Giacomo Bonanno, Benedikt Löwe & Wiebe Hoek (eds.), Logic and the Foundations of Game and Decision Theory €“ Loft 8. Springer Berlin Heidelberg. pp. 20-33.
    This paper presents an axiomatization of a class of set-theoretic conditional operators using minimization of the geodesic distance defined as the shortest path generated by the accessibility relation on a frame. The objective of this modeling is to define conditioning based on a notion of similarity generated by degrees of indistinguishability.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. A Simple Logic of Concepts.Thomas F. Icard & Lawrence S. Moss - 2022 - Journal of Philosophical Logic 52 (3):705-730.
    In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Democratic equilibria: Albert Hirschman and workplace democracy.Stanislas Richard - 2020 - Review of Social Economy 78 (3):286-306.
    This paper clarifies the usage of Albert Hirschman’s categories of market behaviour as of exit and voice in debates about workplace democracy by taking seriously his critique of the neoclassical analysis of competition. Pro-market liberals are generally hostile to the idea of workplace democracy and tend to favour top-down hierarchies as a way of organising labour. This hostility is generally inspired by the neoclassical analysis of exploitation and efficiency, which leads them to defend distributions achieved through exit-based competitive equilibria. Following (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. A resource-sensitive logic of agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723-728.
    We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. Parental Obligations & the Non-Identity Problem.Jacob Isaac - manuscript
    Since its proposal in 1984, Derek Parfit’s ‘Non-Identity Problem’ has significantly influenced how social choice theorists understand existential harms and benefits. The ‘problem’ raises the question of whether parents act wrongly when they choose to create a child with a life barely worth living. It suggests that if the alternatives would have either resulted in a life not worth living or non-existence, then the parents are not liable for moral criticism. This article challenges Parfit’s premise by advocating for a Minimal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Acquaintance, Conceptual Capacities, and Attention.Anders Nes - 2019 - In Jonathan Knowles & Thomas Raleigh (eds.), Acquaintance: New Essays. Oxford, United Kingdom: Oxford University Press. pp. 191-212.
    Russell’s theory of acquaintance construes perceptual awareness as at once constitutively independent of conceptual thought and yet a source of propositional knowledge. Wilfrid Sellars, John McDowell, and other conceptualists object that this is a ‘myth’: perception can be a source of knowledge only if conceptual capacities are already in play therein. Proponents of a relational view of experience, including John Campbell, meanwhile voice sympathy for Russell’s position on this point. This paper seeks to spell out, and defend, a claim that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. A Simple, Testable Mind–Body Solution?Mostyn Jones - 2024 - Journal of Consciousness Studies 31 (1):51-75.
    Neuroelectrical panpsychism (NP) offers a clear, simple, testable mind–body solution. It says that everything is at least minimally conscious, and electrical activity across separate neurons creates a unified, intelligent mind. NP draws on recent experimental evidence to address the easy problem of specifying the mind's neural correlates. These correlates are neuroelectrical activities that, for example, generate our different qualia, unite them to form perceptions and emotions, and help guide brain operations. NP also addresses the hard problem of why minds accompany (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Quine and his Critics on Truth-Functionality and Extensionality.Charles Sayward - 2007 - Logic and Logical Philosophy 16 (1):45-63.
    Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he intends (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. How to Frame Serial Art.Christy Mag Uidhir - 2013 - Journal of Aesthetics and Art Criticism 71 (3):261-265.
    Most artworks—or at least most among those standardly subject to philosophical scrutiny—appear to be singular, stand-alone works. However, some artworks (indeed, perhaps a good many) are by contrast best viewed in terms of some larger grouping or ordering of artworks. i.e., as a series. The operative art-theoretic notion of series in which I am interested here is that of an individual and distinct artwork that is itself non-trivially composed of a non-trivial sequence of artworks (e.g., Walter de Maria’s Statement Series, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Nativism: In Defense of the Representational Interpretation.Glen Hoffmann - 2009 - Croatian Journal of Philosophy 9 (3):303-315.
    Linguistic competence, in general terms, involves the ability to learn, understand, and speak a language. The nativist view in the philosophy of linguistics holds that the principal foundation of linguistic competence is an innate faculty of linguistic cognition. In this paper, close scrutiny is given to nativism's fundamental commitments in the area of metaphysics. In the course of this exploration it is argued that any minimally defensible variety of nativism is, for better or worse, married to two theses: linguistic competence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Sinful AI?Michael Wilby - 2023 - In Critical Muslim, 47. London: Hurst Publishers. pp. 91-108.
    Could the concept of 'evil' apply to AI? Drawing on PF Strawson's framework of reactive attitudes, this paper argues that we can understand evil as involving agents who are neither fully inside nor fully outside our moral practices. It involves agents whose abilities and capacities are enough to make them morally responsible for their actions, but whose behaviour is far enough outside of the norms of our moral practices to be labelled 'evil'. Understood as such, the paper argues that, when (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Towards a Logic of Epistemic Theory of Measurement.Daniele Porello & Claudio Macolo - 2019 - In Gabor Bella & Paolo Bouquet (eds.), Modeling and Using Context - 11th International and Interdisciplinary Conference, {CONTEXT} 2019, Trento, Italy, November 20-22, 2019, Proceedings. Lecture Notes in Computer Science 11939. pp. 175-188.
    We propose a logic to reason about data collected by a num- ber of measurement systems. The semantic of this logic is grounded on the epistemic theory of measurement that gives a central role to measure- ment devices and calibration. In this perspective, the lack of evidences (in the available data) for the truth or falsehood of a proposition requires the introduction of a third truth-value (the undetermined). Moreover, the data collected by a given source are here represented by means (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Richard Burthogge's Epistemology and the Problem of Self-Knowledge.Bartosz Żukowski - 2020 - In Gabor Boros, Judit Szalai & Oliver Toth (eds.), Personal Identity and Self-Interpretation & Natural Right and Natural Emotions. Budapest: Eötvös University Press. pp. 69-83.
    The paper focuses on the epistemology developed by Richard Burthogge, the lesser-known seventeenth-century English philosopher, and author, among other works, of Organum Vetus & Novum (1678) and An Essay upon Reason and the Nature of Spirits (1694). Although his ideas had a minimal impact on the philosophy of his time, and have hitherto not been the subject of a detailed study, Burthogge’s writings contain a highly original concept of idealistic constructivism, anticipating (relatively speaking) Kant’s idealism. At the same time, some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35.  53
    Entropy in Physics using my Universal Formula.Angelito Malicse - manuscript
    -/- 1. Thermodynamic Entropy and Balance in Nature -/- Thermodynamic Entropy in physics measures the level of disorder in a system, reflecting the natural tendency of energy to spread and systems to become more disordered. -/- Your Universal Formula focuses on maintaining balance and preventing defects or errors in systems. -/- Integration: -/- Increasing thermodynamic entropy (e.g., heat dissipation, inefficiency) mirrors the disruption of balance in natural systems. -/- Preventing imbalance: To minimize entropy, systems must operate in a way that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Sustainable Marketing Strategies for Micro, Small, and Medium Enterprises Amidst COVID-19 Pandemic.Juvelle U. Ujano - 2024 - International Journal of Multidisciplinary Educational Research and Innovation 2 (1):76- 95.
    This study aimed to determine the sustainable marketing strategies for micro, small, and medium enterprises (MSMEs) amidst the COVID-19 pandemic. In this research technique, a quantitative descriptive survey was utilized to examine 363 MSMEs in designated cities and municipalities in Pangasinan, such as Binmaley, Calasiao, Dagupan City, Mangaldan, San Carlos City, Santa Barbara, and Urdaneta City, all registered with the Department of Trade and Industry (DTI). According to the findings, manufacturing is the primary industry for most respondents; they are sole (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Mundos possíveis, propriedades naturais e mereologia.Renato Rocha - 2017 - Dissertation, Universidade Federal de Santa Catarina
    I argue in this dissertation that natural properties play a central role in David Lewis' modal realism. To argue in favor of this thesis I present: a bottom-up explanation of a top-down possible world metaphysics; a new definition of natural properties and natural fusion, a new mereological operation. To achieve these aims, in the first chapter, I contextualize the discussion, in the second I resume the discussion about universals in contemporary philosophy and argue that, considering the distinct formulations of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. The construction of Electromagnetism.Mario Natiello & H. G. Solari - manuscript
    Abstract We examine the construction of electromagnetism in its current form, and in an alternative form, from a point of view that combines a minimal realism with strict rational demands. We begin by discussing the requests of reason when constructing a theory and next, we follow the historical development as presented in the record of original publications, the underlying epistemology (often explained by the authors) and the mathematical constructions. The historical construction develops along socio-political disputes (mainly, the reunification of Germany (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Omnipresent Maxwell’s demons orchestrate information management in living cells.Antoine Danchin Gregory Boel, Olivier Danot, Victor de Lorenzo & Antoine Danchin - 2019 - Microbial Biotechnology 12 (2):210-242.
    The development of synthetic biology calls for accurate understanding of the critical functions that allow construction and operation of a living cell. Besides coding for ubiquitous structures, minimal genomes encode a wealth of functions that dissipate energy in an unanticipated way. Analysis of these functions shows that they are meant to manage information under conditions when discrimination of substrates in a noisy background is preferred over a simple recognition process. We show here that many of these functions, including transporters and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Logics for Belief as Maximally Plausible Possibility.Giacomo Bonanno - 2020 - Studia Logica 108 (5):1019-1061.
    We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. The Homo Rationalis in the Digital Society: an Announced Tragedy.Tommaso Ostillio - 2023 - Dissertation, University of Warsaw
    This dissertation compares the notions of homo rationalis in Philosophy and homo oeconomicus in Economics. Particularly, in Part I, we claim that both notions are close methodological substitutes. Accordingly, we show that the constraints involved in the notion of economic rationality apply to the philosophical notion of rationality. On these premises, we explore the links between the notions of Kantian and Humean rationality in Philosophy and the constructivist and ecological approaches to rationality in economics, respectively. Particularly, we show that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42.  20
    A Balanced Economic Model: The Feedback Loop Between Public and Private Sectors with MMT as a Stabilizing Mechanism.Angelito Malicse - manuscript
    A Balanced Economic Model: The Feedback Loop Between Public and Private Sectors with MMT as a Stabilizing Mechanism -/- Introduction -/- Modern capitalism thrives on competition, profit motives, and consumer demand. However, the system is flawed because it allows extreme wealth inequality, market instability, and frequent economic crashes. Advertising, as an essential part of capitalism, manipulates consumer behavior to sustain profits. While this fuels economic growth, it also distorts the real needs of society. -/- A better alternative Is a hybrid (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43.  27
    Enhancing Logging Mechanisms in the Education Portal.Bala Krishna G. - 2024 - International Journal of Engineering Innovations and Management Strategies 1 (4):1-12.
    This paper has been designed to develop the user-friendly server log management and monitoring system for the educational portal in an endeavor to enhance its capabilities. Server log management assumes a primary role in the current digital world in the maintenance of the health of the system, in the diagnosis of problems, and in ensuring that accountability is maintained. Current practice in log management is usually disjointed and does not have advanced mechanisms capable of handling the complexities of modern systems. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. System availability optimization for production and embedding of bitumen bounded materials.Milan Mirkovic - 2016 - Dissertation, University of Belgrade
    Application of the reliability of repairable systems on solving problems from constructing production systems takes an important place in the process of finding the optimal solution among the suggested system choices. The basic hypothesis when using the reliability of the repairable systems is that every machine is representing a component, a fact that is debatable when talking about technical sciences. However, considering the second assumption of the stationary process, the function of the availability is introduced. It represents the measure between (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. L’étalonnage des instruments de mesure en physique expérimentale : le cas du télescope spatial James Webb.Carlo Calvi - 2024 - Dissertation, Université de Montréal
    Philosophers and scientists have often adopted the orthodox version of calibration which involves standardizing an instrument using a known phenomenon. The essential link between theoretical concepts and empirical data, in the philosophy of measurement, has generated the formulation of principles of coordination, synthetic a priori, and revisables. Operationalist thinking wanted to limit the scope of concepts to operations of measurement that are actually achievable. The coherentist perspective in the philosophy of measurement has operated a recovery of coordinationist epistemology and operationalism, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Artificial Intelligence: From Talos to da Vinci.Konstantinos C. Christodoulou & Gregory Tsoucalas - 2023 - European Journal of Therapeutics 29 (3):e25-e27.
    The mythical bronze creature Talos (Greek: Τάλως) was worshiped initially as the god of light or the sun in the Hellenic Island of Crete. He is supposed to have lived in the peak Kouloukona of the Tallaia Mountains in the Gerontospelio cave. His relation towards bronze and fire and his continuous voyage circling the island of Crete most probably introduces the concept of the change of the four seasons. The sun was considered in the area of the South-East Mediterranean nations (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. The evolution and development of consciousness: the subject-object emergence hypothesis.John E. Stewart - 2022 - Biosystems 217.
    A strategy for investigating consciousness that has proven very productive has focused on comparing brain processes that are accompanied by consciousness with processes that are not. But comparatively little attention has been given to a related strategy that promises to be even more fertile. This strategy exploits the fact that as individuals develop, new classes of brain processes can transition from operating ‘in the dark’ to becoming conscious. It has been suggested that these transitions occur when a new class of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. On Action Theory Change.Ivan José Varzinczak - 2010 - Journal of Artificial Intelligence Research 37 (1):189-246.
    As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus knowledge engineers need revision methods to help in accommodating new incoming information about the behavior of actions in an adequate manner. The present work is about changing action domain descriptions in multimodal logic. Its contribution is threefold: first we revisit the semantics of action theory contraction proposed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. A Bio-Logical Theory of Animal Learning.David Guez - 2009 - Biological Theory 4 (2):148-158.
    This article provides the foundation for a new predictive theory of animal learning that is based upon a simple logical model. The knowledge of experimental subjects at a given time is described using logical equations. These logical equations are then used to predict a subject’s response when presented with a known or a previously unknown situation. This new theory suc- cessfully anticipates phenomena that existing theories predict, as well as phenomena that they cannot. It provides a theoretical account for phenomena (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Arterial spin labeling as a promising alternative to FDG-PET for clinical diagnosis of patients with disorders of consciousness.Timothy Joseph Lane - manuscript
    Objective: To evaluate the potential of arterial spin labeling (ASL) as an alternative to FDG-PET in the diagnosis of disorders of consciousness (DOC), we conducted a comparative study of the two modalities. Methods: A total of 36 DOC patients (11 female; mean age = 49.67 ± 14.54 years) and 17 healthy control (HC) participants (9 female; mean age = 31.9 ± 9.6 years) underwent both FDG-PET scans that measure metabolism via glucose uptake and ASL scans that measure cerebral blood flow (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 981