Results for 'deductive systems'

1000+ found
Order:
  1.  70
    Refutation Systems in Modal Logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  84
    On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency.Urszula Wybraniec-Skardowska - 2016 - Axioms 5 (15).
    In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The author (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  54
    Rejection in Łukasiewicz's and Słupecki' Sense.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Supervaluationism and Classical Logic.Pablo Cobreros - 2011 - In Rick Nouwen, Robert van Rooij, Hans-Christian Schmitz & Uli Sauerland (eds.), Vagueness in Communication, Lecture Notes in Computer Science, Vol. 6517. Springer.
    This paper is concerned with the claim that supervaluationist consequence is not classical for a language including an operator for definiteness. Although there is some sense in which this claim is uncontroversial, there is a sense in which the claim must be qualified. In particular I defend Keefe's position according to which supervaluationism is classical except when the inference from phi to Dphi is involved. The paper provides a precise content to this claim showing that we might provide complete (and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  76
    Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic.Luis M. Augusto - 2018 - London: College Publications.
    This is the first of a two-volume work combining two fundamental components of contemporary computing into classical deductive computing, a powerful form of computation, highly adequate for programming and automated theorem proving, which, in turn, have fundamental applications in areas of high complexity and/or high security such as mathematical proof, software specification and verification, and expert systems. Deductive computation is concerned with truth-preservation: This is the essence of the satisfiability problem, or SAT, the central computational problem in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  33
    Teoria zdań odrzuconych.Urszula Wybraniec-Skardowska - 1969 - Dissertation, Opole University
    This is the PhD dissertation, written under supervision of Professor Jerzy Słupecki, published in the book: U.Wybraniec-Skardowska i Grzegorz Bryll "Z badań nad teorią zdań odrzuconych" ( "Studies of theory of rejected sentences"), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria B: Studia i Monografie nr 22, pp. 5-131. It is the first, original publication on the theory of rejected sentences on which are based, among other, papers: "Theory of rejected propositions. I"and "Theory of rejected propositions II" with Jerzy Słupecki (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  8.  68
    Eliminating Undecidability and Incompleteness in Formal Systems.Pete 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  
  9. Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent Müller (ed.), Computing and Philosophy: Selected Papers from IACAP 2014 (Synthese Library). Springer. pp. 99-115.
    This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Logical Consequence in Modal Logic II: Some Semantic Systems for S4.George Weaver - 1974 - Notre Dame Journal of Formal Logic 15:370.
    ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Meta-Ethics and Analysis of Language From Wittgenstein to Deontic Logic Systems.Maurilio Lovatti - 2007 - Analysis and Metaphysics 6:120-135.
    In this paper, partly historical and partly theoretical, after having shortly outlined the development of the meta-ethics in the 1900?s starting from the Tractatus of Wittgenstein, I argue it is possible to sustain that emotivism and intuitionism are unsatisfactory ethical conceptions, while on the contrary, reason (intended in a logical-deductive sense) plays an effective role both in ethical discussions and in choices. There are some characteristics of the ethical language (prescriptivity, universalizability and predominance) that cannot be eluded (pain the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. On Deductionism.Dan Bruiger - manuscript
    Deductionism assimilates nature to conceptual artifacts (models, equations), and tacitly holds that real physical systems are such artifacts. Some physical concepts represent properties of deductive systems rather than of nature. Properties of mathematical or deductive systems can thereby sometimes falsely be ascribed to natural systems.
    Download  
     
    Export citation  
     
    Bookmark  
  13.  62
    The Logicality of Language: A New Take on Triviality, `Ungrammaticality', and Logical Form.Guillermo Del Pinal - 2019 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  15.  63
    Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  16.  96
    The Logicality of Language: A New Take on Triviality, “Ungrammaticality”, and Logical Form.Guillermo Del Pinal - 2019 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  45
    On Graph-Theoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
    A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  45
    Proving Unprovability in Some Normal Modal Logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
    This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  19. Recommender Systems and Their Ethical Challenges.Silvia Milano, Mariarosaria Taddeo & Luciano Floridi - forthcoming - AI and Society.
    This article presents the first, systematic analysis of the ethical challenges posed by recommender systems. Through a literature review, the article identifies six areas of concern, and maps them onto a proposed taxonomy of different kinds of ethical impact. The analysis uncovers a gap in the literature: currently user-centred approaches do not consider the interests of a variety of other stakeholders—as opposed to just the receivers of a recommendation—in assessing the ethical impacts of a recommender system.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Survey of Rule-Based Systems.Naser Masri, Yousef Abu Sultan, Alaa N. Akkila, Abdelbaset Almasri, Adel Ahmed, Ahmed Y. Mahmoud, Ihab Zaqout & Samy S. Abu-Naser - 2019 - International Journal of Academic Information Systems Research (IJAISR) 3 (7):1-23.
    Rule-Based Systems (RBS) are computer programs based on technologies established by Artificial Intelligence research, which express some characteristics of human knowledge and expertise to perform tasks normally done by human experts. Thus, a Rule -based system has two distinguishing features: a Rule base and an inference engine. The first part, the Rule base, represents facts about the world. The second part, the inference engine, allows new knowledge to be inferred. Most commonly, it can take the form of IF-THEN rules (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Semiotic Systems, Computers, and the Mind: How Cognition Could Be Computing.William J. Rapaport - 2012 - International Journal of Signs and Semiotic Systems 2 (1):32-71.
    In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  22.  75
    Computerized Management Information Systems and Their Impact on the Job Performance of Employees at Palestinian Cellular Communications Company (Jawwal).Husam R. Ahmad, Nader H. Abusharekh, Mazen J. Al Shobaki & Samy S. Abu Naser - 2019 - International Journal of Academic Information Systems Research (IJAISR) 3 (9):7-22.
    This study aimed to identify the impact of computerized management information systems on the performance of the employees of Palestinian Cellular Communications Company (Jawwal). The SPSS statistical package was adopted. The study reached several results, the most important of which are the presence of statistically significant impact of the requirements of operation and management of computerized management information systems (hardware, software, human, organizational) on the performance of the employees of Palestinian Cellular Communications Company (Jawwal), and the presence of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  16
    Introduction To: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science.Paul McNamara & Henry Prakken - 1999 - In Paul McNamara & Prakken Henry (eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science. Amsterdam: pp. 1-14.
    (See also the separate entry for the volume itself.) This introduction has three parts. The first providing an overview of some main lines of research in deontic logic: the emergence of SDL, Chisholm's paradox and the development of dyadic deontic logics, various other puzzles/challenges and areas of development, along with philosophical applications. The second part focus on some actual and potential fruitful interactions between deontic logic, computer science and artificial intelligence. These include applications of deontic logic to AI knowledge representation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Bridging Emotion Theory and Neurobiology Through Dynamic Systems Modeling.Marc D. Lewis - 2005 - Behavioral and Brain Sciences 28 (2):169-194.
    Efforts to bridge emotion theory with neurobiology can be facilitated by dynamic systems (DS) modeling. DS principles stipulate higher-order wholes emerging from lower-order constituents through bidirectional causal processes cognition relations. I then present a psychological model based on this reconceptualization, identifying trigger, self-amplification, and self-stabilization phases of emotion-appraisal states, leading to consolidating traits. The article goes on to describe neural structures and functions involved in appraisal and emotion, as well as DS mechanisms of integration by which they interact. These (...)
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  25. Ethical Aspects of Multi-Stakeholder Recommendation Systems.Silvia Milano, Mariarosaria Taddeo & Luciano Floridi - manuscript
    This article analyses the ethical aspects of multistakeholder recommendation systems (RSs). Following the most common approach in the literature, we assume a consequentialist framework to introduce the main concepts of multistakeholder recommendation. We then consider three research questions: who are the stakeholders in a RS? How are their interests taken into account when formulating a recommendation? And, what is the scientific paradigm underlying RSs? Our main finding is that multistakeholder RSs (MRSs) are designed and theorised, methodologically, according to neoclassical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Making Best Systems Best for Us.Siegfried Jaag & Christian Loew - 2018 - Synthese:1-26.
    Humean reductionism about laws of nature appears to leave a central aspect of scientific practice unmotivated: If the world’s fundamental structure is exhausted by the actual distribution of non-modal properties and the laws of nature are merely efficient summaries of this distribution, then why does science posit laws that cover a wide range of non-actual circumstances? In this paper, we develop a new version of the Humean best systems account of laws based on the idea that laws need to (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  27. Aleksandr Bogdanov and Systems Theory.Arran Gare - 2000 - Democracy and Nature 6 (3):341-359.
    The significance and potential of systems theory and complexity theory are best appreciated through an understanding of their origins. Arguably, their originator was the Russian philosopher and revolutionary, Aleksandr Bogdanov. Bogdanov anticipated later developments of systems theory and complexity theory in his efforts to lay the foundations for a new, post-capitalist culture and science. This science would overcome the division between the natural and the human sciences and enable workers to organize themselves and their productive activity. It would (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Communist Conventions for Deductive Reasoning.Sinan Dogramaci - 2015 - Noûs 49 (4):776-799.
    In section 1, I develop epistemic communism, my view of the function of epistemically evaluative terms such as ‘rational’. The function is to support the coordination of our belief-forming rules, which in turn supports the reliable acquisition of beliefs through testimony. This view is motivated by the existence of valid inferences that we hesitate to call rational. I defend the view against the worry that it fails to account for a function of evaluations within first-personal deliberation. In the rest of (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  29.  50
    Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - manuscript
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Spontaneous Mindreading: A Problem for the Two-Systems Account.Evan Westra - 2017 - Synthese 194 (11):4559-4581.
    According to the two-systems account of mindreading, our mature perspective-taking abilities are subserved by two distinct mindreading systems: a fast but inflexible, “implicit” system, and a flexible but slow “explicit” one. However, the currently available evidence on adult perspective-taking does not support this account. Specifically, both Level-1 and Level-2 perspective-taking show a combination of efficiency and flexibility that is deeply inconsistent with the two-systems architecture. This inconsistency also turns out to have serious consequences for the two-systems (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  31. Systems Theory and Complexity.Arran Gare - 2000 - Democracy and Nature 6 (3):327-339.
    In this paper the central ideas and history of the theory of complex systems are described. It is shown how this theory lends itself to different interpretations and, correspondingly, to different political conclusions.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  66
    What Humeans Should Say About Tied Best Systems.Christian Loew & Siegfried Jaag - 2020 - Analysis 80 (2):273-282.
    The Humean best systems account identifies laws of nature with the regularities in a system of truths that, as a whole, best conforms to scientific standards for theory-choice. A principled problem for the BSA is that it returns the wrong verdicts about laws in cases where multiple systems, containing different regularities, satisfy these standards equally well. This problem affects every version of the BSA because it arises regardless of which standards for theory-choice Humeans adopt. In this paper, we (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. An Evaluation Schema for the Ethical Use of Autonomous Robotic Systems in Security Applications.Markus Christen, Thomas Burri, Joseph O. Chapa, Raphael Salvi, Filippo Santoni de Sio & John P. Sullins - unknown
    We propose a multi-step evaluation schema designed to help procurement agencies and others to examine the ethical dimensions of autonomous systems to be applied in the security sector, including autonomous weapons systems.
    Download  
     
    Export citation  
     
    Bookmark  
  34. Developmental Systems Theory.Paul Griffiths & Adam Hochman - 2015 - eLS:1-7.
    Developmental systems theory (DST) is a wholeheartedly epigenetic approach to development, inheritance and evolution. The developmental system of an organism is the entire matrix of resources that are needed to reproduce the life cycle. The range of developmental resources that are properly described as being inherited, and which are subject to natural selection, is far wider than has traditionally been allowed. Evolution acts on this extended set of developmental resources. From a developmental systems perspective, development does not proceed (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Biosemiosis and Causation: Defending Biosemiotics Through Rosen's Theoretical Biology, or, Integrating Biosemiotics and Anticipatory Systems Theory.Arran Gare - 2019 - Cosmos and History 19 (1):31-90.
    The fracture in the emerging discipline of biosemiotics when the code biologist Marcello Barbieri claimed that Peircian biosemiotics is not genuine science raises anew the question: What is science? When it comes to radically new approaches in science, there is no simple answer to this question, because if successful, these new approaches change what is understood to be science. This is what Galileo, Darwin and Einstein did to science, and with quantum theory, opposing interpretations are not merely about what theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Knowledge-Based Systems Survey.Adel Ahmed, Naser Masri, Yousef Abu Sultan, Alaa N. Akkila, Abdelbaset Almasri, Ahmed Y. Mahmoud, Ihab Zaqout & Samy S. Abu-Naser - 2019 - International Journal of Academic Engineering Research (IJAER) 3 (7):1-22.
    Knowledge-Based Systems (KBS) are computer programs based on technologies established by Artificial Intelligence research, which express some characteristics of human knowledge and expertise to perform tasks normally done by human experts. Thus, a knowledge-based system has two distinguishing features: a knowledge base and an inference engine. The first part, the knowledge base, represents facts about the world. The second part, the inference engine, allows new knowledge to be inferred. Most commonly, it can take the form of IF-THEN rules coupled (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
    Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  38. The Founding of Logic.John Corcoran - 1994 - Ancient Philosophy 14 (S1):9-24.
    Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  39. Physically Similar Systems: A History of the Concept.Susan G. Sterrett - 2017 - In Lorenzo Magnani & Tommaso Wayne Bertolotti (eds.), Springer Handbook of Model-Based Science. Dordrecht Heidelberg London New York: Springer. pp. 377-412.
    The concept of similar systems arose in physics, and appears to have originated with Newton in the seventeenth century. This chapter provides a critical history of the concept of physically similar systems, the twentieth century concept into which it developed. The concept was used in the nineteenth century in various fields of engineering, theoretical physics and theoretical and experimental hydrodynamics. In 1914, it was articulated in terms of ideas developed in the eighteenth century and used in nineteenth century (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  40. Autonomous Weapon Systems, Asymmetrical Warfare, and Myths.Michal Klincewicz - 2018 - Civitas 23.
    Predictions about autonomous weapon systems (AWS) are typically thought to channel fears that drove all the myths about intelligence embodied in matter. One of these is the idea that the technology can get out of control and ultimately lead to horrific consequences, as is the case in Mary Shelley’s classic Frankenstein. Given this, predictions about AWS are sometimes dismissed as science-fiction fear-mongering. This paper considers several analogies between AWS and other weapon systems and ultimately offers an argument that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Modeling Economic Systems as Locally-Constructive Sequential Games.Leigh Tesfatsion - 2017 - Journal of Economic Methodology 24 (4):1-26.
    Real-world economies are open-ended dynamic systems consisting of heterogeneous interacting participants. Human participants are decision-makers who strategically take into account the past actions and potential future actions of other participants. All participants are forced to be locally constructive, meaning their actions at any given time must be based on their local states; and participant actions at any given time affect future local states. Taken together, these essential properties imply real-world economies are locally-constructive sequential games. This paper discusses a modeling (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. From Human to Artificial Cognition and Back: New Perspectives on Cognitively Inspired AI Systems.Antonio Lieto & Daniele Radicioni - 2016 - Cognitive Systems Research 39 (c):1-3.
    We overview the main historical and technological elements characterising the rise, the fall and the recent renaissance of the cognitive approaches to Artificial Intelligence and provide some insights and suggestions about the future directions and challenges that, in our opinion, this discipline needs to face in the next years.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Developmental Systems Theory as a Process Theory.Paul Edmund Griffiths & Karola Stotz - forthcoming - In Daniel J. Nicholson & John Dupre (eds.), Everything Flows: Towards a Processual Philosophy of Biology. Oxford & New York: Oxford University Press. pp. 00-00.
    Griffiths and Russell D. Gray (1994, 1997, 2001) have argued that the fundamental unit of analysis in developmental systems theory should be a process – the life cycle – and not a set of developmental resources and interactions between those resources. The key concepts of developmental systems theory, epigenesis and developmental dynamics, both also suggest a process view of the units of development. This chapter explores in more depth the features of developmental systems theory that favour treating (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Against Deductive Closure.Paul D. Thorn - 2017 - Theoria 83 (2):103-119.
    The present article illustrates a conflict between the claim that rational belief sets are closed under deductive consequences, and a very inclusive claim about the factors that are sufficient to determine whether it is rational to believe respective propositions. Inasmuch as it is implausible to hold that the factors listed here are insufficient to determine whether it is rational to believe respective propositions, we have good reason to deny that rational belief sets are closed under deductive consequences.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. La conception déductive de l'explication scientifique et l'économie.Philippe Mongin - 2002 - Social Science Information 41 (2):139-165.
    This essay presents and discusses the currently most famous among the deductive conceptions of explanation, i.e., the deductive-nomological one, and proceeds to apply it to microeconomic theory. After restating the basic ideas, the essay investigates some of the important objections raised against it, with a view to decide whether or not they invalidate the proposed application to economics.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Programming the Emergence in Morphogenetically Architected Complex Systems.Franck Varenne, Pierre Chaigneau, Jean Petitot & René Doursat - 2015 - Acta Biotheoretica 63 (3):295-308.
    Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems (MACS). While taking the emergence of properties seriously, the notion of MACS enables at the same time the design (or “meta-design”) of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. On 'Deduction' and the Inductive/Deductive Distinction.Jeffrey Goodman & Daniel Flage - 2012 - Studies in Logic 5 (3).
    The definitions of ‘deduction’ found in virtually every introductory logic textbook would encourage us to believe that the inductive/deductive distinction is a distinction among kinds of arguments and that the extension of ‘deduction’ is a determinate class of arguments. In this paper, we argue that that this approach is mistaken. Specifically, we defend the claim that typical definitions of ‘deduction’ operative in attempts to get at the induction/deduction distinction are either too narrow or insufficiently precise. We conclude by presenting (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Dynamic Systems as Tools for Analysing Human Judgement.Joachim Funke - 2001 - Thinking and Reasoning 7 (1):69 – 89.
    With the advent of computers in the experimental labs, dynamic systems have become a new tool for research on problem solving and decision making. A short review of this research is given and the main features of these systems (connectivity and dynamics) are illustrated. To allow systematic approaches to the influential variables in this area, two formal frameworks (linear structural equations and finite state automata) are presented. Besides the formal background, the article sets out how the task demands (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  49. Identifying and Individuating Cognitive Systems: A Task-Based Distributed Cognition Alternative to Agent-Based Extended Cognition.Jim Davies & Kourken Michaelian - 2016 - Cognitive Processing 17 (3):307-319.
    This article argues for a task-based approach to identifying and individuating cognitive systems. The agent-based extended cognition approach faces a problem of cognitive bloat and has difficulty accommodating both sub-individual cognitive systems ("scaling down") and some supra-individual cognitive systems ("scaling up"). The standard distributed cognition approach can accommodate a wider variety of supra-individual systems but likewise has difficulties with sub-individual systems and faces the problem of cognitive bloat. We develop a task-based variant of distributed cognition (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  50. Situated Cognition, Dynamic Systems, and Art: On Artistic Creativity and Aesthetic Experience.Ingar Brinck - 2007 - Janus Head 9 (2):407-431.
    It is argued that the theory of situated cognition together with dynamic systems theory can explain the core of artistic practice and aesthetic experience, and furthermore paves the way for an account of how artist and audience can meet via the artist’s work. The production and consumption of art is an embodied practice, firmly based in perception and action, and supported by features of the local, agent-centered and global, socio-cultural contexts. Artistic creativity and aesthetic experience equally result from the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 1000