Begriffsschrift
sistema formal desenvolvido por Gottlob Frege, marcando o nascimento da lógica moderna / De Wikipedia, a enciclopédia encyclopedia
Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro. Este é geralmente considerado a obra que marca o nascimento da lógica moderna.
Esta página ou se(c)ção precisa ser formatada para o padrão wiki. (Junho de 2022) |
Begriffsschrift é usualmente traduzido como escrita conceitual ou notação conceitual ou conceitografia; o título completo deste livro o identifica como "uma fórmula de linguagem, modelada a partir da aritmética, para o pensamento puro." A motivação de Frege para desenvolver esta abordagem formal para a lógica era similar à motivação de Gottfried Leibniz para seu cálculo raciocinador (apesar disto, em seu "prefácio", Frege claramente nega que ele atingiu este objetivo, e também que seu principal objetivo poderia ser a construção de uma linguagem ideal como a de Leibniz, o que Frege declara ser uma tarefa bastante difícil e idealista, entretanto, não impossível). Frege passou a empregar seu cálculo lógico em pesquisas sobre os fundamentos da matemática, realizadas durante o quarto de século seguinte.