Search results for 'Non-functional requirements' (try it on Scholar)

1000+ found
Order:
  1.  56
    Aaron Sloman & David Vernon, A First Draft Analysis of Some Meta-Requirements for Cognitive Systems in Robots (An Exercise in Logical Topography Analysis. ).
    This is a contribution to construction of a research roadmap for future cognitive systems, including intelligent robots, in the context of the euCognition network, and UKCRC Grand Challenge 5: Architecture of Brain and Mind. -/- A meeting on the euCognition roadmap project was held at Munich Airport on 11th Jan 2007. This document was in part a response to discussions at that meeting. An explanation of why specifying requirements is a hard problem, and why it needs to be done, (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  2.  20
    C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. [REVIEW] Journal of Logic, Language and Information 12 (2):183-211.
    Fibring has been shown to be useful for combining logics endowed withtruth-functional semantics. However, the techniques used so far are unableto cope with fibring of logics endowed with non-truth-functional semanticsas, for example, paraconsistent logics. The first main contribution of thepaper is the development of a suitable abstract notion of logic, that mayalso encompass systems with non-truth-functional connectives, and wherefibring can still be dealt with. Furthermore, it is shown that thisextended notion of fibring preserves completeness under certain reasonableconditions. This completeness transfer (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  3. Nicholas Maxwell, Non-Empirical Requirements Scientific Theories Must Satisfy: Simplicity, Unification, Explanation, Beauty. PhilSci Archive.
    A scientific theory, in order to be accepted as a part of theoretical scientific knowledge, must satisfy both empirical and non-empirical requirements, the latter having to do with simplicity, unity, explanatory character, symmetry, beauty. No satisfactory, generally accepted account of such non-empirical requirements has so far been given. Here, a proposal is put forward which, it is claimed, makes a contribution towards solving the problem. This proposal concerns unity of physical theory. In order to satisfy the non-empirical requirement (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  4.  51
    Jean-Yves Beziau, Non Truth-Functional Many-Valuedness.
    Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  81
    João Marcos (2009). What is a Non-Truth-Functional Logic? Studia Logica 92 (2):215 - 240.
    What is the fundamental insight behind truth-functionality ? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truth-functionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely well-known. A clear distinction can be drawn between logics characterizable through: (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  28
    Ariadna Chernavska (1981). The Impossibility of a Bivalent Truth-Functional Semantics for the Non-Boolean Propositional Structures of Quantum Mechanics. Philosophia 10 (1-2):1-18.
    The general fact of the impossibility of a bivalent, truth-functional semantics for the propositional structures determined by quantum mechanics should be more subtly demarcated according to whether the structures are taken to be orthomodular latticesP L or partial-Boolean algebrasP A; according to whether the semantic mappings are required to be truth-functional or truth-functional ; and according to whether two-or-higher dimensional Hilbert spaceP structures or three-or-higher dimensional Hilbert spaceP structures are being considered. If the quantumP structures are taken to be orthomodular (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  7. Mikhail Spivakov (2014). Spurious Transcription Factor Binding: Non-Functional or Genetically Redundant? Bioessays 36 (8):798-806.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  3
    Sara Scharf (2008). Multiple Independent Inventions of a Non-Functional Technology: Combinatorial Descriptive Names in Botany, 1640-1830. Spontaneous Generations 2 (1):145.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  76
    Adam Morton (1969). Extensional and Non-Truth-Functional Contexts. Journal of Philosophy 66 (6):159-164.
    I discuss Frege's argument - later called the slingshot - that if a construction is extensional and preserves logical equivalence then it is truth-functional. I consider some simple apparent counterexamples and conclude that they are not sentence-embedding in the required way.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  10.  70
    Michel Bitbol, Physical Relations or Functional Relations ? A Non-Metaphysical Construal of Rovelli's Relational Quantum Mechanics.
    Rovelli’s RQM is first characterized by contrast with both Everett’s and Bohr’s interpretations of quantum mechanics. Then, it is shown that a basic difficulty arises from the choice of formulating RQM in a naturalistic framework. Even though, according to Rovelli’s interpretation, statements about the world only make sense relative to certain naturalized observers described by means of quantum mechanics, this very meta-statement seems to make sense relative to a sort of super-observer which does not partake of the naturalized status of (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11.  7
    Dirk S. Paul, Nicole Soranzo & Stephan Beck (2014). Functional Interpretation of Non‐Coding Sequence Variation: Concepts and Challenges. Bioessays 36 (2):191-199.
  12. Elham Barzegaran, Amir Joudaki, Mahdi Jalili, Andrea O. Rossetti, Richard S. Frackowiak & Maria G. Knyazeva (2012). Properties of Functional Brain Networks Correlate with Frequency of Psychogenic Non-Epileptic Seizures. Frontiers in Human Neuroscience 6.
  13.  11
    Buchsbaum Arthur & Jean-Yves Béziau, Non Truth-Functional Many-Valuedness.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  1
    Ashley E. Symons, Wael El-Deredy, Michael Schwartze & Sonja A. Kotz (2016). The Functional Role of Neural Oscillations in Non-Verbal Emotional Communication. Frontiers in Human Neuroscience 10.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  4
    João Marcos (2009). What is a Non-Truth-Functional Logic? Studia Logica 92 (2):215-240.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  19
    Nuno R. B. Martins, Wolfram Erlhagen & Robert A. Freitas (2012). Non-Destructive Whole-Brain Monitoring Using Nanorobots: Neural Electrical Data Rate Requirements. International Journal of Machine Consciousness 4 (01):109-140.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  17.  8
    Andrzej Mostowski (1948). Proofs of Non-Deducibility in Intuitionistic Functional Calculus. Journal of Symbolic Logic 13 (4):204-207.
  18.  1
    Yasutaka Sibuya (1988). Non-Trivial Entire Solutions of the Functional Equation F + F F = 1, Ω5 = 1. Analysis 8 (3-4).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  6
    John Beierle (1984). A Truth-Functional Non-Modal Interpretation of Ockham's Theory of Consequences. Franciscan Studies 44 (1):71-80.
  20.  10
    Niels Egmont Christensen (1965). A Non-Truth-Functional Interpretation of Mathematical Logic. Analysis 25 (Suppl-3):129 - 132.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21.  1
    Herbert E. Hendry (1980). Functional Completeness and Non-Ł Ukasiewiczian Truth Functions. Notre Dame Journal of Formal Logic 21 (3):536-538.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  13
    Moriah E. Thomason (2009). Children in Non-Clinical Functional Magnetic Resonance Imaging (Fmri) Studies Give the Scan Experience a “Thumbs Up”. American Journal of Bioethics 9 (1):25 – 27.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  23.  2
    C. Caleiro, W. A. Carnielli & M. E. Coniglio (2003). And C. Sernadas/Fibring Non-Truth-Functional Logics: Completeness Preservation 183–211 Kentaro Kikuchi and Katsumi Sasaki/a Cut-Free Gentzen Formulation of Basic Propositional Calculus 213–225. [REVIEW] Journal of Logic, Language and Information 12:533-535.
    Direct download  
     
    Export citation  
     
    My bibliography  
  24.  9
    Jennifer J. Kulynych (2007). Some Thoughts About the Evaluation of Non-Clinical Functional Magnetic Resonance Imaging. American Journal of Bioethics 7 (9):57 – 58.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25.  1
    Leon Henkin (1955). Review: H. Rasiowa, R. Sikorski, On Existential Theorems in Non-Classical Functional Calculi. [REVIEW] Journal of Symbolic Logic 20 (1):80-80.
    Direct download  
     
    Export citation  
     
    My bibliography  
  26. Antonio Bucciarelli, Thomas Ehrhard & Giulio Manzonetto (2012). A Relational Semantics for Parallelism and Non-Determinism in a Functional Setting. Annals of Pure and Applied Logic 163 (7):918-934.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27. Van Dijck Jean-Philippe, Vandeput Katleen, Lafosse Christophe, Hartsuiker Rob & Fias Wim (2014). Non-Organic Cognitive Deficits: A Case Report of Functional Disturbance in the Production of Ordinal Information. Frontiers in Human Neuroscience 8.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Mihaly Makkai (1967). Review: R. Sikorski, A Theorem on Non-Classical Functional Calculi; R. Sikorski, Some Applications of Interior Mappings. [REVIEW] Journal of Symbolic Logic 32 (4):537-537.
     
    Export citation  
     
    My bibliography  
  29. Mihály Makkai (1968). Sikorski R.. A Theorem on Non-Classical Functional Calculi. Bulletin de l'Academie Polonaise des Sciences, Classe III, Vol. 4 , Pp. 649–650.Sikorski R.. Some Applications of Interior Mappings. Fundamenta Mathematicae, Vol. 45 , Pp. 200–212. [REVIEW] Journal of Symbolic Logic 32 (4):537.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. J. Rinn (2009). HOTAIR is One of an Increasing Number of Functional Non-Coding RNAs Identified From the Human Genome. Phronesis 1:42.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31. Th Skolem (1949). Mostowski Andrzej. Proofs of Non-Deducibility in Intuitionistic Functional Calculus. Journal of Symbolic Logic 14 (2):137.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Th Skolem (1949). Review: Andrzej Mostowski, Proofs of Non-Deducibility in Intuitionistic Functional Calculus. [REVIEW] Journal of Symbolic Logic 14 (2):137-137.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. J. Tao, J. P. Perdew, A. Ruzsinszky, G. E. Scuseria, G. I. Csonka & V. N. Staroverov (2007). Meta-Generalized Gradient Approximation: Non-Empirical Construction and Performance of a Density Functional. Philosophical Magazine 87 (7):1071-1084.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Sjoerd D. Zwart & Maarten Franssen (2007). An Impossibility Theorem for Verisimilitude. Synthese 158 (1):75 - 92.
    In this paper, we show that Arrow’s well-known impossibility theorem is instrumental in bringing the ongoing discussion about verisimilitude to a more general level of abstraction. After some preparatory technical steps, we show that Arrow’s requirements for voting procedures in social choice are also natural desiderata for a general verisimilitude definition that places content and likeness considerations on the same footing. Our main result states that no qualitative unifying procedure of a functional form can simultaneously satisfy the requirements (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  35. Stephen E. Robbins (2012). Meditation on a Mousetrap: On Consciousness and Cognition, Evolution, and Time. Journal of Mind and Behavior 33 (1):69.
    Evolutionary theory has yet to offer a detailed model of the complex transitions from a living system of one design to another of more advanced, or simply different, design. Hidden within the writings of evolution's expositors is an implicit appeal to AI-like processes operating within the "cosmic machine" that has hitherto been evolving the plethora of functional living systems we observe. In these writings, there is disturbingly little understanding of the deep problems involved, resting as they do in the very (...)
     
    Export citation  
     
    My bibliography  
  36.  5
    José Gil (2006). Las explicaciones deductivas e inductivas en lingüística. Manuscrito 29 (1):93-151.
    Espero defender la tesis de que la lingüística contemporánea se ha ido consolidando como una ciencia estable. Para ello analizaré, en los conocidos términos de Hempel, casos concretos de explicaciones nomológico-deductivas y probabilístico-inductivas brindadas por la teo-ría generativa y por la teoría sistémico-funcional. Estas explicaciones so-bre hechos del lenguaje son muy superiores a las “no-científicas” : Se sostienen en leyes universales y probabilísticas, cumplen con los requi-sitos de contrastabilidad y pertinencia explicativa y, fundamentalmente, sirven para establecer o comprender las predicciones. (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  37. Jessica M. Wilson (2011). Non-Reductive Realization and the Powers-Based Subset Strategy. The Monist (Issue on Powers) 94 (1):121-154.
    I argue that an adequate account of non-reductive realization must guarantee satisfaction of a certain condition on the token causal powers associated with (instances of) realized and realizing entities---namely, what I call the 'Subset Condition on Causal Powers' (first introduced in Wilson 1999). In terms of states, the condition requires that the token powers had by a realized state on a given occasion be a proper subset of the token powers had by the state that realizes it on that occasion. (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  38. Gunnar Björnsson & Tristram McPherson (2014). Moral Attitudes for Non-Cognitivists: Solving the Specification Problem. Mind 123 (489):1-38.
    Moral non-cognitivists hope to explain the nature of moral agreement and disagreement as agreement and disagreement in non-cognitive attitudes. In doing so, they take on the task of identifying the relevant attitudes, distinguishing the non-cognitive attitudes corresponding to judgements of moral wrongness, for example, from attitudes involved in aesthetic disapproval or the sports fan’s disapproval of her team’s performance. We begin this paper by showing that there is a simple recipe for generating apparent counterexamples to any informative specification of the (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  39. Vincent Bergeron (2016). Functional Independence and Cognitive Architecture. British Journal for the Philosophy of Science 67 (3):817-836.
    In cognitive science, the concept of dissociation has been central to the functional individuation and decomposition of cognitive systems. Setting aside debates about the legitimacy of inferring the existence of dissociable systems from behavioral dissociation data, the main idea behind the dissociation approach is that two cognitive systems are dissociable, and therefore viewed as distinct, if each can be damaged, or impaired, without affecting the other system’s functions. In this paper, I propose a notion of functional independence that does not (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  45
    Alexander Rueger (2006). Functional Reduction and Emergence in the Physical Sciences. Synthese 151 (3):335 - 346.
    Kim’s model of ‘functional reduction’ of properties is shown to fail in a class of cases from physics involving properties at different spatial levels. The diagnosis of this failure leads to a non-reductive account of the relation of micro and macro properties.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  41.  57
    Marzenna Jakubczak (2014). The Purpose of Non-Theistic Devotion in the Classical Indian Tradition of Sāṃkhya–Yoga. Argument: Biannual Philosophical Journal 4 (1):55-68.
    The paper starts with some textual distinctions concerning the concept of God in the metaphysical framework of two classical schools of Hindu philosophy, Sāṃkhya and Yoga. Then the author focuses on the functional and pedagogical aspects of prayer as well as practical justification of “religious meditation” in both philosophical schools. A special attention is put on the practice called īśvarapraṇidhāna, recommended in Yoga school, which is interpreted by the author as a form of non-theistic devotion. The meaning of the central (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  2
    Vincent Bergeron (2016). Functional Independence and Cognitive Architecture. British Journal for the Philosophy of Science 67 (3):817-836.
    In cognitive science, the concept of dissociation has been central to the functional individuation and decomposition of cognitive systems. Setting aside debates about the legitimacy of inferring the existence of dissociable systems from ‘behavioural’ dissociation data, the main idea behind the dissociation approach is that two cognitive systems are dissociable, and thus viewed as distinct, if each can be damaged, or impaired, without affecting the other system’s functions. In this article, I propose a notion of functional independence that does not (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  49
    Arno Wouters (2005). The Functional Perspective of Organismal Biology. In Thomas Reydon & Lia Hemerik (eds.), Current Themes in Theoretical Biology. Springer 33--69.
    Following Mayr (1961) evolutionary biologists often maintain that the hallmark of biology is its evolutionary perspective. In this view, biologists distinguish themselves from other natural scientists by their emphasis on why-questions. Why-questions are legitimate in biology but not in other natural sciences because of the selective character of the process by means of which living objects acquire their characteristics. For that reason, why-questions should be answered in terms of natural selection. Functional biology is seen as a reductionist science that applies (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  44.  41
    Elliott Tammaro (2012). Mechanics: Non-Classical, Non-Quantum. Foundations of Physics 42 (2):284-290.
    A non-classical, non-quantum theory, or NCQ, is any fully consistent theory that differs fundamentally from both the corresponding classical and quantum theories, while exhibiting certain features common to both. Such theories are of interest for two primary reasons. Firstly, NCQs arise prominently in semi-classical approximation schemes. Their formal study may yield improved approximation techniques in the near-classical regime. More importantly for the purposes of this note, it may be possible for NCQs to reproduce quantum results over experimentally tested regimes while (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45.  69
    Neil Campbell (2010). Functional Reduction and Mental Causation. Acta Analytica 25 (4):435-446.
    Over the past few decades, Jaegwon Kim has argued that non-reductive physicalism is an inherently unstable position. In his view, the most serious problem is that non-reductive physicalism leads to type epiphenomenalism—the causal inefficacy of mental properties. Kim suggests that we can salvage mental causation by endorsing functional reduction. Given the fact that Kim’s goal in formulating functional reduction is to provide a robust account of mental causation it would be surprising if his position implies eliminativism about mental properties or (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  46.  32
    Werner A. Hofer (2011). Unconventional Approach to Orbital-Free Density Functional Theory Derived From a Model of Extended Electrons. Foundations of Physics 41 (4):754-791.
    An equation proposed by Levy, Perdew and Sahni (Phys. Rev. A 30:2745, 1984) is an orbital-free formulation of density functional theory. However, this equation describes a bosonic system. Here, we analyze on a very fundamental level, how this equation could be extended to yield a formulation for a general fermionic distribution of charge and spin. This analysis starts at the level of single electrons and with the question, how spin actually comes into a charge distribution in a non-relativistic model. To (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  47.  5
    Joanna Golińska-Pilarek (2016). On the Minimal Non-Fregean Grzegorczyk Logic. Studia Logica 104 (2):209-234.
    The paper concerns Grzegorczyk’s non-Fregean logics that are intended to be a formal representation of the equimeaning relation defined on descriptions. We argue that the main Grzegorczyk logics discussed in the literature are too strong and we propose a new logical system, \, which satisfies Grzegorczyk’s fundamental requirements. We present a sound and complete semantics for \ and we prove that it is decidable. Finally, we show that many non-classical logics are extensions of \, which makes it a generic (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  28
    Dwayne Moore & Neil Campbell (2010). Functional Reduction and Mental Causation. Acta Analytica 25 (4):435-446.
    Over the past few decades, Jaegwon Kim has argued that non-reductive physicalism is an inherently unstable position. In his view, the most serious problem is that non-reductive physicalism leads to type epiphenomenalism—the causal inefficacy of mental properties. Kim suggests that we can salvage mental causation by endorsing functional reduction. Given the fact that Kim’s goal in formulating functional reduction is to provide a robust account of mental causation it would be surprising if his position implies eliminativism about mental properties or (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  49.  25
    Mark Johnson (1999). A Resource Sensitive Interpretation of Lexical Functional Grammar. Journal of Logic, Language and Information 8 (1):45-81.
    This paper investigates whether the fundamental linguistic insights and intuitions of Lexical Functional Grammar, which is usually presented as a constraint-based linguistic theory, can be reformulated in a resource sensitive framework using a substructural modal logic. In the approach investigated here, LFG's f-descriptions are replaced with expressions from a multi-modal propositional logic. In effect, the feature structure unification basis of LFG's f-structures is replaced with a very different resource based mechanism. It turns out that some linguistic analyses that required non-monotonic (...)
    Direct download (12 more)  
     
    Export citation  
     
    My bibliography  
  50.  20
    Wilfried Allaerts (1999). The Biological Function Paradigm Applied to the Immunological Self-Non-Self Discrimination: Critique of Tauber's Phenomenological Analysis. [REVIEW] Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (1):155-171.
    Biological self reference idioms in brain-centered or nervous-system-centered self determination of the consious Self reveal an interesting contrast with biological self-determination by immunological self/non-self discrimination. This contrast is both biological and epistemological. In contrast to the consciousness conscious of itself, the immunological self-determination imposes a protective mechanism against self-recognition (Coutinho et al. 1984), which adds to a largely unconscious achievement of the biological Self (Popper 1977; Medawar 1959). The latter viewpoint is in contrast with the immunological Self-determination as an essentially (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000