| dbo:abstract
|
- En lògica, una declaració és (a) una oració declarativa significativa que pot ser vertadera o falsa, o (b) el que és afirmat o fet per l'ús d'una oració declarativa. En aquest últim cas, una declaració és diferent d'una frase perquè la sentència és només una formulació d'una declaració, mentre que hi pot haver moltes altres formulacions que expressen la mateixa declaració. Peter Strawson, filòsof del llenguatge, va defensar l'ús del terme «declaració» en el sentit de (b) en preferència a «proposició». Strawson va utilitzar el terme «declaració» perquè dues oracions declaratives fan la mateixa declaració si diuen el mateix de la mateixa cosa. Així, el terme «declaració» pot referir-se a una frase o alguna cosa feta (expressada) per una frase. En ambdós casos, són suposats . (ca)
- في المنطق، الخبر أو العبارة (بالإنجليزية: Statement) هو جملة خبرية ذات معنىً تحتمل إما الصحة أو الخطأ. ينقسم التقرير إلى خبر بسيط وخبر مركب. الخبر البسيط هو ما حمل جملة خبرية واحدة بينما المركب يتضمن أكثر من جملة خبرية (ar)
- En lógica, una declaración puede ser:
* (a) una sentencia declarativa con significación que puede ser verdadera o falsa, o
* (b) una afirmación que es hecha por una sentencia declarativa verdadera o falsa. El primer caso difiere del segundo es que es solo una formulación de una declaración, aunque hay muchas otras formulaciones para expresar la misma declaración. (es)
- In logic, the term statement is variously understood to mean either: 1.
* a meaningful declarative sentence that is true or false, or 2.
* a proposition. Which is the assertion that is made by (i.e., the meaning of) a true or false declarative sentence. In the latter case, a statement is distinct from a sentence in that a sentence is only one formulation of a statement, whereas there may be many other formulations expressing the same statement. (en)
- En sats eller en utsaga är inom logik och filosofi ett påstående som kan vara sant eller falskt i en viss tolkning. Satsen kan formuleras språkligt, eller uttryckas formellt matematiskt inom satslogik och predikatlogik). Man skiljer vanligtvis mellan satsens språkliga form (det språkliga uttrycket, meningen, en. sentence, ty. Satz) och satsens tankeinnehåll (försanthållandet, en. proposition, ty. Urteil). En central fråga för filosofin är vad det egentligen innebär att en sats är "sann", och hur detta förhåller sig till de olika betydelserna av begreppet. (sv)
- Em lógica uma declaração ou é (a) uma significativa que é ou verdadeira ou falsa, ou (b) que é afirmada ou criada pelo uso de uma sentença declarativa. No último caso, uma declaração é distinta de uma em que uma sentença é apenas uma de uma declaração, ao passo que pode haver muitas outras formulações expressando a mesma declaração. O filósofo da linguagem, Peter Strawson defendeu o uso do termo "declaração" no sentido (b) em detrimento de proposição. Strawson usou o termo "declaração" para ser tal que duas sentenças declarativas fazem a mesma declaração se dizem o mesmo da mesma coisa. Deste modo o termo "declaração" pode se referir a uma sentença ou algo feito (expresso) por uma sentença. Em ambos os casos são pretendidas . Exemplos de sentenças que são (ou fazem) declarações:
* "Sócrates é um homem."
* "Um triângulo tem três lados."
* "Paris é a capital da Espanha." As primeiras duas (fazem declarações que) são verdadeiras, a terceira é (ou faz uma declaração que é) falsa. Exemplos de sentenças que não são (ou não fazem) declarações:
* "Quem são vocês?"
* "Corra!"
* "A verdura perambula"
* "Tive um grunch exceto a beringela ali em cima."
* "O Rei da França é sensato."
* "Pégaso existe." Os dois primeiros exemplos não são sentenças declarativas e portanto não são (ou não fazem) declarações. O terceiro e quarto são sentenças declarativas mas, sem significado, não são nem verdadeiras nem falsas e portanto não são (ou não fazem) declarações. O quinto e o sexto exemplos são sentenças declarativas significativas. Russell sustentou que a quinta que era falsa mas Strawson sustentou que ela não era verdadeira nem falsa já que ela não fazia uma declaração. (pt)
- Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний. Высказывание должно быть повествовательным предложением, и противопоставляется повелительным, вопросительным и любым другим предложениям, оценка истинности или ложности которых невозможна. (ru)
- 陈述可以是：
* 一个有意义的陈述句，它可以为真或；
* 逻辑中的命题，陈述句所做的判断。 若陈述是指後者，陈述和句子是不同的，句子只是一種陈述的，也有可能存在許多可以表達同一陈述的不同語句。 (zh)
- Твердження (у логіці) — це: 1.
* змістовне розповідне речення, яке може бути істинним або хибним. 2.
* описове речення, яке стверджує що саме є істинними, а що є хибним. В останньому випадку, твердження відрізняється від речення, в якому речення тільки формулює твердження, в той же час як може бути багато інших формулювань, які можуть виражати одне й те саме твердження. (uk)
- Висловлювання — речення, що виражає судження. Якщо судження, що становить зміст (сенс) деякого висловлювання, є істинним, то і про це висловлювання кажуть, що воно істинне. Подібним чином помилковим називають таке висловлювання, яке є вираженням помилкового судження. Істинність та хибність називаються логічними, або істинними, значеннями висловлювань. Висловлення повинне бути розповідним реченням. Висловлювання зазвичай протиставляються наказовим, питальним та будь-яким іншими реченням, оцінка істинності чи хибності яких неможлива. (uk)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4536 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- في المنطق، الخبر أو العبارة (بالإنجليزية: Statement) هو جملة خبرية ذات معنىً تحتمل إما الصحة أو الخطأ. ينقسم التقرير إلى خبر بسيط وخبر مركب. الخبر البسيط هو ما حمل جملة خبرية واحدة بينما المركب يتضمن أكثر من جملة خبرية (ar)
- En lógica, una declaración puede ser:
* (a) una sentencia declarativa con significación que puede ser verdadera o falsa, o
* (b) una afirmación que es hecha por una sentencia declarativa verdadera o falsa. El primer caso difiere del segundo es que es solo una formulación de una declaración, aunque hay muchas otras formulaciones para expresar la misma declaración. (es)
- In logic, the term statement is variously understood to mean either: 1.
* a meaningful declarative sentence that is true or false, or 2.
* a proposition. Which is the assertion that is made by (i.e., the meaning of) a true or false declarative sentence. In the latter case, a statement is distinct from a sentence in that a sentence is only one formulation of a statement, whereas there may be many other formulations expressing the same statement. (en)
- En sats eller en utsaga är inom logik och filosofi ett påstående som kan vara sant eller falskt i en viss tolkning. Satsen kan formuleras språkligt, eller uttryckas formellt matematiskt inom satslogik och predikatlogik). Man skiljer vanligtvis mellan satsens språkliga form (det språkliga uttrycket, meningen, en. sentence, ty. Satz) och satsens tankeinnehåll (försanthållandet, en. proposition, ty. Urteil). En central fråga för filosofin är vad det egentligen innebär att en sats är "sann", och hur detta förhåller sig till de olika betydelserna av begreppet. (sv)
- Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний. Высказывание должно быть повествовательным предложением, и противопоставляется повелительным, вопросительным и любым другим предложениям, оценка истинности или ложности которых невозможна. (ru)
- 陈述可以是：
* 一个有意义的陈述句，它可以为真或；
* 逻辑中的命题，陈述句所做的判断。 若陈述是指後者，陈述和句子是不同的，句子只是一種陈述的，也有可能存在許多可以表達同一陈述的不同語句。 (zh)
- Твердження (у логіці) — це: 1.
* змістовне розповідне речення, яке може бути істинним або хибним. 2.
* описове речення, яке стверджує що саме є істинними, а що є хибним. В останньому випадку, твердження відрізняється від речення, в якому речення тільки формулює твердження, в той же час як може бути багато інших формулювань, які можуть виражати одне й те саме твердження. (uk)
- Висловлювання — речення, що виражає судження. Якщо судження, що становить зміст (сенс) деякого висловлювання, є істинним, то і про це висловлювання кажуть, що воно істинне. Подібним чином помилковим називають таке висловлювання, яке є вираженням помилкового судження. Істинність та хибність називаються логічними, або істинними, значеннями висловлювань. Висловлення повинне бути розповідним реченням. Висловлювання зазвичай протиставляються наказовим, питальним та будь-яким іншими реченням, оцінка істинності чи хибності яких неможлива. (uk)
- En lògica, una declaració és (a) una oració declarativa significativa que pot ser vertadera o falsa, o (b) el que és afirmat o fet per l'ús d'una oració declarativa. En aquest últim cas, una declaració és diferent d'una frase perquè la sentència és només una formulació d'una declaració, mentre que hi pot haver moltes altres formulacions que expressen la mateixa declaració. (ca)
- Em lógica uma declaração ou é (a) uma significativa que é ou verdadeira ou falsa, ou (b) que é afirmada ou criada pelo uso de uma sentença declarativa. No último caso, uma declaração é distinta de uma em que uma sentença é apenas uma de uma declaração, ao passo que pode haver muitas outras formulações expressando a mesma declaração. Exemplos de sentenças que são (ou fazem) declarações:
* "Sócrates é um homem."
* "Um triângulo tem três lados."
* "Paris é a capital da Espanha." As primeiras duas (fazem declarações que) são verdadeiras, a terceira é (ou faz uma declaração que é) falsa. (pt)
|
| rdfs:label
|
- خبر (منطق) (ar)
- Declaració (lògica) (ca)
- Declaración (lógica) (es)
- Bewering (logica) (nl)
- Declaração (lógica) (pt)
- Statement (logic) (en)
- Высказывание (логика) (ru)
- Sats (logik) (sv)
- Твердження (логіка) (uk)
- Висловлювання (логіка) (uk)
- 陈述 (逻辑) (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
