Quantificação plural

Na matemática e na lógica, a quantificação plural é a teoria na qual uma variável individual x pode representar múltiplos objetos (plural), assim como objetos individuais (singular). Assim, da mesma forma que podemos substituir objetos como Alice, o número 1, ou a maior construção em Londres, por x, nós também podemos representar por x várias pessoas (ex: Alice e Bob), todos os números de 0 até 10, ou todas as construções em Londres com 20 andares ou mais.

O objetivo desta teoria é fornecer à Lógica de primeira ordem característcas da teoria dos conjuntos, sem entretanto transformar os objetos em conjuntos. As exposições clássicas dessa teoria se devem a Boolos (1984) e a Lewis (1991).

História

A visão desta teoria é comumente associada a George Boolos, apesar de ser mais antiga (observando notavelmente Simons (1982)), e está relacionada à visão de classes defendida por John Stuart Mill e outros filósofos nominalistas. Mill argumentava que os universais ou "classes" não são um tipo de objeto em particular, tendo um objetivo existencial distinto do objetivo de objetos individuais que recaem sob eles. Entretanto, "is neither more nor less than the individual things in the class" ("não são nem mais nem menos do que os objetos individuais em uma classe"). (Mill 1904, II. ii. 2,also I. iv. 3).

Um pensamento similar foi também discutido por Bertrand Russell no capítulo VI de Russel (1903), mas foi abandonado posteriormente devido a teoria "sem classes". Para maior aprofundamento, veja também Gottlob Frege (1895), onde este critica uma visão anterior defendida por Ernst Schroeder.

A ideia geral pode ser remontada aLeibiniz. (Levey 2011, pp. 129–133)

O interesse na teoria dos plurais foi revivido com o trabalho em linguística nos anos 70, devido a  Remko SchaGodehard LinkFred LandmanRoger SchwarzschildPeter Lasersohn, entre outros, que desenvolveram ideias para a semântica dos plurais.

Conhecimento preliminar e motivação

Predicados e relações "multigrade" (variavelmente poliádicos)

Sentenças como

Alice e Bob cooperaram.
Alice, Bob e Carol cooperaram.

envolvem um predicado ou uma relação "multigrade" (também conhecidos como predicado/relação variavelmente poliádico(a)). No exemplo, o predicado era "cooperaram". Dizer que um predicado é variavelmente poliádico significa que ele representa um único conceito (relação), apesar de não ter uma aridade fixa (cf. Linnebo & Nicolas 2008). A noção de relação/predicado "multigrade" apareceu por volta de 1940 e foi notavelmente usada por Quine (cf. Morton 1975). A Quantificação plural procura formalizar a quantificação sobre os argumentos de tamanho variável desses predicados, e.g. "xx cooperaram", onde xx é uma variável plural. Note desse exmeplo que não faz sentido, semanticamente, instanciar xx como o nome de uma única pessoa.

Nominalismo

De modo geral, o nominalismo nega a existência dos universais (entidades abstratas), tais como conjuntos, classes, relações, propriedades, etc. Logo, a lógica plural foi desenvolvida na tentativa de formalizar o raciocínio sobre os plurais, tais como os raciocínios que envolvem predicados "multigrade", sem fazer uso, aparentemente, de conceitos que os nomalistas negam, e.g. conjuntos.

Algumas lógicas de primeira ordem têm dificuldades em representar algumas sentenças com plurais. A mais conhecida é a frase de Geach-Kaplan "some critics admire only one another" (alguns críticos admiram apenas uns aos outros). Kaplan provou que essa sentença é "nonfirstorderizable" (ou seja, é incapaz de ser representada adequadamete por algumas teorias da lógica de primeira ordem). Logo, sua paráfrase em uma linguagem formal nos pede uma quantificação sobre os conjuntos (i.e. sobre a existência dos conjuntos). Entretanto, alguns estudiosos defendem

Note que uma instância individual de uma sentença, tal como "Alice, Bob e Carol admiram apenas uns aos outros", não precisa envolver conjuntos, e é equivalente à conjunção das seguintes sentenças de primeira ordem:

∀x(se Alice admira x, então x = Bob ou x = Carol)

∀x(se Bob admira x, então x = Alice ou x = Carol)

∀x(se Carol admira x, então x = Bob ou x = Alice)

onde o escopo do x se encontra sobre todos os críticos (supondo que os críticos não admiram a si mesmos). Entretanto, a sentença analisada se parece com uma instância de "algumas pessoas admiram apenas umas as outras", a qual não é possível ser formulada, em geral, em primeira ordem.

Boolos argumentou que a quantificação monádica de segunda ordem poderia ser interpretada, sistematicamente, de acordo com a quantificação plural e, consequentemente, a quantificação monádica de segunda ordem é "ontologicamente inocente".[1]

Mais tarde, Oliver & Smiley (2001), Rayo (2002), Yi (2005) e McKay (2006) argumentaram que as sentenças

  1. Eles são companheiros de bordo
  2. Eles levantaram um piano
  3. Eles estão rodeando uma construção
  4. Eles admiram apenas uns aos outros

também não podem ser interpretadas na lógica de segunda ordem monádica. Isso se deve ao fato de que os predicados "são companheiros de bordo", "estão rodendo uma construção", "admiram apenas uns aos outros", não são predicados distributivos. Um predicado F é distributivo se, se há objetos que são F, então cada um desses objetos é F. Mas na lógica clássica, todo predicado monádico é distributivo. Além disso, essas sentenças aparentam ser livres de quaisquer suposições existenciais, e não envolvem quantificação.

Então alguém poderia sugerir uma configuração unificada, no âmbito dos termos plurais, de tal forma a permitir a satisfação de predicados, tanto distributivos, quanto não-distributivos, enquanto defende essa posição contra a suposição "singularista" de que tais predicados são predicados de um conjunto de indivíduos (ou de somas mereológicas).

Vários escritores sugeriram que a lógica plural abre a possibilidade de simplificar as fundações da matemática, evitando os paradoxos teoria dos conjuntos, e simplificando os axiomas complexos e não-intuitivos nos quais a teoria dos conjuntos se baseia para evitar alguns paradoxos.

Recentemente, Linnebo & Nicolas (2008) sugeriram que as linguagens naturais contém, frequentemente, variáveis superplurais (e quantificadores associados), tal como "Estas pessoas, aquelas pessoas, e estas outras pessoas competem umas contra as outras" (e.g times em jogos online), enquanto Nicolas (2008) tem defendido que a lógica plural deveria ser utilizada para levar em conta a semântica de substantivos "incontáveis" (em inglês, uncontable nouns, como vinho = "wine" e mobília = "furniture").

Definição formal

Esta seção apresenta uma formulação simples da lógica/quantificação plural, aproximadamente a mesma dada por Boolos em "Nominalist Platonism" (Boolos 1985).

Sintaxe

As unidades básicas sintáticas são definidas como

  • Símbolos de predicado , , etc. (com suas respectivas aridades, as quais foram deixadas implícitas)
  • Símbolos de variáveis singulares , , etc.
  • Símbolos de variáveis plurais , , etc.

As sentenças da lógica plural são definidas como

  • Se é um símbolo de relação n-ária, e são símbolos de variáveis singulares, então é uma sentença.
  • Se é uma sentença, então também o é
  • Se e são sentenças, então também o é
  • Se é uma sentença e é um símbolo de variável singular, então é uma sentença
  • Se é um símbolo de variável singular e é um símbolo de variável plural, então é uma sentença (onde ≺ é comumente interpretado como a relação "é um de", "é do tipo de").
  • Se é uma sentença e ié um símbolo de variável plural, então é uma sentença

As últimas duas linhas são as únicas essencialmente novas que participam da sintaxe da lógica plural. Outros símbolos lógicos que podem ser definido a partir do que foi exposto, podem ser utilizados para a abreviação da notação.

Esta lógica acaba por ser interpretada equivalentemente à lógica monádica de segunda ordem.

Teoria dos modelos

A teoria dos modelos/semântica da lógica plural é onde a falta de definições da teoria dos conjuntos nesta lógica é realmente notória. Um modelo é definido como a tupla , onde é o domínio, é uma coleção de valores para cada predicado , nomeado da maneira usual, e é uma sequência de Tarski (i.e. um mapeamento da cada símbolo de variável singular para elementos de ). O novo componente é uma relação binária que associa valores no domínio aos símbolos de variáveis plurais.

A satisfatibilidade é dada por

  • se, e somente se
  • se, e somente se
  • se, e somente se e
  • se, e somente se exite tal que
  • se, e somente se
  • se, e somente se existe tal que

Onde para símbolos de variáveis singulares, significa que para todo símbolo de variável singular diferentes de , é verdade que , e para símbolos de variáveis plurais, significa que para todo símbolo de variável plural diferente de , e para todos os objetos do domínio , é verdade que .

Assim como na sintaxe, apenas as últimas duas afirmações são novidades da lógica plural. Boolos observa que, ao usar relações de atribuição , o domínio não precisa incluir conjuntos e, consequentemente, a lógica plural obtém a "inocência ontológica" pretendida, enquanto mantém a habilidade de analisar as extensões de um predicado. Logo, o esquema compreensivo da lógica plural não produz o paradoxo de Russel, porque a quantificação de variáveis plurais não quantifica sobre o domínio. Outro aspecto da lógica plural tal como definida por Boolos, crucial para evitar-se o paradoxo de Russel, é o fato das sentenças da forma não são bem formadas: nomes de predicados podem apenas ser combinados com símbolos de variáveis singulares, mas não de variáveis plurais.

Esse pode ser encarado como o mais simples e mais óbvio argumento de que a lógica plural como Boolos a define é "ontologicamente inocente". Deve ser observado que a lógica de Boolos é pelo menos tão "inocente" quanto a lógica não plural sem conjuntos no domínio, porque qualquer sequência de Tarski é também uma relação que relaciona valores à variáveis. Mais ainda, relaciona precisamente um valor a cada variável (i.e. , é uma função, e todas as funções são relações).

Referências

  1. Harman, Gilbert; Lepore, Ernest (2013), A Companion to W. V. O. Quine, ISBN 9781118608029, Blackwell Companions to Philosophy, John Wiley & Sons, p. 390 .
  • George Boolos, 1984, "To be is to be the value of a variable (or to be some values of some variables)," Journal of Philosophy 81: 430–449. In Boolos 1998, 54–72. (Em inglês)
  • --------, 1985, "Nominalist platonism." Philosophical Review 94: 327–344. In Boolos 1998, 73–87. (Em inglês)
  • --------, 1998. Logic, Logic, and Logic. Harvard University Press. (Em inglês)
  • Burgess, J.P., "From Frege to Friedman: A Dream Come True?" (Em inglês)
  • --------, 2004, “E Pluribus Unum: Plural Logic and Set Theory,” Philosophia Mathematica 12(3): 193–221. (Em inglês)
  • Cameron, J. R., 1999, "Plural Reference," Ratio. (Em inglês)
  • Cocchiarella, Nino (2002). «On the Logic of Classes as Many». Studia Logica. 70: 303–338. doi:10.1023/A:1015190829525  (Em inglês)
  • De Rouilhan, P., 2002, "On What There Are," Proceedings of the Aristotelian Society: 183–200. (Em inglês)
  • Gottlob Frege, 1895, "A critical elucidation of some points in E. Schroeder's Vorlesungen Ueber Die Algebra der Logik," Archiv fur systematische Philosophie: 433–456. (Em inglês)
  • Landman, F., 2000. Events and Plurality. Kluwer. (Em inglês)
  • Laycock, Henry (2006), Words without Objects, ISBN 9780199281718, Oxford: Clarendon Press, doi:10.1093/0199281718.001.0001 
  • David K. Lewis, 1991. Parts of Classes. London: Blackwell. (Em inglês)
  • Linnebo, Øystein; Nicolas, David. «Superplurals in English» (PDF). Analysis. 68 (3): 186–97. doi:10.1093/analys/68.3.186. Consultado em 11 de fevereiro de 2015. Arquivado do original (PDF) em 20 de julho de 2011 
  • McKay, Thomas J. (2006), Plural Predication, ISBN 978-0-19-927814-5, New York: Oxford University Press 
  • John Stuart Mill, 1904, A System of Logic, 8th ed. London: . (Em inglês)
  • Nicolas, David (2008). «Mass nouns and plural logic» (PDF). Linguistics and Philosophy. 31 (2): 211–244. doi:10.1007/s10988-008-9033-2. Consultado em 11 de fevereiro de 2015. Arquivado do original (PDF) em 19 de fevereiro de 2012 
  • Oliver, Alex; Smiley, Timothy (2001). «Strategies for a Logic of Plurals». Philosophical Quarterly. 51 (204): 289–306. doi:10.1111/j.0031-8094.2001.00231.x 
  • Oliver, Alex (2004). «Multigrade Predicates». Mind. 113: 609–681. doi:10.1093/mind/113.452.609 
  • Rayo, Agustín (2002). «Word and Objects». Noûs. 36: 436–64. doi:10.1111/1468-0068.00379 
  • --------, 2006, “Beyond Plurals,” in Rayo and Uzquiano (2006). (Em inglês)
  • --------, 2007, “Plurals,” forthcoming in Philosophy Compass. (Em inglês)
  • --------, and Gabriel Uzquiano, eds., 2006. Absolute Generality Oxford University Press.
  • Bertrand Russell, B., 1903. The Principles of Mathematics. Oxford Univ. Press.
  • Peter Simons, 1982, “Plural Reference and Set Theory,” in Barry Smith, ed., Parts and Moments: Studies in Logic and Formal Ontology. Munich: Philosophia Verlag.
  • --------, 1987. Parts. Oxford University Press.
  • Uzquiano, Gabriel (2003). «Plural Quantification and Classes». Philosophia Mathematica. 11 (1): 67–81. doi:10.1093/philmat/11.1.67 
  • Yi, Byeong-Uk (1999). «Is two a property?». Journal of Philosophy. 95: 163–190 
  • --------, 2005, “The Logic and Meaning of Plurals, Part I,” Journal of Philosophical Logic 34: 459–506. (Em inglês)
  • Adam Morton. "Complex individuals and multigrade relations." Noûs (1975): 309-318. JSTOR 2214634
  • Samuel Levey (2011) "Logical theory in Leibniz" in Brandon C. Look (ed.) The Continuum Companion to Leibniz, Continuum International Publishing Group, ISBN 0826429750

Ligações externas

Read other articles:

John Wilson SpragueBrig. Gen. John W. SpragueLahir(1817-04-04)4 April 1817White Creek, New YorkMeninggal27 Desember 1893(1893-12-27) (umur 76)Tacoma, WashingtonTempat pemakamanTacoma Cemetery, Tacoma, WashingtonPengabdianAmerika SerikatUnionDinas/cabangAngkatan Darat Amerika SerikatUnion ArmyLama dinas1861–1866Pangkat Brigadir Jenderal Brevet Mayor JenderalKesatuanArmy of the TennesseeKomandan63rd Ohio Infantry2nd Brigade, 4th Division, XVI CorpsPerang/pertempuranPerang Saudara Am...

 

Janda IndianInggris: Indian WidowSenimanJoseph WrightTahun1783 (1783)/1784Tipecat minyak pada kanvasLokasiMuseum dan Galeri Seni Derby, Derby Janda Indian atau Indian Widow adalah lukisn dari Joseph Wright, selesai di akhir 1783 atau awal 1784 dan pertama kali dipamerkan di pameran tunggalnya tahun 1785 di London. Lukisan ini sekarang dipamerkan di Museum dan Galeri Seni Derby, Inggris.[1] Penjelasan Janda Indian adalah judul yang dipakai oleh pelukis sendiri, tetapi judul yang l...

 

Fakultas Teknik Sipil dan LingkunganInstitut Teknologi BandungJenisPerguruan Tinggi Negeri Badan HukumDidirikan1973 (sebagai FTSP)29 Agustus 2005 (sebagai FTSL) DekanIr. Edwan Kardena, Ph.D.LokasiBandung, Jawa Barat, IndonesiaAlamatJl. Ganesha No. 10Bandung 40132Nama julukanFTSL ITBSitus webftsl.itb.ac.id Informasi UmumJenjangS1, S2, S3Jalur MasukSNMPTN, SBMPTN, dan SM ITBGuru Besar Aktif26 orangKelompok Keahlian Rekayasa Struktur Rekayasa Geoteknik Teknik Sumber Daya Air Rekayasa Transportas...

Scary Movie 5Poster FilmSutradaraMalcolm D. LeeProduserDavid ZuckerPhil DornfeldDitulis olehPat ProftDavid ZuckerPemeranAshley TisdaleSimon RexErica AshMolly ShannonHeather LocklearJ.P. ManouxJerry O'ConnellCharlie SheenLindsay LohanPenata musikJames L. VenableSinematograferSteven Douglas SmithPenyuntingSam SeigPerusahaanproduksiBrad Grey PicturesDistributorDimension FilmsThe Weinstein CompanyTanggal rilis 12 April 2013 (2013-04-12) Durasi86 Menit[1]NegaraAmerika SerikatBah...

 

Australian politician The HonourableJohn McLeayMinister for Administrative ServicesIn office5 December 1978 – 3 November 1980Prime MinisterMalcolm FraserPreceded byFred ChaneySucceeded byKevin NewmanMinister for ConstructionIn office22 December 1975 – 5 December 1978Prime MinisterMalcolm FraserPreceded byJohn Carrick (Housing and Construction)Succeeded byRay GroomMember of the Australian Parliamentfor BoothbyIn office26 November 1966 – 22 January 1981Preceded ...

 

Municipality in Veracruz, MexicoTlacotalpanMunicipalityMunicipality of Tlacotalpan SealTlacotalpanShow map of VeracruzTlacotalpanShow map of MexicoCoordinates: 18°37′N 95°40′W / 18.617°N 95.667°W / 18.617; -95.667Country MexicoStateVeracruzRegionPapaloapanMunicipal seatTlacotalpanGovernment • MayorLuis Medina Aguirre (Independent)Area • Total646.51 km2 (249.62 sq mi)Elevation10 m (30 ft)Population (2005...

Сельское поселение России (МО 2-го уровня)Новотитаровское сельское поселение Флаг[d] Герб 45°14′09″ с. ш. 38°58′16″ в. д.HGЯO Страна  Россия Субъект РФ Краснодарский край Район Динской Включает 4 населённых пункта Адм. центр Новотитаровская Глава сельского пос�...

 

American entomologist (1867–1937) Vernon KelloggBorn(1867-12-01)December 1, 1867Emporia, KansasDiedAugust 8, 1937(1937-08-08) (aged 69)Hartford, ConnecticutSpouseCharlotte Hoffman Vernon Lyman Kellogg (December 1, 1867 – August 8, 1937) was an American entomologist, evolutionary biologist, and science administrator. A major contribution was his study of bird lice and their hosts. He established the Department of Zoology at Stanford University in 1894, and served as the first permanen...

 

Egyptian politician Sherif Sabri PashaPhotograph taken in 1939Born1895Cairo Sherif Sabri Pasha (Arabic: شريف صبري باشا, Turkish: Şerif Sabri Paşa), born in Cairo in 1895, was the brother of Nazli Sabri, Queen consort of Egypt. He was thus the maternal uncle of Nazli's son King Farouk I, and served on the three-member Regency Council that was formed in 1936-37 during the latter's minority. Sherif Pasha Sabri was 41 years old at the time, and had previously held the post of Unders...

العلاقات السودانية النمساوية السودان النمسا   السودان   النمسا تعديل مصدري - تعديل   العلاقات السودانية النمساوية هي العلاقات الثنائية التي تجمع بين السودان والنمسا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقا...

 

Political draft movement This article is part of a series aboutMichael Bloomberg Political positions Electoral history Bloomberg L.P. Terminal News Television Radio Businessweek Markets Mayor of New York City Mayoralty Elections 2001 2005 2009 2020 presidential campaign Primaries Endorsements Bloomberg Philanthropies Beyond Coal Everytown for Gun Safety Willett Advisors Draft Bloomberg movement Portable Bloomberg: The Wit andWisdom of Michael Bloomberg vte The Draft Bloomberg movement is a po...

 

As fases preliminares da Copa Libertadores da América de 2024 foram disputadas de 6 de fevereiro a 14 de março de 2024.[1] Um total de 19 equipes competiram nas fases de qualificação para decidir quatro das 32 vagas na fase de grupos da Copa Libertadores de 2024.[2] As equipes se enfrentaram em jogos eliminatórios de ida e volta, classificando-se a que somasse o maior número de pontos. Em caso de igualdade em pontos, a vaga seria definida em disputa por pênaltis. Sorteio O sorteio das ...

كأس سلوفينيا 2017–18 تفاصيل الموسم كأس سلوفينيا  النسخة 27  البلد سلوفينيا  التاريخ بداية:16 أغسطس 2017  نهاية:30 مايو 2018  المنظم اتحاد سلوفينيا لكرة القدم  البطل نادي أولمبيا ليوبليانا  مباريات ملعوبة 32   عدد المشاركين 28   كأس سلوفينيا 2016–17  كأس سلوفينيا ...

 

Public university in Limpopo Province, South Africa University of the North redirects here. For the institution with the same name in Colombia, see Universidad del Norte. University of LimpopoMottoThe University of Limpopo for human and environmental wellness in a rural context; finding solutions for Africa!TypePublic universityEstablished1 January 2005(by merger of existing institutions)ChancellorNkosazana Dlamini ZumaVice-ChancellorMahlo Mokgalong[1]LocationMankweng, Limpopo, South ...

 

Large baleen whale species Fin whale[1] A fin whale surfacing in Greenland Size compared to an average human Conservation status Vulnerable  (IUCN 3.1)[2] CITES Appendix I (CITES)[3] Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Class: Mammalia Order: Artiodactyla Infraorder: Cetacea Family: Balaenopteridae Genus: Balaenoptera Species: B. physalus Binomial name Balaenoptera physalus(Linnaeus, 1758) Subspecies B. p. physal...

Direktorat Hukum Angkatan DaratDibentuk1 Maret 1952Negara IndonesiaCabangTNI Angkatan DaratBagian dariTentara Nasional IndonesiaMotoSatya Wira WibawaSitus webditkumad.mil.idTokohDirekturBrigadir Jenderal TNI Aloysius Agung Widi Wandono, S.H., M.H. Direktorat Hukum Angkatan Darat atau Ditkumad adalah salah satu dinas yang berkedudukan sebagai badan pelaksana fungsi teknis militer umum dan sebagai pembantu komando TNI AD serta jajarannya dalam pelaksanaan tugas bidang pembinaan dan penyele...

 

Katusha-AlpecinInformationsStatuts UCI ProTeam (2009-2012)continentale pro (1er janvier - 14 février 2013)UCI ProTeam (15 février 2013 - 31 décembre 2014)UCI WorldTeam (2015-2019)Codes UCI KAT (de 2009 à 2017) et TKA (de 2018 à 2019)Discipline Cyclisme sur routePays Russie (2009-2016) Suisse (2017-2019)Création 2009Disparition 2019Saisons 11Budget 15 M€ (2014)Marque de cycles Canyon (2012-2019)EncadrementDirecteur général Viatcheslav Ekimov (2013-2016)José Azevedo (2017-2019)Direct...

 

Основная статья: Спорт в СССР Хоккей с шайбой в СССР Первые соревнования Год 1946 год Олимпийские игры 1956 год Чемпионат мира 1954 год Международная федерация Название ИИХФ Год основания 1908 год Глава федерации Люк Тардиф Хоккей с шайбой являлся в СССР вторым (после футбо...

Questa voce sull'argomento stagioni delle società calcistiche italiane è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Voce principale: Derthona Foot Ball Club 1908. Derthona Foot Ball ClubStagione 1930-1931Sport calcio Squadra Derthona Allenatore Ottavio Piccinini Presidente Marcello Bottazzi Serie B17º posto. Retrocesso in Prima Divisione. Maggiori presenzeCampionato: P.Taverna (33) Miglior ma...

 

Turkish singer BengüBengü in 2008BornBengü Erden[1] (1979-04-02) 2 April 1979 (age 45)İzmir, TurkeyOccupationsSingersongwriterSpouse Selim Selimoğlu ​(m. 2018)​Children2Musical careerGenresPopInstrumentVocalsYears active2000–presentLabelsKiss MüzikDSMErol KöseAvrupaDMC Musical artistWebsitewww.bengu.com.tr Bengü Erden (born 2 April[2] 1979) is a Turkish singer. She became first familiar with music during her time at the İzmir State ...