The logical form of a sentence (or proposition or statement or truthbearer) or set of sentences is the form obtained by abstracting from the subject matter of its content terms or by regarding the content terms as mere placeholders or blanks on a form. In an ideal logical language, the logical form can be determined from syntax alone; formal languages used in formal sciences are examples of such languages. Logical form, however, should not be confused with the mere syntax used to represent it; there may be more than one string that represents the same logical form in a given language.

Property Value
dbo:abstract
  • La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo: María ama a JuanJuan es amado por María Estas dos oraciones, aunque gráfica o fonéticamente son distintas, expresan la misma proposición y tienen la misma forma lógica. Dicha forma lógica puede representarse unívocamente mediante de un lenguaje formal, a diferencia de lo que ocurre con un lenguaje natural. (es)
  • The logical form of a sentence (or proposition or statement or truthbearer) or set of sentences is the form obtained by abstracting from the subject matter of its content terms or by regarding the content terms as mere placeholders or blanks on a form. In an ideal logical language, the logical form can be determined from syntax alone; formal languages used in formal sciences are examples of such languages. Logical form, however, should not be confused with the mere syntax used to represent it; there may be more than one string that represents the same logical form in a given language. The logical form of an argument is called the argument form or test form of the argument. (en)
  • Os argumentos lógicos, em geral, possuem uma certa forma (estrutura). Uma estrutura pode ser criada a partir da substituição de palavras diferentes ou sentenças, que geram uma substituição de letras (variáveis lógicas) ao logo das linhas da álgebra. Um exemplo de um argumento: (1) Todos os humanos são mentirosos. João é humano. Logo, João é mentiroso. Podemos reescrever o argumento separando cada sentença em sua determinada linha: (2) Todo humano é mentiroso.(3) João é humano.(4) Logo, João é mentiroso. Substituimos os termos similares de (2-4) por letras, para mostrar a importância da noção de forma de argumento a seguir: (5) Todo H é M.(6) J é H.(7) Logo, J é M. O que fizemos em C foi substituir "humano" por "H", "João" por "J" e "mentiroso" por "M", como resultado dessas alterações temos que (5-7) é uma forma do argumento original (1), ou seja (5-7) é a forma de argumento de (1). Além disso, cada sentença individual de (5-7) é a forma de sentença de uma respectiva sentença em (1). Vale enfatizar que quando dois ou mais argumentos têm a mesma forma, se um deles é válido, todos os outros também são, e se um deles é inválido, todos os outros também são. (pt)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3331706 (xsd:integer)
dbo:wikiPageRevisionID
  • 744946529 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo: María ama a JuanJuan es amado por María Estas dos oraciones, aunque gráfica o fonéticamente son distintas, expresan la misma proposición y tienen la misma forma lógica. Dicha forma lógica puede representarse unívocamente mediante de un lenguaje formal, a diferencia de lo que ocurre con un lenguaje natural. (es)
  • The logical form of a sentence (or proposition or statement or truthbearer) or set of sentences is the form obtained by abstracting from the subject matter of its content terms or by regarding the content terms as mere placeholders or blanks on a form. In an ideal logical language, the logical form can be determined from syntax alone; formal languages used in formal sciences are examples of such languages. Logical form, however, should not be confused with the mere syntax used to represent it; there may be more than one string that represents the same logical form in a given language. (en)
  • Os argumentos lógicos, em geral, possuem uma certa forma (estrutura). Uma estrutura pode ser criada a partir da substituição de palavras diferentes ou sentenças, que geram uma substituição de letras (variáveis lógicas) ao logo das linhas da álgebra. Um exemplo de um argumento: (1) Todos os humanos são mentirosos. João é humano. Logo, João é mentiroso. Podemos reescrever o argumento separando cada sentença em sua determinada linha: (2) Todo humano é mentiroso.(3) João é humano.(4) Logo, João é mentiroso. (5) Todo H é M.(6) J é H.(7) Logo, J é M. (pt)
rdfs:label
  • Logical form (en)
  • Forma lógica (es)
  • Forma de um argumento (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of