Results for 'contiguous area, four colour theorem, 4CT, planar map, pre-formal proof, simply connected'

987 found
Order:
  1. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Why the Perceived Flaw in Kempe's 1879 Graphical `Proof' of the Four Colour Theorem is Not Fatal When Expressed Geometrically.Bhupinder Singh Anand - manuscript
    All accepted proofs of the Four Colour Theorem (4CT) are computer-dependent; and appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. A Geometrical Perspective of The Four Colour Theorem.Bhupinder Singh Anand - manuscript
    All acknowledged proofs of the Four Colour Theorem (4CT) are computerdependent. They appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, putatively minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. 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 points (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. 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”, and thus (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. An Elementary, Pre-formal, Proof of FLT: Why is x^n+y^n=z^n solvable only for n<3?Bhupinder Singh Anand - manuscript
    Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Hilbert Mathematics Versus Gödel Mathematics. IV. The New Approach of Hilbert Mathematics Easily Resolving the Most Difficult Problems of Gödel Mathematics.Vasil Penchev - 2023 - Philosophy of Science eJournal (Elsevier: SSRN) 16 (75):1-52.
    The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. Eliminating Undecidability and Incompleteness in Formal Systems.P. Olcott - manuscript
    To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.
    Download  
     
    Export citation  
     
    Bookmark  
  10. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  11. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  12. A Henkin-style completeness proof for the modal logic S5.Bruno Bentzen - 2021 - In Pietro Baroni, Christoph Benzmüller & Yì N. Wáng (eds.), Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22. Springer. pp. 459-467.
    This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations.Sara Ayhan - forthcoming - Journal of Logic and Computation.
    In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Why did Fermat believe he had `a truly marvellous demonstration' of FLT?Bhupinder Singh Anand - manuscript
    Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. مرگ حرارتی و پیامدهای الهیاتی آن.Javad Navaei & سیدمحمدکاظم علوی - 2019 - دانشگاه امام صادق علیه السلام 17 (1):233-253.
    According to the second law of thermodynamics, irreversible processes in an isolated system move towards the goal of reaching maximum entropy. In this state, mechanical work is converted to thermal energy and thermodynamic equilibrium occurs; which is determined by the equilibrium in temperature, pressure, etc. Assuming that the universe is an isolated system, the second law of thermodynamics states that the fate of the universe is a state of thermodynamic equilibrium in which all mechanical energies are converted to thermal energy (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Making our children pay for mitigation.Aaron Maltais - 2015 - In Aaron Maltais Catriona McKinnon (ed.), The Ethics of Climate Governance. Maryland: Rowman & Littlefield Publishers, Inc. pp. 91-109.
    Investments in mitigating climate change have their greatest environmental impact over the long term. As a consequence the incentives to invest in cutting greenhouse gas emissions today appear to be weak. In response to this challenge, there has been increasing attention given to the idea that current generations can be motivated to start financing mitigation at much higher levels today by shifting these costs to the future through national debt. Shifting costs to the future in this way benefits future generations (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  17. Reading the Philosophy of Right in light of the Logic: Hegel on the Possibility of Multiple Modernities.Arash Abazari - 2022 - In Dean Moyar, Kate Padgett Walsh & Sebastian Rand (eds.), Hegel's philosophy of right: critical perspectives on freedom and history. New York, NY: Routledge.
    Broadly speaking, two views of modernity are prevalent in contemporary debates. According to the first view, i.e. “modernization theory,” there is one single form of modernity, which is tantamount to liberal, capitalist modernity. The West has already and fully achieved modernity; non-Western societies have lagged behind and must simply catch up with the West. In contrast, according to the second view, “post-colonial theory,” there is no such thing as modernity. What the West erroneously calls “modernity” is nothing but a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. The Myth of the Common Sense Conception of Color.Zed Adams & Nat Hansen - 2020 - In Teresa Marques & Åsa Wikforss (eds.), Shifting Concepts: The Philosophy and Psychology of Conceptual Variability. Oxford: Oxford University Press. pp. 106-127.
    Some philosophical theories of the nature of color aim to respect a "common sense" conception of color: aligning with the common sense conception is supposed to speak in favor of a theory and conflicting with it is supposed to speak against a theory. In this paper, we argue that the idea of a "common sense" conception of color that philosophers of color have relied upon is overly simplistic. By drawing on experimental and historical evidence, we show how conceptions of color (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19. ENTREPRENEURIAL EXPERIENCE, ENTREPRENEURIAL SELF-EFFICACY AND WIDOW ENTREPRENEURSHIP PERFORMANCE IN SOUTH EASTERN NIGERIA.K. C. Agbim, C. K. Osamo, T. I. Adeyemo & B. C. Ndibe - 2022 - JETMASE 4 (1):1-19.
    Owing to the differences in the practice of entrepreneurship as occasioned by gender, culture and marital status, widow entrepreneurship ought to be studied separately. This is increasingly being re-echoed by the resilience of widow entrepreneurs in spite of the disinheritance, dehumanizing and discriminatory characteristics of the persisting widowhood practices in South Eastern Nigeria. This study therefore seeks to investigate the moderating role of entrepreneurial self-efficacy in the entrepreneurial experience, financial and non-financial performance of widow entrepreneurships in South Eastern Nigeria. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  88
    Medical Image Classification with Machine Learning Classifier.Destiny Agboro - forthcoming - Journal of Computer Science.
    In contemporary healthcare, medical image categorization is essential for illness prediction, diagnosis, and therapy planning. The emergence of digital imaging technology has led to a significant increase in research into the use of machine learning (ML) techniques for the categorization of images in medical data. We provide a thorough summary of recent developments in this area in this review, using knowledge from the most recent research and cutting-edge methods.We begin by discussing the unique challenges and opportunities associated with medical image (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Managing Transitions: Coping Strategies for New Principals in Colleges of Education, Ghana.Caroline Aggrey-Fynn - 2020 - International Journal of Scientific Research and Management (IJSRM) 8 (1).
    Principals’ transition in Colleges of Education in Ghana is critical to quality teacher education and training, but it comes with complexities and challenges to newly appointed principals. However, there is a seeming absence of research on strategies for smooth transitions in Colleges of Education in Ghana. This study was therefore conducted to establish strategies that promoted the College of Education principals’ transition management in Ghana. Phenomenological research design was used for the study. Ten (10) newly appointed principals of public colleges (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Consolidación de un Estado nación en Noticia de un secuestro (1996), mediante una política criminológica.Jesús Miguel Delgado Del Aguila - 2018 - Resonancias. Revista de Filosofía 2 (5):71-84.
    Para el desarrollo de este estudio, tomo en cuenta la novela periodística de Gabriel García Márquez, titulada Noticia de un secuestro (1996), la misma que sirve como referente para abordar una etapa crítica por la que atravesaba Colombia durante los dos últimos decenios del siglo XX. Este lapso se caracterizó por la presencia de corrupción gubernamental, el tráfico de drogas y la lucha armada. Ante esta situación social y política, se plantea como solución legal la incorporación de una política criminológica, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Context as a social construct.Varol Akman - 1997 - In AAAI Fall Symposium on Context in Knowledge Representation and Natural Language. Palo Alto, CA: American Association for the Advancement of Artificial Intelligence Press.
    This position paper argues that in addition to the familiar approach using formal contexts, there is now a need in AI to study contexts as social constructs. As a successful example of the latter approach, I draw attention to 'interpretation' (in the sense of literary theory), viz. the reconstruction of intended meaning of a literary text that takes into account the context in which the author assumed the reader would place the text. An important contribution here comes from Harris (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Using stable model semantics (SMODELS) in the causal calculator (CCALC).Semra Dogandag, F. Nur Alpaslan & Varol Akman - 2001 - In Semra Dogandag, F. Nur Alpaslan & Varol Akman (eds.), Proceedings of 10th Turkish Symposium on Artificial Intelligence and Neural Networks (TAINN).
    Action Languages are formal methods of talking about actions and their effects on fluents. One recent approach in planning is to define the domains of the planning problems using action languages. The aim of this research is to find a plan for a system defined in the action language C by translating it into a causal theory and then finding an equivalent logic program. The planning problem will then be reduced to finding the answer set (stable model) of this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Intelligent Plagiarism Detection for Electronic Documents.Mohran H. J. Al-Bayed - 2017 - Dissertation, Al-Azhar University, Gaza
    Plagiarism detection is the process of finding similarities on electronic based documents. Recently, this process is highly required because of the large number of available documents on the internet and the ability to copy and paste the text of relevant documents with simply Control+C and Control+V commands. The proposed solution is to investigate and develop an easy, fast, and multi-language support plagiarism detector with the easy of one click to detect the document plagiarism. This process will be done with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Is Universal Consciousness Fit for Ground?Miri Albahari - 2024 - In Uriah Kriegel (ed.), Oxford Studies in Philosophy of Mind Vol 4. Oxford University Press.
    The Perennial Philosophy centres around what is said to be a recurring mystical insight: that our inherent nature is actually pure, unconditioned consciousness, identical to the ground of all being. Perennial Idealism, the name I give to a metaphysical system I have been building, extrapolates from the Perennial Philosophy to explain how the world could be configured if it were in fact true. Among the most serious challenges faced is that of articulating and defending the very notion that our world (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. The Mystic and the Metaphysician: Clarifying the Role of Meditation in the Search for Ultimate Reality.M. Albahari - 2019 - Journal of Consciousness Studies 26 (7-8):12-36.
    To seek fundamental truths, analytic metaphysicians generally start with observed phenomena. From here they typically move outwards, using discursive thought to posit scientifically informed theories about the ultimate reality behind appearances. Mystics, too, seek to uncover the reality behind appearances. However, their meditative methods typically start with experience and go inwards to a fundamental reality sometimes described as a pure conscious unity. Analytic metaphysicians may be tempted to dismiss the mystical approach as unworthy of investigation. In this paper I will (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Nature, Science, Bayes 'Theorem, and the Whole of Reality‖.Moorad Alexanian - manuscript
    A fundamental problem in science is how to make logical inferences from scientific data. Mere data does not suffice since additional information is necessary to select a domain of models or hypotheses and thus determine the likelihood of each model or hypothesis. Thomas Bayes’ Theorem relates the data and prior information to posterior probabilities associated with differing models or hypotheses and thus is useful in identifying the roles played by the known data and the assumed prior information when making inferences. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Progress in economics: Lessons from the spectrum auctions.Anna Alexandrova & Robert Northcott - 2009 - In Harold Kincaid & Don Ross (eds.), The Oxford Handbook of Philosophy of Economics. Oxford University Press. pp. 306--337.
    The 1994 US spectrum auction is now a paradigmatic case of the successful use of microeconomic theory for policy-making. We use a detailed analysis of it to review standard accounts in philosophy of science of how idealized models are connected to messy reality. We show that in order to understand what made the design of the spectrum auction successful, a new such account is required, and we present it here. Of especial interest is the light this sheds on the (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  30. Private memory confers no advantage.Samuel Allen Alexander - forthcoming - Cifma.
    Mathematicians and software developers use the word "function" very differently, and yet, sometimes, things that are in practice implemented using the software developer's "function", are mathematically formalized using the mathematician's "function". This mismatch can lead to inaccurate formalisms. We consider a special case of this meta-problem. Various kinds of agents might, in actual practice, make use of private memory, reading and writing to a memory-bank invisible to the ambient environment. In some sense, we humans do this when we silently subvocalize (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Proper names, meaning and context.Luis Felipe Bartolo Alegre - manuscript
    From the apparently trivial problem of homonyms, I argue that proper names as they occur in natural languages cannot be characterised as strings of sounds or characters. This entails, first, that the proper names philosophers talk about are not physical entities, like strings, but abstractions that, second, may be better characterised as triples (s, m, C), where s is the string that conveys the meaning m in a set of contexts C. Third, the generality principle of compositionality may be put (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Self-graphing equations.Samuel Alexander - manuscript
    Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.
    Download  
     
    Export citation  
     
    Bookmark  
  33. Set Theoretic Analysis of the Whole of Reality.Moorad Alexanian - 2006 - Perspectives on Science and Christian Faith 58 (3):254-255.
    A theistic science would have to represent the integration of all kinds of knowledge intent on explaining the whole of reality. These would include, at least, history, metaphysics, theology, formal logic, mathematics, and experimental sciences. However, what is the whole of reality that one wants to explain? :.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. Short-circuiting the definition of mathematical knowledge for an Artificial General Intelligence.Samuel Alexander - 2020 - Cifma.
    We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. The development of categorisation and conceptual thinking in early childhood: methods and limitations.Nicolás Alessandroni & Cintia Rodríguez - 2020 - Psicologia: Reflexão E Crítica 33.
    We present a systematic and qualitative review of academic literature on early conceptual development (0–24 months of age), with an emphasis on methodological aspects. The final sample of our review included 281 studies reported in 115 articles. The main aims of the article were four: first, to organise studies into sets according to methodological similarities and differences; second, to elaborate on the methodological procedures that characterise each set; third, to circumscribe the empirical indicators that different sets of studies consider (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. In Pursuit of Unification of Conceptual Models: Sets as Machines.Sabah Al-Fedaghi - manuscript
    Conceptual models as representations of real-world systems are based on diverse techniques in various disciplines but lack a framework that provides multidisciplinary ontological understanding of real-world phenomena. Concurrently, systems’ complexity has intensified, leading to a rise in developing models using different formalisms and diverse representations even within a single domain. Conceptual models have become larger; languages tend to acquire more features, and it is not unusual to use different modeling languages for different components. This diversity has caused problems with consistency (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37.  28
    Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations.Sabah Al-Fedaghi - manuscript
    Conceptual modeling of a portion of the world is a necessary prerequisite to set the stage and define software system boundaries. In this context, one of the challenges is to provide a unified framework to create a comprehensive representation of the targeted domain. According to many researchers, conceptual model (CM) development is a hard task, and system requirements are difficult to collect, causing many miscommunication problems. Accordingly, CMs require more than modeling ability alone: they first require an understanding of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Answer Set Programming on Expert Feedback to Populate and Extend.Colin Allen - 2008 - In David Wilson & H. Chad Lane (eds.), Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference. AAAI Press. pp. 500-505.
    dynamic ontologies must be inferred and populated in part from the reference corpora themselves, but ontological rela-.
    Download  
     
    Export citation  
     
    Bookmark  
  39. Ethics of Decentralized Social Technologies: Lessons from Web3, the Fediverse, and Beyond.Danielle Allen, Woojin Lim, Eli Frankel, Joshua Simons, Divya Siddarth & Glen Weyl - 2023 - Edmond and Lily Safra Center for Ethics.
    This paper argues that the plethora of experiments with decentralized social technologies (DSTs)—clusters of which are sometimes called “the Web 3.0 ecosystem” or “the Fediverse”—have brought us to a constitutional moment. These technologies enable radical innovations in social, economic, and political institutions and practices, with the potential to support transformative approaches to political economy. They demand governance innovation. The paper develops a framework of prudent vigilance for making ethical choices in this space that help to both grasp positive opportunities for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Epistemic Injustice and Collective Wrongdoing: Introduction to Special Issue.Melanie Altanian & Nadja El Kassar - 2021 - Social Epistemology 35 (2):99-108.
    In this introduction to the special issue ‘Epistemic Injustice and Collective Wrongdoing,’ we show how the eight contributions examine the collective dimensions of epistemic injustice. First, we contextualize the articles within theories of epistemic injustice. Second, we provide an overview of the eight articles by highlighting three central topics addressed by them: i) the effects of epistemic injustice and collective wrongdoing, ii) the underlying epistemic structures in collective wrongdoing, unjust relations and unjust societies, and iii) the remedies and strategies of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Arrow’s impossibility theorem and the national security state.S. M. Amadae - 2005 - Studies in History and Philosophy of Science Part A 36 (4):734-743.
    This paper critically engages Philip Mirowki's essay, "The scientific dimensions of social knowledge and their distant echoes in 20th-century American philosophy of science." It argues that although the cold war context of anti-democratic elitism best suited for making decisions about engaging in nuclear war may seem to be politically and ideologically motivated, in fact we need to carefully consider the arguments underlying the new rational choice based political philosophies of the post-WWII era typified by Arrow's impossibility theorem. A distrust of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Normativity and Instrumentalism in David Lewis’ Convention.S. M. Amadae - 2011 - History of European Ideas 37 (3):325-335.
    David Lewis presented Convention as an alternative to the conventionalism characteristic of early-twentieth-century analytic philosophy. Rudolf Carnap is well known for suggesting the arbitrariness of any particular linguistic convention for engaging in scientific inquiry. Analytic truths are self-consistent, and are not checked against empirical facts to ascertain their veracity. In keeping with the logical positivists before him, Lewis concludes that linguistic communication is conventional. However, despite his firm allegiance to conventions underlying not just languages but also social customs, he pioneered (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43. Scientia formalitatum. The Emergence of a New Discipline in the Renaissance.Claus A. Andersen - 2024 - Noctua 11 (2):200-257.
    The Formalist tradition in late-scholastic philosophy has gone unnoticed in standard historiography. This article’s overall objective is to add the Formalist tradition to what we know about Renaissance philosophy. I first show how the Formalist tradition was born out of some innovative considerations of hierarchies of distinctions in the wake of the Franciscan John Duns Scotus’s teaching on the formal distinction in the beginning of the fourteenth century (especially Francis of Meyronnes’s model of four distinctions and Petrus Thomae’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Utilitarian & Marxist Feminism through Drama and Cinema.Baiju Anthony - manuscript
    Feminist theorists try to approach their philosophical perspectives from various systems. They approach it from the perspectives of liberalism, Marxism, radicalism, existentialism, postmodernism, etc. Whatever may be the system they use, their aim seems to be to divulge the oppressions undergone by the women. They use a method or adopt philosophical thinking so that they can spell out their cries in a philosophical manner. Using the philosophical systems does not mean that the philosopher who forwarded the system was aiming at (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Method of informational risk range evaluation in decision making.Zinchenko A. O., Korolyuk N. O., Korshets E. A. & Nevhad S. S. - 2020 - Artificial Intelligence Scientific Journal 25 (3):38-44.
    Looks into evaluation of information provision probability from different sources, based on use of linguistic variables. Formation of functions appurtenant for its unclear variables provides for adoption of decisions by the decision maker, in conditions of nonprobabilistic equivocation. The development of market relations in Ukraine increases the independence and responsibility of enterprises in justifying and making management decisions that ensure their effective, competitive activities. As a result of the analysis, it is determined that the condition of economic facilities can be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Die Fallstricke einer intentionalistischen Engführung der Geschichtsdeutung.Eckhart Arnold - 2015 - Erwã¤Gen Wissen Ethik 26:60-65.
    In this commentary I criticise Doris Gerber's intentionalistic reading of history. While an intentionalistic philosophy of history has some plausibility, a *purely* intentionalistic view is often irreconcilable with the most elementary common sense. For example, that history ought to be considered exclusively as the history of human action and not of things that simply happen to humans as well - like the outbreak of the volcano Vesuv in the year 79 which lead to the destructions of Pompeii. Or that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Ontology of sentential moods.Berislav Žarnić - 2016 - In Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. pp. 323-339.
    In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. On the Logical Form of Educational Philosophy and Theory: Herbart, Mill, Frankena, and Beyond.Berislav Žarnić - 2016 - Encyclopedia of Educational Philosophy and Theory: Living Reference Work.
    The investigation into logical form and structure of natural sciences and mathematics covers a significant part of contemporary philosophy. In contrast to this, the metatheory of normative theories is a slowly developing research area in spite of its great predecessors, such as Aristotle, who discovered the sui generis character of practical logic, or Hume, who posed the “is-ought” problem. The intrinsic reason for this situation lies in the complex nature of practical logic. The metatheory of normative educational philosophy and theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. The praxis of Alain Badiou.Paul Ashton, Adam Bartlett & Justin Clemens (eds.) - 2006 - Seddon, Melbourne, Australia: Re.Press.
    Following the publication of his magnum opus L’être et l’événement (Being and Event) in 1988, Alain Badiou has been acclaimed as one of France’s greatest living philosophers. Since then, he has released a dozen books, including Manifesto for Philosophy, Conditions, Metapolitics and Logiques des mondes (Logics of Worlds), many of which are now available in English translation. Badiou writes on an extraordinary array of topics, and his work has already had an impact upon studies in the history of philosophy, the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Comparative Assessment of the Implementation of Quality Assurance Mechanisms in Educational Management Programme of Universities in South-East Nigeria.Emmanuel Chidubem Asiegbu & Carol Obiageli Ezeugbor - 2018 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (5):7-14.
    Abstract: This study focused on comparative assessment of the implementation of quality assurance mechanisms in educational management programme of federal and state universities in south-east, Nigeria. Four research questions and four null hypotheses guided the study. The study was carried out in the eight government-owned (3 federal and 5 state) universities in south-east that run educational management programme. The study adopted a survey research design on a population of eight heads of department. A 44-item researcher constructed questionnaire was (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 987