Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

| Crea un account

Ferrari, Francesco Maria (2016) Questioni di semantica formale e logica plurale. [Tesi di dottorato]

Full text disponibile come:

[img]
Anteprima
Documento PDF
4Mb

Abstract (inglese)

The present research is a logico-philosophical analysis of the issues concerning the semantics for plural logic, with particular attention to the recent work by A. Oliver and T. Smiley, Plural Logic (OUP).
The first chapter introduces into the model-theoretic semantics for second-order languages. Three versions are presented: standard, Henkin and multi-sorted. All three differ in the definition of the assignment function to the second-order variables. The second chapter analyzes the relationship between model-theoretic semantics and ontology, in particular realism and nominalism. On the one hand, realism relies on the so called referential (or objectual) semantics; on the other hand, nominalism must rely on the so called substitutional semantics, for what concerns second-order variables, in order to avoid any ontological commitment with respect to such variables.
The third chapter introduces plural semantics. W.O. Quine (in 1970), argued that second-order logic is a ‘set theory in sheep’s clothing’ and, so, not a pure logic. Quine’s approach was strongly criticized by G. Boolos, in a series of articles in the 70s and 80s of the last century. He proposed a new sort of referential semantics for (monadic) secon-order variables and quantifiers, the so called plural interpretation based on a (one-many) ralation assignment.
The fourth chapter presents an outline of the more ideas of the work by Oliver and Smiley. In particular, their system 1) recasts predication in terms of plural predication and 2) attempts to capture plural denotation phenomena. In order to extend the category of terms to the plural case, Autors propose a theory of definite descriptions that contrasts with the Russellian one. Plural functional terms, obtained by means of the descriptive apparatus, denote so called multivalued functions – to be added to the usual functions, now singlevalued. In the fifth chapter it is provided an analysis of such function with respect to mathematics and logic. Multivalued functions play also a key role in the semantics of plural logic, modeling the assignment function for plural variables. It is also considered some semantic consequence due to their assumption.
The final chapter concludes the analysis of plural logic. Ø. Linnebo (2003) presented a criterion of logicality. From the application of such a criterion, it emerges that there are no compelling reasons not to define plural logic a pure logic. The only main point against such plural logics is the modal rigidity of the notion of plurality. Such a rigidity reveals that the alleged formalization of some typical features of that fragment of natural language that is related to plural phenomena is not fully adequate in these sort of plural logics.

Abstract (italiano)

La presente ricerca consiste in un’analisi logico-filosofica delle questioni inerenti alla semantica per la logica plurale, con particolare attenzione al recente lavoro di A. Oliver e T. Smiley, Plural Logic (OUP).
Il primo capitolo introduce la semantica modellistica per i linguaggi del secondo ordine, presentando tre varianti, standard, di Henkin e multi-sorted, le quali si distinguono per la definizione della funzione di assegnazione di valori alle variabili del secondo ordine. Il secondo capitolo analizza le relazioni fra la semantica modellistica e l’ontologia, in particolare il realismo e il nominalismo. Da un lato, il realismo si affida alla semantica c.d. referenziale, dall’altro il nominalismo, che deve evitare il c.d. impegno ontologico delle variabili del secondo ordine pur permettendone l’uso linguistico, si deve affidare alla semantica c.d. sostituzionale rispetto a tali variabili.
Il terzo capitolo, introduce alle questioni inerenti alla semantica plurale. W.O. Quine (nel 1970) sostenne che la logica del secondo ordine non è una logica pura. Tale approccio fu intensamente criticato da G. Boolos, in una serie di articoli negli anni ’70-’80 del secolo scorso in cui Boolos giunse a proporre un nuovo tipo di semantica referenziale per le variabili (monadiche) del secondo ordine quantificate, la c.d. interpretazione plurale basata su una relazione (uno-molti) di assegnazione di valori a tali variabili.
Il quarto capitolo presenta una sintesi delle maggiori idee su cui si basa il sistema di logica plurale di Oliver e Smiley. Tale logica plurale riformula la predicazione nei termini della predicazione plurale. La preoccupazione principale degli Autori è quella di catturare il fenomeno della denotazione plurale. A tal fine presentano una teoria delle descrizioni definite che contrasta con quella russelliana. I termini funzionali plurali, ottenuti mediante tale apparato descrittivo, denotano le c.d. funzioni polidrome. Nel quinto capitolo si fornisce una analisi estensionale di tali funzioi. Le funzioni polidrome sono fondamentali anche nella semantica della logica plurale, in quanto codificano la funzione di assegnazione plurale. Alcune conseguenze semantiche dovute alla loro assunzione sono così evidenziate.
Il capitolo conclusivo, il sesto, termina l’analisi della logica plurale. Ø. Linnebo (2003) presentò un criterio di logicità, dalla cui applicazione emerge che non ci sono ragioni stringenti per non considerare la logica plurale una pura logica. Una critica, però, su tutte alla logica plurale: la rigidità della nozione di pluralità. Emerge, così, che alcuni tratti del linguaggio naturale legati a fenomeni plurali (quantificazione e denotazione), non sono catturati adeguatamente nei sistemi di logica plurale come quello di Oliver e Smiley.

Statistiche Download - Aggiungi a RefWorks
Tipo di EPrint:Tesi di dottorato
Relatore:Carrara, Massimiliano
Dottorato (corsi e scuole):Ciclo 28 > Scuole 28 > FILOSOFIA
Data di deposito della tesi:31 Gennaio 2016
Anno di Pubblicazione:31 Gennaio 2016
Parole chiave (italiano / inglese):semantica formale/formal semantics, logica plurale/plural logic, ontologia formale/formal ontology, predicazione formale/formal predication
Settori scientifico-disciplinari MIUR:Area 11 - Scienze storiche, filosofiche, pedagogiche e psicologiche > M-FIL/02 Logica e filosofia della scienza
Struttura di riferimento:Dipartimenti > Dipartimento di Filosofia, Sociologia, Pedagogia e Psicologia Applicata
Codice ID:9468
Depositato il:06 Ott 2016 17:04
Simple Metadata
Full Metadata
EndNote Format

Bibliografia

I riferimenti della bibliografia possono essere cercati con Cerca la citazione di AIRE, copiando il titolo dell'articolo (o del libro) e la rivista (se presente) nei campi appositi di "Cerca la Citazione di AIRE".
Le url contenute in alcuni riferimenti sono raggiungibili cliccando sul link alla fine della citazione (Vai!) e tramite Google (Ricerca con Google). Il risultato dipende dalla formattazione della citazione.

(Bagaria 2014) – J. Bagaria, ‘Set Theory’, The Stanford Encyclopedia of Philosophy, (Winter 2014 Edition), E.N. Zalta (ed.). Cerca con Google

(Barcan-Marcus 1960) – R. Barcan-Marcus, “Extensionality”, Mind, New Series, Vol. 69, No. 273:55-62, 1960. Cerca con Google

(Barcan-Marcus 1972) – R. Barcan-Marcus, “Quantification and Ontology”, Noûs, Vol. 6, No. 3:240-250, 1972. Cerca con Google

(Barcan-Marcus 1978) – R. Barcan-Marcus, “Nominalism and the Substitutional Quantifiers”, The Monist, Vol. 61, No. 3, 1978, pp. 351-362. Cerca con Google

(Barone 1977) – F. Barone, Il neopositivismo logico, 2 Voll. Laterza, Roma-Bari 1977. Cerca con Google

(Bellissima 2008) – F. Bellissima, Fondamenti di matematica, Carocci, Roma 2008. Cerca con Google

(Bellotti 2003) – L. Bellotti, “Tarski on Logical Notions”, Synthese 135:401–413, 2003. Cerca con Google

(Berto, Plebani 2015) – F. Berto, M. Plebani, Ontology and Metaontology, Bloomsbury, London 2015. Cerca con Google

(Bochenski 1972) – J.M. Bochenski, La logica formale, Einaudi, Torino 1972. Cerca con Google

(Bochenski 1974) – J.M. Bochenski, “Logic and Ontology”, Philosophy East and West, Vol. 24, No. 3: 275-292, 1974. Cerca con Google

(Bochenski 1995) – J.M. Bochenski, Nove lezioni di logica simbolica, ESD 1995. Cerca con Google

(Boccuni 2012) – F. Boccuni, Logicismo plurale, Aracne, Roma 2012. Cerca con Google

(Boccuni, Carrara 2016) – F. Boccuni, M. Carrara, E. Martino, “The Logicality of Second-Order Logic. An Analysis in Term of Plural Arbitrary Reference and Acts of Choice”, in M. Carrara, A. Arapinis, F. Moltmann, Unity and Plurality. Logic, Philosophy, Semantics, Oxford University Press, 2016 (in pubblicazione). Cerca con Google

(Borges 1967) – C.J.R. Borges, “A Study on Multi-valued Functions”, Pacific Journal of Mathematics, Vol. 23, No. 3, 1967. Cerca con Google

(Bostock 2002) D. Bostock, Intermediate Logic, Clarendon Press, 2002. Cerca con Google

(Boyer 1980) – C. B. Boyer, Storia della matematica, Mondadori 1980. Cerca con Google

(Bricker 2014) – P. Bricker, “Ontological Commitment”, The Stanford Encyclopedia of Philosophy (Winter 2014 Edition), E.N. Zalta (ed.). Cerca con Google

(Burgess, Rosen 1997) – J.P. Burgess, G. Rosen, A Subject with No Object, Clarendon Press, 1997. Cerca con Google

(Carrara, De Florio 2016) – M. Carrara, C. De Florio “On an Account of Logicality”, (in pubblicazione). Cerca con Google

(Carrara, Arapinis 2016) – M. Carrara, A. Arapinis, F. Moltmann, Unity and Plurality. Logic, Philosophy, Semantics, Oxford University Press, 2016 (in pubblicazione). Cerca con Google

(Casari 1972) – E. Casari, Questioni di filosofia della matematica, Feltrinelli 1972. Cerca con Google

(Cellucci 2002) – C. Cellucci, Filosofia e matematica, Laterza, Roma 2002. Cerca con Google

(Cellucci 2007) – C. Cellucci, La filosofia della matematica del Novecento, Laterza, Roma 2007. Cerca con Google

(Cellucci 2013) – C. Cellucci, Rethinking Logic: Logic in Relation toMathematics, Evolution and Method, Springer Berlin, 2013. Cerca con Google

(Cellucci 2014) – C. Cellucci, “Knowledge, Truth and Plausibility”, Axiomathes, on-line. Cerca con Google

(Church 1956) – A. Church, Introduction to Mathematical Logic, Priceton University Press, Princeton 1956. Cerca con Google

(Cocchiarella 1975) – N.B. Cocchiarella, “Second-Order Theory of Predication: Old and New Foundation”, Noûs, 9: 33–53, 1975. Cerca con Google

(Cocchiarella 1988) – N. B. Cocchiarella, “Predication versus Membership in the Distinction Between Logic as Language and Logic as Calculus”, Synthese, 77:37-72, 1988. Cerca con Google

(Cocchiarella 1989) – N. B. Cocchiarella, “Philosophical Perspectives on Formal Theories of Predication”, in D. Gabbay & F. Guenthner (eds.), Handbook of Philosophical Logic, vol IV (Topic in the Philosophy of Language), Reidel P.C. 1989, pp. 253-326. Cerca con Google

(Cocchiarella 2001) – N.B. Cocchiarella, “Logic and Ontology”, Axiomathes, 12: 117–150, Kluwer Academic Publishers, 2001. Cerca con Google

(Cocchiarella 2007) – N. B. Cocchiarella, Formal Ontology and Conceptual Realism, Springer Dordrecht, 2007. Cerca con Google

(Cocchiarella 2014) – N.B. Cocchiarella, “Two Views of the Logic of Plurals and the Reduction of One to the Other”, Studia Logica, published on line, 2014. Cerca con Google

(Dalla Chiara 1974) – M.L. Dalla Chiara, Logica, ISEDI, Milano 1974. Cerca con Google

(De Florio 2007) – C. De Florio, Categoricità e modelli intesi. Temi di filosofia dell’aritmetica, Franco Angeli, Milano 2007. Cerca con Google

(Donnellan 1966) – K.S. Donnellan, “Reference and Definite Descriptions”, The Philosophical Review, vol. 75, no. 3, 1966, pp. 281-304. Cerca con Google

(Dunn, Belnap 1968) – J.M. Dunn & N. D. Belnap, “The Substitution Interpretation of Quantifiers”, Noûs, Vol. 2, No. 2, 1968, pp. 177-185. Cerca con Google

(Dutilh-Novaes, 2012) – C. Dutilh-Novaes, “The Undergeneration of Permutation Invariance as a Criterion of Logicality”, Erkenntnis, Springer, online 2012. Cerca con Google

(Enderton 2001) – H.B. Enderton, A Mathematical Introduction to Logic, Academic Press, London 2001. Cerca con Google

(Frege 1960a) – G. Frege, ‘Function and Concept’, (1891) in P. Geach, M. Black (eds.), Translation from the Philosophical Writings of Gottlob Frege, Basil Blackwell, Oxford 1960. Cerca con Google

(Frege 1960b) – G. Frege, ‘On Concept and Object’, (1892) in P. Geach, M. Black (eds.), Translation from the Philosophical Writings of Gottlob Frege, Basil Blackwell, Oxford 1960. Cerca con Google

(Frege 1960c) – G. Frege, ‘On Sense and Reference’, (1892) in P. Geach, M. Black (eds.), Translation from the Philosophical Writings of Gottlob Frege, Basil Blackwell, Oxford 1960. Cerca con Google

(Frege 1964) – G. Frege, The Basic Laws of Arithmetic, University of California Press 1964. Cerca con Google

(Frigerio 2008) – A. Frigerio, Quantificazione e riferimento plurale, Carocci, Roma 2008. Cerca con Google

(Frigerio 2012) – A. Frigerio, ‘Riferimento plulare’, Aphex, 6, 2012. Cerca con Google

(Frixione, Palladino 2011) – M. Frixione, D. Palladino, La computabilità, algoritmi, logica, calcolatori, Carocci, Roma 2011. Cerca con Google

(Galvan 2012) – S. Galvan, Logica, La Scuola, 2012. Cerca con Google

(Geach, Black 1960) – P. Geach, M. Black (eds.), Translation from the Philosophical Writings of Gottlob Frege, Basil Blackwell, Oxford 1960. Cerca con Google

(Gödel 2011) – K. Gödel, Scritti scelti, (a cura di) G. Lolli, Bollati Boringhieri, Torino 2011. Cerca con Google

(Haack 1978) – S. Haak, Philosophy of Logic, Cambridge University Press, London 1978. Cerca con Google

(Halmos 1964) – P.R. Halmos, Teoria elementare degli insiemi, Feltrinelli, Milano 1964. Cerca con Google

(Hand 2006) – M. Hand, “Objectual and Substitutional Interpretations of the Quantifiers”, in D. Jacquette (ed.), Philosophy of Logic, North Holland 2006, 649-674. Cerca con Google

(Hardy 1921) – G.H. Hardy, A Course in Pure Mathematics, Cambridge University Press, 1921 (3rd ed.) on line at http://www.gutenberg.org/files/38769/38769-pdf.pdf. Vai! Cerca con Google

(Hintikka 2000) – J. Hintikka, On Goedel, Wadsworth, Belmont 2000. Cerca con Google

(Jacquette 2002) – D. Jacquette, Ontology, Acumen 2002. Cerca con Google

(Jacquette 2006) – D. Jaquette (ed.), Philosophy of Logic, North Holland 2007. Cerca con Google

(Kneale 1956) – W. Kneale, “The Province of Logic”, Contemporary British Philosophy (3rd Series), Allen & Unwin, London 1956:237-261. Cerca con Google

(Kneale 1957) – W. Kneale, “The Province of Logic”, Mind, Vol. 66, No. 262:258, 1957. Cerca con Google

(Knopp 2013) – K. Knopp, Theory of Functions, Voll. II, Dover Publications, NY 2013. Cerca con Google

(Linnebo 2003) – Ø. Linnebo, “Plural Quantification Exposed”, Noûs, 37:1, 71-92, 2003. Cerca con Google

(Linnebo 2010) – Ø. Linnebo, “Pluralities and Sets”, Journal of Philosophy, 107 (3):144-164, 2010. Cerca con Google

(Linnebo 2013) – Ø. Linnebo, “Plural Quantification”, in Stanford Encyclopedia of Philosophy, 2004, revised 2010. Cerca con Google

(Lolli 2008) – G. Lolli, Guida alla teoria degli insiemi, Springer, Milano 2008. Cerca con Google

(Malley 2009) – D. Malley, ‘Introduction: A Guided Tour of Metametaphysics’ in Chalmers, Manley and Wasserman (eds), Metametaphysics. New Essays on the Foundations of Ontology. Oxford: Clarendon Press, pp. 1–37. Cerca con Google

(McKay 2006) – T. McKay, Plural Predication, Clarendon Press, Oxford 2006. Cerca con Google

(Moltmann 2016) – F. Moltmann, “Plural Reference and Reference to a Plurality. Linguistic Facts and Semantic Analysis”, in M. Carrara, A. Arapinis & F. Moltmann (eds.), Unity and Plurality. Logic, Philosophy, and Semantics. Oxford University Press 2016 (forthcoming). Cerca con Google

(Negri, von Plato 2001) – S. Negri, J. von Plato, Structural Proof Theory, Cambridge University Press, 2001. Cerca con Google

(Oliver, Smiley 2006) – A. Oliver, T. Smiley, ‘A Modest Plural Logic’, Journal of Philosophical Logic, 35: 317-348, Springer 2006. Cerca con Google

(Oliver, Smiley 2013) – A. Oliver, T. Smiley, Plural Logic, Oxford University Press 2013. Cerca con Google

(Parsons 1990) – C. Parsons, The Structuralist View of Mathematical Objects, Synthese, 84, 3 1990. Cerca con Google

(Parsons 2008) – C. Parsons, Mathematical Thought and Its Object, Cambridge University Press 2008. Cerca con Google

(Penrose 2004) – R. Penrose, The Road to Reality, Academic Press, London 2004. Cerca con Google

(Quine 1937) – W.O. Quine, ‘New Foundation for Mathematical Logic’ The American Mathematical Monthly, Vol. 44, No. 2:70-80, 1937. Cerca con Google

(Quine 1963) – W.O. Quine, From a Logical Point of View, Harper, NY 1963. Cerca con Google

(Quine 1969) – W.O. Quine, Set Theory and Its Logic, Harvard University Press, 1969. Cerca con Google

(Quine 1972) – W.O. Quine, Manuale di logica, Feltrinelli, Roma-Bari 1972. Cerca con Google

(Quine 1981) – W.O. Quine, Mathematical Logic, Harvard University Press 1940, revised 1981. Cerca con Google

(Quine 1986) – W. O. Quine, Philosophy of Logic, Harvard University Press (1970) 1986. Cerca con Google

(Quine 2008) – W.O. Quine, Parola e oggetto, Il Saggiatore, Milano 2008. Cerca con Google

(Resnik 1988) – M.D. Resnik, “Second-Order Logic Still Wild”, The Journal of Philisophy, 85: 75–87, 1988. Cerca con Google

(Russell 1997) – B. Russell, Introduzione alla filosofia della matematica, Newton Compton, Roma 1997. Cerca con Google

(Russell 2005) – B. Russell, “On Denoting”, Mind, New Series, Vol. 114, No. 456:873-887 (1905) 2005. Cerca con Google

(Russell 2011) – B. Russell, I principi della matematica, Bollati Boringhieri, Torino 2011. Cerca con Google

(Salmon 2005) – N.U. Salmon, Reference and Essence, Prometheus Books, NY 2005. Cerca con Google

(Schein 1995) – B. Schein, Plurals and Events. MIT Press, Cambridge (Mass.) 1995. Cerca con Google

(Shapiro 1991) – S. Shapiro, Foundation without Foundationalism, Oxford U.P., 1991. Cerca con Google

(Shapiro 1997) – S. Shapiro, Philosophy of Mathematics, Oxford University Press, 1997. Cerca con Google

(Shapiro 2005) – S. Shapiro , “Higer Order Logic”, in S. Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic, Oxford University Press, 2005. Cerca con Google

(Shapiro 2005a) – S. Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic, Oxford University Press, 2005. Cerca con Google

(Shapiro 2012) – S. Shapiro, “An ‘i’ for an i: Singular Terms, Uniqueness and Reference”, The Review of Simbolic Logic, Vol. 5, No. 3:380-415, 2012. Cerca con Google

(Smith 2013) – P. Smith, An Introduction to Folrmal Logic, Cambridge UP, 2013. Cerca con Google

(Spiegel 1975) – M. R. Spiegel, Complex Variables, McGraw-Hill 1964, trad. it. Variabili complesse, Etas, 1975. Cerca con Google

(Soames 1999) – S. Soames, “The Indeterminacy of Translation and the Inscrutability of Reference”, Canadian Journal of Philosophy, 29:321-370, 1999. Cerca con Google

(Soames 2003) – S. Soames, Philosophical Analysis in the Twentieth Century, Vol. 1, Princeton University Press 2003. Cerca con Google

(Tarski 1986) – A. Tarski, “What are logical notions?”, edito (con una introduzione) da J. Corcoran, History and Philosophy of Logic, 7:143–154, 1986. Cerca con Google

(van Heijenoort 1967) – J. van Heijenoort, “Logic as Calculus and Logic as Language”, Synthese, Reidel Publishing, 17:324-330, 1967. Cerca con Google

(van Heijenoort 1974) – J. van Heijenoort, “Subject and Predicate in Western Logic” Philosophy East and West, Vol. 24, No. 3:253-268, University of Hawai’i Press, 1974. Cerca con Google

(van Inwagen 1998) – P. van Inwagen, ‘Meta-Ontology’, Erkenntnis, 48: 233–50, repr. in Id. (2001): 13–31. Cerca con Google

(Wallace 1970) – J. Wallace, “On the Frame of Reference”, Synthese, 22:117-150, Dodrecht 1970. Cerca con Google

(Whitehead, Russell 1910) – A. N. Whitehead, B. Russell, Principia Mathematica, Vol I, 1910. Cerca con Google

(Williamson 2013) – T. Williamson, Modal Logic as Metaphysics, Oxford University Press, 2013. Cerca con Google

(Yi 1999) – B. Yi, “Is two a property?”, Journal of Philosophy, 95:163-190, 1999. Cerca con Google

(Yi 2005) – B. Yi, “The Logic and Meaning of Plurals. Part I”, Journal of Philosophical Logic, 34: 459–506, 2005. Cerca con Google

(Yi 2006) – B. Yi, “The Logic and Meaning of Plurals. Part II”, Journal of Philosophical Logic, 35: 239–288, 2006. Cerca con Google

Download statistics

Solo per lo Staff dell Archivio: Modifica questo record