As dimensões do projeto fundacional de Frege em 1892: uma nota editorial
نویسندگان
چکیده
Este artigo é uma nota editorial de introdução ao dossiê temático ‘1892-2022: 130 anos Über Sinn und Bedeutung Frege’. Por meio do exame dos artigos publicados no dossiê, defendemos a tese que o projeto fundacional Frege 1892 mais amplo logicista em filosofia da matemática e se desenvolve longo quatro dimensões fundamentais: 1) desenvolvimento teoria semântica geral; 2) fundação filosófica linguagem formal principais modos inferência; 3) discurso científico; 4) esboço para natural.
منابع مشابه
Uma Abordagem Baseada em Gestão do Conhecimento para Gerência de Requisitos em Desenvolvimento Distribuído de Software
Resumo. A distribuição das equipes de desenvolvimento tem provocado diversos desafios ao processo de software. Dentre os desafios, a engenharia de requisitos destaca-se, sofrendo impacto de fatores como distância, diferença de cultura e fuso-horário, bem como dos meios de comunicação disponíveis. Nesse contexto, o gerenciamento das informações relacionadas a requisitos torna-se crítico para gar...
متن کاملUma Proposta de Evolução em Sistemas Legados
Resumo O processo de evolução de sistemas legados é um tópico de recentes pesquisas na área de engenharia de requisitos. Organizações vêm se defrontando continuamente com a necessidade de mudar e/ou melhorar seus sistemas computacionais. Neste processo de evolução, as maiores mudanças envolvem a transição do uso de metodologias tradicionais tais como Análise Estruturada e Essencial para metodol...
متن کاملUma Experiência de Engenharia de Requisitos em Empresas de Software
Resumo. Este artigo apresenta uma visão geral sobre a disciplina de engenharia de requisitos. Apresentamos um estudo empírico sobre as principais práticas e desafios enfrentados por empresas desenvolvedoras de produtos de software. A contribuição desta pesquisa foi realizar uma avaliação prática de como a engenharia de requisitos têm sido conduzida por empresas desenvolvedoras de software. A pa...
متن کاملO Problema do Subgrupo Oculto em uma Classe de Produto Semidireto de Grupos
We present an efficient quantum algorithm for the hidden subgroup problem (HSP) on the semidirect product of cyclic groups Zpr oφ Zps , where p is any odd prime number and r and s are any positives integers such that r ≥ 2s. This quantum algorithm is exponentially more efficient than any classical algorithm for the same purpose. Resumo. Neste trabalho, apresentamos um algoritmo quântico eficien...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Princípios
سال: 2022
ISSN: ['1415-7888', '2675-6609']
DOI: https://doi.org/10.21680/1983-2109.2022v29n59id29813