Results for 'Jaakko Hintikka'

26 found
Order:
  1.  18
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  26
    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 (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  94
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  92
    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  
  6. 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  
  7. 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   4 citations  
  8. 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  
  9. 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   1 citation  
  10. 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   1 citation  
  11.  91
    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  
  12. 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  
  13.  61
    Abduction - The Context of Discovery + Underdetermination = Inference to the Best Explanation.Mousa Mohammadian - forthcoming - Synthese.
    The relationship between Peircean abduction and the modern notion of Inference to the Best Explanation (IBE) is a matter of dispute. Some philosophers such as Harman and Lipton claim that abduction and IBE are virtually the same. Others, however, hold that they are quite different (e.g., Hintikka and Minnameier) and there is no link between them (Campos). In this paper, I argue that neither of these views is correct. I show that abduction and IBE have important similarities as well (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. 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   6 citations  
  15.  99
    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   23 citations  
  16. 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   4 citations  
  17.  98
    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  
  18. 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  
  19. 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   1 citation  
  20.  33
    How to Stay Safe While Extending the Mind.Jaakko Hirvelä - forthcoming - Synthese:1-17.
    According to the extended mind thesis, cognitive processes are not confined to the nervous system but can extend beyond skin and skull to notebooks, iPhones, computers and such. The extended mind thesis is a metaphysical thesis about the material basis of our cognition. As such, whether the thesis is true can have implications for epistemological issues. Carter has recently argued that safety-based theories of knowledge are in tension with the extended mind hypothesis, since the safety condition implies that there is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. 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  
  22.  60
    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  
  23. Leibnizin rationaalisen päätöksenteon mallit.Markku Roinila - 2009 - Ajatus 66:39-60.
    Artikkelissaan ”The Balance of Reason” Marcelo Dascal on osoittanut, että metafora syiden punnitsemisesta järjen vaa’assa on yleinen Leibnizin kirjoituksissa ja sitä on pidettävä hänen yleisenä järkeilyn metodinaan tilanteissa, joissa ei voida suorittaa täydellistä loogista analyysiä. Keskustelen tässä esitelmässä tuosta metaforasta ja ehdotan Jaakko Hintikan ja Simo Knuuttilan aiempien esityksien pohjalle rakentaen, että käsityksissään ihmisen praktisesta rationaalisuudesta Leibniz sovelsi myös toista melko tuntemattomaksi jäänyttä heuristista päätöksentekomallia, joka liittyy hänen työhönsä luonnonfilosofiassa ja mielenfilosofiassa, ja jota hän sovelsi tapauksissa joissa päätökseen vaikuttavat (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. 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  
  25.  21
    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  
  26.  90
    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