Terminal de consulta web

Resumo: Esta dissertação consiste em uma investigação de uma divisão pervasiva na cognição entre dois tipos de processamento de informação e a aplicação dos conceitos investigados na análise de sistemas modernos de Inteligência Artificial (IA), especificamente Large Language Models (LLMs). A dissertação explora dois tipos de processos cognitivos, comumente contrastados como associativo versus analítico, ou preditivo versus reflexivo - uma divisão que se estende da cognição natural à artificial. Começamos no contexto histórico e nas observações filosóficas de William James, levando à Dual-process Theory na psicologia, que caracteriza ainda mais esses processos cognitivos. Em seguida, conectamos essa compreensão à IA, discutindo a divisão histórica entre as abordagens Conexionista e Simbólica, cada uma correspondendo a um tipo diferente de processamento de informação. Essas ideias são organizadas sob os níveis de análise de Marr e aplicadas aos LLMs. O primeiro tipo de processamento, enraizado na otimização de aprendizagem, generaliza para situações familiares com base na similaridade, enquanto o segundo tipo, caracterizado pela manipulação simbólica, generaliza para situações não familiares com base na composicionalidade. Sob esse framework, postula-se que os LLMs aproximam o processamento Tipo 1 (T1), mas carecem do processamento Tipo 2 (T2)

Resumo: A Ontologia é a área da filosofia preocupada com o estudo do que há; do que constitui a realidade. Mas qual é o melhor método para investigar o que há? Quando nos é permitido dizer que algo existe ou não? Essas são questões que a meta-ontologia tentará responder. Dessa forma, a ontologia dos objetos matemáticos buscará estudar a existência dos objetos matemáticos, já a meta-ontologia dirá como esse estudo pode ser realizado e quais são as conclusões que podemos tirar dele. A presente dissertação se propõe a introduzir tais debates além de investigar meta-ontologias que defendam que através da linguagem podemos ter respostas diretas aos questionamentos da ontologia da matemática. Ou seja, o estudo se concentrará na pesquisa dos modos como a meta-ontologia é usada contemporaneamente na resolução de questionamentos ontológicos como "números existem?"

Resumo: O Princípio de Identidade dos Indiscerníveis (PII) é foco de grande controvérsia ao longo da história da Metafísica e na Física contemporânea. Muitas questões rondam o debate sobre a veracidade ou falsidade deste princípio, por exemplo, a quais objetos o princípio se aplica? Quais propriedades podem ser contadas como propriedades para discernimento? O princípio é necessário? Em outras palavras, qual versão do princípio é a correta e seria ela verdadeira? Esta tese visa responder essas questões a fim de mostrar que o PII é um princípio necessariamente verdadeiro da metafísica. Para realizar esta tarefa, o leitor encontrará, nesta tese, uma introdução enciclopédica à história do PII e às razões pelas quais ele é tão relevante, seguida de uma apresentação dos argumentos mais famosos contra ele e das defesas usadas contra tais argumentos. Em seguida, o leitor encontrará uma discussão aprofundada das minúcias envolvidas na postulação do princípio de forma a deixar claro o que de fato está sendo atacado e defendido. Com essas questões preliminares resolvidas, uma análise mais profunda dessas defesas é apresentada com o objetivo de descobrir qual delas é a mais adequada para ser usada contra os ataques ao princípio. Essa análise permitiu classificar essas defesas em quatro famílias com diferentes estratégias dentro delas. Por fim, com essas estratégias defensivas em mãos, podemos confrontar supostos contraexemplos ao PII na Matemática com a intenção de testar essas defesas