Resultados da pesquisa

{{Portal3|Filosofia|Linguística}} [[Categoria:Filosofia da linguagem]] ...

*''Se os homens andaram na lua, então eu sou o rei da França''. {{Portal3|filosofia|Lógica}} ...

Em [[filosofia da linguagem]], uma '''teoria semântica da verdade''' é uma teoria que afirma que a [[verdade]] é uma propriedade das ...linguagem dada, não pode ser consistentemente definido dentro dessa mesma linguagem. ...

...aspecto técnico simples de alguma prova ou definição. A origem do termo em linguagem matemática vem do [[Trívio|currículo trivium]] medieval. O antônimo, o "''n [[Categoria:Filosofia da matemática]] ...

.... . . – Clubes de Matemática da OBMEP|url=http://clubes.obmep.org.br/blog/linguagem-matematica-sala-5/|obra=clubes.obmep.org.br|acessodata=2019-03-30}}</ref> #* Este Lema é utilizado para demonstrar o Teorema do Algoritmo da Divisão.<ref>http://www.cesadufs.com.br/ORBI/public/uploadCatalago/17395416 ...

...é-história|primórdios]] da [[história]] da [[humanidade]]. A evolução da [[linguagem]] permitiu que fossem criados nomes para designar [[conceito]]s abstratos t ...les como parece. Em [[filosofia]], a questão dos universais está na origem da querela entre nominalistas e realistas, havendo também os realistas moderad ...

...um [[conjunto]] sem elementos. O [[axioma]] possui, usando-se a linguagem da lógica formal<ref>[[lógica de primeira ordem]]</ref>, o seguinte enunciado: ...se um [[contradição|predicado contraditório]] e aplica-se o axioma-esquema da separação para tal [[predicado]]. Por exemplo, se <math>x</math> é um conju ...

...principais desenvolvedores dos [[sistema operativo|sistemas operacionais]] da família [[Unix]]. ...canalização]] e um dos fundadores da tradição do Unix, resumiu a filosofia da seguinte maneira<ref name="Raymond">{{citar web|url=http://www.faqs.org/doc ...

...rüger rejeita a alegação de Davidson que o argumento pode refutar a Teoria da Verdade baseada na Correspondência. [[Stephen Neale]] (1995) propõe, contro ...só existe um ''[[fato]]'', ou uma proposição verdadeira, [[Estado do caso (filosofia)|estado de coisas]], condição verdadeira, [[truthmaker]], e assim por diant ...

...</ref> Essa linguagem consiste em um substrato de alguma [[Língua natural|linguagem natural]] (por exemplo, o [[Língua portuguesa|português]]), usando termos t ...cos são fontes para discussões teóricas detalhadas sobre ideias a respeito da matemática e suas implicações para a sociedade.<ref>{{Citar periódico |url= ...

...ormente se tornou professor do [[Departamentos da França|Departamento]] de Filosofia. [[Michael Scanlan]] publicou em [[2000]] um ensaio biográfico sobre a vida ...te homem sem nenhuma pretensão literária tinha um grande e preciso domínio da língua que fizera, de modo que suas palestras e seus poucos escritos breves ...

...nais (termos utilizados por uma linguagem de observação, também chamada de linguagem empírica). ...envolvimentos das frases de Ramsey são utilizados para resolver o problema da referência dos termos teóricos e para a precisão do realismo estrutural. Em ...

...a suposição original deve estar errada. O argumento se vale do [[princípio da não-contradição]] (uma [[proposição]] não pode ser, ao mesmo tempo, verdade ....C3.AAncia_de_um_n.C3.BAmero_racional_cujo_quadrado_seja_2|irracionalidade da raiz quadrada de 2]] apresentada por [[Aristóteles]] em ''Analytica Priora' ...

...ecente, com aplicações em diversos campos, como a [[filosofia]], [[ciência da computação]], [[inteligência artificial]], [[economia]] e [[linguística]]. ...exemplo, a lógica epistêmica foi recentemente combinada com algumas ideias da [[lógica dinâmica]] para criar uma [[lógica de comunicações públicas]] e um ...

É um longa-metragem biográfico parte da tetralogia sobre [[filósofos]], “[[Os Filósofos]]” que incluem as cine-biog ...rando seus célebres estudos de Matemática e Geometria, incluindo a criação da primeira calculadora mecânica; seus trabalhos revolucionários sobre o vácuo ...

...o '''variância do quantificador''' refere-se a alegações de que não há uma linguagem ontológica única e melhor com a qual descrever o mundo.<ref name=Hirsch> {{ ...alguns propósitos filosóficos, não é o caso de que uma estará mais próxima da realidade do que a outra... Podemos dizer uma coisa dessa maneira, e podemo ...

...s, conhecidas como ''regras de inferência'', normalmente são preservadoras da verdade. Nessa configuração, as regras (que podem incluir axiomas) podem en ...rmal define recursivamente as expressões e fórmulas bem formadas (fbfs) da linguagem. Além disso, pode se apresentar uma semântica para definir verdade e valora ...

...uitas linguagens formais usadas na [[Matemática]], [[Lógica]], e [[Ciência da computação teórica]] são definidas em termos [[Sintaxe|sintáticos]] exclusi ...ca)|função]] que provê a extensão de símbolos e cadeias de símbolos de uma linguagem-objeto. Por exemplo, uma função de interpretação pode tomar o predicado ''T ...

| ocupação = [[Filosofia|Filósofo]] e [[escritor]] ...cido por ter sido o cofundador, [[editoração|editor]] chefe e contribuidor da ''[[Encyclopédie]]'', junto com [[Jean le Rond d'Alembert]]. ...

...ão|data=Junho de 2022}}[[File:Begriffsschrift Titel.png|thumb|200px|A capa da edição original de 1879]] ...o neste livro. Este é geralmente considerado a obra que marca o nascimento da lógica moderna. ...