Search results for 'Diagonal' (try it on Scholar)

133 found
Order:
  1.  5
    Nirmalya Guha (forthcoming). A Monstrous Inference Called Mahāvidyānumāna and Cantor’s Diagonal Argument. Journal of Indian Philosophy:1-23.
    A mahāvidyā inference is used for establishing another inference. Its Reason is normally an omnipresent property. Its Target is defined in terms of a general feature that is satisfied by different properties in different cases. It assumes that there is no case that has the absence of its Target. The main defect of a mahāvidyā inference μ is a counterbalancing inference that can be formed by a little modification of μ. The discovery of its counterbalancing inference can invalidate such an (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  5
    Zbigniew Tworak (2006). Analogy and Diagonal Argument. Logic and Logical Philosophy 15 (1):39-66.
    In this paper, I try to accomplish two goals. The first is to provide a general characterization of a method of proofs called — in mathematics — the diagonal argument. The second is to establish that analogical thinking plays an important role also in mathematical creativity. Namely, mathematical research make use of analogies regarding general strategies of proof. Some of mathematicians, for example George Polya, argued that deductions is impotent without analogy. What I want to show is that there (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  3.  27
    Toby Ord & Tien D. Kieu (2005). The Diagonal Method and Hypercomputation. British Journal for the Philosophy of Science 56 (1):147-156.
    The diagonal method is often used to show that Turing machines cannot solve their own halting problem. There have been several recent attempts to show that this method also exposes either contradiction or arbitrariness in other theoretical models of computation which claim to be able to solve the halting problem for Turing machines. We show that such arguments are flawed—a contradiction only occurs if a type of machine can compute its own diagonal function. We then demonstrate why such (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  4.  19
    Elisabeth Stöttinger, Stefan Aigner, Klara Hanstein & Josef Perner (2009). Grasping the Diagonal: Controlling Attention to Illusory Stimuli for Action and Perception. Consciousness and Cognition 18 (1):223-228.
    Since the pioneering work of [Aglioti, S., DeSouza, J. F., & Goodale, M. A. . Size-contrast illusions deceive the eye but not the hand. Current Biology, 5, 679–685] visual illusions have been used to provide evidence for the functional division of labour within the visual system—one system for conscious perception and the other system for unconscious guidance of action. However, these studies were criticised for attentional mismatch between action and perception conditions and for the fact that grip size is not (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  74
    Roy A. Sorensen (1986). Was Descartes's Cogito a Diagonal Deduction? British Journal for the Philosophy of Science 37 (3):346-351.
    Peter Slezak and William Boos have independently advanced a novel interpretation of Descartes's "cogito". The interpretation portrays the "cogito" as a diagonal deduction and emphasizes its resemblance to Godel's theorem and the Liar. I object that this approach is flawed by the fact that it assigns 'Buridan sentences' a legitimate role in Descartes's philosophy. The paradoxical nature of these sentences would have the peculiar result of undermining Descartes's "cogito" while enabling him to "disprove" God's existence.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  6.  11
    I. Antoniou & Z. Suchanecki (1994). The Logic of Quantum Systems with Diagonal Singularities. Foundations of Physics 24 (10):1439-1457.
    The work of the Brussels-Austin groups on irreversibility over the last years has shown that Quantum Large Poincaré systems with diagonal singularity lead to an extension of the conventional formulation of dynamics at the level of mixtures which is manifestly time asymmetric. States with diagonal singularity acquire meaning as linear fractionals over the involutive Banach algebra of operators with diagonal singularity. We show in this paper that the logic of quantum systems with diagonal singularity is not (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  35
    John H. Knox, Diagonal Environmental Rights.
    Environmental rights are diagonal if they are held by individuals or groups against the governments of states other than their own. The potential importance of such rights is obvious: governments' actions often affect the environment beyond their jurisdiction, and those who live in and rely upon the environment affected would like to be able to exercise rights against the governments causing them harm. Although international law has not adopted a comprehensive, uniform approach to such rights, human rights law and (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  2
    Jordan Zashev (2005). Diagonal Fixed Points in Algebraic Recursion Theory. Archive for Mathematical Logic 44 (8):973-994.
    The relation between least and diagonal fixed points is a well known and completely studied question for a large class of partially ordered models of the lambda calculus and combinatory logic. Here we consider this question in the context of algebraic recursion theory, whose close connection with combinatory logic recently become apparent. We find a comparatively simple and rather weak general condition which suffices to prove the equality of least fixed points with canonical (corresponding to those produced by the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  9.  8
    Longyun Ding & Su Gao (2006). Diagonal Actions and Borel Equivalence Relations. Journal of Symbolic Logic 71 (4):1081 - 1096.
    We investigate diagonal actions of Polish groups and the related intersection operator on closed subgroups of the acting group. The Borelness of the diagonal orbit equivalence relation is characterized and is shown to be connected with the Borelness of the intersection operator. We also consider relatively tame Polish groups and give a characterization of them in the class of countable products of countable abelian groups. Finally an example of a logic action is considered and its complexity in the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Matthias Hartmann, Corinna S. Martarelli, Fred W. Mast & Kurt Stocker (2014). Eye Movements During Mental Time Travel Follow a Diagonal Line. Consciousness and Cognition 30:201-209.
  11.  33
    Keith Simmons (1993). Universality and the Liar: An Essay on Truth and the Diagonal Argument. Cambridge University Press.
    This book is about one of the most baffling of all paradoxes--the famous Liar paradox. Suppose we say: "We are lying now." Then if we are lying, we are telling the truth; and if we are telling the truth we are lying. This paradox is more than an intriguing puzzle, since it involves the concept of truth. Thus any coherent theory of truth must deal with the Liar. Keith Simmons discusses the solutions proposed by medieval philosophers and offers his own (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   27 citations  
  12.  99
    Juan Comesaña (2002). The Diagonal and the Demon. Philosophical Studies 110 (3):249 - 266.
    Reliabilism about epistemic justification - the thesis that what makes a belief epistemically justified is that it was produced by a reliable process of belief-formation - must face two problems. First, what has been called "the new evil demon problem", which arises from the idea that the beliefs of victims of an evil demon are as justified as our own beliefs, although they are not - the objector claims - reliably produced. And second, the problem of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  13.  31
    R. T. Brady & P. A. Rush (2008). What is Wrong with Cantor's Diagonal Argument? Logique Et Analyse 51 (1):185-219..
    We first consider the entailment logic MC, based on meaning containment, which contains neither the Law of Excluded Middle (LEM) nor the Disjunctive Syllogism (DS). We then argue that the DS may be assumed at least on a similar basis as the assumption of the LEM, which is then justified over a finite domain or for a recursive property over an infinite domain. In the latter case, use is made of Mathematical Induction. We then show that an instance of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  14.  85
    Peter Slezak (1983). Descartes's Diagonal Deduction. British Journal for the Philosophy of Science 34 (March):13-36.
    I OFFER AN ANALYSIS OF DESCARTES'S COGITO WHICH IS RADICALLY NOVEL WHILE INCORPORATING MUCH AVAILABLE INSIGHT. BY ENLARGING FOCUS FROM THE DICTUM ITSELF TO THE REASONING OF DOUBT, DREAMING AND DEMON, I DEMONSTRATE A CLOSE PARALLEL TO THE LOGIC OF THE LIAR PARADOX. THIS HELPS TO EXPLAIN FAMILIAR PARADOXICAL FEATURES OF DESCARTES'S ARGUMENT. THE ACCOUNT PROVES TO BE TEXTUALLY ELEGANT AND, MOREOVER, HAS CONSIDERABLE INDEPENDENT PHILOSOPHICAL PLAUSIBILITY AS AN ACCOUNT OF MIND AND SELF.
    Direct download (11 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  15.  15
    Laureano Luna & Christopher Small (2009). Intentionality and Computationalism. A Diagonal Argument. Mind and Matter 7 (1):81-90.
    Computationalism is the claim that all possible thoughts are computations, i.e. executions of algorithms. The aim of the paper is to show that if intentionality is semantically clear, in a way defined in the paper, then computationalism must be false. Using a convenient version of the phenomenological relation of intentionality and a diagonalization device inspired by Thomson's theorem of 1962, we show there exists a thought that canno be a computation.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  8
    James Cummings & Matthew Foreman (2010). Diagonal Prikry Extensions. Journal of Symbolic Logic 75 (4):1383-1402.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  37
    Keith Simmons (1990). The Diagonal Argument and the Liar. Journal of Philosophical Logic 19 (3):277 - 303.
  18.  1
    Laureano Cabanero & C. G. Small (2009). Intentionality and Computationalism: A Diagonal Argument. Mind and Matter 7 (1):81-90.
    Computationalism is the claim that all possible thoughts are computations, i.e. executions of algorithms. The aim of the paper is to show that if intentionality is semantically clear, in a way defined in the paper, then computationalism must be false. Using a convenient version of the phenomenological relation of intentionality and a diagonalization device inspired by Thomson's theorem of 1962, we show there exists a thought that cannot be a computation.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  51
    Peter Slezak (1988). Was Descartes a Liar? Diagonal Doubt Defended. British Journal for the Philosophy of Science 39 (3):379-388.
  20.  7
    Moon-Heum Yang (1999). The 'Square Itself' and 'Diagonal Itself' in Republic 510d. Ancient Philosophy 19 (1):31-35.
  21.  23
    Gian Aldo Antonelli (1996). Book Review: Keith Simmons. Universality and the Liar: An Essay on Truth and the Diagonal Argument. [REVIEW] Notre Dame Journal of Formal Logic 37 (1):152-159.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  22.  21
    G. Kreisel (1953). The Diagonal Method in Formalized Arithmetic. [REVIEW] British Journal for the Philosophy of Science 3 (12):364-374.
  23.  5
    J. A. Chaldecott (1953). The Zograscope or Optical Diagonal Machine. Annals of Science 9 (4):315-322.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24.  2
    Gerold Stahl (1981). El método diagonal en teoría de conjuntos y metamatemática. Teorema: International Journal of Philosophy 11 (1):27-35.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  25.  6
    Keng Meng Ng (2009). On the Degrees of Diagonal Sets and the Failure of the Analogue of a Theorem of Martin. Notre Dame Journal of Formal Logic 50 (4):469-493.
    Semi-hyperhypersimple c.e. sets, also known as diagonals, were introduced by Kummer. He showed that by considering an analogue of hyperhypersimplicity, one could characterize the sets which are the Halting problem relative to arbitrary computable numberings. One could also consider half of splittings of maximal or hyperhypersimple sets and get another variant of maximality and hyperhypersimplicity, which are closely related to the study of automorphisms of the c.e. sets. We investigate the Turing degrees of these classes of c.e. sets. In particular, (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  26.  6
    Zvonimir Šikić (1992). The Diagonal Argument—A Study of Cases. International Studies in the Philosophy of Science 6 (3):191-203.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27.  1
    Maurizio Negri (1990). Fixed Points and Diagonal Method. Mathematical Logic Quarterly 36 (4):319-329.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28.  1
    Andrzej S. Murawski (1995). From a Well-Ordering of the Reals It is Easy (by a Diagonal Argument) to Produce a Non-Determined Set of Reals. However, Large Cardinal Axioms Imply That All Sets of Reals in L (R), and More, Are Determined. See, for Example, Neeman's Papers Optimalproofs of Determinacy. Bulletin of Symbolic Logic 1:327-339.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  3
    G. Kreisel (1953). Review: The Diagonal Method in Formalized Arithmetic. [REVIEW] British Journal for the Philosophy of Science 3 (12):364 - 374.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  1
    Stewart D. Clem (2014). Diagonal Advance: Perfection in Christian Theology by Anthony D. Baker , Xvi + 332 Pp. [REVIEW] Modern Theology 30 (1):169-171.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31. Erik Ellentuck (1980). Diagonal Methods in the Theory of Isols. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (13):193-204.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32. G. Kreisel (1952). The Diagonal Method in Formalized Arithmetic. "Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel." By A. Mostowski: Essay. [REVIEW] British Journal for the Philosophy of Science 3 ([9/12]):364.
     
    Export citation  
     
    My bibliography  
  33. Maurizio Negri (1990). Fixed Points and Diagonal Method. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):319-329.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Ludovic Patey (2015). Ramsey-Type Graph Coloring and Diagonal Non-Computability. Archive for Mathematical Logic 54 (7-8):899-914.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Uwe Petersen (2002). Diagonal Method and Dialectical Logic: Tools, Materials, and Groundworks for a Logical Foundation of Dialectic and Speculative Philosophy. Der Andere Verlag.
    bk. 1. Tools for dialectic -- bk. 2. Historical-philosophical background materials -- bk. 3. Groundworks for dialectical logic.
    No categories
     
    Export citation  
     
    My bibliography  
  36. Lnken Prohl (2000). Martin Repp: Aum Shinrikyô. Ein Kapitel krimineller Religionsgeschichte, Marburg: Diagonal-Verlag, 1997, 132 S. Zeitschrift für Religions- Und Geistesgeschichte 52 (2):182-183.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. José Pedro Ubeda Rives (2011). Diagonal, argumento/Diagonalización/Método diagonal. In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  38. Sabine Rommevaux (2003). L'irrationalité de la Diagonale Et du Côté d'Un Même Carré Dans les Questions de Biaise de Parme Sur le Traité des Rapports de Bradwardine/The Irrationality of the Diagonal with the Side of the Square in Blasius of Parma's Questions on the Treatise on Proportions of Bradwardine. Revue d'Histoire des Sciences 56 (2):401-418.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Sabine Rommevaux (2003). Thematic Files-the Reception of Euclid's Elements During the Middle Ages and the Renaissance-the Irrationality of the Diagonal with the Side of the Square in Blasius of Parma's Questions on The. Revue d'Histoire des Sciences 56 (2):401-418.
    No categories
     
    Export citation  
     
    My bibliography  
  40. Yehoshua Tsal (1989). Attending to Horizontal, Diagonal, and Vertical Positions in Space. Bulletin of the Psychonomic Society 27 (2):133-134.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Vytautas Tumėnas (2014). The Textuality of Diagonal Ornamentation: Historical Transformations of Signification From the Baltic Perspective. Sign Systems Studies 42 (2-3):219.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Zvonimir (1992). The Diagonal Argument—a Study of Cases. International Studies in the Philosophy of Science 6 (3):191 – 203.
     
    Export citation  
     
    My bibliography  
  43.  14
    Philip D. Welch (2004). On the Possibility, or Otherwise, of Hypercomputation. British Journal for the Philosophy of Science 55 (4):739-746.
    We claim that a recent article of P. Cotogno ([2003]) in this journal is based on an incorrect argument concerning the non-computability of diagonal functions. The point is that whilst diagonal functions are not computable by any function of the class over which they diagonalise, there is no ?logical incomputability? in their being computed over a wider class. Hence this ?logical incomputability? regrettably cannot be used in his argument that no hypercomputation can compute the Halting problem. This seems (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  44.  42
    Vojtěch Kolman (2010). Continuum, Name and Paradox. Synthese 175 (3):351 - 367.
    The article deals with Cantor's argument for the non-denumerability of reals somewhat in the spirit of Lakatos' logic of mathematical discovery. At the outset Cantor's proof is compared with some other famous proofs such as Dedekind's recursion theorem, showing that rather than usual proofs they are resolutions to do things differently. Based on this I argue that there are "ontologically" safer ways of developing the diagonal argument into a full-fledged theory of continuum, concluding eventually that famous semantic paradoxes based (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  62
    Gregory Bochner (2013). The Metasyntactic Interpretation of Two-Dimensionalism. Philosophical Studies 163 (3):611-626.
    Robert Stalnaker contrasts two interpretations, semantic and metasemantic, of the two-dimensionalist framework. On the semantic interpretation, the primary intension or diagonal proposition associated with an utterance is a semantic value that the utterance has in virtue of the actual linguistic meaning of the corresponding sentence, and that primary intension is both what a competent speaker grasps and what determines different secondary intensions or horizontal propositions relative to different possible worlds considered as actual. The metasemantic interpretation reverses the order of (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  46.  34
    George Boolos (1997). Constructing Cantorian Counterexamples. Journal of Philosophical Logic 26 (3):237-239.
    Cantor's diagonal argument provides an indirect proof that there is no one-one function from the power set of a set A into A. This paper provides a somewhat more constructive proof of Cantor's theorem, showing how, given a function f from the power set of A into A, one can explicitly define a counterexample to the thesis that f is one-one.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  36
    Anne Newstead & Franklin James (2008). On the Reality of the Continuum. Philosophy 83 (1):117-28.
    In a recent article, Christopher Ormell argues against the traditional mathematical view that the real numbers form an uncountably infinite set. He rejects the conclusion of Cantor’s diagonal argument for the higher, non-denumerable infinity of the real numbers. He does so on the basis that the classical conception of a real number is mys- terious, ineffable, and epistemically suspect. Instead, he urges that mathematics should admit only ‘well-defined’ real numbers as proper objects of study. In practice, this means excluding (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48.  58
    Samuel Alexander (2013). This Sentence Does Not Contain the Symbol X. The Reasoner 7 (9):108.
    A suprise may occur if we use a similar strategy to the Liar's paradox to mathematically formalize "This sentence does not contain the symbol X".
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  9
    Geoff Rayner-Canham (2011). Isodiagonality in the Periodic Table. Foundations of Chemistry 13 (2):121-129.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  50. Thomas Heath (2015). Mathematics in Aristotle. Routledge.
    Originally published in 1949. This meticulously researched book presents a comprehensive outline and discussion of Aristotle’s mathematics with the author's translations of the greek. To Aristotle, mathematics was one of the three theoretical sciences, the others being theology and the philosophy of nature. Arranged thematically, this book considers his thinking in relation to the other sciences and looks into such specifics as squaring of the circle, syllogism, parallels, incommensurability of the diagonal, angles, universal proof, gnomons, infinity, agelessness of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
1 — 50 / 133