Results for 'Mt Antonelli'

554 found
Order:
  1. Philosophie.J. Abelé, O. Costa De, J. Chaix-ruy, Mt Antonelli, Mf Sciacca & A. Solignac - 1955 - Archives de Philosophie 19:159.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  50
    Grounded Consequence for Defeasible Logic.Aldo Antonelli - 2005 - Cambridge University Press.
    This is a title on the foundations of defeasible logic, which explores the formal properties of everyday reasoning patterns whereby people jump to conclusions, reserving the right to retract them in the light of further information. Although technical in nature the book contains sections that outline basic issues by means of intuitive and simple examples. This book is primarily targeted at philosophers interested in the foundations of defeasible logic, logicians, and specialists in artificial intelligence and theoretical computer science.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  27
    Completeness and Decidability of General First-Order Logic.Aldo Antonelli - 2017 - Journal of Philosophical Logic 46 (3):233-257.
    This paper investigates the “general” semantics for first-order logic introduced to Antonelli, 637–58, 2013): a sound and complete axiom system is given, and the satisfiability problem for the general semantics is reduced to the satisfiability of formulas in the Guarded Fragment of Andréka et al. :217–274, 1998), thereby showing the former decidable. A truth-tree method is presented in the Appendix.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  52
    Non-Well-Founded Sets Via Revision Rules.Gian Aldo Antonelli - 1994 - Journal of Philosophical Logic 23 (6):633 - 679.
  5.  92
    Proto-Semantics for Positive Free Logic.Antonelli G. Aldo - 2000 - Journal of Philosophical Logic 29 (3):277-294.
    This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of "non-existing" objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth non (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  55
    What's in a Function?Gian Aldo Antonelli - 1996 - Synthese 107 (2):167 - 204.
    In this paper we argue that Revision Rules, introduced by Anil Gupta and Nuel Belnap as a tool for the analysis of the concept of truth, also provide a useful tool for defining computable functions. This also makes good on Gupta's and Belnap's claim that Revision Rules provide a general theory of definition, a claim for which they supply only the example of truth. In particular we show how Revision Rules arise naturally from relaxing and generalizing a classical construction due (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.
    The logical status of abstraction principles, and especially Hume’s Principle, has been long debated, but the best currently availeble tool for explicating a notion’s logical character—permutation invariance—has not received a lot of attention in this debate. This paper aims to fill this gap. After characterizing abstraction principles as particular mappings from the subsets of a domain into that domain and exploring some of their properties, the paper introduces several distinct notions of permutation invariance for such principles, assessing the philosophical significance (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  8. Frege's New Science.G. Aldo Antonelli & Robert C. May - 2000 - Notre Dame Journal of Formal Logic 41 (3):242-270.
    In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege’s debate with Hilbert over independence proofs in geometry and we begin by considering their dispute. We propose that Frege’s critique rests on his view that language is a set of propositions, each immutably equipped with a truth value (as determined by the thought it expresses), so to Frege it was inconceivable that axioms could even be considered to be (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  9.  11
    In the Light of Logic.G. Aldo Antonelli - 2001 - Bulletin of Symbolic Logic 7 (2):270-277.
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  10. Frege's Other Program.Aldo Antonelli & Robert May - 2005 - Notre Dame Journal of Formal Logic 46 (1):1-17.
    Frege's logicist program requires that arithmetic be reduced to logic. Such a program has recently been revamped by the "neologicist" approach of Hale and Wright. Less attention has been given to Frege's extensionalist program, according to which arithmetic is to be reconstructed in terms of a theory of extensions of concepts. This paper deals just with such a theory. We present a system of second-order logic augmented with a predicate representing the fact that an object x is the extension of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  11. Non-Monotonic Logic.G. Aldo Antonelli - 2008 - Stanford Encyclopedia of Philosophy.
    The term "non-monotonic logic" covers a family of formal frameworks devised to capture and represent defeasible inference , i.e., that kind of inference of everyday life in which reasoners draw conclusions tentatively, reserving the right to retract them in the light of further information. Such inferences are called "non-monotonic" because the set of conclusions warranted on the basis of a given knowledge base does not increase (in fact, it can shrink) with the size of the knowledge base itself. This is (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  12. Numerical Abstraction Via the Frege Quantifier.G. Aldo Antonelli - 2010 - Notre Dame Journal of Formal Logic 51 (2):161-179.
    This paper presents a formalization of first-order arithmetic characterizing the natural numbers as abstracta of the equinumerosity relation. The formalization turns on the interaction of a nonstandard cardinality quantifier with an abstraction operator assigning objects to predicates. The project draws its philosophical motivation from a nonreductionist conception of logicism, a deflationary view of abstraction, and an approach to formal arithmetic that emphasizes the cardinal properties of the natural numbers over the structural ones.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13. The Nature and Purpose of Numbers.G. Aldo Antonelli - 2010 - Journal of Philosophy 107 (4):191-212.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  99
    On the General Interpretation of First-Order Quantifiers.G. Aldo Antonelli - 2013 - Review of Symbolic Logic 6 (4):637-658.
    While second-order quantifiers have long been known to admit nonstandard, or interpretations, first-order quantifiers (when properly viewed as predicates of predicates) also allow a kind of interpretation that does not presuppose the full power-set of that interpretationgeneral” interpretations for (unary) first-order quantifiers in a general setting, emphasizing the effects of imposing various further constraints that the interpretation is to satisfy.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15. Frege: Fra Estensionalismo E Logicismo.Aldo Antonelli - manuscript
    Due programmi diversi si intersecano nel lavoro di Frege sui fondamenti dell’aritmetica: • Logicismo: l’aritmetica `e riducibile alla logica; • Estensionalismo: l’aritmetica `e riducibile a una teoria delle estensioni. Sia nei Fondamenti che nei Principi, Frege articola l’idea che l’aritmetica sia riducibile a una teoria logica delle estensioni.
     
    Export citation  
     
    Bookmark   9 citations  
  16.  22
    Seiendes, Bewußtsein, Intentionalit Im Frühwerk von Franz Brentano.Mauro Antonelli - 2001 - K. Alber.
  17.  27
    The Complexity of Revision.Gian Aldo Antonelli - 1994 - Notre Dame Journal of Formal Logic 35 (1):67-72.
    In this paper we show that the Gupta-Belnap systems S# and S* are П12. Since Kremer has independently established that they are П12-hard, this completely settles the problem of their complexity. The above-mentioned upper bound is established through a reduction to countable revision sequences that is inspired by, and makes use of a construction of McGee.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  18.  71
    Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
    A propositional system of modal logic is second-order if it contains quantifiers ∀p and ∃p, which, in the standard interpretation, are construed as ranging over sets of possible worlds (propositions). Most second-order systems of modal logic are highly intractable; for instance, when augmented with propositional quantifiers, K, B, T, K4 and S4 all become effectively equivalent to full second-order logic. An exception is S5, which, being interpretable in monadic second-order logic, is decidable.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  19. Game-Theoretic Axioms for Local Rationality and Bounded Knowledge.Gian Aldo Antonelli & Cristina Bicchieri - 1995 - Journal of Logic, Language and Information 4 (2):145-167.
    We present an axiomatic approach for a class of finite, extensive form games of perfect information that makes use of notions like “rationality at a node” and “knowledge at a node.” We distinguish between the game theorist's and the players' own “theory of the game.” The latter is a theory that is sufficient for each player to infer a certain sequence of moves, whereas the former is intended as a justification of such a sequence of moves. While in general the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20. Studi in Onore di M. F. Sciacca.Maria Teresa Antonelli, Michele Schiavone & Michele Federico Sciacca - 1959 - C. Marzorati.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. Thinking Immanence: Gilles Deleuze and François Jullien [Spanish].Marcelo Sebastián Antonelli - 2013 - Eidos: Revista de Filosofía de la Universidad Del Norte 19:81-106.
    The present paper analyzes the dialogue between Gilles Deleuze and François Jullien. We focus on three axes articulated by the idea of immanence. Firstly, we shall compare the usage of the expression “absolutization of immanence”, coined by the sinologist in order to play down transcendence in Chinese thought, which was eventually applied by Deleuze within the realm of belief in this world. Secondly, we shall examine Jullien’s critic to Deleuze on the relation between philosophy and wisdom. We sustain that even (...)
     
    Export citation  
     
    Bookmark  
  22. The Philosophy of Brentano: Contributions From the Second International Conference Graz 1977–2107. In Memory of Rudolf Haller. [REVIEW]Mauro Antonelli & Thomas Binder (eds.) - 2021 - Brill | Rodopi.
    _The Philosophy of Brentano_ has as its goal to explore the significance and impact of Franz Brentano’s thought, to promote a deepening of the ongoing renaissance of interest in Brentano, and to advance the project of understanding Brentano’s actual philosophical positions and correcting entrenched misunderstandings.
    No categories
     
    Export citation  
     
    Bookmark  
  23. Franz Brentano’s Intentionality Thesis.Mauro Antonelli - 2012 - In A. Salice (ed.), Intentionality: Historical and Systematic Perspectives. Philosophia Verlag.
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  24.  34
    Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3, Nonmonotonic Reasoning and Uncertain Reasoning.G. Aldo Antonelli - 2000 - Bulletin of Symbolic Logic 6 (4):480-484.
  25.  42
    Forward Induction.Gian Aldo Antonelli & Cristina Bicchieri - unknown
    Gian Aldo Antonelli and Cristina Bicchieri. Forward Induction.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  45
    A Revision-Theoretic Analysis of the Arithmetical Hierarchy.Gian Aldo Antonelli - 1994 - Notre Dame Journal of Formal Logic 35 (2):204-218.
    In this paper we apply the idea of Revision Rules, originally developed within the framework of the theory of truth and later extended to a general mode of definition, to the analysis of the arithmetical hierarchy. This is also intended as an example of how ideas and tools from philosophical logic can provide a different perspective on mathematically more “respectable” entities. Revision Rules were first introduced by A. Gupta and N. Belnap as tools in the theory of truth, and they (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  18
    Area MT/V5 in a Bottle?Ned Block - 2005 - Trends in Cognitive Sciences 9 (2):46-52.
  28. Life on the Range.G. Aldo Antonelli - forthcoming - In A. Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Synthese LIbrary.
  29.  32
    Backwards Forwards Induction.Gian Aldo Antonelli & Cristina Bicchieri - unknown
    Gian Aldo Antonelli and Cristina Bicchieri. Backwards Forwards Induction.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30.  1
    Τὸν Ἄρτον Ἡμῶν Τὸν Ἐπιούσιον Δὸς Ἡμῖν Σήμερον (Mt 6:11; Lk 11:3): The Lord’s Prayer and an African Predicament – the Ewe-Ghanaian Context in Focus. [REVIEW]Daniel Sakitey & Ernest van Eck - 2020 - HTS Theological Studies 76 (4):1-7.
    This article seeks to reconstruct the phrase τὸν ἄρτον ἡμῶν τὸν ἐπιούσιον in the light of an African predicament with the Ewe-Ghanaian context in focus. The article posits that the various interpretations of the phrase throughout the epochs of Christianity have arisen as a result of the ambiguity associated with ἐπιούσιος and the quest to make the Lord’s Prayer in general relevant to the life situation of the recipient communities. Although the Lord’s Prayer is still regarded as a prayer par (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  49
    A Note on Induction, Abstraction, and Dedekind-Finiteness.G. Aldo Antonelli - 2012 - Notre Dame Journal of Formal Logic 53 (2):187-192.
    The purpose of this note is to present a simplification of the system of arithmetical axioms given in previous work; specifically, it is shown how the induction principle can in fact be obtained from the remaining axioms, without the need of explicit postulation. The argument might be of more general interest, beyond the specifics of the proposed axiomatization, as it highlights the interaction of the notion of Dedekind-finiteness and the induction principle.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Placing Area MT in Context.Michael Madary - 2013 - Journal of Consciousness Studies 20 (5-6):93-104.
    In this article I raise empirical challenges for the claim tha area MT/V5 is the neural correlate for visual experience as of motion (Block 2005). In particular, I focus on the claim that there is matching content between area MT, on one hand, and visual experience as of motion, on the other hand (Chalmers 2000, Block 2007). I survey two lines of empirical evidence which challenge the claim of matching content in area MT. The first line of evidence covers new (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Free Quantification and Logical Invariance.G. Aldo Antonelli - 2007 - Rivista di Estetica 33 (1):61-73.
    Henry Leonard and Karel Lambert first introduced so-called presupposition-free (or just simply: free) logics in the 1950’s in order to provide a logical framework allowing for non-denoting singular terms (be they descriptions or constants) such as “the largest prime” or “Pegasus” (see Leonard [1956] and Lambert [1960]). Of course, ever since Russell’s paradigmatic treatment of definite descriptions (Russell [1905]), philosophers have had a way to deal with such terms. A sentence such as “the..
     
    Export citation  
     
    Bookmark   3 citations  
  34.  12
    Proto-Semantics for Positive Free Logic.G. Aldo Antonelli - 2000 - Journal of Philosophical Logic 29 (3):277-294.
    This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of “non-existing” objects. The models here introduced have only one domain, and a partial reference function for the singular terms. Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized truth non unlike the notion of “truth at world” found in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  32
    The Complexity of Revision, Revised.G. Aldo Antonelli - 2002 - Notre Dame Journal of Formal Logic 43 (2):75-78.
    The purpose of this note is to acknowledge a gap in a previous paper, "The complexity of revision," and to provide a corrected version of the argument.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  39
    Franz Brentano und die Wiederentdeckung der Intentionalität: Richtigstellung herkömmlicher Mißverständnisse und Mißdeutungen.Mauro Antonelli - 2000 - Grazer Philosophische Studien 58 (1):93-117.
    Ausgehend von Franz Brentanos berühmter Intentionalitätspassage aus der Psychologie vom empirischen Standpunkt wird dargelegt, daß die vorherrschende ontologische Deutung seines sogenannten frühen Intentionalitätsgedankens unhaltbar ist. Unter Berücksichtigung von Brentanos Quellen, vor allem Aristoteles' Wahmehmungslehre und Theorie der Relativa, wird die Auffassung des sogenannten intentionalen bzw. immanenten Objektes als bewußtseinsimmanenter Entität abgelehnt und die Kontinuität hervorgehoben, die zwischen Brentanos früher und späterer, sogenannter reistischer Intentionalitätsauffassung besteht.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  37.  15
    A Directly Cautious Theory of Defeasible Consequence for Default Logic Via the Notion of General Extension.G. Aldo Antonelli - 1999 - Artificial Intelligence 109 (1-2):71-109.
    This paper introduces a generalization of Reiter’s notion of “extension” for default logic. The main difference from the original version mainly lies in the way conflicts among defaults are handled: in particular, this notion of “general extension” allows defaults not explicitly triggered to pre-empt other defaults. A consequence of the adoption of such a notion of extension is that the collection of all the general extensions of a default theory turns out to have a nontrivial algebraic structure. This fact has (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  63
    The Complexity of Revision, Revised.Aldo Antonelli - 2002 - Notre Dame Journal of Formal Logic 43 (2):75-78.
    The purpose of this note is to acknowledge a gap in a previous paper — “The Complexity of Revision”, see [1] — and provide a corrected version of argument. The gap was originally pointed out by Francesco Orilia (personal communication and [4]), and the fix was developed in correspondence with Vann McGee.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  14
    Die Deskriptive Psychologie von Anton Marty. Wege Und Abwege Eines Brentano-Schulers.Mauro Antonelli - 2011 - In A. Marty (ed.), Deskriptive Psychologie. Konigshausen & Neumann.
  40. Antonelli, GA, 277 Bamber, D., 1 Bell, JL, 585 Correia, F., 295.I. Düntsch, G. F. Díez, K. Fine, M. Gómez-Torrente, S. M. Glaister, L. Goble, T. Hailperin, S. O. Hansson, L. Humberstone & T. Hyttinen - 2000 - Journal of Philosophical Logic 29 (637).
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  41.  32
    La mimesi e la traccia. Contributi per un’ontologia dell’attualità.Emanuele Antonelli - 2013 - Milano: Mimesis.
    The reflection elaborated in these pages, fleeing all submission to the now abused rhetoric of the prevailing economism, traces in the works of René Girard - the most serious pretender to the legacy of the masters of suspicion - and Jacques Derrida - the last great philosopher of the twentieth century - the constituent elements of a critical paradigm with which to interpret the present time. The volume investigates the multiple correspondences between the different legacies of deconstruction and the most (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  42.  18
    Franz Brentano et l’« inexistence intentionnelle ».Mauro Antonelli - 2009 - Philosophiques 36 (2):467-487.
    La thèse de l’« inexistence intentionnelle » formulée par Brentano a été traditionnellement interprétée comme une théorie de la « relation intentionnelle », autrement dit de la relation entre l’acte mental et son « objet immanent » ou « intentionnel », c’est-à-dire interne à la conscience. Se fondant sur la lecture du fameux passage sur l’intentionnalité de la Psychologie du point de vue empirique , le présent article démontre que l’interprétation ontologique de la théorie de l’intentionnalité du premier Brentano est (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  43.  12
    Die Experimentelle Analyse des Bewußtseins Bei Vittorio Benussi.Mauro Antonelli (ed.) - 1994 - Rodopi.
    Der Triestiner Vittorio Benussi , Mitglied der Grazer gegenstandstheoretischen und psychologischen Schule um Alexius Meinong, war einer der bedeutendsten Experimentalpsychologen seiner Zeit. Seine Pionierleistungen auf dem Gebiet der experimentellen Gestaltpsychologie gerieten jedoch bald durch die fortschreitende Durchsetzung der Berliner Schule der Gestalttheorie in Vergessenheit, so daß sein Werk bis heute weitgehend unbekannt geblieben ist.Benussis wissenschaftliche Tätigkeit, die sich durch eine streng experimentelle Vorgangsweise auszeichnet, erweist sich rückblickend als fruchtbarer Anknüpfungspunkt für die zeitgenössische Kognitionswissenschaft. Dies ermöglicht eine Neubewertung seiner wissenschaftlichen Arbeit (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  44. Revision Rules: An Investigation Into Non-Monotonic Inductive Definitions.G. Aldo Antonelli - 1992 - Dissertation, University of Pittsburgh
    Many different modes of definition have been proposed over time, but none of them allows for circular definitions, since, according to the prevalent view, the term defined would then be lacking a precise signification. I argue that although circular definitions may at times fail uniquely to pick out a concept or an object, sense still can be made of them by using a rule of revision in the style adopted by Anil Gupta and Nuel Belnap in the theory of truth.
     
    Export citation  
     
    Bookmark   2 citations  
  45. Logicism, Quantifiers, and Abstraction.Aldo Antonelli - manuscript
    With the aid of a non-standard (but still first-order) cardinality quantifier and an extra-logical operator representing numerical abstraction, this paper presents a formalization of first-order arithmetic, in which numbers are abstracta of the equinumerosity relation, their properties derived from those of the cardinality quantifier and the abstraction operator.
     
    Export citation  
     
    Bookmark   2 citations  
  46. Culture and Cognition.Daniel Mt Fessler & Edouard Machery - 2012 - In E. Margolis, R. Samuels & S. Stich (eds.), The Oxford Handbook of Philosophy of Cognitive Science. Oxford University Press.
  47.  18
    Alle Radici Del Movimento Fenomenologico. Psicologia E Metafisica Nel Giovane Franz Brentano.Mauro Antonelli - 1996 - Pitagora.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  48. Virtuous Circles: From Fixed Points to Revision Rules.G. Aldo Antonelli - 2000 - In Anil Gupta & Andre Chapuis (eds.), Circularity, Definition, and Truth. Indian Council of Philosophical Research. pp. 1--27.
     
    Export citation  
     
    Bookmark   1 citation  
  49.  39
    Book Review: Keith Simmons. Universality and the Liar: An Essay on Truth and the Diagonal Argument. [REVIEW]Gian Aldo Antonelli - 1996 - Notre Dame Journal of Formal Logic 37 (1):152-159.
  50.  23
    Between Mt. Moriah and Mt. Golgotha: How is Christian Ethics Possible?Ilsup Ahn - 2012 - Journal of Religious Ethics 40 (4):629-652.
    In this paper, I explore a new way of understanding Christian ethics by critically interconnecting the theological meanings of the Aqedah ("binding") narrative of Mt. Moriah and the Passion story of Mt. Golgotha. Through an in-depth critical-theological investigation of the relation between these two biblical events, I argue that Christian ethics is possible not so much as a moralization or as a literalistic divine command theory, but rather as a "covenantal-existential" response to God's will in the impossible love on Mt. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 554