Results for 'Hintikka'

30 found
Order:
See also
Kathleen Hintikka
Massachusetts Institute of Technology
  1. Meeting Hintikka's Challenge to Paraconsistentism.Walter Carnielli - 2009 - Principia: An International Journal of Epistemology 13 (3):283-297.
    Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more inter-related. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  64
    The Construction of Relations in Hume and Quine, Directed by Jaakko Hintikka (Introduction).Stefanie A. Rocknak - 1999 - Dissertation, Boston University
    Hume and Quine argue that human beings do not have access to general knowledge, that is, to general truths . The arguments of these two philosophers are premised on what Jaakko Hintikka has called the atomistic postulate. In the present work, it is shown that Hume and Quine in fact sanction an extreme version of this postulate, according to which even items of particular knowledge are not directly accessible in so far as they are relational. For according to their (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  60
    How to Prove the Consistency of Arithmetic.Jaakko Hintikka & Besim Karakadilar - 2006 - Acta Philosophica Fennica 78:1.
    It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  18
    Le Wittgenstein de Hintikka : percées et excès d'une interprétation hétérodoxe.Ludovic Soutif - 2009 - Revue Internationale de Philosophie 250 (4):423-434.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974).John Corcoran - 1979 - MATHEMATICAL REVIEWS 58:3202-3.
    John Corcoran. 1979 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974). Mathematical Reviews 58 3202 #21388. -/- The “method of analysis” is a technique used by ancient Greek mathematicians (and perhaps by Descartes, Newton, and others) in connection with discovery of proofs of difficult theorems and in connection with discovery of constructions of elusive geometric figures. Although this method was originally applied in geometry, its later application to number played an important role in the early development (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6.  97
    Règles de logique, Règles de discours. La pragmatique de la connaissance selon Hintikka.Fabien Schang - 2018 - Klesis 39:92-124.
    L’article qui suit a pour but de présenter un des aspects centraux de la contribution philosophique de Jaakko Hintikka : l’épistémologie formelle. Le thème choisi, le Paradoxe de Moore, permettra d’illustrer le mot d’ordre de la philosophie formelle, celui d’utiliser des outils logiques en vue de la clarification de problèmes philosophiques. Il s’agit également de mettre en évidence la nature pragmatique du discours épistémique, qui transparaît dans les résultats sémantiques de Hintikka et parle en faveur de la logique (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  30
    A Philosophically Neutral Semantics for Perception Sentences.Samuele Iaquinto & Giuseppe Spolaore - forthcoming - Theoria.
    Jaakko Hintikka proposed treating objectual perception sentences, such as ‘Alice sees Bob’, as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as ‘Alice sees Bob smile’. These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. How to Hintikkize a Frege.Fabien Schang - 2016 - In Amirouche Moktefi, Alessio Moretti & Fabien Schang (eds.), Let’s be Logical (Studies in the Philosophy and History of Logic). Londres, Royaume-Uni: pp. 161-172.
    The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. How to Save Aristotle From Modal Collapse.Derek von Barandy - 2013 - Studia Neoaristotelica 10 (1):89-98.
    On Jaakko Hintikka’s understanding of Aristotle’s modal thought, Aristotle is committed to a version of the Principle of Plenitude, which is the thesis that no genuine possibility will go unactualized in an infinity of time. If in fact Aristotle endorses the Principle of Plenitude, everything becomes necessary. Despite the strong evidence that Aristotle indeed accepts that Principle of Plenitude, there are key texts in which Aristotle seems to contradict it. On Hintikka’s final word on the matter, Aristotle either (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Outline of a Logic of Knowledge of Acquaintance.Samuele Iaquinto & Giuseppe Spolaore - 2019 - Analysis 79 (1):52-61.
    The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. Performative Transcendental Arguments.Adrian Bardon - 2005 - Philosophia 33 (1-4):69-95.
    ‘Performative’ transcendental arguments exploit the status of a subcategory of self-falsifying propositions in showing that some form of skepticism is unsustainable. The aim of this paper is to examine the relationship between performatively inconsistent propositions and transcendental arguments, and then to compare performative transcendental arguments to modest transcendental arguments that seek only to establish the indispensability of some belief or conceptual framework. Reconceptualizing transcendental arguments as performative helps focus the intended dilemma for the skeptic: performative transcendental arguments directly confront the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  12. DDL Unlimited: Dynamic Doxastic Logic for Introspective Agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Erkenntnis 50 (2-3):353-385.
    The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  13. Singular Analogy and Quantitative Inductive Logics.John R. Welch - 1999 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 14 (2):207-247.
    The paper explores the handling of singular analogy in quantitative inductive logics. It concentrates on two analogical patterns coextensive with the traditional argument from analogy: perfect and imperfect analogy. Each is examined within Carnap’s λ-continuum, Carnap’s and Stegmüller’s λ-η continuum, Carnap’s Basic System, Hintikka’s α-λ continuum, and Hintikka’s and Niiniluoto’s K-dimensional system. Itis argued that these logics handle perfect analogies with ease, and that imperfect analogies, while unmanageable in some logics, are quite manageable in others. The paper concludes (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  14. Transcendental Phenomenology and Possible Worlds Semantics.Peter Hutcheson - 1987 - Husserl Studies 4 (3):225-242.
    Are transcendental phenomenology and possible worlds semantics, two seemingly disparate, perhaps even incompatible philosophical traditions, actually complementary? Have two well-known representatives of each tradition, J.N. Mohanty and J. Hintikka, misinterpreted the other's philosophical "program" in such a way that they did not recognize the complementarity? Charles Harvey 1 has recently argued that the answer to both questions is "yes." Here I intend to argue that the answer to the first is unclear, whereas the answer to the second is "no." (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics.Markus Pantsar - 2009 - Dissertation, University of Helsinki
    One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  16. A Puzzle About Belief Updating.Carlo Martini - 2013 - Synthese 190 (15):3149-3160.
    In recent decades much literature has been produced on disagreement; the puzzling conclusion being that epistemic disagreement is, for the most part, either impossible (e.g. Aumann (Ann Stat 4(6):1236–1239, 1976)), or at least easily resolvable (e.g. Elga (Noûs 41(3):478–502, 2007)). In this paper I show that, under certain conditions, an equally puzzling result arises: that is, disagreement cannot be rationally resolved by belief updating. I suggest a solution to the puzzle which makes use of some of the principles of (...)’s Socratic epistemology. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Extending Dynamic Doxastic Logic: Accommodating Iterated Beliefs And Ramsey Conditionals Within DDL.Sten Lindström & Wiodek Rabinowicz - 1997 - In Lars Lindahl, Paul Needham & Ryszard Sliwinski (eds.), For Good Measure. Uppsala, Sverige:
    In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  18. Tableau-Based Decision Procedure for the Multiagent Epistemic Logic with All Coalitional Operators for Common and Distributed Knowledge.M. Ajspur, V. Goranko & D. Shkatov - 2013 - Logic Journal of the IGPL 21 (3):407-437.
    We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Quine's Interpretation Problem and the Early Development of Possible Worlds Semantics.Sten Lindström - 2001 - In Ondrey Majer (ed.), The Logica Yearbook 2000. Filosofia.
    In this paper, I shall consider the challenge that Quine posed in 1947 to the advocates of quantified modal logic to provide an explanation, or interpretation, of modal notions that is intuitively clear, allows “quantifying in”, and does not presuppose, mysterious, intensional entities. The modal concepts that Quine and his contemporaries, e.g. Carnap and Ruth Barcan Marcus, were primarily concerned with in the 1940’s were the notions of (broadly) logical, or analytical, necessity and possibility, rather than the metaphysical modalities that (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  20. Leibniz on Rational Decision-Making.Markku Roinila - 2007 - Dissertation, University of Helsinki
    In this study I discuss G. W. Leibniz's (1646-1716) views on rational decision-making from the standpoint of both God and man. The Divine decision takes place within creation, as God freely chooses the best from an infinite number of possible worlds. While God's choice is based on absolutely certain knowledge, human decisions on practical matters are mostly based on uncertain knowledge. However, in many respects they could be regarded as analogous in more complicated situations. In addition to giving an overview (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  21. Belief Contexts and Epistemic Possibility.Hylarie Kochiras - 2006 - Principia: An International Journal of Epistemology 10 (1):1-20.
    Although epistemic possibility figures in several debates, those debates have had relatively little contact with one another. G. E. Moore focused squarely upon analyzing epistemic uses of the phrase, ‘It’s possible that p’, and in doing so he made two fundamental assumptions. First, he assumed that epistemic possibility statements always express the epistemic position of a community, as opposed to that of an individual speaker. Second, he assumed that all epistemic uses of ‘It’s possible that p’ are analyzable in terms (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  60
    Redrawing Kant's Philosophy of Mathematics.Joshua M. Hall - 2013 - South African Journal of Philosophy 32 (3):235-247.
    This essay offers a strategic reinterpretation of Kant’s philosophy of mathematics in Critique of Pure Reason via a broad, empirically based reconception of Kant’s conception of drawing. It begins with a general overview of Kant’s philosophy of mathematics, observing how he differentiates mathematics in the Critique from both the dynamical and the philosophical. Second, it examines how a recent wave of critical analyses of Kant’s constructivism takes up these issues, largely inspired by Hintikka’s unorthodox conception of Kantian intuition. Third, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  67
    Generating and Interpreting Metaphors with NETMET.Eric Steinhart - 2005 - APA Newsletter on Philosophy and Computers 4 (2).
    The structural theory of metaphor (STM) uses techniques from possible worlds semantics to generate and interpret metaphors. STM is presented in detail in The Logic of Metaphor: Analogous Parts of Possible Worlds (Steinhart, 2001). STM is based on Kittay’s semantic field theory of metaphor (1987) and ultimately on Black’s interactionist theory (1962, 1979). STM uses an intensional calculus to specify truth-conditions for many grammatical forms of metaphor. The truth-conditional analysis in STM is inspired in part by Miller (1979) and (...) & Sandu (1994). STM is by no means a toy theory. It has been successfully tested on dozens of large texts taken from real authors. Its methods can be applied in very large linguistic databases like WordNet or MindNet. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Moore’s Paradox and the Logic of Belief.Andrés Páez - 2020 - Manuscrito 43 (2):1-15.
    Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a more (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. ARISTOTELIAN LOGIC AND EUCLIDEAN GEOMETRY.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (1):131-2.
    John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  16
    Proof Theory and Semantics for a Theory of Definite Descriptions.Nils Kürbis - 2021 - In Anupam Das & Sara Negri (eds.), TABLEAUX 2021, LNAI 12842.
    This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Presuppositions, Logic, and Dynamics of Belief.Slavko Brkic - 2004 - Prolegomena 3 (2):151-177.
    In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role of presupposition in supervaluations logical systems. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Leibniz's Models of Rational Decision.Markku Roinila - 2008 - In Marcelo Dascal (ed.), Leibniz: What Kind of Rationalist? Springer. pp. 357-370.
    Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Critical Study: Jon Barwise & John Perry, Situations and Attitudes. [REVIEW]Sten Lindström - 1991 - Noûs (5):743-770.
    The present essay is a critical study of Barwise and Perry’s book, emphasizing the logical and model-theoretical aspects of their work. I begin by presenting the authors’ criticism of the classical view of logic and semantics within the tradition of Frege, Russell and Tarski. In this connection, I discuss the so-called Frege argument (“the slingshot”). I try to show that the argument appears inconclusive, not only from a situation-theoretic perspective, but also from such alternative perspectives as orthodox Fregean semantics or (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. L’interprétation performative du Cogito cartésien.Elena Dragalina Chernaya - 2013 - Cahiers de Philosophie de L’Université de Caen 50:121-139..
    Cet article a pour but d’étudier les perspectives que l’approche performative de la preuve fournit, afin de répondre à deux questions classiques liées à l’interprétation de l’argument cartésien : Cogito ergo sum. La première question est la suivante : quel type de contrainte logique ou non-logique ergo exprime-t-il dans la formulation de cet argument? La seconde question est celle-ci : quel type d’existence est manifesté par l’argument Cogito, ou Cogito ergo quis est ?
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark