Lógica Matemática: Simbolismo e Formalismo
5 Questions
0 Views

Choose a study mode

Play Quiz
Study Flashcards
Spaced Repetition
Chat to lesson

Podcast

Play an AI-generated podcast conversation about this lesson

Questions and Answers

Os axiomas matemáticos são considerados verdades relativas e dependentes de cultura.

False

A matemática é considerada uma ciência que resulta de uma construção intelectual.

True

O matemático italiano Peano realizou um estudo sobre a aritmética dos números cardinais infinitos.

False

A matemática é uma ciência que contempla entidades perfeitas e eternas, existentes em si e por si mesmas.

<p>False</p> Signup and view all the answers

Frege ofereceu o primeiro conceito de sistema formal e os primeiros exemplos do cálculo de proposições e de predicados.

<p>True</p> Signup and view all the answers

Study Notes

A Lógica Matemática

  • A lógica contemporânea busca ser um puro simbolismo do tipo matemático e um cálculo simbólico, focando menos no conteúdo material das proposições e nas operações intelectuais do sujeito do conhecimento.
  • O lógico constrói os símbolos e as operações que constituem o objeto lógico por excelência, a proposição, para atribuir valor de verdade ou falsidade, representar a forma do pensamento e representar a relação entre pensamento, linguagem e realidade.

Características da Lógica

  • A lógica descreve as formas, as propriedades e as relações das proposições, graças à construção de um simbolismo regulado e ordenado.
  • A lógica é uma ciência formal da linguagem, mas de uma linguagem especial, construída por ela mesma, partindo do modelo da matemática.
  • A lógica foi definida por Boole como o “método que repousa sobre o emprego de símbolos, dos quais se conhecem as leis gerais de combinação e cujos resultados admitem interpretação coerente”.

Relação entre Lógica e Matemática

  • A matemática passou a ser considerada uma ciência que resulta de uma construção intelectual, uma invenção do espírito humano.
  • A matemática é uma ciência de formas e cálculos puros organizados numa linguagem simbólica perfeita, na qual cada signo é um algoritmo.
  • Os entes matemáticos são puras idealidades construídas pelo intelecto ou pelo pensamento, que formula um conjunto rigoroso de princípios, regras, normas e operações.
  • O matemático italiano Peano demonstrou que a aritmética dos números cardinais finitos pode ser derivada de cinco axiomas ou proposições primitivas e de três termos não definíveis – zero, número e sucessor de.
  • Frege, Bertrand Russell e Alfred Whitehead prosseguiram o trabalho de Peano, oferecendo as definições lógicas dos três termos que o matemático italiano julgara indefiníveis.

Studying That Suits You

Use AI to generate personalized quizzes and flashcards to suit your learning preferences.

Quiz Team

Description

Este quiz aborda a lógica matemática, sua evolução para um simbolismo puro e formal e sua relação com o conhecimento matemático.

More Like This

Mathematics Fundamentals
15 questions
Symbolic Logic Overview
8 questions

Symbolic Logic Overview

IssueFreeJasper6345 avatar
IssueFreeJasper6345
Logika dan Matematika
37 questions

Logika dan Matematika

ImpartialFlerovium avatar
ImpartialFlerovium
Use Quizgecko on...
Browser
Browser