Pesquisa
CQC DE 1ª ORDEM APLICADO AO QUADRADO LÓGICO E SILOGISMO: HAVERIA ALGUMA FORMALIZAÇÃO ADEQUADA PARA O VERBO “SER”?
Para melhor compreensão do Quadrado Lógico (QL) e Silogismos (SL), comumente são apresentadas fórmulas do Cálculo Quantificacional Clássico de 1ª Ordem (CQC). Tradicionalmente, formalizam-se as proposições categóricas do seguinte modo: A = Ɐx (Sx →…
PROJETOS DE MATEMATIZACÃO DA LÓGICA DE RAIMUNDO LÚLIO A GIUSEPPE PEANO
PROJETOS DE MATEMATIZAÇÃO DA LÓGICA. (AGOSTO, 2020). XXVI, 102P. DISSERTAÇÃO (MESTRADO EM FILOSOFIA) – CENTRO DE CIÊNCIAS HUMANAS, LETRAS E ARTES, UNIVERSIDADE ESTADUAL DE MARINGÁ, MARINGÁ, PR. O PRESENTE TRABALHO POSSUI TRÊS OBJETIVOS: (1) APRESENT…
EM TORNO DA TESE DE CHURCH E DO INTUICIONISMO LÓGICO
A TESE DE CHURCH PROPÕE QUE TANTO A NOÇÃO DE COMPUTÁVEL QUANTO A DE FUNÇÃO RECURSIVA (OU EQUIVALENTES: MÁQUINA DE TURING, CÁLCULO LAMBDA) POSSUEM A MESMA EXTENSÃO. SUA PECULIARIDADE, DE ACORDO COM AS INTERPRETAÇÕES MAIS CONSOLIDADAS, DEVE-SE AO FATO…
A linguagem Loc: uma proposta de formalização para a linguagem ockhamiana
Trata-se de fazer um estudo da suppositio por Guilherme de Ockham. Para tanto, duas estratégias básicas são adotadas. Na primeira, faz-se um recorte na Parte I e II da sua Suma de Lógica, retirando-se os capítulos necessários para a compreensão do c…
Esboço para a Construção de um Sistema Formal para a Linguagem Natural.
Resumo em Português:.... Neste trabalho procuramos desenvolver um esboço de uma formalização radical da linguagem natural através da noção de categoria de pensamento. Com esta noção assumiremos ser possível fazer um recorte completo da linguagem (co…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.