Results for 'Many-sided sequent systems'

976 found
Order:
  1. LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications.
    Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems. Second, the systems can be obtained by reformulating a classical system using nonstandard sequent structure and simply removing certain structural rules (relatives of exchange and contraction). I clarify two senses in which these logics count as “substructural.”.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Logics Based on Linear Orders of Contaminating Values.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - Journal of Logic and Computation 29 (5):631–663.
    A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  3. Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.
    The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  4. Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Unknown (ed.), Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. IEEE Press. pp. 208-213.
    A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  5. Automating Reasoning with Standpoint Logic via Nested Sequents.Tim Lyon & Lucía Gómez Álvarez - 2018 - In Michael Thielscher, Francesca Toni & Frank Wolter (eds.), Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018). pp. 257-266.
    Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Autonomous Weapons Systems and the Contextual Nature of Hors de Combat Status.Steven Umbrello & Nathan Gabriel Wood - 2021 - Information 12 (5):216.
    Autonomous weapons systems (AWS), sometimes referred to as “killer robots”, are receiving evermore attention, both in public discourse as well as by scholars and policymakers. Much of this interest is connected with emerging ethical and legal problems linked to increasing autonomy in weapons systems, but there is a general underappreciation for the ways in which existing law might impact on these new technologies. In this paper, we argue that as AWS become more sophisticated and increasingly more capable than (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Goal-Directed Systems and the Good.Mark Bedau - 1992 - The Monist 75 (1):34-51.
    We can readily identify goal-directed systems and distinguish them from non-goal-directed systems. A woodpecker hunting for grubs is the first, a pendulum returning to rest is the second. But what is it to be a goal-directed system? Perhaps the dominant answer to this question, inspired by systems theories such as cybernetics, is that goal-directed systems are distinguished by their tendency to seek, aim at, or maintain some more-or-less easily identifiable goal. Cybernetics and the like would hold (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  8. Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  9. Theories of truth based on four-valued infectious logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
    Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  10. Modern Automated System for Traffic Signals.Senbaga Ganesh - 2021 - Journal of Science Technology and Research (JSTAR) 2 (1):111-119.
    This work has been designed to develop an a dynamic road signal based on an emergency with density. The sync signal automatically switches to detecting traffic density at the intersection. Traffic congestion is a serious problem in many large cities around the world and has become a nightmare for travelers in these cities. The conventional traffic light system is based on the concept of fixed time assigned to each side of the join that cannot be varied by varying traffic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Hair Loss Diagnosis and Treatment Expert System.Amal Nabahhin, Alaa Abu Aloun & Suheir H. Almurshidi - 2017 - International Journal of Engineering and Information Systems (IJEAIS) 1 (4):160-169.
    Though hair loss (alopecia) is not a debilitating or life threatening sickness, the very thought of becoming bald can lead to emotional stress and traumatic experience for those who suffer from premature or excessive hair loss. Many will try anything and everything to bring back their locks. Or at least, some of their once full head of hair. Hair loss sufferers spend billions of dollars annually on remedies ranging from drugs, vitamins to special tonics and shampoos. Conventional treatments of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. The Parisian Porters’ Revolt of January 1786.Bennett Gilbert - 2016 - Journal for Eighteenth-Century Studies 39 (3):359-375.
    This paper gives a full picture of the moral universe pressuring all sides in the strike by porters in Paris during January 1786. These Parisian day-labourers found their livelihood taken away by a new system of parcel delivery, part of a many-sided endeavour to rationalise the economy. They rioted and were the first rioting mob to appeal to the king at Versailles. This paper looks at the riot from the points of view of the rioters and their neighbours, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Uniform and Modular Sequent Systems for Description Logics.Tim Lyon & Jonas Karge - 2022 - In Ofer Arieli, Martin Homola, Jean Christoph Jung & Marie-Laure Mugnier (eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022).
    We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Moves towards Authentic Freedom. Church and State in Switzerland, and Beyond.Hans Feichtinger - 2015 - Saint Anselm Journal 10 (2):47-64.
    Many of the Swiss Cantons have regulated the relations between church and state by establishing, in their public law, corporations at the levels of the municipality and of the canton. The role and the rights of these corporations, especially obligatory membership in them, is the object of ongoing political and legal debate. Both on the side of the courts and of the church, the present system has come under scrutiny, while the corporation representatives and also a majority of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Dynamic Many Valued Logic Systems in Theoretical Economics.D. Lu - manuscript
    This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of theoretical economics. This analysis is substantially expanded through a dynamic approach, where the truth of a valuation results in an updated interpretation or changes in the agent's subjective belief regarding the effectiveness of the selected action as well as the objective reality of the effectiveness of all other (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Computationalism under attack.Roberto Cordeschi & Marcello Frixione - 2007 - In M. Marraffa, M. Caro & F. Ferretti (eds.), Cartographies of the Mind: Philosophy and Psychology in Intersection. Springer.
    Since the early eighties, computationalism in the study of the mind has been “under attack” by several critics of the so-called “classic” or “symbolic” approaches in AI and cognitive science. Computationalism was generically identified with such approaches. For example, it was identified with both Allen Newell and Herbert Simon’s Physical Symbol System Hypothesis and Jerry Fodor’s theory of Language of Thought, usually without taking into account the fact ,that such approaches are very different as to their methods and aims. Zenon (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  17. Characterizing generics are material inference tickets: a proof-theoretic analysis.Preston Stovall - 2019 - Inquiry: An Interdisciplinary Journal of Philosophy (5):668-704.
    An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 202-218.
    This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  19. Social Machinery and Intelligence.Nello Cristianini, James Ladyman & Teresa Scantamburlo - manuscript
    Social machines are systems formed by technical and human elements interacting in a structured manner. The use of digital platforms as mediators allows large numbers of human participants to join such mechanisms, creating systems where interconnected digital and human components operate as a single machine capable of highly sophisticated behaviour. Under certain conditions, such systems can be described as autonomous and goal-driven agents. Many examples of modern Artificial Intelligence (AI) can be regarded as instances of this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. The politics of environments before the environment: Biopolitics in the longue durée.Maurizio Meloni - 2021 - Studies in History and Philosophy of Science Part A 88 (C):334-344.
    Our understanding of body–world relations is caught in a curious contradiction. On one side, it is well established that many concepts that describe interaction with the outer world – ‘plasticity’ or ‘metabolism’- or external influences on the body - ‘environment’ or ‘milieu’ – appeared with the rise of modern science. On the other side, although premodern science lacked a unifying term for it, an anxious attentiveness to the power of ‘environmental factors’ in shaping physical and moral traits held sway (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  21. Without a Trace: Why did Corona Apps Fail?Lucie White & Philippe van Basshuysen - 2021 - Journal of Medical Ethics 47 (12):1-4.
    At the beginning of the COVID-19 pandemic, high hopes were put on digital contact tracing, using mobile phone apps to record and immediately notify contacts when a user reports as infected. Such apps can now be downloaded in many countries, but as second waves of COVID-19 are raging, these apps are playing a less important role than anticipated. We argue that this is because most countries have opted for app configurations that cannot provide a means of rapidly informing users (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  22. Modeling the interaction of computer errors by four-valued contaminating logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Folli Publications on Logic, Language and Information. pp. 119-139.
    Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Classes, Worlds and Hypergunk.Daniel Nolan - 2004 - The Monist 87 (3):303-321.
    The question of what truths are necessary in the broadest possible sense is a difficult one to answer, as is the question of what the limits are to what is possible. (Most people would see these two questions as different sides of the same coin, of course, since many think the question of what is possible is just the question of what is not necessarily ruled out). We have three general sorts of strategies for determining whether something is necessary (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  24. Why Spinoza is Not an Eleatic Monist (Or Why Diversity Exists).Yitzhak Y. Melamed - 2011 - In Philip Goff (ed.), Spinoza on Monism. Houndmills, Basingstoke, Hampshire: Palgrave-Macmillan.
    “Why did God create the World?” is one of the traditional questions of theology. In the twentieth century this question was rephrased in a secularized manner as “Why is there something rather than nothing?” While creation - at least in its traditional, temporal, sense - has little place in Spinoza’s system, a variant of the same questions puts Spinoza’s system under significant pressure. According to Spinoza, God, or the substance, has infinitely many modes. This infinity of modes follow from (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  25. Moral Archetypes - Ethics in Prehistory.Roberto Arruda - 2019 - Terra à Vista - ISBN-10: 1698168292 ISBN-13: 978-1698168296.
    ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  54
    Time Travel May Provide Closure for Autistic Grievances (9th edition).Alexander Ohnemus - forthcoming - Elk Grove: Self-published.
    Of course we should NOT rely on the unlikelihood that a parallel universe has unlimited resources, especially since paraellel universes mst NOT exist, and many resources are intangible and sentimental. Yet UNLIKELY, but possibly, the parallel universe that our holographic universe derives from, may have unlimited both natural and economic resources. automated gateway process: AI using the gateway process to travel back in time and manifest desires. 1)First program an artificial brain. 2)Have the Artificial brain complete the gateway process. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Grounding Originalism.William Baude & Stephen E. Sachs - 2019 - Northwestern University Law Review 113.
    How should we interpret the Constitution? The “positive turn” in legal scholarship treats constitutional interpretation, like the interpretation of statutes or contracts, as governed by legal rules grounded in actual practice. In our legal system, that practice requires a certain form of originalism: our system’s official story is that we follow the law of the Founding, plus all lawful changes made since. Or so we’ve argued. Yet this answer produces its own set of questions. How can practice solve our problems, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Dave Chappelle's Positive Propaganda.Chris A. Kramer - 2021 - In Mark Ralkowski (ed.), Dave Chappelle and Philosophy. Chicago: Popular Culture and Philosophy. pp. 75-88.
    Some of Dave Chappelle’s uses of storytelling about seemingly mundane events, like his experiences with his “white friend Chip” and the police, are examples of what W.E.B. Du Bois calls “Positive Propaganda.” This is in contrast to “Demagoguery,” the sort of propaganda described by Jason Stanley that obstructs empathic recognition of others, and undermines reasonable debate among citizens regarding policies that matter: the justice system, welfare, inequality, and race, for example. Some of Chappelle’s humor, especially in his most recent Netflix (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Self-Governance and Reform in Kant’s Liberal Republicanism - Ideal and Non-Ideal Theory in Kant’s Doctrine of Right.Helga Varden - 2016 - Doispontos 13 (2).
    At the heart of Kant’s legal-political philosophy lies a liberal, republican ideal of justice understood in terms of private independence (non-domination) and subjection to public laws securing freedom for all citizens as equals. Given this basic commitment of Kant’s, it is puzzling to many that he does not consider democracy a minimal condition on a legitimate state. In addition, many find Kant ideas of reform or improvement of the historical states we have inherited vague and confusing. The aim (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2020 - Salem, USA: Studies in Theory and Behavior.
    PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Maximizing Dharma: Krsna’s Consequentialism in the Mahabharata.Joseph Dowd - 2011 - Praxis 3 (1).
    The Mahabharata, an Indian epic poem, describes a legendary war between two sides of a royal family. The epic’s plot involves numerous moral dilemmas that have intrigued and perplexed scholars of Indian literature. Many of these dilemmas revolve around a character named Krsna. Krsna is a divine incarnation and a self-proclaimed upholder of dharma, a system of social and religious duties central to Hindu ethics. Yet, during the war, Krsna repeatedly encourages his allies to use tactics that violate dharma. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  33. Cut elimination for systems of transparent truth with restricted initial sequents.Carlo Nicolai - manuscript
    The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. At Arm's Length.Lavinia Marin - 2018 - In Laboratory for Education and Society (ed.), Sketching a Place for Education in Times of Learning. Springer. pp. 49-52.
    In 1915, a student named Walter Benjamin published his first article, entitled “The life of students”. In this reflection on the condition of student life, Benjamin touched upon one of the most puzzling features of the university: its disconnection from the real world. Benjamin draws our attention to the “huge gulf between ideas and life”, which the university was supposed to bridge through its connection with the state. Benjamin claims, however, that there is no such bridge. On the one hand, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Science and Religion Shift in the First Three Months of the Covid-19 Pandemic.Margaret Boone Rappaport, Christopher Corbally, Riccardo Campa & Ziba Norman - 2020 - Studia Humana 10 (1):1-17.
    The goal of this pilot study is to investigate expressions of the collective disquiet of people in the first months of Covid-19 pandemic, and to try to understand how they manage covert risk, especially with religion and magic. Four co-authors living in early hot spots of the pandemic speculate on the roles of science, religion, and magic, in the latest global catastrophe. They delve into the consolidation that should be occurring worldwide because of a common, viral enemy, but find little (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. A Revolutionary New Metaphysics, Based on Consciousness, and a Call to All Philosophers.Lorna Green - manuscript
    June 2022 A Revolutionary New Metaphysics, Based on Consciousness, and a Call to All Philosophers We are in a unique moment of our history unlike any previous moment ever. Virtually all human economies are based on the destruction of the Earth, and we are now at a place in our history where we can foresee if we continue on as we are, our own extinction. As I write, the planet is in deep trouble, heat, fires, great storms, and record flooding, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Rethinking Democracy in Kurdistan.Daniel J. Smith - 2022 - Philosophy World Democracy 12.
    The Kurdish movement has revitalised the idea of democracy. Under the most difficult of circumstances – squeezed between ISIS on one side and the Turkish armed forces on the other – a radical form of democracy has been implemented that has inspired many both inside and outside the region. Introducing the special issue “Rethinking Democracy in Kurdistan”, this article explores the ingenious challenge to the nation-state system posed by this new democratic theory and practice, focusing on the prison writings (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Semantic interoperability in healthcare. State of the art in the US. A position paper with background materials.Werner Ceusters & Barry Smith - 2010 - In Ceusters Werner & Smith Barry (eds.), European Union ARGOS Project: Transatlantic Observatory for Meeting Global Health Policy Challenges through ICT-Enabled Solution.
    Semantic interoperability can be defined as the ability of two or more computer systems to exchange information in such a way that the meaning of that information can be automatically interpreted by the receiving system accurately enough to produce useful results to the end users of both systems. Several activities are currently being performed by a variety of stakeholders to achieve semantic interoperability in healthcare. Many of these activities are not beneficial, because they place too great a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Comment les médias grand public alimentent-ils le populisme de droite?Gheorghe-Ilie Farte - 2019 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 17 (1):9-32.
    The vertiginous rise of right-wing populism, especially in its “nationalist, xenophobic and conservative form”, and some “racist, anti-Semitic, homophobic and sexist” drifts associated with this phenomenon – whether real or perceived as such – make the mainstream media play a double role. On the one hand, the mainstream media reflect the struggle for political hegemony between different vested interests; on the other hand, they engage in the fight against right-wing populism blasting both right-wing populist candidates and their voters or supporters. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Plato’s Metaphysical Development before Middle Period Dialogues.Mohammad Bagher Ghomi - manuscript
    Regarding the relation of Plato’s early and middle period dialogues, scholars have been divided to two opposing groups: unitarists and developmentalists. While developmentalists try to prove that there are some noticeable and even fundamental differences between Plato’s early and middle period dialogues, the unitarists assert that there is no essential difference in there. The main goal of this article is to suggest that some of Plato’s ontological as well as epistemological principles change, both radically and fundamentally, between the early and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. THE POLITICS OF BANANAS: MODERN SLAVERY AND THE COMMODIFICATION OF MORALITY.Erin Rizzato-Devlin - 2022 - [X] Position 2 (6).
    The choices we make in our daily lives have consequences that span the oceans: many consumers are not aware that some of the most exotic foods which belong to our breakfast plates every single day, such as coffee or chocolate, have a profound impact on the lives of many people. In Western societies, we are used to eating and consuming fresh ingredients which sprout on a different continent, yet we are unable to see the very hands that carry (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Frege, Dedekind, and the Modern Epistemology of Arithmetic.Markus Pantsar - 2016 - Acta Analytica 31 (3):297-318.
    In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as well as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. It's Not Too Difficult: A Plea to Resurrect the Impossibility Defense.Ken Levy - 2014 - New Mexico Law Revview 45:225-274.
    Suppose you are at the gym trying to see some naked beauties by peeping through a hole in the wall. A policeman happens by, he asks you what you are doing, and you honestly tell him. He then arrests you for voyeurism. Are you guilty? We don’t know yet because there is one more fact to be considered: while you honestly thought that a locker room was on the other side of the wall, it was actually a squash court. Are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Judaic Logic: A Formal Analysis of Biblical, Talmudic and Rabbinic Logic.Avi Sion - 1995 - Geneva, Switzerland: Slatkine; CreateSpace & Kindle; Lulu..
    Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of the Bible, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. State of the Art of Audio- and Video-Based Solutions for AAL.Slavisa Aleksic, Michael Atanasov, Jean Calleja Agius, Kenneth Camilleri, Anto Cartolovni, Pau Climent-Perez, Sara Colantonio, Stefania Cristina, Vladimir Despotovic, Hazim Kemal Ekenel, Ekrem Erakin, Francisco Florez-Revuelta, Danila Germanese, Nicole Grech, Steinunn Gróa Sigurđardóttir, Murat Emirzeoglu, Ivo Iliev, Mladjan Jovanovic, Martin Kampel, William Kearns, Andrzej Klimczuk, Lambros Lambrinos, Jennifer Lumetzberger, Wiktor Mucha, Sophie Noiret, Zada Pajalic, Rodrigo Rodriguez Perez, Galidiya Petrova, Sintija Petrovica, Peter Pocta, Angelica Poli, Mara Pudane, Susanna Spinsante, Albert Ali Salah, Maria Jose Santofimia, Anna Sigríđur Islind, Lacramioara Stoicu-Tivadar, Hilda Tellioglu & Andrej Zgank - 2022 - Alicante: University of Alicante.
    It is a matter of fact that Europe is facing more and more crucial challenges regarding health and social care due to the demographic change and the current economic context. The recent COVID-19 pandemic has stressed this situation even further, thus highlighting the need for taking action. Active and Assisted Living technologies come as a viable approach to help facing these challenges, thanks to the high potential they have in enabling remote care and support. Broadly speaking, AAL can be referred (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The Autonomy of the Political and the Authority of the State : Carl Schmitt and the de-politicisation of the economy.Tuukka Brunila - 2023 - Dissertation, University of Helsinki
    This thesis focuses on Carl Schmitt’s political theory of the strong state and the way his own concept of the political justifies strong coercive methods to de-politicise the economy. According to Schmitt, the strong state should have the legitimate capacity to counter democratisation of the economy and limit the possibility of social movements from “confounding” (Verwirrung) or “confusing” (Vermischung) the state and economy. Unlike many, who argue that Schmitt was in this extent (an economic) liberal, as he sought to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. 1) Divus Augustus Pater. Kult boskiego Augusta za rządów dynastii julijsko-klaudyjskiej.Ryszard Sajkowski - 2001 - Olsztyn: Wydawnictwo Uniwersytetu Warmińsko-Mazurskiego.
    Divus Augustus Pater. The cult of divine Augustus under the rule of the Julio-Claudian dynasty -/- Summary The cult of divine Augustus was one of the most important phenomena of ideological nature under the rule of the Julio-Claudian dynasty. The crucial point of its development was the apotheosis conducted on 17 September 14 AD. The new cult was derived greatly from numerous borrowings from the rites of various gods of the Roman Pantheon. As divus, Augustus received a separate priest, a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. (1 other version)A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.Jared Millson - 2019 - Studia Logica (6):1-34.
    In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  49. Early Life on Earth.Bhakti Madhava Puri - 2013 - The Harmonizer.
    Origin of life studies have presented one of the most serious challenges to the mechanistic conception that life can be explained scientifically as a mere product of chemistry and physics. Hypotheses about the origin of life can be divided into two categories: (1) biogenesis – life comes from life, and (2) abiogenesis – life comes from non-living matter. The theory of the spontaneous generation of life from inanimate matter had been held even by the ancient Greeks and by numerous scientists (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. The Challenge of Educating Refugee Children to Avoid Creating Tomorrow’s Extremists.Stephan Urs Breu - 2019 - In Craig Paterson & Stephan Breu (eds.), Law, Ethics and Society: Historical and Contemporary Perspectives. JHPU Press. pp. 55 - 66.
    An estimated 65 million people have been forced to flee their homelands in the last few years. Average length of displacement for a refugee is now estimated at 17 years. A whole generation of young people are forced to spend their whole youth in refugee camps and can only be educated there. On the other side the international community is strongly underfinancing any education efforts by aid agencies and international organizations. So, it is common that classes have as many (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 976