Search results for 'Jon A. Lindstrøm' (try it on Scholar)

62 found
Sort by:
See also:
Profile: Jon A. Lindstrøm (University of Oslo)
  1. Lena Wiklund, Lisbet Lindholm & Unni A. Lindstrom (2002). Hermeneutics and Narration: A Way to Deal with Qualitative Data. Nursing Inquiry 9 (2):114-125.score: 540.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Anne Algers, Berner Lindström & Edmond Pajor (2011). A New Format for Learning About Farm Animal Welfare. Journal of Agricultural and Environmental Ethics 24 (4):367-379.score: 420.0
    Farm animal welfare is a knowledge domain that can be regarded as a model for new ways of organizing learning and making higher education more responsive to the needs of society. Global concern for animal welfare has resulted in a great demand for knowledge. As a complement to traditional education in farm animal welfare, higher education can be more demand driven and look at a broad range of methods to make knowledge available. The result of an inventory on farm animal (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Ingrid Lindström (1989). A Construction of Non-Well-Founded Sets Within Martin-Löf's Type Theory. Journal of Symbolic Logic 54 (1):57-64.score: 420.0
    In this paper, we show that non-well-founded sets can be defined constructively by formalizing Hallnäs' limit definition of these within Martin-Löf's theory of types. A system is a type W together with an assignment of ᾱ ∈ U and α̃ ∈ ᾱ → W to each α ∈ W. We show that for any system W we can define an equivalence relation = w such that α = w β ∈ U and = w is the maximal bisimulation. Aczel's proof (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Per Lindström (2011). A Theorem on Partial Conservativity in Arithmetic. Journal of Symbolic Logic 76 (1):341 - 347.score: 420.0
    Improving on a result of Arana, we construct an effective family (φ r | r ∈ ℚ ⋂ [0, 1]) of Σ n -conservative Π n sentences, increasing in strength as r decreases, with the property that ¬φ p is Π n -conservative over PA + φ q whenever p < q. We also construct a family of Σ n sentences with properties as above except that the roles of Σ n and Π n are reversed. The latter result allows (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Sten Lindström (2009). Possible Worlds Semantics and the Liar: Reflections on a Problem Posed by Kaplan. In Joseph Almog & Paolo Leonardi (eds.), The Philosophy of David Kaplan. Oxford University Press.score: 360.0
  6. Sten Lindström (1997). Situations, Truth and Knowability: A Situation-Theoretic Analysis of a Paradox by Fitch. In Eva Ejerhed & Sten Lindström (eds.), Logic, Action and Cognition: Essays in Philosophical Logic. Kluwer.score: 360.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. Sten Lindström (1996). The Ramsey Test and the Indexicality of Conditionals: A Proposed Resolution of Gärdenfors' Paradox. In André Fuhrmann & Hans Rott (eds.), Logic, Action and Information. de Gruyter.score: 360.0
  8. Sten Lindström (1991). Critical Study: Jon Barwise & John Perry, Situations and Attitudes. [REVIEW] Noûs (5):743-770.score: 360.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  9. Per Lindström (1996). Provability Logic-a Short Introduction. Theoria 62 (1-2):19-61.score: 360.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Per Lindström (1997). Interpretability in Reflexive Theories - a Survey. Theoria 63 (3):182-209.score: 360.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Gosta Ekman, Jan Hosman & Brita Lindstrom (1965). Roughness, Smoothness, and Preference: A Study of Quantitative Relations in Individual Subjects. Journal of Experimental Psychology 70 (1):18.score: 360.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Per Lindström (1973). A Characterization of Elementary Logic. In Sören Halldén (ed.), Modality, Morality and Other Problems of Sense and Nonsense. Lund,Gleerup. 189--191.score: 360.0
    No categories
     
    My bibliography  
     
    Export citation  
  13. Lamont Lindstrom (1997). A Genealogy of Creativity. Semiotics:21-31.score: 360.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Wlodek Rabinowicz & Sten Lindström (1994). How to Model Relational Belief Revision. In Dag Prawitz & Dag Westerståhl (eds.), Logic and Philosophy of Science in Uppsala. Kluwer.score: 300.0
    This is a short version of Lindström & Rabinowicz 1991.In earlier papers, we proposed a generalization of the AGM approach to belief revision. The proposal was to view belief revision as a relation rather than as a function on theories (or belief sets). Going relational means that one allows for several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. Kaija Helin & Unni Å Lindström (2003). Sacrifice: An Ethical Dimension of Caring That Makes Suffering Meaningful. Nursing Ethics 10 (4):414-427.score: 300.0
    This article is intended to raise the question of whether sacrifice can be regarded as constituting a deep ethical structure in the relationship between patient and carer. The significance of sacrifice in a patient-carer relationship cannot, however, be fully understood from the standpoint of the consistently utilitarian ethic that characterizes today’s ethical discourse. Deontological ethics, with its universal principles, also does not provide a suitable point of departure. Ethical recommendations and codices are important and can serve as general sources of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. M. Edlund, L. Lindwall, I. V. Post & U. A. Lindstrom (2013). Concept Determination of Human Dignity. Nursing Ethics 20 (8):851-860.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Margareta Edlund, Lillemor Lindwall, Iréne von Post & Unni Å Lindström (forthcoming). Concept Determination of Human Dignity. Nursing Ethics.score: 240.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Sten Lindström (2003). Frege's Paradise and the Paradoxes. In Krister Segerberg & Rysiek Sliwinski (eds.), A Philosophical Smorgasbord: Essays on Action, Truth and Other Things in Honour of Fredrick Stoutland. Uppsala Philosophical Studies 52.score: 180.0
    The main objective of this paper is to examine how theories of truth and reference that are in a broad sense Fregean in character are threatened by antinomies; in particular by the Epimenides paradox and versions of the so-called Russell-Myhill antinomy, an intensional analogue of Russell’s more well-known paradox for extensions. Frege’s ontology of propositions and senses has recently received renewed interest in connection with minimalist theories that take propositions (thoughts) and senses (concepts) as the primary bearers of truth and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Johan van Benthem (2007). A New Modal Lindström Theorem. Logica Universalis 1 (1):125-138.score: 156.0
    . We prove new Lindström theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Sebastian Enqvist (2013). A General Lindström Theorem for Some Normal Modal Logics. Logica Universalis 7 (2):233-264.score: 156.0
    There are several known Lindström-style characterization results for basic modal logic. This paper proves a generic Lindström theorem that covers any normal modal logic corresponding to a class of Kripke frames definable by a set of formulas called strict universal Horn formulas. The result is a generalization of a recent characterization of modal logic with the global modality. A negative result is also proved in an appendix showing that the result cannot be strengthened to cover every first-order elementary class of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) (2009). Logicism, Intuitionism, and Formalism - What has Become of Them? Springer.score: 120.0
    These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics.A special section is concerned with constructive ...
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Ebba Gullberg & Sten Lindström, Semantics and the Justification of Deductive Inference. Hommage à Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz.score: 120.0
  23. Per Lindström (2001). Penrose's New Argument. Journal of Philosophical Logic 30 (3):241-250.score: 120.0
    It has been argued, by Penrose and others, that Gödel's proof of his first incompleteness theorem shows that human mathematics cannot be captured by a formal system F: the Gödel sentence G(F) of F can be proved by a (human) mathematician but is not provable in F. To this argment it has been objected that the mathematician can prove G(F) only if (s)he can prove that F is consistent, which is unlikely if F is complicated. Penrose has invented a new (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  24. Sten Lindström & Wlodzimierz Rabinowicz (1992). Belief Revision, Epistemic Conditionals and the Ramsey Test. Synthese 91 (3):195 - 237.score: 120.0
    Epistemic conditionals have often been thought to satisfy the Ramsey test (RT): If A, then B is acceptable in a belief state G if and only if B should be accepted upon revising G with A. But as Peter Gärdenfors has shown, RT conflicts with the intuitively plausible condition of Preservation on belief revision. We investigate what happens if (a) RT is retained while Preservation is weakened, or (b) vice versa. We also generalize Gärdenfors' approach by treating belief revision (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Peter Gärdenfors, Sten Lindström, Michael Morreau & Wlodek Rabinowicz (1991). The Negative Ramsey Test. In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer.score: 120.0
    The so called Ramsey test is a semantic recipe for determining whether a conditional proposition is acceptable in a given state of belief. Informally, it can be formulated as follows: (RT) Accept a proposition of the form "if A, then C" in a state of belief K, if and only if the minimal change of K needed to accept A also requires accepting C. In Gärdenfors (1986) it was shown that the Ramsey test is, in the context of some other (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  26. Per Lindström (2006). Note on Some Fixed Point Constructions in Provability Logic. Journal of Philosophical Logic 35 (3):225 - 230.score: 120.0
    We present a quite simple proof of the fixed point theorem for GL. We also use this proof to show that Sambin's algorithm yields a fixed point.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Ghita Holmström-Hintikka, Sten Lindström & Rysiek Sliwinski (2001). Collected Papers of Stig Kanger with Essays on His Life and Work, Vol. I-II. Kluwer.score: 120.0
    Stig Kanger (1924--1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the theory of measurement as well. The first volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on the various aspects of Kanger's work as well (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  28. Sten Lindström & Wlodek Rabinowicz (1991). Epistemic Entrenchment with Incomparabilities and Relational Belief Revision. In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer.score: 120.0
    In earlier papers (Lindstrrm & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  29. Riikka Lindström, Petri Paavilainen, Teija Kujala & Mari Tervaniemi (2012). Processing of Audiovisual Associations in the Human Brain: Dependency on Expectations and Rule Complexity. Frontiers in Psychology 3.score: 120.0
    In order to respond to environmental changes appropriately, the human brain must not only be able to detect environmental changes but also to form expectations of forthcoming events. The events in the external environment often have a number of multisensory features such as pitch and form. For integrated percepts of objects and events, crossmodal processing and crossmodally induced expectations of forthcoming events are needed. The aim of the present study was to determine whether the expectations created by visual stimuli can (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  30. Eva Lindström (2002). The Body in Expressions of Emotion: Kout. Pragmatics and Cognition 10 (1):159-184.score: 120.0
    This contribution examines the use of body terms in expressions of emotion in Kuot, a non-Austronesian language of New Ireland, Papua New Guinea. It is found that expressions involving the word for ¿stomach¿, dalþp, correspond mainly to what we would consider to be psychological states, while expressions making use of neip ¿skin; body¿ are largely concerned with physical states. Some other body parts also form part of emotive expressions.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Juha Oikkonen (1989). Bennet Christian. On a Problem by D. Guaspari, Logic and Abstraction, Essays Dedicated to Per Lindström on His Fiftieth Birthday, Edited by Furberg Mats, Wetterström Thomas, and Åberg Claes, Acta Philosophica Gothoburgensia, No. 1, Acta Universitatis Gothobargensis, Göteborg 1986, Pp. 61–69. [REVIEW] Journal of Symbolic Logic 54 (2):630-630.score: 120.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Kati Lindström (2010). Autocommunication and Perceptual Markers in Landscape: Japanese Examples. [REVIEW] Biosemiotics 3 (3):359-373.score: 120.0
    Juri Lotman distinguishes between two main types of communication. In addition to the classical I-YOU communication, he speaks about I-I communication, where both the addresser and the addressee are one and the same person. Contrary to how it sounds, autocommunication is not self-sufficient musing inside one’s self, it is remodelling oneself through a code from an entity outside oneself, be it animate or inanimate. According to Lotman, it is often the rhythmical phenomena like poetry, the rhythm of waves, etc. that (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  33. Irma Lindström, Fannie Gaston-Johansson & Ella Danielson (2006). Documentation of Patients' Participation in Care at the End of Life. Nursing Ethics 13 (4):394-403.score: 120.0
    The aim of this study was to describe how patients’ participation in the care they received was documented in their health care records during the last three months of their lives. Two hundred and twenty-nine deceased adult persons were randomly identified from 12 municipalities in a Swedish county and their records were selected from different health care units. Content analysis was used to analyse the text. Four categories of patient participation were described: refusing offered care and treatments; appealing for relief; (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Kati Lindström, Kalevi Kull & Hannes Palang (2011). Semiotic Study of Landscapes. Sign Systems Studies 39 (2-4):12-36.score: 120.0
    The article provides an overview of different approaches to the semiotic study of landscapes both in the field of semiotics proper and in landscape studiesin general. The article describes different approaches to the semiotic processes in landscapes from the semiological tradition where landscape has been seen as analogous to a text with its language, to more naturalized and phenomenological approaches, as well as ecosemiotic view of landscapes that goes beyond anthropocentric definitions. Special attention is paid to the potential of cultural (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Juha Oikkonen (1989). Review: Jouko Vaananen, A Hierarchy Theorem for Lindstrom Quantifiers. [REVIEW] Journal of Symbolic Logic 54 (2):631-631.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Brandon Olszewski, Deborah Macey & Lauren Lindstrom (2006). The Practical Work of : An Ethnomethodological Inquiry. [REVIEW] Human Studies 29 (3):363 - 380.score: 120.0
    While previous methodological studies have suggested that coding is a useful technique for analyzing qualitative data, there is a stark lack of discussion about the incongruities that inevitably arise as researchers accomplish the actual work of coding. This article explores the complexities of the coding process, and how incongruities get resolved as researchers accomplish the practical work of coding. Three primary themes emerged from this study: , , and . These three activities (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. Kati Lindström (2002). Author, Landscape and Communication in Estonian Haiku. Sign Systems Studies 30 (2):653-675.score: 120.0
    Present article tries to give insight into the ways in which Estonian haiku models its author and communicates with the reader. The author thinks that while Japanese haiku is a predominantly autocommunicative piece of literature, where even a fixed point of view is not recommended, Estonian literary conventions are oriented towards openly communicational texts, which convey a fixed axiology and rely on abundant use of pronouns and rhetorical questions, addresses and apostrophes. While there is a considerable amount of Estonian haiku (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. Finite Depth Property (2006). A New Modal Lindstrom Theorem. In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. 55.score: 120.0
    No categories
     
    My bibliography  
     
    Export citation  
  39. Sven Ove Hansson (2009). A History of Theoria. Theoria 75 (1):2-27.score: 54.0
    Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, Arthur N. (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Saharon Shelah & Jouko Väänänen (2005). A Note on Extensions of Infinitary Logic. Archive for Mathematical Logic 44 (1):63-69.score: 54.0
    We show that a strong form of the so called Lindström’s Theorem [4] fails to generalize to extensions of L κ ω and L κ κ : For weakly compact κ there is no strongest extension of L κ ω with the (κ,κ)-compactness property and the Löwenheim-Skolem theorem down to κ. With an additional set-theoretic assumption, there is no strongest extension of L κ κ with the (κ,κ)-compactness property and the Löwenheim-Skolem theorem down to <κ.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. Martin Otto (1992). EM Constructions for a Class of Generalized Quantifiers. Archive for Mathematical Logic 31 (5):355-371.score: 54.0
    We consider a class of Lindström extensions of first-order logic which are susceptible to a natural Skolemization procedure. In these logics Ehrenfeucht Mostowski (EM) functors for theories with arbitrarily large models can be obtained under suitable restrictions. Characteristic dependencies between algebraic properties of the quantifiers and the maximal domains of EM functors are investigated.Results are applied to Magidor Malitz logic,L(Q <ω), showing e.g. its Hanf number to be equal to ℶω(ℵ1) in the countably compact case. Using results of Baumgartner, the (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Juha Kontinen & Jakub Szymanik (2008). A Remark on Collective Quantification. Journal of Logic, Language and Information 17 (2):131-140.score: 42.0
    We consider collective quantification in natural language. For many years the common strategy in formalizing collective quantification has been to define the meanings of collective determiners, quantifying over collections, using certain type-shifting operations. These type-shifting operations, i.e., lifts, define the collective interpretations of determiners systematically from the standard meanings of quantifiers. All the lifts considered in the literature turn out to be definable in second-order logic. We argue that second-order definable quantifiers are probably not expressive enough to formalize all collective (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. John W. Dawson (1993). The Compactness of First-Order Logic:From Gödel to Lindström. History and Philosophy of Logic 14 (1):15-37.score: 36.0
    Though regarded today as one of the most important results in logic, the compactness theorem was largely ignored until nearly two decades after its discovery. This paper describes the vicissitudes of its evolution and transformation during the period 1930-1970, with special attention to the roles of Kurt Gödel, A. I. Maltsev, Leon Henkin, Abraham Robinson, and Alfred Tarski.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Kees Doets (2001). Uniform Short Proofs for Classical Theorems. Notre Dame Journal of Formal Logic 42 (2):121-127.score: 36.0
    This note exploits back-and-forth characteristics to construct, using a single method, short proofs for ten classics of first-order and modal logic: interpolation theorems, preservation theorems, and Lindström's theorem.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Franklin Galindo (2012). Sobre una consecuencia del teorema de Lindströ en teoría de conjuntos. Apuntes Filosóficos 16.score: 36.0
    El método de forcing usado para probar la independencia de la hipótesis del continuo respecto de la axiomática de Zermclo-Fraenkcl en los textos Set Thtory (An Introducción to lndtpmdmu Proofi), de Kunen, y Set Theory,deJech, tiene entre sus fundamentos lógicos principales las propiedades de completitud y de Lowenheim -Skolem (hacia abajo). Por otro lado, se sabe por Lindsuóm que no hay una lógica de mayor capacidad expresiva que la lógica de primer orden que satisfaga simultáneamente ambas propiedades. Esto sugiere que (...)
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. A. Oberschelp (1971). Review: Per Lindstrom, Remarks on Some Theorems of Keisler. [REVIEW] Journal of Symbolic Logic 36 (2):339-339.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Jouko Väänänen (2008). The Craig Interpolation Theorem in Abstract Model Theory. Synthese 164 (3):401 - 420.score: 28.0
    The Craig Interpolation Theorem is intimately connected with the emergence of abstract logic and continues to be the driving force of the field. I will argue in this paper that the interpolation property is an important litmus test in abstract model theory for identifying “natural,” robust extensions of first order logic. My argument is supported by the observation that logics which satisfy the interpolation property usually also satisfy a Lindström type maximality theorem. Admittedly, the range of such logics is small.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  48. Leopold Halpern (1987). Erwin Schrödinger's Views on Gravitational Physics During His Last Years at the University of Vienna and Some Research Ensuing From It. Foundations of Physics 17 (11):1113-1130.score: 24.0
    The author, who was Schrödinger's assistant during his last years in Vienna, gives an account of Schrödinger's views and activities during that time which lead him to a different approach to research on the relations between gravitation and quantum phenomena. Various features of past research are outlined in nontechnical terms. A heuristic argument is presented for the role of the zero-point energy of massive particles in counteracting gravitational collapse and the formation of horizons. Arguments are presented for the view that (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Stig Kanger & Sören Stenlund (eds.) (1974). Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday. Reidel.score: 24.0
    Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by Stig Kanger and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Jiahong Guo (2009). The Incorporation of Moorean Type Information by Introspective Agents. Frontiers of Philosophy in China 4 (3):470-482.score: 24.0
    The main task is to discuss the issue in belief dynamics in which philosophical beliefs and rational introspective agents incorporate Moorean type new information. First, a brief survey is conducted on Moore’s Paradox, and one of its solutions is introduced with the help of Update Semantics. Then, we present a Dynamic Doxastic Logic (DDL) which revises the belief of introspective agents put forward by Lindström & Rabinowicz. Next, we attempt to incorporate Moorean type new information within the DEL (DDL) framework, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 62