Changes

Created page with "Vamos lidar com isso em diferentes idiomas"
Line 22: Line 22:  
Em primeiro lugar, devemos distinguir entre as línguas naturais (inglês, alemão, italiano, etc.) e as línguas formais, como a matemática. Os naturais surgem naturalmente nas comunidades sociais tanto quanto nas comunidades científicas. Simultaneamente, as linguagens formais são construídas artificialmente para uso em disciplinas como matemática, lógica e programação de computadores. Linguagens formais são caracterizadas por '' sintaxe '' e '' semântica '' com regras precisas, enquanto uma linguagem natural tem uma sintaxe bastante vaga conhecida como '' gramática '' e carece de qualquer semântica explícita.
 
Em primeiro lugar, devemos distinguir entre as línguas naturais (inglês, alemão, italiano, etc.) e as línguas formais, como a matemática. Os naturais surgem naturalmente nas comunidades sociais tanto quanto nas comunidades científicas. Simultaneamente, as linguagens formais são construídas artificialmente para uso em disciplinas como matemática, lógica e programação de computadores. Linguagens formais são caracterizadas por '' sintaxe '' e '' semântica '' com regras precisas, enquanto uma linguagem natural tem uma sintaxe bastante vaga conhecida como '' gramática '' e carece de qualquer semântica explícita.
   −
Para manter este estudo ativo e envolvente, e para evitar que degenere em um tratado enfadonho de filosofia da ciência, vamos considerar um caso clínico muito explicativo. We will deal with it using different languages:  
+
Para manter este estudo ativo e envolvente, e para evitar que degenere em um tratado enfadonho de filosofia da ciência, vamos considerar um caso clínico muito explicativo. Vamos lidar com isso em diferentes idiomas:  
 
*[[Logic of classical language|Classical language]],  
 
*[[Logic of classical language|Classical language]],  
 
*[[Logic of Probabilistic language|Probabilistic language]],  
 
*[[Logic of Probabilistic language|Probabilistic language]],  
Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894

edits