Agradeço, respeitosa e carinhosamente, à professora Itala D'Ottaviano; os anos em que estive sob sua supervisão despertaram em mim profundo respeito e admiração. A liberdade de trabalho que usufruí e a confiança em mim depositada sempre foram fontes de motivação e entusiasmo e, sem seu respaldo, este trabalho não lograria êxito.Agradeço, afetuosa e imensamente, a Rodrigo Freire, grande amigo e excelente orientador desta tese de doutorado. Desde antes de me graduar, Rodrigo sempre me incentivou e motivou com relação à academia e, durante meus anos como pós-graduando, esteve sempre presente e muito solícito. É colossal minha gratidão pela confiança em mim depositada, pelas muitas horas de trabalho em seminários e pelos muitos quilômetros de caminhadas, regadas à conversas sobre lógica e filosofia da matemática, pelos campi da Unicamp, USP e UnB.Agradeço, alegre e emocionadamente, a meus queridíssimos amigos Leandro, Henrique, Newton, Inés, Alfredo e Juliana. As viagens, a cumplicidade e a convivência das quais tive o privilégio e felicidade de gozar na companhia de vocês foram alguns dos principais momentos de alegria e contentamento que vivenciei durante os anos de doutoramento. Os muitos bons momentos com vocês compartilhados deixaram marcas indeléveis em mim e, sem vossa amizade, estes últimos anos teriam sido muito menos divertidos e tranquilos.Agradeço, muitíssimo, aos professores, aos pesquisadores e a todos os colegasem especial ao Bruno, Edson, Dave e Francesco -pela convivência harmoniosa, pelo ambiente amistoso e pelo clima de camaradagem e descontração presentes em todas as atividades desenvolvidas no Centro de Lógica. Sem esta atmosfera extremamente favorável, as muitas horas em que passei no Centro de Lógica certamente não teriam sido tão proveitosas e prazerosas.Por fim, gradeço à FAPESP, Fundação de Amparo à Pesquisa do Estado de São Paulo, pela concessão da bolsa de doutorado, cujo número do processo é 2013/01.011-6. ResumoEsta Tese tem por objetivo contribuir para o entendimento de dois assuntos caros à filosofia da matemática, a noções de verdade de proposições matemáticas e a noção de existência em aritmética. Para isso, são apresentadas duas contribuições originais, uma para cada um desses assuntos. Com relação à noção de verdade, são exploradas as consequências da adoção do pressuposto que as condições de verdade das proposições aritméticas são determinadas por um padrão normativo instituído pela prática matemática. A análise desenvolvida estabelece precisamente em qual sentido o modelo padrão da aritmética -e consequentemente, o valor de verdade das sentenças aritméticas -é fixado pelo pressuposto de análise. Quanto à noção de existência, é desenvolvida uma proposta de avaliação dos requerimentos existenciais das sentenças aritméticas a partir do pressuposto que o importe existencial destas sentenças é um atributo das condições de verdade das proposições aritméticas. A análise desse pressuposto motiva uma definição precisa e bem fundamentada, no contexto aritmético, para o conceito de axioma d...
Agradeço à professora Itala M. L. D'Ottaviano pela orientação e incentivo dispensados durante todo o processo de produção desta Dissertação e ao professor Hércules de Araujo Feitosa, com quem inicei meus estudos em lógica; agradeço também a Rodrigo de Alvarenga Freire, pela amizade e incentivo.Agradeço ainda aos professores Itala M. L. D'Ottaviano, Walter A. Carnielli e Marcelo E. Coniglio, bem como os pesquisadores Rodolfo Ertola e Fábio Bertato pelo esforço hercúleo que mantém uma atmosfera de rico debate intelectual e livre circulação de ideias no Centro de Lógica, Epistemologia e História da Ciência da UNICAMP.Ainda, agradeço aos amigos e colegas do Centro de Lógica, Epistemologia e História da UNICAMP, felizmente muitos para serem nomeados, pela convivência harmoniosa, pelo ambiente amistoso e pelo clima de camaradagem que perpassa todas as atividades desenvolvidas no referido Centro.Por fim, agradeço aos membros da banca de qualificação e de defesa desta Dissertação de Mestrado.A todos eles, MUITO OBRIGADO. ixx ResumoEsta Dissertação apresenta uma definição de lógica abstrata e caracteriza alguns sistemas lógicos bastante conhecidos na literatura como casos particulares desta. Em especial, mostramos que a lógica de primeira ordem, lógica de segunda ordem, lógica com o operador Q 1 de Mostowski e a lógica infinitária L ω 1 ω são casos particulares de lógicas abstratas. Mais que isso, mostramos que tais lógicas são regulares.Na análise de cada uma das lógicas acima citadas, mostramos o comportamento das mesmas com relação às propriedades de Löwenheim-Skolem e compacidade enumerável, resultados estes centrais à teoria de modelos. Nossa análise permite-nos constatar que, dentre os quatro casos apresentados, o único que goza de ambas as propriedades é a lógica de primeira ordem; as demais falham em uma, na outra ou em ambas as propriedades.Mostramos que isso não é mera coincidência, mas sim um resultado profundo, que estabelece fronteiras bem delimitadas à lógica de primeira ordem, conhecido como primeiro teorema de Lindström: se uma lógica é regular, ao menos tão expressiva quanto a lógica de primeira ordem e satisfaz ambas as propriedades citadas, então esta é equivalente a lógica de primeira ordem. Realizamos uma prova cuidadosa do teorema, em que cada ideia e cada estratégia de prova é estabelecida criteriosamente.Com seu trabalho, Lindström inaugurou um novo e profícuo campo de estudo, a teoria abstrata de modelos que estabelece, com relação a diversas combinações de propriedades de sistemas lógicos, uma estratificação entre lógicas. Apresentamos um outro exemplo de tal estratificação através de uma versão modal do teorema de Lindström, versão esta que caracteriza a lógica modal básica como maximal quanto a bissimilaridade e compacidade.Encerramos esta Dissertação com algumas considerações acerca da influência do primeiro teorema de Lindström.
O tema deste trabalho é a verdade de proposições matemáticas e seu objetivo é avaliar, no contexto aritmético, um dos elementos presentes em Freire (2018) e também considerado por Ramos e Freire nesta edição da Revista de Filosofia Moderna e Contemporânea: a fixação do valor de verdade de asserções aritméticas a partir de princípios diretivos que regem a prática da disciplina. O método de análise visa à elucidação da contribuição dos princípios diretivos para a fixação do modelo padrão da aritmética e considera três métricas distintas. A partir desses resultados a proposta fundada nos princípios diretivos é comparada com três abordagens alternativas, presentes na literatura especializada. O resultado dessa comparação é bastante favorável à abordagem formulada por Freire e Ramos nesta Revista.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.