===== SISTEMA LOGÍSTICO =====
(in. Logistic system; fr. Système logistique; al. Logistiches System; it. [[lexico:s:sistema-logistico:start|sistema logístico]]).

[[lexico:c:calculo:start|Cálculo]] [[lexico:l:logico:start|lógico]] ao qual [[lexico:n:nao:start|não]] se dá nenhuma [[lexico:i:interpretacao:start|interpretação]]. Para constituir um [[lexico:s:sistema:start|sistema]] logístico são suficientes:

1) um vocabulário de [[lexico:s:simbolos:start|símbolos]] primitivos;

2) as regras de [[lexico:f:formacao:start|formação]] que determinam quais as combinações de símbolos primitivos são permitidas e quais não são;

3) regras de [[lexico:i:inferencia:start|inferência]], ou seja, de [[lexico:t:transformacao:start|transformação]] das expressões compostas que dão [[lexico:o:origem:start|origem]] a outras;

4) algumas proposições primitivas ou axiomas.

Distingue-se do sistema logístico a [[lexico:l:linguagem-formal:start|linguagem formal]], pois a esta última é dada certa interpretação. Para passar do sistema logístico à [[lexico:l:linguagem:start|linguagem]] [[lexico:f:formal:start|formal]] são, pois, necessárias algumas regras semânticas que atribuam um [[lexico:s:significado:start|significado]] às fórmulas do sistema. Pode-se dizer também que a [[lexico:d:diferenca:start|diferença]] entre sistema logístico e linguagem formal é que o primeiro tem somente regras sintáticas e a segunda tem também regras semânticas (d., sobre isso, A. Church, "The Need for Abstract Entities in Semantic Analysis", em Proceedings of the American Academy of Arts and Sciences, 1951, pp. 100 ss.; Introduction to Mathematical Logic, 1956) (v. cálculo, [[lexico:f:formalizacao:start|formalização]]).

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}