Results for 'Marta Wójtowicz-Wcisło'

988 found
Order:
  1.  3
    La interrupción del embarazo en comunidades tzotziles y tzeltales de los Altos de Chiapas.Marta Wójtowicz-Wcisło - 2022 - Anthropos 117 (2):397-410.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  22
    Notes on bounded induction for the compositional truth predicate.Bartosz Wcisło & Mateusz Łełyk - 2017 - Review of Symbolic Logic 10 (3):455-480.
    We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with \Delta 0 -induction scheme for the truth predicate and the full arithmetical induction scheme is not conservative over Peano Arithmetic. In addition, we show that a slightly modified theory of truth actually proves the global reflection principle over the base theory.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  59
    Problems of Connectionism.Marta Vassallo, Davide Sattin, Eugenio Parati & Mario Picozzi - 2024 - Philosophies 9 (2):41.
    The relationship between philosophy and science has always been complementary. Today, while science moves increasingly fast and philosophy shows some problems in catching up with it, it is not always possible to ignore such relationships, especially in some disciplines such as philosophy of mind, cognitive science, and neuroscience. However, the methodological procedures used to analyze these data are based on principles and assumptions that require a profound dialogue between philosophy and science. Following these ideas, this work aims to raise the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. W sprawie realności zdarzeń. Uwagi do artykułu Jana Czerniawskiego „Teoria względności a upływ czasu”.Anna Lissowska-Wójtowicz - 1994 - Filozofia Nauki 1.
    The authoress shows a simple way to avoid paradoxical consequences of the Czerniawski's argument.
     
    Export citation  
     
    Bookmark  
  5.  6
    Model władzy państwowej Marsyliusza z Padwy.Andrzej Wójtowicz - 1977 - Katowice: UŚ.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  70
    Not So Blue to be Sad: Affective Affordances and Expressive Properties in Affective Regulation.Marta Caravà & Marta Benenti - 2024 - Topoi:1-12.
    In our everyday interaction with the environment, we often perceive objects and spaces as opportunities to feel, maintain, enhance, and change our affective states and processes. The concept of affective affordance was coined to accommodate this aspect of ordinary perception and the many ways in which we rely on the material environment to regulate our emo- tions. One natural way to think of affective affordances in emotion regulation is to interpret them as tools for regulating felt affective states. We argue (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  15
    Full Satisfaction Classes, Definability, and Automorphisms.Bartosz Wcisło - 2022 - Notre Dame Journal of Formal Logic 63 (2):143-163.
    We show that for every countable recursively saturated model M of Peano arithmetic and every subset A⊆M, there exists a full satisfaction class SA⊆M2 such that A is definable in (M,SA) without parameters. It follows that in every such model, there exists a full satisfaction class which makes every element definable, and thus the expanded model is minimal and rigid. On the other hand, as observed by Roman Kossak, for every full satisfaction class S there are two elements which have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  23
    A metaphysical foundation for mathematical philosophy.Wójtowicz Krzysztof & Skowron Bartłomiej - 2022 - Synthese 200 (4):1-28.
    Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  9.  7
    Lucha de clases, poder político, estado.Marta Harnecker - 1972 - [Bogotá]: Editor Rojo. Edited by Nicos Ar Poulantzas.
    Harnecker, M. Política y clases sociales en Poulantzas (estudio crítico) -- Poulantzas, N. Sobre el concepto de política.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. Enactive memory.Marta Caravà - 2023 - In Lucas Bietti & Pogacar Martin (eds.), The Palgrave Encyclopedia of Memory Studies. Palgrave Macmillan. pp. 1-8.
    This chapter describes the concept of enactive memory, which is quite new but increasingly discussed in contemporary philosophy of memory. Although the enactive approach has been used to investigate several memory sys- tems, e.g., procedural memory, episodic mem- ory, and autobiographical memory, this chapter focuses only on the enactive approach to epi- sodic memory because most of the current debate on enactive memory is about this mem- ory system. Section “Introduction” specifies what type of enactive memory is discussed in this (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  28
    Truth and feasible reducibility.Ali Enayat, Mateusz Łełyk & Bartosz Wcisło - 2020 - Journal of Symbolic Logic 85 (1):367-421.
    Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal T}$-proof (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  27
    Disjunctions with stopping conditions.Roman Kossak & Bartosz Wcisło - 2021 - Bulletin of Symbolic Logic 27 (3):231-253.
    We introduce a tool for analysing models of $\text {CT}^-$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan’s theorem that the arithmetical part of models of $\text {CT}^-$ are recursively saturated. We also use this tool to provide a new proof of theorem from [8] that all models of $\text {CT}^-$ carry a partial inductive truth predicate. Finally, we construct a partial truth predicate defined for a set of formulae whose syntactic depth forms a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  5
    Lessico del Novum organum di Francesco Bacone.Marta Fattori - 1980 - Roma: Edizioni dellÁteneo & Bizzarri.
    [1] Introduzione, lessico -- [2] Index locorum, lista di frequenza, distribuzione dei lemmi.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  8
    A tudományfejlődés kérdőjelei: a tudományos elméletek inkommenzurábilitásának problémája.Márta Fehér - 1983 - Budapest: Akadémiai Kiadó.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. Chapter seven k».William T. Wcislo & Simon M. Tierney - 2009 - In Juergen Gadau & Jennifer Fewell (eds.), Organization of Insect Societies: From Genome to Sociocomplexity. Harvard. pp. 148.
    No categories
     
    Export citation  
     
    Bookmark  
  16.  5
    Compositional truth with propositional tautologies and quantifier-free correctness.Bartosz Wcisło - 2023 - Archive for Mathematical Logic 63 (1):239-257.
    In Cieśliński (J Philos Logic 39:325–337, 2010), Cieśliński asked whether compositional truth theory with the additional axiom that all propositional tautologies are true is conservative over Peano Arithmetic. We provide a partial answer to this question, showing that if we additionally assume that truth predicate agrees with arithmetical truth on quantifier-free sentences, the resulting theory is as strong as $$\Delta _0$$ Δ 0 -induction for the compositional truth predicate, hence non-conservative. On the other hand, it can be shown with a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Aristotle on Shame and Learning to Be Good.Marta Jimenez - 2020 - Oxford University Press.
    This book presents a novel interpretation of Aristotle's account of how shame instils virtue, and defends its philosophical import. Shame is shown to provide motivational continuity between the actions of the learners and the virtuous dispositions that they will eventually acquire.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  18.  55
    It’s much more important than that: against fictionalist accounts of fandom.Alfred Archer & Jake Wojtowicz - 2022 - Journal of the Philosophy of Sport 49 (1):83-98.
    Do sports fans really care about their team winning? According to several philosophers, the answer is no. Sports fans engage in fictional caring during the match, which involves a game of make-believe that the result is important. We will argue that this account does not provide a full account of the way in which fans relate to the teams they support. For many fans, the team they support forms a core part of their identity. The success or failure of their (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  90
    Sportswashing: Complicity and Corruption.Kyle Fruh, Alfred Archer & Jake Wojtowicz - 2023 - Sport, Ethics and Philosophy 17 (1):101-118.
    When the 2022 FIFA Men’s World Cup was awarded to Qatar, it raised a number of moral concerns, perhaps the most prominent of which was Qatar’s woeful record on human rights in the arena of migrant labour. Qatar’s interest in hosting the event is aptly characterised as a case of ‘sportswashing’. The first aim of this paper is to provide an account of the nature of sportswashing, as a practice of using an association with sport, usually through hosting an event (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  55
    Why It's Ok to Be a Sports Fan.Alfred Archer & Jake Wojtowicz - 2023 - New York: Routledge.
    This book offers readers a pitch side seat to the ethics of fandom. Its accessible six chapters are aimed both at true sports fans whose conscience may be occasionally piqued by their pastime, and at those who are more certain of the moral hazards involved in following a team or sport. Why It's OK to Be a Sports Fan wrestles with a range of arguments against fandom and counters with its own arguments on why being a fan is very often (...)
  21. Predicting the presuppositions of soft triggers.Márta Abrusán - 2011 - Linguistics and Philosophy 34 (6):491-535.
    The central idea behind this paper is that presuppositions of soft triggers arise from the way our attention structures the informational content of a sentence. Some aspects of the information conveyed are such that we pay attention to them by default, even in the absence of contextual information. On the other hand, contextual cues or conversational goals can divert attention to types of information that we would not pay attention to by default. Either way, whatever we do not pay attention (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  22.  28
    The Trope Bundle Theory of Substance: Change, Individuation and Individual Essence.Márta Ujvári - 2012 - De Gruyter.
    This book supports a version of the trope-bundle view of individual substances matching also with a coherent account of change, individuation and individual essences. In particular, it is argued that qualitative individuation and qualitative individual essences can be tackled within the frames of a trope account. The adoption of a trope BT together with the individuation of tropes via the bearer substance might create the feeling of circularity since tropes and substances seem mutually to individuate each other. The novel solution (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  13
    Foreperiod priming in temporal preparation: Testing current models of sequential effects.Mariagrazia Capizzi, Ángel Correa, Alex Wojtowicz & Robert D. Rafal - 2015 - Cognition 134 (C):39-49.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24. Deception : lying and beyond.Marta Dynel - 2021 - In Piotr Stalmaszczyk (ed.), The Cambridge Handbook of the Philosophy of Language. New York, NY: Cambridge University Press.
     
    Export citation  
     
    Bookmark  
  25.  4
    Humanimales: abrir las fronteras de lo humano.Marta Segarra - 2022 - Barcelona: Galaxia Gutenberg.
    ¿Qué tenemos en común y qué nos separa de los animales? ¿Somos un animal más? Las humanidades clásicas, basadas en el excepcionalismo humano, han dado paso a las posthumanidades, que incluyen los estudios animales, así como otras perspectivas que desafían la noción tradicional del sujeto humano, como los estudios de género, poscoloniales y decoloniales, la ecocrítica o la teoría queer. Pensarnos en nuestra relación con los animales tiene consecuencias filosóficas en ámbitos como la ciencia, los afectos, el trabajo y el (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. "What I ought to do?" : norms and obligations in the philosophy of Friedrich Nietzsche.Marta Soniewicka - 2011 - In Jerzy Stelmach & Bartosz Brożek (eds.), The normativity of law. Kraków: Copernicus Center Press.
  27.  25
    Remo Cantoni tra filosofia e antropologia.Marta Toraldo - 2016 - Cosenza - Italy: Luigi Pellegrini editore.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Aristotle on Becoming Virtuous by Doing Virtuous Actions.Marta Jimenez - 2016 - Phronesis 61 (1):3-32.
    Aristotle ’s claim that we become virtuous by doing virtuous actions raises a familiar problem: How can we perform virtuous actions unless we are already virtuous? I reject deflationary accounts of the answer given in _Nicomachean Ethics_ 2.4 and argue instead that proper habituation involves doing virtuous actions with the right motive, i.e. for the sake of the noble, even though learners do not yet have virtuous dispositions. My interpretation confers continuity to habituation and explains in a non-mysterious way how (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  29. Presupposition cancellation: explaining the ‘soft–hard’ trigger distinction.Márta Abrusán - 2016 - Natural Language Semantics 24 (2):165-202.
    Some presuppositions are easier to cancel than others in embedded contexts. This contrast has been used as evidence for distinguishing two fundamentally different kinds of presuppositions, ‘soft’ and ‘hard’. ‘Soft’ presuppositions are usually assumed to arise in a pragmatic way, while ‘hard’ presuppositions are thought to be genuine semantic presuppositions. This paper argues against such a distinction and proposes to derive the difference in cancellation from inherent differences in how presupposition triggers interact with the context: their focus sensitivity, anaphoricity, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  30.  19
    The two halves of disjunctive correctness.Cezary Cieśliński, Mateusz Łełyk & Bartosz Wcisło - 2023 - Journal of Mathematical Logic 23 (2).
    Ali Enayat had asked whether two halves of Disjunctive Correctness ([Formula: see text]) for the compositional truth predicate are conservative over Peano Arithmetic (PA). In this paper, we show that the principle “every true disjunction has a true disjunct” is equivalent to bounded induction for the compositional truth predicate and thus it is not conservative. On the other hand, the converse implication “any disjunction with a true disjunct is true” can be conservatively added to [Formula: see text]. The methods introduced (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  1
    Hermenéutica de los géneros literarios: de la antigüedad al cristianismo.Marta Alesso (ed.) - 2013 - Ciudad Autónoma de Buenos Aires: Universidad de Buenos Aires, Facultad de Filosofía y Letras.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Dealbare Aethiopem : a metaphor of the translatio studiorum at the origins of modernity.Marta Fattori - 2012 - In Marco Sgarbi (ed.), Translatio studiorum: ancient, medieval and modern bearers of intellectual history. Boston: Brill.
     
    Export citation  
     
    Bookmark  
  33.  12
    The late Foucault: ethical and political questions.Marta Faustino & Gianfranco Ferraro (eds.) - 2021 - New York: Bloomsbury Academic.
    Marta Faustino and Gianfranco Ferraro present a collection of essays by esteemed academics on the ethical and political questions present in Michel Foucault's late work. As one of the most important and controversial thinkers of the twentieth century, the philosopher's last works are at the centre of much current academic research and debate. Comprising 15 essays written by specialists on Foucault's thought from 10 different countries, the perspectives offered by the contributors and the thinker himself can help us to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  16
    Hermeneutics and Science.Márta Fehér, Olga Kiss, L. Ropolyi & International Society for Hermeneutics and Science (eds.) - 1999 - Kluwer Academic Publishers.
  35.  51
    Auctions, Rituals and Emotions in the Art Market.Marta Herrero - 2010 - Thesis Eleven 103 (1):97-107.
    This article explores the possibilities offered by Collins’ model of interaction rituals to an understanding of the emotional dynamics of art auctions. It argues that whilst it explains how the art object becomes the focus of attention, and thus the repository of solidarity and emotional energy, it also obliterates some of the institutional aspects of the auction market that can influence such outcomes. It discusses the need to include an examination of the specific practices of auction houses operating in an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  6
    Filozofia indyjska w Katolickim Uniwersytecie Lubelskim.Marta Kudelska & Maciej Stanisław Zięba (eds.) - 2019 - Lublin: Wydawnictwo KUL.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  2
    Rasprava za zen budizmot: religisko-filozofski transcendencii pomeǵu istočnata i zapadnata misla.Marta Markoska - 2013 - Skopje: Matica makedonska.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. Derrida, Cixous, and (feminine) writing.Marta Segarra - 2019 - In Jean-Michel Rabaté (ed.), Understanding Derrida, understanding modernism. New York: Bloomsbury Academic.
     
    Export citation  
     
    Bookmark  
  39.  18
    Janina Hosiasson-Lindenbaum on Analogical Reasoning: New Sources.Marta Sznajder - 2024 - Erkenntnis 89 (4):1349-1365.
    Janina Hosiasson-Lindenbaum is a known figure in philosophy of probability of the 1930s. A previously unpublished manuscript fills in the blanks in the full picture of her work on inductive reasoning by analogy, until now only accessible through a single publication. In this paper, I present Hosiasson’s work on analogical reasoning, bringing together her early publications that were never translated from Polish, and the recently discovered unpublished work. I then show how her late work relates to Rudolf Carnap’s approach to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  5
    Feeling and Value, Willing and Action: Essays in the Context of a Phenomenological Psychology.Marta Ubiali & Maren Wehrle (eds.) - 2015 - Cham: Imprint: Springer.
    This volume explores the role and status of phenomena such as feelings, values, willing, and action in the domain of perception and (social) cognition, as well as the way in which they are related. In its exploration, the book takes Husserl's lifelong project Studien zur Struktur des Bewusstseins (1909-1930) as its point of departure, and investigates these phenomena with Husserl but also beyond Husserl. Divided into two parts, the volume brings together essays that address the topics from different phenomenological, philosophical, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  34
    The spectrum of perspective shift: protagonist projection versus free indirect discourse.Márta Abrusán - 2020 - Linguistics and Philosophy 44 (4):839-873.
    This paper examines a little studied type of perspective shift that I call protagonist projection, following Holton :625–628, 1997). PP is a way of describing the mental state of a protagonist that conveys, to some extent, her perspective. Similarly to its better known cousin free indirect discourse, the shift in perspective is achieved without an overt operator. Unlike FID, PP is not based on a presumed speech-act of a protagonist. Rather, it gives a linguistic form to pre-verbal perceptual content, sensations, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42.  79
    Clinical Ethics Committee in an Oncological Research Hospital: two-years Report.Marta Perin, Ludovica De Panfilis & on Behalf of the Clinical Ethics Committee of the Azienda Usl-Irccs di Reggio Emilia - 2023 - Nursing Ethics 30 (7-8):1217-1231.
    Research question and aimClinical Ethics Committees (CECs) aim to support healthcare professionals (HPs) and healthcare organizations to deal with the ethical issues of clinical practice. In 2020,...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  11
    To dwell within: Bridging the theory–practice gap.Mark Zieber & Bernadine Wojtowicz - 2020 - Nursing Philosophy 21 (2):e12296.
    Nursing has a considerable history of theory development but has consistently struggled to reconcile theoretical reality and practice realities. Many authors have attempted to reconcile what has been called the “theory–practice gap,” but the space where these two realities enmesh has remained problematic and contentious (Aimei, Macau Journal of Nursing, 14, 2015, 13; Factor, Matienzo, & de Guzman, Nurse Education Today, 57, 2017, 82). The idea of the theory–practice gap has a significant history in nursing, but also continues to have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  2
    Jednostka, państwo i prawo w filozofii Fryderyka Nietzschego: mała vs wielka polityka.Marta Baranowska - 2000 - Toruń: Wydawn. UMK.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. La dialettica costituzionale in età cesariana : tra esaltazione del nuovo e accuse di sovversione.Marta Sordi - 2009 - In Gianpaolo Urso (ed.), Ordine e sovversione nel mondo greco e romano: atti del convegno internazionale, Cividale del Friuli, 25-27 settembre 2008. Pisa: ETS.
  46.  24
    Local collection and end-extensions of models of compositional truth.Mateusz Łełyk & Bartosz Wcisło - 2021 - Annals of Pure and Applied Logic 172 (6):102941.
    We introduce a principle of local collection for compositional truth predicates and show that it is arithmetically conservative over the classically compositional theory of truth. This axiom states that upon restriction to formulae of any syntactic complexity, the resulting predicate satisfies full collection. In particular, arguments using collection for the truth predicate applied to sentences occurring in any given (code of a) proof do not suffice to show that the conclusion of that proof is true, in stark contrast to the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  47. Empeiria and Good Habits in Aristotle’s Ethics.Marta Jimenez - 2019 - Journal of the History of Philosophy 57 (3):363-389.
    The specific role of empeiria in Aristotle’s ethics has received much less attention than its role in his epistemology, despite the fact that Aristotle explicitly stresses the importance of empeiria as a requirement for the receptivity to ethical arguments and as a source for the formation of phronêsis.1 Thus, while empeiria is an integral part of all explanations that scholars give of the Aristotelian account of the acquisition of technê and epistêmê, it is usually not prominent in explanations of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48. Aristotle on Enduring Evils While Staying Happy.Marta Jimenez - 2018 - In Pavlos Kontos (ed.), Evil in Aristotle. Cambridge University Press. pp. 150-169.
    In what ways and how far does virtue shield someone against suffering evils? In other words, how do non-moral evils affect the lives of virtuous people and to what extent can someone endure evils while staying happy? The central purpose of this chapter is to answer these questions by exploring what Aristotle has to say about the effects of evils in human well-being in general and his treatment of extreme misfortunes.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  71
    Insightful artificial intelligence.Marta Halina - 2021 - Mind and Language 36 (2):315-329.
    In March 2016, DeepMind's computer programme AlphaGo surprised the world by defeating the world‐champion Go player, Lee Sedol. AlphaGo exhibits a novel, surprising and valuable style of play and has been recognised as “creative” by the artificial intelligence (AI) and Go communities. This article examines whether AlphaGo engages in creative problem solving according to the standards of comparative psychology. I argue that AlphaGo displays one important aspect of creative problem solving (namely mental scenario building in the form of Monte Carlo (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  50.  22
    Models of positive truth.Mateusz Łełyk & Bartosz Wcisło - 2019 - Review of Symbolic Logic 12 (1):144-172.
    This paper is a follow-up to [4], in which a mistake in [6] was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added, then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left$. In particular the latter is not relatively truth definable in the former. Last but not (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 988