Results for 'Gerhard Gentzen'

84 found
Order:
  1. Stable Harmony.Nils Kurbis - 2008 - In Peliš Michal (ed.), Logica Yearbook 2007.
    In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Against Harmony.Ian Rumfitt - forthcoming - In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.
    Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis has also (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  82
    A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.
    In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  63
    Ego and Self in Gestalt Theory.Gerhard Stemberger - 2021 - Gestalt Theory 43 (1):47-68.
    The paper presents basic Gestalt psychological concepts of ego and self. They differ from other concepts in the way that they do not comprehend ego and self as fixed entities or as central controlling instances of the psyche, but as one specific organized unit in a psychological field in dynamic interrelation with the other organized units—the environment units—of this field. On this theme, well-known representatives of Gestalt theory have presented some general and special theories since the early days of this (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  8
    Feldprozesse in der Psychotherapie. Der Mehr-Felder-Ansatz im diagnostischen und therapeutischen Prozess.Gerhard Stemberger - 2009 - Phänomenal 1 (1):12-19.
    The article outlines the Multiple-Field-Approach ("Mehr-Felder-Ansatz") in Gestalt Theoretical Psychotherapy and in psychotherapy in general. This Gestalt theory based approach deals 1) with the conditions under which a secondary phenomenal field (containing a secondary phenomenal ego and a secondary phenomenal environment) segregates within the primary phenomenal field, 2) with the dynamic field interaction between primary and secondary field and their role in psychotherapy, 3) with psychotherapeutic techniques favouring the segregation and favouring the dissolution of a secondary field . Some of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  6.  33
    Über Die Fähigkeit, an Zwei Orten Gleichzeitig Zu Sein Ein Mehr-Felder-Ansatz Zum Verständnis Menschlichen Erlebens : MIT Diskussionsbeiträgen von Michael B. Buchholz, Jürgen Kriz, Rainer Kästl.Gerhard Stemberger - 2018 - Gestalt Theory 40 (2):207-234.
    Summary In 1915 the Danish psychologist Edgar Rubin describes in his famous work on figure-ground perception, the phenomenon that when you look attentively at a picture, a second, virtual ego arises, breaking away from the viewer-ego to wander around in the picture along the contours of the depicted. In 1982, German Gestalt psychologist Edwin Rausch expanded this observation of the emergence of a second phenomenal ego to the conclusion that not only does a second phenomenal ego emerge, but with it (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Individual Responsibility for Carbon Emissions: Is There Anything Wrong with Overdetermining Harm?Christian Barry & Gerhard Øverland - 2015 - In Jeremy Moss (ed.), Climate Change and Justice. Cambridge University Press.
    Climate change and other harmful large-scale processes challenge our understandings of individual responsibility. People throughout the world suffer harms—severe shortfalls in health, civic status, or standard of living relative to the vital needs of human beings—as a result of physical processes to which many people appear to contribute. Climate change, polluted air and water, and the erosion of grasslands, for example, occur because a great many people emit carbon and pollutants, build excessively, enable their flocks to overgraze, or otherwise stress (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  8. A Utility Based Evaluation of Logico-Probabilistic Systems.Paul D. Thorn & Gerhard Schurz - 2014 - Studia Logica 102 (4):867-890.
    Systems of logico-probabilistic (LP) reasoning characterize inference from conditional assertions interpreted as expressing high conditional probabilities. In the present article, we investigate four prominent LP systems (namely, systems O, P, Z, and QC) by means of computer simulations. The results reported here extend our previous work in this area, and evaluate the four systems in terms of the expected utility of the dispositions to act that derive from the conclusions that the systems license. In addition to conforming to the dominant (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  9. Responding to Global Poverty: Harm, Responsibility, and Agency.Christian Barry & Gerhard Øverland - 2016 - Cambridge University Press.
    This book explores the nature of moral responsibilities of affluent individuals in the developed world, addressing global poverty and arguments that philosophers have offered for having these responsibilities. The first type of argument grounds responsibilities in the ability to avert serious suffering by taking on some cost. The second argument seeks to ground responsibilities in the fact that the affluent are contributing to such poverty. The authors criticise many of the claims advanced by those who seek to ground stringent responsibilities (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Qualitative Probabilistic Inference Under Varied Entropy Levels.Paul D. Thorn & Gerhard Schurz - 2016 - Journal of Applied Logic 19 (2):87-101.
    In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended to yield (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. The Implications of Failing to Assist.Christian Barry & Gerhard Øverland - 2014 - Social Theory and Practice 40 (4):570-590.
    In this essay we argue that an agent’s failure to assist someone in need at one time can change the cost she can be morally required to take on to assist that same person at a later time. In particular, we show that the cost the agent can subsequently be required to take on to help the person in need can increase quite significantly, and can be enforced through the proportionate use of force. We explore the implications of this argument (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Are Trade Subsidies and Tariffs Killing the Global Poor?Christian Barry & Gerhard Øverland - 2012 - Social Research: An International Quarterly (4):865-896.
    In recent years it has often been claimed that policies such as subsidies paid to domestic producers by affluent countries and tariffs on goods produced by foreign producers in poorer countries violate important moral requirements because they do severe harm to poor people, even kill them. Such claims involve an empirical aspect—such policies are on balance very bad for the global poor—and a philosophical aspect—that the causal influence of these policies can fairly be characterized as doing severe harm and killing. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Meta-Induction and the Wisdom of Crowds.Paul D. Thorn & Gerhard Schurz - 2012 - Analyse & Kritik 34 (2):339-366.
    Meta-induction, in its various forms, is an imitative prediction method, where the prediction methods and the predictions of other agents are imitated to the extent that those methods or agents have proven successful in the past. In past work, Schurz demonstrated the optimality of meta-induction as a method for predicting unknown events and quantities. However, much recent discussion, along with formal and empirical work, on the Wisdom of Crowds has extolled the virtue of diverse and independent judgment as essential to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  73
    Unification and Explanation: Explanation as a Prototype Concept. A Reply to Weber and van Dyck, Gijsberg, and de Regt.Gerhard Schurz - 2014 - Theoria : An International Journal for Theory, History and Fundations of Science 29 (1):57-70.
    __In this paper I investigate unification as a virtue of explanation. I the first part of the paper I give a brief exposition of the unification account of Schurz and Lambert and Schurz. I illustrate the advantages of this account in comparison to the older unification accounts of Friedman and Kitcher. In the second part I discuss several comments and objections to the Schurz-Lambert account that were raised by Weber and van Dyck, Gijsberg and de Regt. In the third and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. The New Tweety Puzzle: Arguments Against Monistic Bayesian Approaches in Epistemology and Cognitive Science.Matthias Unterhuber & Gerhard Schurz - 2013 - Synthese 190 (8):1407-1435.
    In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  16. Completeness and Correspondence in Chellas–Segerberg Semantics.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):891-911.
    We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  17. Infectivity of Ribonucleic Acid From Tobacco Mosaic Virus.Alfred Gierer & Gerhard Schramm - 1956 - Nature 177:702-703.
    Upon separation of the protein from the nucleic acid component of tobacco mosaic virus by phenol, using a fast and gentle procedure, the nucleic acid is infective in assays on tobacco leaves. A series of qualitative and quantitative control experiments demonstrates that the biological activity cannot depend on residual proteins in the preparation, but is a property of isolated nucleic acid which is thus the genetic material of the virus.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  18. Responding to Global Poverty: Review Essay of Peter Singer, the Life You Can Save.Christian Barry & Gerhard Øverland - 2009 - Journal of Bioethical Inquiry 6 (2):239-247.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Why Remittances to Poor Countries Should Not Be Taxed.Christian Barry & Gerhard Øverland - 2010 - NYU Journal of International Law and Politics 42 (1):1180-1207.
    Remittances are private financial transfers from migrant workers back to their countries of origin. These are typically intra-household transfers from members of a family who have emigrated to those who have remained behind. The scale of such transfers throughout the world is very large, reaching $338 billion U.S. in 20081—several times the size of overseas development assistance (ODA) and larger even than foreign direct investment (FDI). The data on migration and remittances is too poor to warrant very firm conclusions about (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  20. Gerhard Schurz, The Is-Ought Problem: An Investigation in Philosophical Logic.C. Pigden - 2001 - Australasian Journal of Philosophy 79 (4):578-579.
    Book Information The Is-Ought Problem: An Investigation in Philosophical Logic. By Gerhard Schurz. Kluwer. Dordrecht. 1997. Pp. x + 332. £92.25.
    Download  
     
    Export citation  
     
    Bookmark  
  21. Doing, Allowing, and Enabling Harm: An Empirical Investigation.Christian Barry, Matthew Lindauer & Gerhard Øverland - 2014 - In Joshua Knobe, Tania Lombrozo & Shaun Nichols (eds.), Oxford Studies in Experimental Philosophy, Volume 1. Oxford University Press.
    Traditionally, moral philosophers have distinguished between doing and allowing harm, and have normally proceeded as if this bipartite distinction can exhaustively characterize all cases of human conduct involving harm. By contrast, cognitive scientists and psychologists studying causal judgment have investigated the concept ‘enable’ as distinct from the concept ‘cause’ and other causal terms. Empirical work on ‘enable’ and its employment has generally not focused on cases where human agents enable harm. In this paper, we present new empirical evidence to support (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. On the Triviality of Hume's Law: A Reply to Gerhard Schurz.Charles Pigden - 2010 - In Hume on Is and Ought. Palgrave-Macmillan. pp. 217-238.
    I argue that No-Ought-From-Is (in the sense that I believe it) is a relatively trivial affair. Of course, when people try to derive substantive or non-vacuous moral conclusions from non-moral premises, they are making a mistake. But No-Non-Vacuous-Ought-From-Is is meta-ethically inert. It tells us nothing about the nature of the moral concepts. It neither refutes naturalism nor supports non-cognitivism. And this is not very surprising since it is merely an instance of an updated version of the conservativeness of logic (in (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  12
    Does a Society for Gestalt Theory and Its Applications Still Fit in Our Time?Gerhard Stemberger - 2020 - Gestalt Theory 42 (1):63-70.
    There is a widespread belief in the academic world—above all in the United States and in the scientific communities around the world accepting U.S. mainstream science as their standard —that »schools« have lost their grounds and their legitimacy in psychology and other sciences.»Schools of thought« are seen as hampering freedom of thought and research, progress in science would have a better chance when free of such affiliations, and »objectivity« in science is seen to be best granted by some sort of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Die Binsenweisheit, Ovids Barbier des Midas und die Syrinx.Gerhard Kaidisch - manuscript
    Ovid versteht seine Metamorphosen als zusammenhängende Dichtung (perpetuum carmen). Für die Syrinx-Erzählung ist dieser Zusammenhang offensichtlich: Im ersten Buch wird erzählt, wie es zur Erfindung der Panflöte (Syrinx) gekommen ist, im elften Buch tritt Pan auf der Syrinx gegen Apollon an. Die unmittelbar anschließende Geschichte vom Barbier des Midas wird dagegen gegenwärtig nur selten mit der Syrinx verknüpft. Zu Unrecht, wie in diesem Aufsatz dargestellt werden soll. Denn diese Geschichte ist der eigentliche Schlusspunkt des musikalischen Wettstreits zwischen Pan und Apollon, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  27
    Ich, der ich denke, Anschauung denke und anschaue. Erster Versuch zu Kants Anschauung suchendem Verstand.Gerhard Kaidisch - manuscript
    Der menschliche Verstand, sagt Kant, „kann nur d e n k e n und muss in den Sinnen die Anschauung suchen“ [KrV, §16]. Da der Verstand nur denken kann, ist denken und Anschauung suchen nicht zweierlei. Denn auch die Anschauung suchen muss man können. Daher sieht Kant das Besondere „unseres discursiven, der Bilder bedürftigen Verstandes (intellectus ectypus )“ [KdU §77] im „Vermögen, den Gegenstand sinnlicher Anschauung zu denken“ [KrV B75/A51]. Daher ist Verstand primär ein Erkenntnisvermögen. Denn ohne „den Stoff zum (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  56
    Kritik einer philosophischen Untersuchung des Neuen Coronavirus.Gerhard Kaidisch - manuscript
    Albrecht von Wachters Studie Eine philosophische Untersuchung des Neuen Coronavirus (von Anfang Juni 2020) zufolge kann selbst ein gut informierter Laie erkennen, dass das Neuartige Coronavirus nicht besonders gefährlich ist. Ohne Widerspruch dazu lässt sich behaupten, dass ein Virus, das eine wichtige, sine qua non Bedingung einer weltweiten Krise ist, zurecht als hochgradig gefährlich beurteilt wird. Denn der Neuartige Coronavirus ist nicht nur gefährlich für die Gesundheit, sondern auch für Politik und Wirtschaft, wobei letzteres natürlich maßgeblich von der Beurteilung des (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  72
    Zum Namenstag von Kant. Epilog Zu Einem Prolog von Kuehn.Gerhard Kaidisch - manuscript
    Zum Kant-Jahr: Manfed Kühns meisterhafte Biographie so preist der Verlag C. H. Beck im Buchumschlag seine 2004 in fünfter Auflage erschienene Übersetzung von Manfred Kuehns Kant. A Biography. Cambridge University Press 2001 an. Nun, 2018, habe ich eben diese Jubiläumsausgabe zu Weihnachten, dem Fest der Geburt des Immanuel, geschenkt bekommen. Kant wurde am 22. April 1724 in Königsberg geboren und starb dort am 12. Februar 1804. 2018 kann kaum oder gar nicht als Kant-Jahr gelten. Doch ein katholischer Kalender verbindet mit (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  75
    Agrippa von Nettesheim´s Influence on Sebastian Franck.Gerhard Lechner -
    Sebastian Franck commented and translated parts of Agrippa´s De Vanitate Scientiarum, confirming that Franck knew at least some of this philosopher’s work. However, there is no detailed research on the influence Agrippa had on Franck—a gap this paper tries to fill. In a comparison of the metaphysical belief systems of both Franck and Agrippa, important parallels concerning the soul and Christology can be found. Notably, Agrippa and Franck were both believers in the Platonic doctrine of the tripartite soul. According to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29.  37
    Agrippa von Nettesheim: Die Datierung des Corpus Hermeticum.Gerhard Lechner - manuscript
    Dieser Aufsatz beschäftigt sich mit der These von Frances Yates, dass Denker wie Giordano Bruno und Agrippa von Nettesheim angenommen haben, dass die Schriften des Hermes Trismegistos von dem Ägypter Thoth (Hermes) stammten. Es soll in diesem Aufsatz demonstriert werden, dass die Annahme von Yates sehr spekulativ war und zumindest nicht auf Agrippa zutrifft, da aus keiner seiner Schriften hervorgeht, dass er das Corpus Hermeticum für Texte des Ägypters Hermes selbst hielt. Er glaubte zwar an die Legende des Hermes, aber (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  79
    Der christliche Gnostizismus in der Metaphysik Sebastian Francks.Gerhard Lechner - manuscript
    Die Sebastian Franck-Forschung hat sich bisher recht ausführlich mit den Themen "Sebastian Franck als Historiker" oder "Sebastian Franck als Kritiker der Theologie" beschäftigt. Weniger Aufmerksamkeit bekam bisher der Gnostizismus im Denken des radikalen Reformers. Seit der Jahrtausendwende ist allerdings ein stärkeres Interesse an einer bestimmten Strömung des Gnostizismus zu erkennen, nämlich der Hermetik. Es gab einige Arbeiten, die den Einfluss von Hermes Trismegistos bzw. der hermetischen Schriften auf Franck aufzeigen konnten. Dieser Aufsatz geht der Frage des Einflusses des christlichen Gnostizismus (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  73
    Der Einfluss von Agrippa von Nettesheim auf Sebastian Franck.Gerhard Lechner - manuscript
    Sebastian Franck hat Teile von Agrippas De Vanitate Scientiarum übersetzt und kommentiert. Von daher ist der Einfluss der Philosophie von Agrippa auf Franck bekannt. Es gab allerdings bisher keine ausführlichen Untersuchungen zu den Einflüssen von Agrippa auf Franck. Diese Lücke versucht dieser Aufsatz zu schließen. Beim Vergleich der metaphysischen Systeme von Franck und Agrippa stellt sich heraus, dass es bedeutende Einflüsse im Bereich der Seelenlehre und der Christologie gab. Sowohl Agrippa als auch Franck sind Anhänger der platonischen Lehre der drei (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Der soziale Organismus bei Rudolf Steiner und Rudolf Stolzmann.Gerhard Lechner - 2017 - Research on Rudolf Steiner Education 8 (1):35-44.
    Die Theorie des sozialen Organismus war zur Zeit des Beginns des 20. Jahrhunderts ein durchaus weit verbreiteter Ansatz der von vielen verschiedenen theoretischen Richtungen in der Soziologie und Ökonomie aufgenommen wurde. Bekannt ist der diesbezügliche Ansatz von Rudolf Steiner. Eher nicht so bekannt ist die Theorie von Rudolf Stolzmann. Letzterer war ein Vertreter der sogenannten sozialrechtlichen Richtung der Nationalökonomie und philosophisch war er ein Vertreter des Neukantianismus (Marburger Schule, Südwestdeutsche Schule). Stolzmann hat Steiners Schriften zum sozialen Organismus nachweislich gekannt und (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Über das Sprechenmüssen in Kants Über ein vermeintes Recht aus Menschenliebe zu lügen.Kaidisch Gerhard - manuscript
    Schon der Titel von Kants Aufsatz kann als Hinweis darauf verstanden werden, zu lügen könne, wenn überhaupt, dann nur vermeintlich rechtens sein. Doch geht es um Lügen, die vermeintlich rechtens sein können, ist Kant notorisch unklar, mit Ausnahme dieses Aufsatzes. Denn die Klärung dieser Unklarheit ist gerade Kants systematischer Grund seiner Abfassung. Dieser These folgend wird versucht, Kants Argumentation in Anschluss an Die Metaphysik der Sitten nachzuzeichnen, und das, wofür argumentiert wird, ist: Genau dann, wenn einmal gesprochen werden muss, widerspricht (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  96
    TTB Vs. Franklin's Rule in Environments of Different Redundancy.Gerhard Schurz & Paul D. Thorn - 2014 - Frontiers in Psychology 5:15-16.
    This addendum presents results that confound some commonly made claims about the sorts of environments in which the performance of TTB exceeds that of Franklin's rule, and vice versa.
    Download  
     
    Export citation  
     
    Bookmark  
  35. Beyond the Big Four and the Big Five.Frank Hindriks, Sara Rachel Chant & Gerhard Preyer - 2014 - In Sara Rachel Chant, Frank Hindriks & Gerhard Preyer (eds.), From Individual to Collective Intentionality. pp. 1-9.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Qualitative Probabilistic Inference with Default Inheritance.Paul D. Thorn, Christian Eichhorn, Gabriele Kern-Isberner & Gerhard Schurz - 2015 - In Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni & Frieder Stolzenburg (eds.), Proceedings of the Ki 2015 Workshop on Formal and Cognitive Reasoning. pp. 16-28.
    There are numerous formal systems that allow inference of new conditionals based on a conditional knowledge base. Many of these systems have been analysed theoretically and some have been tested against human reasoning in psychological studies, but experiments evaluating the performance of such systems are rare. In this article, we extend the experiments in [19] in order to evaluate the inferential properties of c-representations in comparison to the well-known Systems P and Z. Since it is known that System Z and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Who Owns It? Three Arguments for Land Claims in Latin America.Christian Barry & Gerhard Øverland - 2017 - Revista de Ciencia Politica 37 (3):713-736.
    Indigenous and non-indigenous communities in Latin America make land claims and support them with a variety of arguments. Some, such as Zapatistas and the Mapuche, have appealed to the “ancestral” or “historical” connections between specific communities and the land. Other groups, such as MST in Brazil, have appealed to the extremely unequal distribution of the land and the effects of this on the poor; the land in this case is seen mainly as a means for securing a decent standard of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Ampliative Inference Under Varied Entropy Levels.Paul D. Thorn & Gerhard Schurz - 2013 - In Christoph Beierle & Gabriele Kern-Isberner (eds.), Proceedings of the 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013). Fakultät für Mathematik und Informatik, FernUniversität in Hagen. pp. 77-88.
    Download  
     
    Export citation  
     
    Bookmark  
  39. Attractivity Weighting: Take-the-Best's Foolproof Sibling.Paul D. Thorn & Gerhard Schurz - 2016 - In A. Papafragou, D. Grodner, D. Mirman & J. C. Trueswell (eds.), Proceedings of the 38th Annual Conference of the Cognitive Science Society (pp. 432-437) Cognitive Science Society. Cognitive Science Society. pp. 456-461.
    We describe a prediction method called "Attractivity Weighting" (AW). In the case of cue-based paired comparison tasks, AW's prediction is based on a weighted average of the cue values of the most successful cues. In many situations, AW's prediction is based on the cue value of the most successful cue, resulting in behavior similar to Take-the-Best (TTB). Unlike TTB, AW has a desirable characteristic called "access optimality": Its long-run success is guaranteed to be at least as great as the most (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  28
    Aleatory Aesthetics: Appraising the Aesthetics of “Chance” in Gerhard Richter’s Cage Paintings.Ekin Erkan - 2021 - AEQAI.
    Review of Gerhard Richter's work on randomness in his recent abstract art paintings, compared with John Cage's work on randomness; the review asks about what randomness in representation qua art amounts to.
    Download  
     
    Export citation  
     
    Bookmark  
  41. Naturphilosophie. Ein Lehr- Und Studienbuch.Thomas Kirchhoff, Nicole C. Karafyllis, Dirk Evers, Brigitte Falkenburg, Myriam Gerhard, Gerald Hartung, Jürgen Hübner, Kristian Köchy, Ulrich Krohs, Thomas Potthast, Otto Schäfer, Gregor Schiemann, Magnus Schlette, Reinhard Schulz & Frank Vogelsang (eds.) - 2017 - Tübingen, Germany: Mohr Siebeck / UTB.
    Was ist Natur oder was könnte sie sein? Diese und weitere Fragen sind grundlegend für Naturdenken und -handeln. Das Lehr- und Studienbuch bietet eine historisch-systematische und zugleich praxisbezogene Einführung in die Naturphilosophie mit ihren wichtigsten Begriffen. Es nimmt den pluralen Charakter der Wahrnehmung von Natur in den philosophischen Blick und ist auch zum Selbststudium bestens geeignet.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. 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. Much (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  68
    The Quantum Strategy of Completeness: On the Self-Foundation of Mathematics.Vasil Penchev - 2020 - Cultural Anthropology eJournal (Elsevier: SSRN) 5 (136):1-12.
    Gentzen’s approach by transfinite induction and that of intuitionist Heyting arithmetic to completeness and the self-foundation of mathematics are compared and opposed to the Gödel incompleteness results as to Peano arithmetic. Quantum mechanics involves infinity by Hilbert space, but it is finitist as any experimental science. The absence of hidden variables in it interpretable as its completeness should resurrect Hilbert’s finitism at the cost of relevant modification of the latter already hinted by intuitionism and Gentzen’s approaches for completeness. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44.  54
    Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic Via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Dagstuhl, Germany: pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. 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 least (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  46. A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
    In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  47. LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: 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   3 citations  
  48. An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
    This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  49. Art as "Night": An Art-Theological Treatise.Gavin Keeney - 2010 - Cambridge Scholars Press.
    Written over the course of two months in early 2008, Art as "Night" is a series of essays in part inspired by a January 2007 visit to the Velázquez exhibition at the National Gallery of Art, London, with subsequent forays into related themes and art-historical judgments for and against theories of meta-painting. Art as "Night" proposes a type of a-historical dark knowledge crossing painting since Velázquez, but reaching back to the Renaissance, especially Titian and Caravaggio. As a form of formalism, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Aristotle's Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
    I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
1 — 50 / 84