Results for 'Stefania Negri'

705 found
Order:
  1. Country Reports.Ma'N. H. Zawati, Don Chalmers, Sueli G. Dallari, Marina de Neiva Borba, Miriam Pinkesz, Yann Joly, Haidan Chen, Mette Hartlev, Liis Leitsalu, Sirpa Soini, Emmanuelle Rial-Sebbag, Nils Hoppe, Tina Garani-Papadatos, Panagiotis Vidalis, Krishna Ravi Srinivas, Gil Siegal, Stefania Negri, Ryoko Hatanaka, Maysa Al-Hussaini, Amal Al-Tabba', Lourdes Motta-Murgía, Laura Estela Torres Moran, Aart Hendriks, Obiajulu Nnamuchi, Rosario Isasi, Dorota Krekora-Zajac, Eman Sadoun, Calvin Ho, Pamela Andanda, Won Bok Lee, Pilar Nicolás, Titti Mattsson, Vladislava Talanova, Alexandre Dosch, Dominique Sprumont, Chien-Te Fan, Tzu-Hsun Hung, Jane Kaye, Andelka Phillips, Heather Gowans, Nisha Shah & James W. Hazel - 2019 - Journal of Law, Medicine and Ethics 47 (4):582-704.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  28
    Self-Determination, Dignity and End-of-Life Care: Regulating Advance Directives in International and Comparative Perspective.Stefania Negri (ed.) - 2012 - M. Nijhoff.
    By providing an interdisciplinary reading of advance directives regulation in international, European and domestic law, this book offers new insights into the most controversial legal issues surrounding the debate over dignity and autonomy ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Enrico de Negri.Stefania Pietroforte - 1988 - Filosofia Oggi 11 (3):475-490.
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  11
    Mathesis Universalis, Computability and Proof.Peter Schuster, Deniz Sarikaya, Sara Negri & Stefania Centrone (eds.) - 2019 - Springer Verlag.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Interview: Antonio Negri and Danilo Zolo: Empire and the Multitude: A Dialogue on the New Order of Globalization.Antonio Negri & Danilo Zolo - 2003 - Radical Philosophy 120.
  6.  38
    Logic and Philosophy of Mathematics in the Early Husserl.Stefania Centrone - 2010 - Springer.
    This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  7.  20
    Assessing Mental Illness Stigma: A Complex Issue.Stefania Mannarini & Alessandro Rossi - 2019 - Frontiers in Psychology 9.
  8.  17
    Etiological Beliefs, Treatments, Stigmatizing Attitudes Toward Schizophrenia. What Do Italians and Israelis Think?Stefania Mannarini, Marilisa Boffo, Alessandro Rossi & Laura Balottin - 2018 - Frontiers in Psychology 8.
  9.  18
    Children’s Quantitative Bayesian Inferences From Natural Frequencies and Number of Chances.Stefania Pighin, Vittorio Girotto & Katya Tentori - 2017 - Cognition 168:164-175.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  63
    Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - Cambridge University Press.
    Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  11. Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
    A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  12.  49
    Contraction-Free Sequent Calculi for Geometric Theories with an Application to Barr's Theorem.Sara Negri - 2003 - Archive for Mathematical Logic 42 (4):389-401.
    Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  13.  29
    Husserl on the 'Totality of All Conceivable Arithmetical Operations'.Stefania Centrone - 2006 - History and Philosophy of Logic 27 (3):211-228.
    In the present paper, we discuss Husserl's deep account of the notions of ?calculation? and of arithmetical ?operation? which is found in the final chapter of the Philosophy of Arithmetic, arguing that Husserl is as far as we know the first scholar to reflect seriously on and to investigate the problem of circumscribing the totality of computable numerical operations. We pursue two complementary goals, namely: (i) to provide a formal reconstruction of Husserl's intuitions, and (ii) to demonstrate on the basis (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  44
    Attribution of Beliefs by 13-Month-Old Infants.Dan Sperber & Stefania Caldi - unknown
    In two experiments, we investigated whether 13-month-old infants expect agents to behave in a way consistent with information to which they have been exposed. Infants watched animations in which an animal was either provided information or prevented from gathering information about the actual location of an object. The animal then searched successfully or failed to retrieve it. Infants’ looking times suggest that they expected searches to be effective when—and only when—the agent had had access to the relevant information. This result (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   43 citations  
  15.  39
    Begründungen bei Bolzano und beim frühen Husserl.Stefania Centrone - 2011 - Zeitschrift für Philosophische Forschung 65 (1):5-27.
    Two hundred years ago Bernard Bolzano published a booklet on the philosophy of mathematics that is the first major step forward in this area since Pascal’s De l’esprit géométrique. Following Aristotelian lines Bolzano distinguishes in his opusculum two kinds of proofs, those that simply show that something is the case, and those that explain why something is the case. In his Wissenschaftslehre this contrast reappears as that between derivability and consecutivity . Husserl takes up some of Bolzano’s key concepts in (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  16.  2
    From Data Politics to the Contentious Politics of Data.Stefania Milan & Davide Beraldo - 2019 - Big Data and Society 6 (2).
    This article approaches the paradigm shift of datafication from the perspective of civil society. Looking at how individuals and groups engage with datafication, it complements the notion of “data politics” by exploring what we call the “contentious politics of data”. By contentious politics of data we indicate the bottom-up, transformative initiatives interfering with and/or hijacking dominant processes of datafication, contesting existing power relations or re-appropriating data practices and infrastructure for purposes distinct from the intended. Said contentious politics of data is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Insurgencies: Constituent Power and the Modern State.Antonio Negri - 2009 - University of Minnesota Press.
    Constituent power : the concept of a crisis -- Virtue and fortune : the machiavellian paradigm -- The Atlantic model and the theory of counterpower -- Political emancipation in the American constitution -- The revolution and the constitution of labor -- Communist desire and the dialectic restored -- The constitution of strength.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  18.  35
    Early Bolzano on Ground-Consequence Proofs.Stefania Centrone - 2016 - Bulletin of Symbolic Logic 22 (2):215-237.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  25
    Spinoza for Our Time: Politics and Postmodernity.Antonio Negri & Rocco Gangle - 2013 - Columbia University Press.
    Antonio Negri, a leading scholar on Baruch Spinoza (1632–1677) and his contemporary legacy, offers a straightforward explanation of the philosopher’s elaborate arguments and a persuasive case for his ongoing utility.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  64
    Counterfactual Thoughts About Experienced, Observed, and Narrated Events.Stefania Pighin, Ruth M. J. Byrne, Donatella Ferrante, Michel Gonzalez & Vittorio Girotto - 2011 - Thinking and Reasoning 17 (2):197 - 211.
    Four studies show that observers and readers imagine different alternatives to reality. When participants read a story about a protagonist who chose the more difficult of two tasks and failed, their counterfactual thoughts focused on the easier, unchosen task. But when they observed the performance of an individual who chose and failed the more difficult task, participants' counterfactual thoughts focused on alternative ways to solve the chosen task, as did the thoughts of individuals who acted out the event. We conclude (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  21
    Relational Theories of Intentionality and the Problem of Non-Existents.Stefania Centrone - 2016 - In Marian David & Mauro Antonelli (eds.), Existence, Fiction, Assumption: Meinongian Themes and the History of Austrian Philosophy. De Gruyter. pp. 1-26.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  20
    Proactive Inhibition Activation Depends on Motor Preparation: A Single Pulse TMS Study.Stefania C. Ficarella & Lorella Battelli - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  67
    Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
    A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  24.  21
    Das Problem der Apagogischen Beweise in Bolzanos Beyträgen Und Seiner Wissenschaftslehre.Stefania Centrone - 2012 - History and Philosophy of Logic 33 (2):127 - 157.
    This paper analyzes and evaluates Bolzano's remarks on the apagogic method of proof with reference to his juvenile booklet "Contributions to a better founded presentation of mathematics" of 1810 and to his ?Theory of science? (1837). I shall try to defend the following contentions: (1) Bolzanos vain attempt to transform all indirect proofs into direct proofs becomes comprehensible as soon as one recognizes the following facts: (1.1) his attitude towards indirect proofs with an affirmative conclusion differs from his stance to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  80
    Does Product Complexity Matter for Competition in Experimental Retail Markets?Stefania Sitzia & Daniel John Zizzo - 2011 - Theory and Decision 70 (1):65-82.
    We describe a first experiment on whether product complexity affects competition and consumers in retail markets. We are unable to detect a significant effect of product complexity on prices, except insofar as the demand elasticity for complex products is higher. However, there is qualified evidence that complex products have the potential to induce consumers to buy more than they would otherwise. In this sense, consumer exploitability in quantities cannot be ruled out. We also find evidence for shaping effects: consumers’ preferences (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Proof Analysis for Lewis Counterfactuals.Sara Negri & Giorgio Sbardolini - 2016 - Review of Symbolic Logic 9 (1):44-75.
  27.  14
    Essays on Husserl’s Logic and Philosophy of Mathematics.Stefania Centrone (ed.) - 2017 - Springer Verlag.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  50
    Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
    Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  29.  35
    Subversive Spinoza: (Un)Contemporary Variations.Antonio Negri - 2004 - Distributed Exclusively in the Usa by Palgrave.
    In Subversive Spinoza , Antonio Negri spells out the philosophical credo that inspired his radical renewal of Marxism and his compelling analysis of the modern state and the global economy by means of an inspiring reading of the challenging metaphysics of the seventeenth-century Dutch-Jewish philosopher Spinoza. For Negri, Spinoza's philosophy has never been more relevant than it is today to debates over individuality and community, democracy and resistance, modernity and postmodernity.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  12
    Racism & Health: A Public Health Perspective on Racial Discrimination.Stefania Sarsah Cobbinah & Jan Lewis - 2018 - Journal of Evaluation in Clinical Practice 24 (5):995-998.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  81
    Functions in Frege, Bolzano and Husserl.Stefania Centrone - 2010 - History and Philosophy of Logic 31 (4):315-336.
    This explorative article is organized around a set of questions concerning the concept of a function. First, a summary of certain general facts about functions that are a common coin in contemporary logic is given. Then Frege's attempt at clarifying the nature of functions in his famous paper Function and Concept and in his Grundgesetze is discussed along with some questions which Freges' approach gave rise to in the literature. Finally, some characteristic uses of functional notions to be found in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  22
    Bolzano und Leibniz über Klarheit und Deutlichkeit.Stefania Centrone - 2010 - Archiv für Geschichte der Philosophie 92 (3):256-289.
    At a time when they had largely fallen into disrepute Bolzano reactivated the distinctions between ‚clear‘ and ‚obscure‘, ‚distinct‘ and ‚confused‘ ideas. In the central sections of this paper I offer a critical reconstruction of the explanations of these pairs of opposita which are to be found in vol. III of Bolzano's monumental Wissenschaftslehre . I then provide a detailed account of its Leibnizian counterparts that were well-known to the ‚Bohemian Leibniz‘, and finally I evaluate Bolzano's criticism thereof.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  33. Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
    The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  34.  65
    The Bid to Transcend Popper, and the Lakatos-Polanyi Connection.Stefania Ruzsits Jha - 2006 - Perspectives on Science 14 (3):318-346.
    Lakatos is considered to be a Popperian who adapted his Hegelian-Marxist training to critical philosophy. I claim this is too narrow and misses Lakatos' goal of understanding scientific inquiry as heuristic inquiry—something he did not find in Popper, but found in Polanyi. Archival material shows that his ‘new method' struggled to overcome what he saw as the Popperian handicap, by using Polanyi.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  11
    Yinshun's Recovery of Shizhu Piposha Lun 十住毗婆沙論: A Madhyamaka-Based Pure Land Practice In Twentieth-Century Taiwan.Stefania Travagnin - 2013 - Contemporary Buddhism 14 (2):320-343.
    Yinshun is regarded as one of the eminent monks of twentieth-century Chinese Buddhism. In the mission of reinventing Chinese Buddhism Yinshun engaged particularly in the revival and restatement of Madhyamaka. His interpretation of Nāgārjuna's texts, the reassessment of the links between pre-Mahāyāna Buddhism and the Prajn˜āpāramitā tradition, and the critical analysis of the Chinese San-lun became the core of the new Mahāyāna that he planned for the twentieth-century China. Yinshun also adopted Madhyamaka criteria to reconsider the Mahāyāna schools that were (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  25
    Der Reziprozitätskanon in den Beyträgen_ und in der _Wissenschaftslehre.Stefania Centrone - 2010 - Zeitschrift für Philosophische Forschung 64 (3):310-330.
    Two centuries ago Bernard Bolzano published his Contributions to a more well-founded presentation of mathematics which Goethe praised as “an opusculum of very high value”. Bolzano still seems to accept the traditional principle that that intension and extension of a concept stand in an inverse relation . In particular he claims that the concept of a genus proximum is always a component of the concept of the species which are subordinated to it. However, this does not harmonize with his simultaneous (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  37.  37
    Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge University Press.
    Machine generated contents note: Prologue: Hilbert's Last Problem; 1. Introduction; Part I. Proof Systems Based on Natural Deduction: 2. Rules of proof: natural deduction; 3. Axiomatic systems; 4. Order and lattice theory; 5. Theories with existence axioms; Part II. Proof Systems Based on Sequent Calculus: 6. Rules of proof: sequent calculus; 7. Linear order; Part III. Proof Systems for Geometric Theories: 8. Geometric theories; 9. Classical and intuitionistic axiomatics; 10. Proof analysis in elementary geometry; Part IV. Proof Systems for Nonclassical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  38.  20
    Strenge Beweise Und Das Verbot der Metábasis Eis Állo Génos : Eine Untersuchung Zu Bernard Bolzanos Beyträgen Zu Einer Begründeteren Darstellung der Mathematik.Stefania Centrone - 2012 - History and Philosophy of Logic 33 (1):1 - 31.
    In his booklet "Contributions to a better founded presentation of mathematics" of 1810 Bernard Bolzano made his first serious attempt to explain the notion of a rigorous proof. Although the system of logic he employed at that stage is in various respects far below the level of the achievements in his later Wissenschaftslehre, there is a striking continuity between his earlier and later work as regards the methodological constraints on rigorous proofs. This paper tries to give a perspicuous and critical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  15
    Husserls Zeichentheorie. Bemerkungen zur Ersten Logischen Untersuchung.Stefania Centrone - 2015 - Archiv für Geschichte der Philosophie 97 (1):66-96.
    Name der Zeitschrift: Archiv für Geschichte der Philosophie Jahrgang: 97 Heft: 1 Seiten: 66-96.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  40.  21
    Proof Theory for Quantified Monotone Modal Logics.Sara Negri & Eugenio Orlandelli - 2019 - Logic Journal of the IGPL 27 (4):478-506.
    This paper provides a proof-theoretic study of quantified non-normal modal logics. It introduces labelled sequent calculi based on neighbourhood semantics for the first-order extension, with both varying and constant domains, of monotone NNML, and studies the role of the Barcan formulas in these calculi. It will be shown that the calculi introduced have good structural properties: invertibility of the rules, height-preserving admissibility of weakening and contraction and syntactic cut elimination. It will also be shown that each of the calculi introduced (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  21
    Feelings of Control Restore Distorted Time Perception of Emotionally Charged Events.Stefania Mereu & Alejandro Lleras - 2013 - Consciousness and Cognition 22 (1):306-314.
    Humans perceive time with millisecond precision. However, when experiencing negative or fearful events, time appears to slow down and aversive events are judged to last longer than neutral or positive events of equal duration. Feelings of control have been shown to attenuate increases in arousal triggered by anxiety-provoking events. Here, we tested whether feelings of control can go as far as influencing people’s perception of the world, by modulating the perceived duration of aversive events. Observers judged the duration of images (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
    A sequent calculus is given in which the management of weakening and contraction is organized as in natural deduction. The latter has no explicit weakening or contraction, but vacuous and multiple discharges in rules that discharge assumptions. A comparison to natural deduction is given through translation of derivations between the two systems. It is proved that if a cut formula is never principal in a derivation leading to the right premiss of cut, it is a subformula of the conclusion. Therefore (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  43.  35
    Proof-Theoretical Analysis of Order Relations.Sara Negri, Jan von Plato & Thierry Coquand - 2004 - Archive for Mathematical Logic 43 (3):297-309.
    A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44.  37
    A Normalizing System of Natural Deduction for Intuitionistic Linear Logic.Sara Negri - 2002 - Archive for Mathematical Logic 41 (8):789-810.
    The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  45. Giorgio Agamben: The Discreet Taste of the Dialectic.Antonio Negri - 2007 - In Matthew Calarco & Steven DeCaroli (eds.), Giorgio Agamben: Sovereignty and Life. Stanford University Press. pp. 109--125.
     
    Export citation  
     
    Bookmark   5 citations  
  46.  31
    Kripke Completeness Revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.
  47.  76
    Symbolism and Linguistic Semantics. Some Questions (and Confusions) From Late Antique Neoplatonism Up to Eriugena.Stefania Bonfiglioli & Costantino Marmo - 2007 - Vivarium 45 (s 2-3):238-252.
    The notion of 'symbol' in Eriugena's writing is far from clear. It has an ambiguous semantic connection with other terms such as 'signification', 'figure', 'allegory', 'veil', 'agalma', 'form', 'shadow', 'mystery' and so on. This paper aims to explore into the origins of such a semantic ambiguity, already present in the texts of the pseudo-Dionysian corpus which Eriugena translated and commented upon. In the probable Neoplatonic sources of this corpus, the Greek term symbolon shares some aspects of its meaning with other (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  49
    The Continuum as a Formal Space.Sara Negri & Daniele Soravia - 1999 - Archive for Mathematical Logic 38 (7):423-447.
    A constructive definition of the continuum based on formal topology is given and its basic properties studied. A natural notion of Cauchy sequence is introduced and Cauchy completeness is proved. Other results include elementary proofs of the Baire and Cantor theorems. From a classical standpoint, formal reals are seen to be equivalent to the usual reals. Lastly, the relation of real numbers as a formal space to other approaches to constructive real numbers is determined.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  39
    Sequent Calculus Proof Theory of Intuitionistic Apartness and Order Relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.
    Contraction-free sequent calculi for intuitionistic theories of apartness and order are given and cut-elimination for the calculi proved. Among the consequences of the result is the disjunction property for these theories. Through methods of proof analysis and permutation of rules, we establish conservativity of the theory of apartness over the theory of equality defined as the negation of apartness, for sequents in which all atomic formulas appear negated. The proof extends to conservativity results for the theories of constructive order over (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  19
    What Differentiates Episodic Future Thinking From Complex Scene Imagery?Stefania de Vito, Nadia Gamboz & Maria A. Brandimonte - 2012 - Consciousness and Cognition 21 (2):813-823.
    We investigated the contributions of familiarity of setting, self-relevance and self-projection in time to episodic future thinking. The role of familiarity of setting was assessed, in Experiment 1, by comparing episodic future thoughts to autobiographical future events supposed to occur in unfamiliar settings. The role of self-relevance was assessed, in Experiment 2, by comparing episodic future thoughts to future events involving familiar others. The role of self-projection in time was assessed, in both Experiments, by comparing episodic future thoughts to autobiographical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
1 — 50 / 705