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

143 found
Order:
  1.  7
    Nirmalya Guha (2016). A Monstrous Inference Called Mahāvidyānumāna and Cantor’s Diagonal Argument. Journal of Indian Philosophy 44 (3):557-579.
    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.  6
    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.  46
    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.  80
    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  
  5.  20
    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  
  6.  13
    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.  37
    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.  10
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  9.  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  
  10. C. Hampson, S. Kikot & A. Kurucz (2016). The Decision Problem of Modal Product Logics with a Diagonal, and Faulty Counter Machines. Studia Logica 104 (3):455-486.
    In the propositional modal treatment of two-variable first-order logic equality is modelled by a ‘diagonal’ constant, interpreted in square products of universal frames as the identity relation. Here we study the decision problem of products of two arbitrary modal logics equipped with such a diagonal. As the presence or absence of equality in two-variable first-order logic does not influence the complexity of its satisfiability problem, one might expect that adding a diagonal to product logics in general is (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  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.
  12.  35
    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  
  13. 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 diagnosing why skepticism is (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  14.  35
    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  
  15.  90
    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  
  16.  17
    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  
  17.  6
    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   3 citations  
  18.  11
    James Cummings & Matthew Foreman (2010). Diagonal Prikry Extensions. Journal of Symbolic Logic 75 (4):1383-1402.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  3
    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  
  20.  5
    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  
  21.  38
    Keith Simmons (1990). The Diagonal Argument and the Liar. Journal of Philosophical Logic 19 (3):277 - 303.
  22.  51
    Peter Slezak (1988). Was Descartes a Liar? Diagonal Doubt Defended. British Journal for the Philosophy of Science 39 (3):379-388.
  23.  16
    Moon-Heum Yang (1999). The 'Square Itself' and 'Diagonal Itself' in Republic 510d. Ancient Philosophy 19 (1):31-35.
  24.  2
    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  
  25.  1
    Zhanyuan Hou & J. S. Cassell (1997). Asymptotic Solutions of Mixed-Type Equations with a Diagonal Matrix. Analysis 17 (1):1-12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  1
    Ralitza Kovacheva (1990). Diagonal Rational Chebyshev Approximants and Holomorphic Continuation of Functions. Analysis 10 (2-3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  27
    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  
  28.  4
    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  
  29.  14
    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  
  30.  8
    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  
  31.  21
    G. Kreisel (1953). The Diagonal Method in Formalized Arithmetic. [REVIEW] British Journal for the Philosophy of Science 3 (12):364-374.
  32.  2
    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  
  33.  3
    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  
  34.  2
    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  
  35.  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  
  36.  2
    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  
  37.  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  
  38.  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  
  39. Jean Daive & Serge Gavronsky (1979). I Inverted the Numbers of a Diagonal. Substance 8 (2/3):51.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. 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  
  41. 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  
  42. 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
     
     
    Export citation  
     
    My bibliography  
  43. 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  
  44. Naoki Shibayama & Hiroshi Nakagawa (2011). Introducing Off-Diagonal Elements to Singular Value Matrix in Probabilistic Latent Semantic Indexing. Transactions of the Japanese Society for Artificial Intelligence 26:262-272.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. 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  
  46. 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  
  47. Zvonimir (1992). The Diagonal Argument—a Study of Cases. International Studies in the Philosophy of Science 6 (3):191 – 203.
     
    Export citation  
     
    My bibliography  
  48.  16
    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  
  49.  69
    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  
  50.  45
    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 (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
1 — 50 / 143