View topic on PhilPapers for more information
Related categories

36 found
Order:
More results on PhilPapers
  1. added 2018-11-04
    SNOMED CT Standard Ontology Based on the Ontology for General Medical Science.Shaker El-Sappagh, Francesco Franda, Ali Farman & Kyung-Sup Kwak - 2018 - BMC Medical Informatics and Decision Making 76 (18):1-19.
    Background: Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT, hereafter abbreviated SCT) is acomprehensive medical terminology used for standardizing the storage, retrieval, and exchange of electronic healthdata. Some efforts have been made to capture the contents of SCT as Web Ontology Language (OWL), but theseefforts have been hampered by the size and complexity of SCT. Method: Our proposal here is to develop an upper-level ontology and to use it as the basis for defining the termsin SCT in a way that will (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2018-09-13
    Complexity of Judgment Aggregation.Ulle Endriss, Umberto Grandi & Daniele Porello - 2012 - Journal of Artificial Intelligence Research 45:481--514.
    We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. added 2018-08-19
    Knowability Relative to Information.Peter Hawke & Franz Berto - forthcoming - Mind.
    We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2018-07-31
    From Coincidence to Purposeful Flow? Properties of Transcendental Information Cascades.Markus Luczak-Roesch, Ramine Tinati, Max van Kleek & Nigel Shadbolt - 2015 - In International Conference on Advances in Social Networks Analysis and Mining (ASONAM) 2015.
    In this paper, we investigate a method for constructing cascades of information co-occurrence, which is suitable to trace emergent structures in information in scenarios where rich contextual features are unavailable. Our method relies only on the temporal order of content-sharing activities, and intrinsic properties of the shared content itself. We apply this method to analyse information dissemination patterns across the active online citizen science project Planet Hunters, a part of the Zooniverse platform. Our results lend insight into both structural and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. added 2018-07-30
    When Resources Collide: Towards a Theory of Coincidence in Information Spaces.Markus Luczak-Roesch, Ramine Tinati & Nigel Shadbolt - 2015 - In WWW '15 Companion Proceedings of the 24th International Conference on World Wide Web. Florence, Metropolitan City of Florence, Italy: pp. 1137-1142.
    This paper is an attempt to lay out foundations for a general theory of coincidence in information spaces such as the World Wide Web, expanding on existing work on bursty structures in document streams and information cascades. We elaborate on the hypothesis that every resource that is published in an information space, enters a temporary interaction with another resource once a unique explicit or implicit reference between the two is found. This thought is motivated by Erwin Shroedingers notion of entanglement (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2018-04-18
    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 computability and complexity (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. added 2018-03-12
    Exploring Randomness.Panu Raatikainen - 2001 - Notices of the AMS 48 (9):992-6.
    Review of "Exploring Randomness" (200) and "The Unknowable" (1999) by Gregory Chaitin.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. added 2017-12-06
    Informação, conhecimento e modelos.Marcos Antonio Alves, Daniel Martínez-Ávila & Maria Cláudia Cabrini Gracio (eds.) - 2017 - Campinas-Marília/Brasil: Coleção CLE-Unicamp/Cultura Acadêmica-UNESP.
    We are in the information age. Nowadays, the information is a high power commodity. Your domain and handling have high economic, political, social value. However, we still know little about it. What is the information? How do we store it, retrieve it and manipulate it? Everyone have or should have equal access to information? What is the relationship between information and knowledge? How can both influence and be influenced by the action? Can they are modeled? The models can contribute to (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2017-12-06
    A Quantitative-Informational Approach to Logical Consequence.Marcos Antonio Alves & Ítala M. Loffredo D'Otaviano - 2015 - In Jean-Yves Beziau (ed.), The Road to Universal Logic (Studies in Universal Logic). Switzerland: Springer International Publishing. pp. 105-24.
    In this work, we propose a definition of logical consequence based on the relation between the quantity of information present in a particular set of formulae and a particular formula. As a starting point, we use Shannon‟s quantitative notion of information, founded on the concepts of logarithmic function and probability value. We first consider some of the basic elements of an axiomatic probability theory, and then construct a probabilistic semantics for languages of classical propositional logic. We define the quantity of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2017-11-17
    Introduction: Formal Approaches to Multi-Agent Systems: Special Issue of Best Papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
    Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches to cooperation, multi-agent planning, communication, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2017-11-17
    Introduction: Formal Approaches to Multi-Agent Systems: Special Issue of Best Papers of FAMAS 2009.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):404-406.
    This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by practical concerns. This time (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2017-11-15
    Searching for Logic.Adam Morton - manuscript
    An introductory logic textbook where the central concept is not deduction but search and logical form. (Deduction - logical consequence - drops out as a special case. TIt is meant for a class-based rather than a lecture-based course, and for students with general interests.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. added 2017-10-28
    On An Error In Grove's Proof.Koji Tanaka & Graham Priest - 1997 - Logique Et Analyse 158:215-217.
    Nearly a decade has past since Grove gave a semantics for the AGM postulates. The semantics, called sphere semantics, provided a new perspective of the area of study, and has been widely used in the context of theory or belief change. However, the soundness proof that Grove gives in his paper contains an error. In this note, we will point this out and give two ways of repairing it.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. added 2017-09-18
    Preserving a Combat Commander’s Moral Agency: The Vincennes Incident as a Chinese Room.Patrick Chisan Hew - 2016 - Ethics and Information Technology 18 (3):227-235.
    We argue that a command and control system can undermine a commander’s moral agency if it causes him/her to process information in a purely syntactic manner, or if it precludes him/her from ascertaining the truth of that information. Our case is based on the resemblance between a commander’s circumstances and the protagonist in Searle’s Chinese Room, together with a careful reading of Aristotle’s notions of ‘compulsory’ and ‘ignorance’. We further substantiate our case by considering the Vincennes Incident, when the crew (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. added 2017-07-13
    Creating Reality.Bruce Bokor - manuscript
    Our commonsense notion of reality is supported by two critical assumptions for which we have little understanding: The conscious experience which underpins the observations integral to the scientific method and language, which is the method by which all theories, scientific or otherwise, are communicated. This book examines both of these matters in detail and arrives at a new theoretical foundation for understanding how nature undertakes the task of building the universe. -/- Creating Reality is a synthesis of Darwin’s The Origin (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2017-01-14
    Two-Method Errors: Having It Both Ways.John Corcoran & Idris Samawi Hamid - forthcoming - Bulletin of Symbolic Logic.
    ►JOHN CORCORAN AND IDRIS SAMAWI HAMID, Two-method errors: having it both ways. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: corcoran@buffalo.edu Philosophy, Colorado State University, Fort Collins, CO 80523-1781 USA E-mail: ishamid@colostate.edu Where two methods produce similar results, mixing the two sometimes creates errors we call two-method errors, TMEs: in style, syntax, semantics, pragmatics, implicature, logic, or action. This lecture analyzes examples found in technical and in non-technical contexts. One can say “Abe knows whether Ben draws” in two other (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2016-12-25
    Epistemology of Logic - Logic-Dialectic or Theory of the Knowledge.Epameinondas Xenopoulos - 1998 - Dissertation,
    1994.Επιστημολογία της Λογικής. Συγγραφέας Επαμεινώνδας Ξενόπουλος Μοναδική μελέτη και προσέγγιση της θεωρίας της γνώσης, για την παγκόσμια βιβλιογραφία, της διαλεκτικής πορείας της σκέψης από την λογική πλευρά της και της μελλοντικής μορφής που θα πάρουν οι διαλεκτικές δομές της, στην αδιαίρετη ενότητα γνωσιοθεωρίας, λογικής και διαλεκτικής, με την «μέθοδο του διαλεκτικού υλισμού». Έργο βαρύ με θέμα εξαιρετικά δύσκολο διακατέχεται από πρωτοτυπία και ζωντάνια που γοητεύει τον κάθε ανήσυχο στοχαστή από τις πρώτες γραμμές.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. added 2016-12-05
    Finding Structure in a Meditative State.Bas Rasmussen - manuscript
    I have been experimenting with meditation for a long time, but just recently I seem to have come across another being in there. It may just be me looking at me, but whatever it is, it is showing me some really interesting arrangements of colored balls. At first, I thought it was just random colors and shapes, but it became very ordered. It was like this being (me?) was trying to talk to me but couldn’t, so was showing me some (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2016-06-08
    Grading in Groups.Michael Morreau - 2016 - Economics and Philosophy 32 (2):323-352.
    Juries, committees and experts panels commonly appraise things of one kind or another on the basis of grades awarded by several people. When everybody's grading thresholds are known to be the same, the results sometimes can be counted on to reflect the graders’ opinion. Otherwise, they often cannot. Under certain conditions, Arrow's ‘impossibility’ theorem entails that judgements reached by aggregating grades do not reliably track any collective sense of better and worse at all. These claims are made by adapting the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. added 2016-04-23
    On Classical and Quantum Logical Entropy.David Ellerman - manuscript
    The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on elements of (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. added 2016-02-25
    A Generalization of Shannon's Information Theory.Chenguang Lu - 1999 - Int. J. Of General Systems 28 (6):453-490.
    A generalized information theory is proposed as a natural extension of Shannon's information theory. It proposes that information comes from forecasts. The more precise and the more unexpected a forecast is, the more information it conveys. If subjective forecast always conforms with objective facts then the generalized information measure will be equivalent to Shannon's information measure. The generalized communication model is consistent with K. R. Popper's model of knowledge evolution. The mathematical foundations of the new information theory, the generalized communication (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. added 2016-02-23
    A Semantic Information Formula Compatible with Shannon and Popper's Theories.Chenguang Lu - manuscript
    Semantic Information conveyed by daily language has been researched for many years; yet, we still need a practical formula to measure information of a simple sentence or prediction, such as “There will be heavy rain tomorrow”. For practical purpose, this paper introduces a new formula, Semantic Information Formula (SIF), which is based on L. A. Zadeh’s fuzzy set theory and P. Z. Wang’s random set falling shadow theory. It carries forward C. E. Shannon and K. Popper’s thought. The fuzzy set’s (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. added 2016-01-28
    The Propositional Content of Data.Dave S. Henley - manuscript
    Our online interaction with information-systems may well provide the largest arena of formal logical reasoning in the world today. Presented here is a critique of the foundations of Logic, in which the metaphysical assumptions of such 'closed world' reasoning are contrasted with those of traditional logic. Closed worlds mostly employ a syntactic alternative to formal language namely, recording data in files. Whilst this may be unfamiliar as logical syntax, it is argued here that propositions are expressed by data stored in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. added 2015-07-28
    Determination, Uniformity, and Relevance: Normative Criteria for Generalization and Reasoning by Analogy.Todd R. Davies - 1988 - In David H. Helman (ed.), Analogical Reasoning. Kluwer Academic Publishers. pp. 227-250.
    This paper defines the form of prior knowledge that is required for sound inferences by analogy and single-instance generalizations, in both logical and probabilistic reasoning. In the logical case, the first order determination rule defined in Davies (1985) is shown to solve both the justification and non-redundancy problems for analogical inference. The statistical analogue of determination that is put forward is termed 'uniformity'. Based on the semantics of determination and uniformity, a third notion of "relevance" is defined, both logically and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. added 2015-05-23
    George Boole.John Corcoran - 2006 - In Encyclopedia of Philosophy. 2nd edition. macmillan.
    2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. added 2014-12-06
    Review of Striker Translation of Aristotle's PRIOR ANALYTICS. [REVIEW]John Corcoran - 2010 - Notre Dame Philosophical Reviews:1-13.
    This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. added 2014-11-13
    Forma lógica/Formalización.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 257--258.
    The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the argumentation-text expressing (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. added 2014-11-07
    A Farewell Letter To My Students.John Corcoran - 2012 - Philosophy Now 92:18-18.
    I am saying farewell after more than forty happy years of teaching logic at the University of Buffalo. But this is only a partial farewell. I will no longer be at UB to teach classroom courses or seminars. But nothing else will change. I will continue to be available for independent study. I will continue to write abstracts and articles with people who have taken courses or seminars with me. And I will continue to honor the LogicLifetimeGuarantee™, which is earned (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  29. added 2014-10-28
    Information-Theoretic Logic and Transformation-Theoretic Logic,.John Corcoran - 1999 - In R. A. M. M. (ed.), Fragments in Science,. World Scientific Publishing Company,. pp. 25-35.
    Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  30. added 2014-10-16
    An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
    Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  31. added 2014-10-16
    An Introduction to Logical Entropy and its Relation to Shannon Entropy.David Ellerman - 2013 - International Journal of Semantic Computing 7 (2):121-145.
    The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pair of elements in distinct blocks of the partition. The logical concept of entropy based on partition logic is the normalized counting measure of the set of distinctions of a partition on a finite set--just as the usual logical notion of probability based on the Boolean logic (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. added 2014-03-08
    Non-Normal Worlds and Representation.Francesco Berto - 2012 - In Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook. College Publications.
    World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. added 2013-09-18
    Collective Intentionality VI, Berkeley.Richard Evans - 2009
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. added 2013-08-01
    Dealing with Concepts: From Cognitive Psychology to Knowledge Representation.Marcello Frixione & Antonio Lieto - 2013 - Frontiers of Psychological and Behevioural Science 2 (3):96-106.
    Concept representation is still an open problem in the field of ontology engineering and, more generally, of knowledge representation. In particular, the issue of representing “non classical” concepts, i.e. concepts that cannot be defined in terms of necessary and sufficient conditions, remains unresolved. In this paper we review empirical evidence from cognitive psychology, according to which concept representation is not a unitary phenomenon. On this basis, we sketch some proposals for concept representation, taking into account suggestions from psychological research. In (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  35. added 2013-05-16
    Valuations.Jean-Louis Lenard - manuscript
    Is logic empirical? Is logic to be found in the world? Or is logic rather a convention, a product of conventions, part of the many rules that regulate the language game? Answers fall in either camp. We like the linguistic answer. In this paper, we want to analyze how a linguistic community would tackle the problem of developing a logic and show how the linguistic conventions adopted by the community determine the properties of the local logic. Then show how to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  36. added 2012-12-21
    Is There a Logic of Information?Gregory Wheeler - 2015 - Journal of Theoretical and Applied Artificial Intelligence 27 (1):95-98.
    Information-based epistemology maintains that ‘being informed’ is an independent cognitive state that cannot be reduced to knowledge or to belief, and the modal logic KTB has been proposed as a model. But what distinguishes the KTB analysis of ‘being informed’, the Brouwersche schema (B), is precisely its downfall, for no logic of information should include (B) and, more generally, no epistemic logic should include (B), either.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations