Results for 'Katalin Bimb��'

217 found
Order:
  1.  15
    Combinatory Logic: Pure, Applied and Typed.Katalin Bimb’O. - 2011 - Taylor & Francis.
    Reader-friendly without compromising the precision of exposition, the book includes many new research results not found in the available literature.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. The Threefold Cord: Mind, Body, and World. [REVIEW]Katalin Farkas - 2003 - Mind 112 (448):786-789.
  3. Conceivability, Possibility, and the Mind-Body Problem.Katalin Balog - 1999 - Philosophical Review 108 (4):497-528.
    This paper was chosen by The Philosopher’s Annual as one of the ten best articles appearing in print in 2000. Reprinted in Volume XXIII of The Philosopher’s Annual. In his very influential book David Chalmers argues that if physicalism is true then every positive truth is a priori entailed by the full physical description – this is called “the a priori entailment thesis – but ascriptions of phenomenal consciousness are not so entailed and he concludes that Physicalism is false. As (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  4. In Defense of the Phenomenal Concept Strategy1.Katalin Balog - 2012 - Philosophy and Phenomenological Research 84 (1):1-23.
    During the last two decades, several different anti-physicalist arguments based on an epistemic or conceptual gap between the phenomenal and the physical have been proposed. The most promising physicalist line of defense in the face of these arguments – the Phenomenal Concept Strategy – is based on the idea that these epistemic and conceptual gaps can be explained by appeal to the nature of phenomenal concepts rather than the nature of non-physical phenomenal properties. Phenomenal concepts, on this proposal, involve unique (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  5. What is Externalism?Katalin Farkas - 2003 - Philosophical Studies 112 (3):187-208.
    The content of the externalist thesis about the mind depends crucially on how we define the distinction between the internal and the external. According to the usual understanding, the boundary between the internal and the external is the skull or the skin of the subject. In this paper I argue that the usual understanding is inadequate, and that only the new understanding of the external/internal distinction I suggest helps us to understand the issue of the compatibility of externalism and privileged (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  6. The Subject’s Point of View.Katalin Farkas - 2008 - Oxford University Press.
    Descartes's philosophy has had a considerable influence on the modern conception of the mind, but many think that this influence has been largely negative. The main project of The Subject's Point of View is to argue that discarding certain elements of the Cartesian conception would be much more difficult than critics seem to allow, since it is tied to our understanding of basic notions, including the criteria for what makes someone a person, or one of us. The crucial feature of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  7. Simple Mindedness: In Defense of Naive Naturalism in the Philosophy of Mind.≪/Article-Title≫≪ Cont. [REVIEW]Katalin Balog & Jennifer Hornsby - 1999 - Philosophical Review 108 (4):562-565.
    Hornsby is a defender of a position in the philosophy of mind she calls “naïve naturalism”. She argues that current discussions of the mind-body problem have been informed by an overly scientistic view of nature and a futile attempt by scientific naturalists to see mental processes as part of the physical universe. In her view, if naïve naturalism were adopted, the mind-body problem would disappear. I argue that her brand of anti-physicalist naturalism runs into difficulties with the problem of mental (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  8. Thinking About Consciousness.Katalin Balog - 2004 - Mind 113 (452):774-778.
    Papineau in his book provides a detailed defense of physicalism via what has recently been dubbed the “phenomenal concept strategy”. I share his enthusiasm for this approach. But I disagree with his account of how a physicalist should respond to the conceivability arguments. Also I argue that his appeal to teleosemantics in explaining mental quotation is more like a promissory note than an actual theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  9. Practical Know‐Wh.Katalin Farkas - 2017 - Noûs 51 (4):855-870.
    The central and paradigmatic cases of knowledge discussed in philosophy involve the possession of truth. Is there in addition a distinct type of practical knowledge, which does not aim at the truth? This question is often approached through asking whether states attributed by “know-how” locutions are distinct from states attributed by “know-that”. This paper argues that the question of practical knowledge can be raised not only about some cases of “know-how” attributions, but also about some cases of so-called “know-wh” attributions; (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  10. Acquaintance and the Mind-Body Problem.Katalin Balog - 2012 - In Simone Gozzano & Christopher S. Hill (eds.), New Perspectives on Type Identity: The Mental and the Physical. Cambridge University Press. pp. 16-43.
    In this paper I begin to develop an account of the acquaintance that each of us has with our own conscious states and processes. The account is a speculative proposal about human mental architecture and specifically about the nature of the concepts via which we think in first personish ways about our qualia. In a certain sense my account is neutral between physicalist and dualist accounts of consciousness. As will be clear, a dualist could adopt the account I will offer (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  11. Belief May Not Be a Necessary Condition for Knowledge.Katalin Farkas - 2015 - Erkenntnis 80 (1):185-200.
    Most discussions in epistemology assume that believing that p is a necessary condition for knowing that p. In this paper, I will present some considerations that put this view into doubt. The candidate cases for knowledge without belief are the kind of cases that are usually used to argue for the so-called ‘extended mind’ thesis.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12. Phenomenal Concepts.Katalin Balog - 2009 - In Brian McLaughlin, Ansgar Beckermann & Sven Walter (eds.), Oxford Handbook in the Philosophy of Mind. Oxford University Press. pp. 292--312.
    This article is about the special, subjective concepts we apply to experience, called “phenomenal concepts”. They are of special interest in a number of ways. First, they refer to phenomenal experiences, and the qualitative character of those experiences whose metaphysical status is hotly debated. Conscious experience strike many philosophers as philosophically problematic and difficult to accommodate within a physicalistic metaphysics. Second, PCs are widely thought to be special and unique among concepts. The sense that there is something special about PCs (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  13. Hard, Harder, Hardest.Katalin Balog - 2020 - In Arthur Sullivan (ed.), Sensations, Thoughts, and Language: Essays in Honor of Brian Loar. New York, USA: Routledge. pp. 265-289.
    In this paper I discuss three problems of consciousness. The first two have been dubbed the “Hard Problem” and the “Harder Problem”. The third problem has received less attention and I will call it the “Hardest Problem”. The Hard Problem is a metaphysical and explanatory problem concerning the nature of conscious states. The Harder Problem is epistemological, and it concerns whether we can know, given physicalism, whether some creature physically different from us is conscious. The Hardest Problem is a problem (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Know-Wh Does Not Reduce to Know That.Katalin Farkas - 2016 - American Philosophical Quarterly 53 (2):109-122.
    Know -wh ascriptions are ubiquitous in many languages. One standard analysis of know -wh is this: someone knows-wh just in case she knows that p, where p is an answer to the question included in the wh-clause. Additional conditions have also been proposed, but virtually all analyses assume that propositional knowledge of an answer is at least a necessary condition for knowledge-wh. This paper challenges this assumption, by arguing that there are cases where we have knowledge-wh without knowledge- that of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  15. Phenomenal Intentionality Without Compromise.Katalin Farkas - 2008 - The Monist 91 (2):273-93.
    In recent years, several philosophers have defended the idea of phenomenal intentionality : the intrinsic directedness of certain conscious mental events which is inseparable from these events’ phenomenal character. On this conception, phenomenology is usually conceived as narrow, that is, as supervening on the internal states of subjects, and hence phenomenal intentionality is a form of narrow intentionality. However, defenders of this idea usually maintain that there is another kind of, externalistic intentionality, which depends on factors external to the subject. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  16. Disillusioned.Katalin Balog - 2020 - Journal of Consciousness Studies 27 (5-6):38-53.
    In “The Meta-Problem of Consciousness”, David Chalmers draws a new framework in which to consider the mind-body problem. In addition to trying to solve the hard problem of consciousness – the problem of why and how brain processes give rise to conscious experience –, he thinks that philosophy, psychology, neuro-science and the other cognitive sciences should also pursue a solution to what he calls the “meta-problem” of consciousness – i.e., the problem of why we think there is a problem with (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  17. A Sense of Reality.Katalin Farkas - 2014 - In Fiona MacPherson & Dimitris Platchias (eds.), Hallucinations. MIT Press. pp. 399-417.
    Hallucinations occur in a wide range of organic and psychological disorders, as well as in a small percentage of the normal population According to usual definitions in psychology and psychiatry, hallucinations are sensory experiences which present things that are not there, but are nonetheless accompanied by a powerful sense of reality. As Richard Bentall puts it, “the illusion of reality ... is the sine qua non of all hallucinatory experiences” (Bentall 1990: 82). The aim of this paper is to find (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  18. Constructing a World for the Senses.Katalin Farkas - 2013 - In Uriah Kriegel (ed.), Phenomenal Intentionality. Oxford University Press. pp. 99-115.
    It is an integral part of the phenomenology of mature perceptual experience that it seems to present to us an experience-independent world. I shall call this feature 'perceptual intentionality'. In this paper, I argue that perceptual intentionality is constructed by the structure of more basic sensory features, features that are not intentional themselves. This theory can explain why the same sensory feature can figure both in presentational and non-presentational experiences. There is a fundamental difference between the intentionality of sensory experiences (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  19. Two Versions of the Extended Mind Thesis.Katalin Farkas - 2012 - Philosophia 40 (3):435-447.
    According to the Extended Mind thesis, the mind extends beyond the skull or the skin: mental processes can constitutively include external devices, like a computer or a notebook. The Extended Mind thesis has drawn both support and criticism. However, most discussions—including those by its original defenders, Andy Clark and David Chalmers—fail to distinguish between two very different interpretations of this thesis. The first version claims that the physical basis of mental features can be located spatially outside the body. Once we (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  78
    The Boundaries of the Mind.Katalin Farkas - 2019 - In Amy Kind (ed.), Philosophy of Mind in the Twentieth and Twenty-first Centuries. pp. 256-279.
    The subject of mental processes or mental states is usually assumed to be an individual, and hence the boundaries of mental features – in a strict or metaphorical sense – are naturally regarded as reaching no further than the boundaries of the individual. This chapter addresses various philosophical developments in the 20th and 21st century that questioned this natural assumption. I will frame this discussion by fi rst presenting a historically infl uential commitment to the individualistic nature of the mental (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Semantic Internalism and Externalism.Katalin Farkas - 2006 - In Ernest Lepore & Barry C. Smith (eds.), The Oxford Handbook of Philosophy of Language. Oxford University Press. pp. 323.
    Abstract: This paper introduces and analyses the doctrine of externalism about semantic content; discusses the Twin Earth argument for externalism and the assumptions behind it, and examines the question of whether externalism about content is compatible with a privileged knowledge of meanings and mental contents.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  22.  23
    The Subject's Point of View. [REVIEW]Katalin Farkas - 2009 - Analysis 69 (4):791-794.
    On the dust jacket of The Subject's Point of View there is a detail from Vilhelm Hammershoi's Interior with Sitting Woman. It is hard to think of a painter who better captures the inner in his work. From the monochrome colour, to the back that faces us, to the door swung open to reveal yet another doorway, we are led to interiority – to the inner. This is a perfect image for a book whose author wants to persuade us to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   37 citations  
  23. Indiscriminability and the Sameness of Appearance.Katalin Farkas - 2006 - Proceedings of the Aristotelian Society 106 (2):39-59.
    Abstract: How exactly should the relation between a veridical perception and a corresponding hallucination be understood? I argue that the epistemic notion of ‘indiscriminability’, understood as lacking evidence for the distinctness of things, is not suitable for defining this relation. Instead, we should say that a hallucination and a veridical perception involve the same phenomenal properties. This has further consequences for attempts to give necessary and sufficient conditions for the identity of phenomenal properties in terms of indiscriminability, and for considerations (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  24.  22
    Semantics for Dual and Symmetric Combinatory Calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.
    We define dual and symmetric combinatory calculi (inequational and equational ones), and prove their consistency. Then, we introduce algebraic and set theoretical relational and operational - semantics, and prove soundness and completeness. We analyze the relationship between these logics, and argue that inequational dual logics are the best suited to model computation.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  14
    Lack of Correlation Between Hypnotic Susceptibility and Various Components of Attention.Katalin Varga, Zoltán Németh & Anna Szekely - 2011 - Consciousness and Cognition 20 (4):1872-1881.
    The purpose of our study was to measure the relationship between performance on various attentional tasks and hypnotic susceptibility. Healthy volunteers participated in a study, where they had to perform several tasks measuring various attention components in a waking state: sustained attention, selective or focused attention, divided attention and executive attention in task switching. Hypnotic susceptibility was measured in a separate setting by the Waterloo-Stanford Groups Scale of Hypnotic Susceptibility, Form C .We found no significant correlation between any of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26. Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi.Katalin Bimbo & J. Michael Dunn - 2008 - Center for the Study of Language and Inf.
    Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. _Generalized Galois Logics_ develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.
     
    Export citation  
     
    Bookmark   15 citations  
  27. Jerry Fodor on Non-Conceptual Content.Katalin Balog - 2009 - Synthese 167 (3):311 - 320.
    Proponents of non-conceptual content have recruited it for various philosophical jobs. Some epistemologists have suggested that it may play the role of “the given” that Sellars is supposed to have exorcised from philosophy. Some philosophers of mind (e.g., Dretske) have suggested that it plays an important role in the project of naturalizing semantics as a kind of halfway between merely information bearing and possessing conceptual content. Here I will focus on a recent proposal by Jerry Fodor. In a recent paper (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  28. Objectual Knowledge.Katalin Farkas - 2019 - In Thomas Raleigh & Jonathan Knowles (eds.), Acquiantaince: New Essays. Oxford: Oxford University Press. pp. 260-276.
    It is commonly assumed that besides knowledge of facts or truths, there is also knowledge of things–for example, we say that we know people or know places. We could call this "objectual knowledge". In this paper, I raise doubts about the idea that there is a sui generis objectual knowledge that is distinct from knowledge of truths.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  17
    Gaze-Following and Reaction to an Aversive Social Interaction Have Corresponding Associations with Variation in the OXTR Gene in Dogs but Not in Human Infants.Katalin Oláh, József Topál, Krisztina Kovács, Anna Kis, Dóra Koller, Soon Young Park & Zsófia Virányi - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  13
    Text Dynamics: Renewing Challenges for Semiotics of Literature.Katalin Kroó & Peeter Torop - 2018 - Sign Systems Studies 46 (1):143-167.
    The paper examines the problem of textual/cultural dynamics linked to the issue of semiotic literariness, to be further investigated by the authors in later papers on literary semiotics. This scientific project aims to get closer to reaching an adequate disciplinary identification for semiotics of literature and a relatively precise definition of the status of this field in relation to semiotics of culture. The first step for the project is to reveal the interrelationhip between text and culture using the notion of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  20
    Young Children Selectively Imitate Models Conforming to Social Norms.Katalin Oláh & Ildikó Király - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Not Every Feeling is Intentional.Katalin Farkas - 2009 - European Journal of Analytic Philosophy 5 (2):39 - 52.
  33.  31
    Four-Valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.
    Four-valued semantics proved useful in many contexts from relevance logics to reasoning about computers. We extend this approach further. A sequent calculus is defined with logical connectives conjunction and disjunction that do not distribute over each other. We give a sound and complete semantics for this system and formulate the same logic as a tableaux system. Intensional conjunction and its residuals can be added to the sequent calculus straightforwardly. We extend a simplified version of the earlier semantics for this system (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34. Know-How and Non-Propositional Intentionality.Katalin Farkas - forthcoming - In Alex Grzankowski & Michelle Montague (eds.), Non-Propositional Intentionality. Oxford, UK: pp. 95-113.
    This paper investigates the question of whether know-how can be regarded as a form of non-propositional intentionality.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Illusionism's Discontent.Balog Katalin - 2016 - Journal of Consciousness Studies 23 (11-12):40-51.
    Frankish positions his view, illusionism about qualia (a.k.a. eliminativist physicalism), in opposition to what he calls radical realism (dualism and neutral monism) and conservative realism (a.k.a. non-eliminativist physicalism). Against radical realism, he upholds physicalism. But he goes along with key premises of the Gap Arguments for radical realism, namely, 1) that epistemic/explanatory gaps exist between the physical and the phenomenal, and 2) that every truth should be perspicuously explicable from the fundamental truth about the world; and he concludes that because (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  32
    Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.
    Kleene algebras and action logic were proposed to be solutions to the finite axiomatization problem of the algebra of regular sets (of strings). They are treated here as nonclassical logics—with Hilbert-style axiomatizations and semantics. We also provide intuitive accounts in terms of information states of the semantics which provide further insights into the formalisms. The three types of "Kripke-style'' semantics which we define develop insights from gaggle theory, and from our four-valued and generalized Kripke semantics for the minimal substructural logic. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  37. Kant on Recognizing Beauty.Katalin Makkai - 2010 - European Journal of Philosophy 18 (3):385-413.
    Abstract: Kant declares the judgment of beauty to be neither ‘objective’ nor ‘merely subjective’. This essay takes up the question of what this might mean and whether it can be taken seriously. It is often supposed that Kant's denials of ‘objectivity’ to the judgment of beauty express a rejection of realism about beauty. I suggest that Kant's thought is not to be understood in these terms—that it does not properly belong in the arena of debates about the constituents of ‘reality’—motivating (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  24
    New Consecution Calculi for R→T.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
    The implicational fragment of the logic of relevant implication, $R_{\to}$ is one of the oldest relevance logics and in 1959 was shown by Kripke to be decidable. The proof is based on $LR_{\to}$ , a Gentzen-style calculus. In this paper, we add the truth constant $\mathbf{t}$ to $LR_{\to}$ , but more importantly we show how to reshape the sequent calculus as a consecution calculus containing a binary structural connective, in which permutation is replaced by two structural rules that involve $\mathbf{t}$ (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  39.  20
    On the Decidability of Implicational Ticket Entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
    The implicational fragment of the logic of relevant implication, $R_\to$ is known to be decidable. We show that the implicational fragment of the logic of ticket entailment, $T_\to$ is decidable. Our proof is based on the consecution calculus that we introduced specifically to solve this 50-year old open problem. We reduce the decidability problem of $T_\to$ to the decidability problem of $R_\to$. The decidability of $T_\to$ is equivalent to the decidability of the inhabitation problem of implicational types by combinators over (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  40. Does Twin Earth Rest on a Mistake?Katalin Farkas - 2003 - Croatian Journal of Philosophy 3 (8):155-169.
    In this paper I argue against Twin-Earth externalism. The mistake that Twin Earth arguments rest on is the failure to appreciate the force of the following dilemma. Some features of things around us do matter for the purposes of conceptual classification, and others do not. The most plausible way to draw this distinction is to see whether a certain feature enters the cognitive perspective of the experiencing subject in relation to the kind in question or not. If it does, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Independent Intentional Objects.Katalin Farkas - 2010 - In Tadeusz Czarnecki, Katarzyna Kijanija-Placek, Olga Poller & Jan Wolenski (eds.), The Analytical Way. College Publications.
    Intentionality is customarily characterised as the mind’s direction upon its objects. This characterisation allows for a number of different conceptions of intentionality, depending on what we believe about the nature of the objects or the nature of the direction. Different conceptions of intentionality may result in classifying sensory experience as intentional and nonintentional in different ways. In the first part of this paper, I present a certain view or variety of intentionality which is based on the idea that the intentional (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  42.  6
    Taking a Long, Hard Look at Calmodulin's Warm Embrace.Katalin Török & Michael Whitaker - 1994 - Bioessays 16 (4):221-224.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Ontological Novelty, Emergence, and the Mind-Body Problem.Katalin Balog - 2006 - In Günter Abel (ed.), Kreativität. Hamburg, Germany: pp. 371-399.
    This paper is an exposition and comparison between two views concerning fundamental ontology in the context of the Mind-Body Problem: physicalism and emergent property dualism. I assess the pros and cons of each position and argue that physicalism provides an overall more plausible metaphysics.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  33
    ${LE}^{T}{{\Rightarrow}}$ , ${LR}^{\Circ}{\Hat{\Sim}}$, {LK} and Cutfree Proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.
    Two consecution calculi are introduced: one for the implicational fragment of the logic of entailment with truth and another one for the disjunction free logic of nondistributive relevant implication. The proof technique—attributable to Gentzen—that uses a double induction on the degree and on the rank of the cut formula is shown to be insufficient to prove admissible various forms of cut and mix in these calculi. The elimination theorem is proven, however, by augmenting the earlier double inductive proof with additional (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  57
    Symmetric Generalized Galois Logics.Katalin Bimbó & J. Michael Dunn - 2009 - Logica Universalis 3 (1):125-152.
    Symmetric generalized Galois logics (i.e., symmetric gGl s) are distributive gGl s that include weak distributivity laws between some operations such as fusion and fission. Motivations for considering distribution between such operations include the provability of cut for binary consequence relations, abstract algebraic considerations and modeling linguistic phenomena in categorial grammars. We represent symmetric gGl s by models on topological relational structures. On the other hand, topological relational structures are realized by structures of symmetric gGl s. We generalize the weak (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  46. Relevance Logics and Relation Algebras.Katalin Bimbó, J. Michael Dunn & Roger D. Maddux - 2009 - Review of Symbolic Logic 2 (1):102-131.
    Relevance logics are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of dynamic semantics (i.e., proper relation algebras and relevant families of relations). We prove several soundness results here. We also prove the completeness of a certain positive fragment of R as well as of the first-degree fragment of relevance logics. These results show that some core ideas are shared between relevance logics (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  33
    Admissibility of Cut in LC with Fixed Point Combinator.Katalin Bimbó - 2005 - Studia Logica 81 (3):399-423.
    The fixed point combinator (Y) is an important non-proper combinator, which is defhable from a combinatorially complete base. This combinator guarantees that recursive equations have a solution. Structurally free logics (LC) turn combinators into formulas and replace structural rules by combinatory ones. This paper introduces the fixed point and the dual fixed point combinator into structurally free logics. The admissibility of (multiple) cut in the resulting calculus is not provable by a simple adaptation of the similar proof for LC with (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  48.  24
    Simple Mindedness: In Defense of Naive Naturalism in the Philosophy of Mind.Katalin Balog - 1999 - Philosophical Review 108 (4):562-565.
    Jennifer Hornsby’s Simple Mindedness consists of twelve essays organized into sections focusing on three issues: the ontology of persons and mental events, how actions fit into a world of natural law, and the nature of intentional explanations. Most of the essays have been previously published but many of these are revised and include addenda. The collection is unified by its defending a position in the philosophy of mind Hornsby calls “naive naturalism.” She advertises naive naturalism as neither physicalist nor Cartesian. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  19
    Some Remarks on an Attempt at Formalizing Dialectical Logic.Katalin G. Havas - 1981 - Studies in Soviet Thought 22 (4):257-264.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  13
    LEt ® , LR °[^( ~ )], LK and Cutfree Proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.
    Two consecution calculi are introduced: one for the implicational fragment of the logic of entailment with truth and another one for the disjunction free logic of nondistributive relevant implication. The proof technique—attributable to Gentzen—that uses a double induction on the degree and on the rank of the cut formula is shown to be insufficient to prove admissible various forms of cut and mix in these calculi. The elimination theorem is proven, however, by augmenting the earlier double inductive proof with additional (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 217