Results for 'Four-Colour Theorem'

999 found
Order:
  1.  25
    From the Four-Color Theorem to a Generalizing “Four-Letter Theorem”: A Sketch for “Human Proof” and the Philosophical Interpretation.Vasil Penchev - 2020 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 12 (21):1-10.
    The “four-color” theorem seems to be generalizable as follows. The four-letter alphabet is sufficient to encode unambiguously any set of well-orderings including a geographical map or the “map” of any logic and thus that of all logics or the DNA plan of any alive being. Then the corresponding maximally generalizing conjecture would state: anything in the universe or mind can be encoded unambiguously by four letters. That admits to be formulated as a “four-letter theorem”, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Proofs Versus Experiments: Wittgensteinian Themes Surrounding the Four-Color Theorem.G. D. Secco - 2017 - In Marcos Silva (ed.), How Colours Matter to Philosophy. Cham: Springer. pp. 289-307.
    The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970's, provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  13
    A Pre-Formal Proof of Why No Planar Map Needs More Than Four Colours.Bhupinder Singh Anand - manuscript
    Although the Four Colour Theorem is passe, we give an elementary pre-formal proof that transparently illustrates why four colours suffice to chromatically differentiate any set of contiguous, simply connected and bounded, planar spaces; by showing that there is no minimal 4-coloured planar map M. We note that such a pre-formal proof of the Four Colour Theorem highlights the significance of differentiating between: (a) Plato's knowledge as justified true belief, which seeks a formal proof (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. The Relationship of Arithmetic As Two Twin Peano Arithmetic(s) and Set Theory: A New Glance From the Theory of Information.Vasil Penchev - 2020 - Metaphilosophy eJournal (Elseviers: SSRN) 12 (10):1-33.
    The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as Fermat’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Colour Relations in Form.Will Davies - 2021 - Philosophy and Phenomenological Research 102 (3):574-594.
    The orthodox monadic determination thesis holds that we represent colour relations by virtue of representing colours. Against this orthodoxy, I argue that it is possible to represent colour relations without representing any colours. I present a model of iconic perceptual content that allows for such primitive relational colour representation, and provide four empirical arguments in its support. I close by surveying alternative views of the relationship between monadic and relational colour representation.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. A Colour Sorting Task Reveals the Limits of the Universalist/Relativist Dichotomy: Colour Categories Can Be Both Language Specific and Perceptual.Nicolas Claidière, Yasmina Jraissati & Coralie Chevallier - 2008 - Journal of Cognition and Culture 8 (3-4):211-233.
    We designed a new protocol requiring French adult participants to group a large number of Munsell colour chips into three or four groups. On one, relativist, view, participants would be expected to rely on their colour lexicon in such a task. In this framework, the resulting groups should be more similar to French colour categories than to other languages categories. On another, universalist, view, participants would be expected to rely on universal features of perception. In this (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Women of Color Structural Feminisms.Elena Ruíz - forthcoming - In Shirley-Anne Tate (ed.), The Palgrave Handbook on Critical Race And Gender.
    One way to track the many critical impacts of women of color feminisms is through the powerful structural analyses of gendered and racialized oppression they offer. This article discusses diverse lineages of women of color feminisms in the global South that tackle systemic structures of power and domination from their situated perspectives. It offers an introduction to structuralist theories in the humanities and differentiates them from women of color feminist theorizing, which begins analyses of structures from embodied and phenomenological st¬¬andpoints--with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Clarifying the View of the Cathedral: The Four Dimensions of the Framework and Calabresi Theorem.Christopher Dunn - 2011 - BocconiLegalpapers.Org:1-72.
    This work describes a seminal framework of law by one of the founders of the field of law and economics, Judge Guido Calabresi. It broadens what is known as the framework of law among legal scholars, and posits a calabresi theorem which is developed and explained, in part, in comparison to the coase theorem. The framework provides policymakers a tool for creating balanced policies.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Independent Opinions? On the Causal Foundations of Belief Formation and Jury Theorems.Franz Dietrich & Kai Spiekermann - 2013 - Mind 122 (487):655-685.
    Democratic decision-making is often defended on grounds of the ‘wisdom of crowds’: decisions are more likely to be correct if they are based on many independent opinions, so a typical argument in social epistemology. But what does it mean to have independent opinions? Opinions can be probabilistically dependent even if individuals form their opinion in causal isolation from each other. We distinguish four probabilistic notions of opinion independence. Which of them holds depends on how individuals are causally affected by (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  10.  50
    Automated Theorem Proving and Its Prospects. [REVIEW]Desmond Fearnley-Sander - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.
    REVIEW OF: Automated Development of Fundamental Mathematical Theories by Art Quaife. (1992: Kluwer Academic Publishers) 271pp. Using the theorem prover OTTER Art Quaife has proved four hundred theorems of von Neumann-Bernays-Gödel set theory; twelve hundred theorems and definitions of elementary number theory; dozens of Euclidean geometry theorems; and Gödel's incompleteness theorems. It is an impressive achievement. To gauge its significance and to see what prospects it offers this review looks closely at the book and the proofs it presents.
    Download  
     
    Export citation  
     
    Bookmark  
  11.  78
    Timaeus on Color Mixture.Mark Eli Kalderon - manuscript
    Now with extra footnotes, by editorial demand! -/- This essay consists in a trick and a potential insight. The trick consists in a minimalist interpretation of color mixture. The account of color mixture is minimalist in the sense that, given certain background assumptions, there is no more to Timaeus’ account of color mixture than the list of the chromatic pathēmata and the list of how these combine to elicit perceptions of all the colors. The only potential controversial elements of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. On the Depth of Szemeredi's Theorem.Andrew Arana - 2015 - Philosophia Mathematica 23 (2):163-176.
    Many mathematicians have cited depth as an important value in their research. However, there is no single widely accepted account of mathematical depth. This article is an attempt to bridge this gap. The strategy is to begin with a discussion of Szemerédi's theorem, which says that each subset of the natural numbers that is sufficiently dense contains an arithmetical progression of arbitrary length. This theorem has been judged deep by many mathematicians, and so makes for a good case (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Validations of Proofs Considered as Texts: Can Undergraduates Tell Whether an Argument Proves a Theorem?Annie Selden - 2003 - Journal for Mathematics Education Research 34 (1):4-36.
    We report on an exploratory study of the way eight mid-level undergraduate mathematics majors read and reflected on four student-generated arguments purported to be proofs of a single theorem. The results suggest that mid-level undergraduates tend to focus on surface features of such arguments and that their ability to determine whether arguments are proofs is very limited -- perhaps more so than either they or their instructors recognize. We begin by discussing arguments (purported proofs) regarded as texts and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections.Giambattista Formica - 2010 - Perspectives on Science 18 (4):480-499.
    In spite of the many efforts made to clarify von Neumann’s methodology of science, one crucial point seems to have been disregarded in recent literature: his closeness to Hilbert’s spirit. In this paper I shall claim that the scientific methodology adopted by von Neumann in his later foundational reflections originates in the attempt to revaluate Hilbert’s axiomatics in the light of Gödel’s incompleteness theorems. Indeed, axiomatics continues to be pursued by the Hungarian mathematician in the spirit of Hilbert’s school. I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15.  48
    Aggregation Theory and the Relevance of Some Issues to Others.Franz Dietrich - 2015 - Journal of Economic Theory 160:463-493.
    I propose a relevance-based independence axiom on how to aggregate individual yes/no judgments on given propositions into collective judgments: the collective judgment on a proposition depends only on people’s judgments on propositions which are relevant to that proposition. This axiom contrasts with the classical independence axiom: the collective judgment on a proposition depends only on people’s judgments on the same proposition. I generalize the premise-based rule and the sequential-priority rule to an arbitrary priority order of the propositions, instead of a (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  16. Aggregating Sets of Judgments: An Impossibility Result.Christian List & Philip Pettit - 2002 - Economics and Philosophy 18 (1):89-110.
    Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that (...)
    Download  
     
    Export citation  
     
    Bookmark   202 citations  
  17. Natural Selection and the Maximization of Fitness.Jonathan Birch - 2016 - Biological Reviews 91 (3):712-727.
    The notion that natural selection is a process of fitness maximization gets a bad press in population genetics, yet in other areas of biology the view that organisms behave as if attempting to maximize their fitness remains widespread. Here I critically appraise the prospects for reconciliation. I first distinguish four varieties of fitness maximization. I then examine two recent developments that may appear to vindicate at least one of these varieties. The first is the ‘new’ interpretation of Fisher's fundamental (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  18. Simultaneous Brightness and Apparent Depth From True Colors on Grey: Chevreul Revisited.Birgitta Dresp-Langley & Adam Reeves - 2012 - Seeing and Perceiving 25 (6):597-618.
    We show that true colors as defined by Chevreul (1839) produce unsuspected simultaneous brightness induction effects on their immediate grey backgrounds when these are placed on a darker (black) general background surrounding two spatially separated configurations. Assimilation and apparent contrast may occur in one and the same stimulus display. We examined the possible link between these effects and the perceived depth of the color patterns which induce them as a function of their luminance contrast. Patterns of square-shaped inducers of a (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  19. Moral Perception: High-Level Perception or Low-Level Intuition?Elijah Chudnoff - 2015 - In Thiemo Breyer & Christopher Gutland (eds.), Phenomenology of Thinking.
    Here are four examples of “seeing.” You see that something green is wriggling. You see that an iguana is in distress. You see that someone is wrongfully harming an iguana. You see that torturing animals is wrong. The first is an example of low-level perception. You visually represent color and motion. The second is an example of high-level perception. You visually represent kind properties and mental properties. The third is an example of moral perception. You have an impression of (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  20. The Situation-Dependency of Perception.Susanna Schellenberg - 2008 - Journal of Philosophy 105 (2):55-84.
    I argue that perception is necessarily situation-dependent. The way an object is must not just be distinguished from the way it appears and the way it is represented, but also from the way it is presented given the situational features. First, I argue that the way an object is presented is best understood in terms of external, mind-independent, but situation-dependent properties of objects. Situation-dependent properties are exclusively sensitive to and ontologically dependent on the intrinsic properties of objects, such as their (...)
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  21. Is Trilled Smell Possible? How the Structure of Olfaction Determines the Phenomenology of Smell.Ed Cooke & Erik Myin - 2011 - Journal of Consciousness Studies 18 (11-12):59-95.
    Smell 'sensations' are among the most mysterious of conscious experiences, and have been cited in defense of the thesis that the character of perceptual experience is independent of the physical events that seem to give rise to it. Here we review the scientific literature on olfaction, and we argue that olfaction has a distinctive profile in relation to the other modalities, on four counts: in the physical nature of the stimulus, in the sensorimotor interactions that characterize its use, in (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  22.  45
    The Whiteness of AI.Stephen Cave & Kanta Dihal - 2020 - Philosophy and Technology 33 (4):685-703.
    This paper focuses on the fact that AI is predominantly portrayed as white—in colour, ethnicity, or both. We first illustrate the prevalent Whiteness of real and imagined intelligent machines in four categories: humanoid robots, chatbots and virtual assistants, stock images of AI, and portrayals of AI in film and television. We then offer three interpretations of the Whiteness of AI, drawing on critical race theory, particularly the idea of the White racial frame. First, we examine the extent to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Theory Choice and Social Choice: Okasha Versus Sen.Jacob Stegenga - 2015 - Mind 124 (493):263-277.
    A platitude that took hold with Kuhn is that there can be several equally good ways of balancing theoretical virtues for theory choice. Okasha recently modelled theory choice using technical apparatus from the domain of social choice: famously, Arrow showed that no method of social choice can jointly satisfy four desiderata, and each of the desiderata in social choice has an analogue in theory choice. Okasha suggested that one can avoid the Arrow analogue for theory choice by employing a (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  24. From Degrees of Belief to Binary Beliefs: Lessons From Judgment-Aggregation Theory.Franz Dietrich & Christian List - 2018 - Journal of Philosophy 115 (5):225-270.
    What is the relationship between degrees of belief and binary beliefs? Can the latter be expressed as a function of the former—a so-called “belief-binarization rule”—without running into difficulties such as the lottery paradox? We show that this problem can be usefully analyzed from the perspective of judgment-aggregation theory. Although some formal similarities between belief binarization and judgment aggregation have been noted before, the connection between the two problems has not yet been studied in full generality. In this paper, we seek (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Introspective Training Apprehensively Defended: Reflections on Titchener's Lab Manual.Eric Schwitzgebel - 2004 - Journal of Consciousness Studies 11 (7-8):58-76.
    To study conscious experience we must, to some extent, trust introspective reports; yet introspective reports often do not merit our trust. A century ago, E.B. Titchener advocated extensive introspective training as a means of resolving this difficulty. He describes many of his training techniques in his four-volume laboratory manual of 1901- 1905. This paper explores Titchener's laboratory manual with an eye to general questions about the prospects of introspective training for contemporary consciousness studies, with a focus on the following (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  26. Phenomenal Knowledge Without Experience.Torin Alter - 2008 - In Edmond Wright (ed.), The case for qualia. MIT Press. pp. 247.
    : Phenomenal knowledge usually comes from experience. But it need not. For example, one could know what it’s like to see red without seeing red—indeed, without having any color experiences. Daniel Dennett (2007) and Pete Mandik (forthcoming) argue that this and related considerations undermine the knowledge argument against physicalism. If they are right, then this is not only a problem for anti‐physicalists. Their argument threatens to undermine any version of phenomenal realism— the view that there are phenomenal properties, or qualia, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  57
    Psychoanalysis and Bioethics: A Lacanian Approach to Bioethical Discourse.Hub Zwart - 2016 - Medicine, Health Care and Philosophy 19 (4):605-621.
    This article aims to develop a Lacanian approach to bioethics. Point of departure is the fact that both psychoanalysis and bioethics are practices of language, combining diagnostics with therapy. Subsequently, I will point out how Lacanian linguistics may help us to elucidate the dynamics of both psychoanalytical and bioethical discourse, using the movie One flew over the Cuckoo’s Nest and Sophocles’ tragedy Antigone as key examples. Next, I will explain the ‘topology’ of the bioethical landscape with the help of Lacan’s (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  80
    Elimination of Cuts in First-Order Finite-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.
    A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  29. Evaluating Risky Prospects: The Distribution View.Luc Bovens - 2015 - Analysis 75 (2):243-253.
    Risky prospects represent policies that impose different types of risks on multiple people. I present an example from food safety. A utilitarian following Harsanyi's Aggregation Theorem ranks such prospects according to their mean expected utility or the expectation of the social utility. Such a ranking is not sensitive to any of four types of distributional concerns. I develop a model that lets the policy analyst rank prospects relative to the distributional concerns that she considers fitting in the context (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  70
    Fractal Images of Formal Systems.Paul St Denis & Patrick Grim - 1997 - Journal of Philosophical Logic 26 (2):181-222.
    Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. The Oblique Perspective: Philosophical Diagnostics of Contemporary Life Sciences Research.Hub Zwart - 2017 - Life Sciences, Society and Policy 13 (1):1-20.
    This paper indicates how continental philosophy may contribute to a diagnostics of contemporary life sciences research, as part of a “diagnostics of the present”. First, I describe various options for an oblique reading of emerging scientific discourse, bent on uncovering the basic “philosophemes” of science. Subsequently, I outline a number of radical transformations occurring both at the object-pole and at the subject-pole of the current knowledge relationship, namely the technification of the object and the anonymisation or collectivisation of the subject, (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  32. Complete Enumerative Inductions.John Corcoran - 2006 - Bulletin of Symbolic Logic 12:465-6.
    Consider the following. The first is a one-premise argument; the second has two premises. The question sign marks the conclusions as such. -/- Matthew, Mark, Luke, and John wrote Greek. ? Every evangelist wrote Greek. -/- Matthew, Mark, Luke, and John wrote Greek. Every evangelist is Matthew, Mark, Luke, or John. ? Every evangelist wrote Greek. -/- The above pair of premise-conclusion arguments is of a sort familiar to logicians and philosophers of science. In each case the first premise is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  92
    The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. A New Three Dimensional Bivalent Hypercube Description, Analysis, and Prospects for Research.Jeremy Horne - 2012 - Neuroquantology 10 (1):12.
    A three dimensional hypercube representing all of the 4,096 dyadic computations in a standard bivalent system has been created. It has been constructed from the 16 functions arrayed in a table of functional completeness that can compute a dyadic relationship. Each component of the dyad is an operator as well as a function, such as “implication” being a result, as well as an operation. Every function in the hypercube has been color keyed to enhance the display of emerging patterns. At (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Color as a Secondary Quality.Paul A. Boghossian & J. David Velleman - 1989 - Mind 98 (January):81-103.
    Should a principle of charity be applied to the interpretation of the colour concepts exercised in visual experience? We think not. We shall argue, for one thing, that the grounds for applying a principle of charity are lacking in the case of colour concepts. More importantly, we shall argue that attempts at giving the experience of colour a charitable interpretation either fail to respect obvious features of that experience or fail to interpret it charitably, after all. Charity (...)
    Download  
     
    Export citation  
     
    Bookmark   228 citations  
  36.  17
    The Theory of Liberal Dependency Care: A Reply to My Critics.Asha Bhandary - 2021 - Critical Review of International Social and Political Philosophy:1-15.
    This author’s reply addresses critiques by Daniel Engster, Kelly Gawel, and Andrea Westlund about my 2020 book, Freedom to Care: Liberalism, Dependency Care, and Culture. I begin with a statement of my commitment to liberalism. In section two, I defend the value of a distinction between conceptions of persons in the real world and in contract theory to track inequalities in care when indexed to legitimate needs. I argue, as well, that my variety of contract theory supplies the normative content (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37.  49
    Changing Trends in Dreamboat Children’s Theatre, Calabar, Nigeria.Y. T. A. Edisua Merab - 2015 - Indian Journal of Applied Research 5 (8).
    In the last twenty eight years DreamBoat Children’s theatre has gained prominence in South-South Nigeria. Its operations have become more professional and have received more attention within the school system. But this was not so in the beginning. The study set out to find out what factors led to this development. Qualitative method was used to gather data from children, teachers and practitioners as well as observation of many DreamBoat’s children’s theatre productions across two states of Cross River and Akwa (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Multi-Level Selection and the Explanatory Value of Mathematical Decompositions.Christopher Clarke - 2016 - British Journal for the Philosophy of Science 67 (4):1025-1055.
    Do multi-level selection explanations of the evolution of social traits deepen the understanding provided by single-level explanations? Central to the former is a mathematical theorem, the multi-level Price decomposition. I build a framework through which to understand the explanatory role of such non-empirical decompositions in scientific practice. Applying this general framework to the present case places two tasks on the agenda. The first task is to distinguish the various ways of suppressing within-collective variation in fitness, and moreover to evaluate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  94
    A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic:1-37.
    We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness and a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Review Of: Garciadiego, A., "Emergence Of...Paradoxes...Set Theory", Historia Mathematica (1985), in Mathematical Reviews 87j:01035.John Corcoran - 1987 - MATHEMATICAL REVIEWS 87 (J):01035.
    DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Valor de Verdad.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 627--629.
    Down through the ages, logic has adopted many strange and awkward technical terms: assertoric, prove, proof, model, constant, variable, particular, major, minor, and so on. But truth-value is a not a typical example. Every proposition, even if false, no matter how worthless, has a truth-value:even “one plus two equals four” and “one is not one”. In fact, every two false propositions have the same truth-value—no matter how different they might be, even if one is self-contradictory and one is consistent. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Três Vezes Não: Um Estudo Sobre as Negações Clássica, Paraconsistente e Paracompleta.Kherian Gracher - 2020 - Dissertation, Federal University of Santa Catarina
    Could there be a single logical system that would allow us to work simultaneously with classical, paraconsistent, and paracomplete negations? These three negations were separately studied in logics whose negations bear their names. Initially we will restrict our analysis to propositional logics by analyzing classical negation, ¬c, as treated by Classical Propositional Logic (LPC); the paraconsistent negation, ¬p, as treated through the hierarchy of Paraconsistent Propositional Calculi Cn (0 ≤ n ≤ ω); and the paracomplete negation, ¬q, as treated by (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Classical Electrodynamics in Agreement with Newton’s Third Law of Motion.Koenraad Johan van Vlaenderen - manuscript
    The force law of Maxwell’s classical electrodynamics does not agree with Newton’s third law of motion (N3LM), in case of open circuit magnetostatics. Initially, a generalized magnetostatics theory is presented that includes two additional physical fields B_Φ and B_l, defined by scalar functions. The scalar magnetic field B_l mediates a longitudinal Ampère force that balances the transverse Ampère force (aka the magnetic field force), such that the sum of the two forces agrees with N3LM for all stationary current distributions. Secondary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44.  94
    The Necessary Pain of Moral Imagination: Lonely Delegation in Richard Wright's White Man, Listen! And Haiku.Joshua M. Hall - 2018 - Evental Aesthetics 1 (7):63-89.
    Richard Wright gave a series of lectures in Europe from 1950 to 1956, collected in the following year in the volume, White Man, Listen! One dominant theme in all four essays is that expanding the moral imagination is centrally important in repairing our racism-benighted globe. What makes Wright’s version of this claim unique is his forthright admission that expanding the moral imagination necessarily involves pain and suffering. The best place to hear Wright in regard to the necessary pain of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45.  45
    Dimensional Theoretical Properties of Some Affine Dynamical Systems.Jörg Neunhäuserer - 1999 - Dissertation,
    In this work we study dimensional theoretical properties of some a±ne dynamical systems. By dimensional theoretical properties we mean Hausdor® dimension and box- counting dimension of invariant sets and ergodic measures on theses sets. Especially we are interested in two problems. First we ask whether the Hausdor® and box- counting dimension of invariant sets coincide. Second we ask whether there exists an ergodic measure of full Hausdor® dimension on these invariant sets. If this is not the case we ask the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46.  55
    “Barriers to Implication”.Peter B. M. Vranas - unknown
    I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier theses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Construction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the paper, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Comments on Greg Restall & Gillian Russell's “Barriers to Implication”.Peter B. M. Vranas - unknown
    I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier the- ses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Con- struction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Schroedinger's Register: Foundational Issues and Physical Realization.Stephen Pink & Stanley Martens - manuscript
    This work-in-progress paper consists of four points which relate to the foundations and physical realization of quantum computing. The first point is that the qubit cannot be taken as the basic unit for quantum computing, because not every superposition of bit-strings of length n can be factored into a string of n-qubits. The second point is that the “No-cloning” theorem does not apply to the copying of one quantum register into another register, because the mathematical representation of this (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  23
    Logics for Belief as Maximally Plausible Possibility.Giacomo Bonanno - 2020 - Studia Logica 108 (5):1019-1061.
    We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four interaction (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Plato's Theory of Forms and Other Papers.John-Michael Kuczynski - 2020 - Madison, WI, USA: College Papers Plus.
    Easy to understand philosophy papers in all areas. Table of contents: Three Short Philosophy Papers on Human Freedom The Paradox of Religions Institutions Different Perspectives on Religious Belief: O’Reilly v. Dawkins. v. James v. Clifford Schopenhauer on Suicide Schopenhauer’s Fractal Conception of Reality Theodore Roszak’s Views on Bicameral Consciousness Philosophy Exam Questions and Answers Locke, Aristotle and Kant on Virtue Logic Lecture for Erika Kant’s Ethics Van Cleve on Epistemic Circularity Plato’s Theory of Forms Can we trust our senses? Yes (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 999