About: Proposition

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, "meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false.

Property Value
dbo:abstract
  • Z hlediska nižší logiky je výrok každé sdělení (gramaticky vyjádřené oznamovací větou), o němž má smysl tvrdit, že je pravdivé (platí), nebo nepravdivé (neplatí). K označení výroků se užívá písmen (např. ) nebo matematických symbolů a značek (např. ). Výroku je přiřazena pravdivostní hodnota (je pravda = 1; není pravda = 0). Hypotéza (domněnka) je výrok, u něhož v daném okamžiku nejsme schopni rozhodnout, zda je pravdivý či nepravdivý, ale víme jistě, že jedna z těchto dvou možností nastane. Pokud tvrzení obsahuje jednu nebo více proměnných (např. ), není to výrok, ale výroková forma, výroková funkce nebo predikát (viz predikátová logika). Výrokem se stane dosazením hodnot všem proměnným. (cs)
  • Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde wahr oder falsch ist. Es genügt, dass die Frage nach Wahrheit („Zutreffen“) oder Falschheit („Nicht-Zutreffen“) sinnvoll ist; das ist zum Beispiel bei Fragesätzen, Ausrufen und Wünschen nicht der Fall. Aussagen sind somit Sätze, die Sachverhalte beschreiben und denen man einen Wahrheitswert zuordnen kann. (de)
  • Logikan eta filosofian, proposizioa batek munduaz dioena da, haren esanahia edo edukia, egia-balio jakin bat (egiazkoa ala faltsua) hartzen duena. Esakune batzuk proposizio beraren agerpen-modu desberdinak izan daitezke. (eu)
  • En filosofía y lógica, el término proposición se usa para referirse a:​ * Las entidades portadoras de los valores de verdad.​ * Los objetos de las creencias y de otras actitudes proposicionales.​ * El significado de las oraciones declarativas o enunciativas, como «el Sol es una estrella».​ Intuitivamente una proposición expresa un contenido semántico a la que, bajo cierto procedimiento acordado o prescrito, es posible asignarle un valor de verdad (usualmente "verdadero" o "falso", aunque en lógica formal se admiten otros valores de verdad diferentes).​ Una proposición es una cadena de signos expresados en un determinado lenguaje. En un lenguaje natural, esos signos usualmente son sonidos o caracteres escritos, mientras que un tipo de lenguaje formalizado pueden ser signos arbitrarios. Dado que los lenguajes son tipos de estructuras combinatorias que admitidamente pueden representar entidades de la realidad, se admite que las proposiciones son cadenas de signos a las que es posible emparejar con objetos reales. Es importante notar que lo que hace de una cadena de signos una proposición, es que sea interpretable (ya que existen por ejemplo cadenas de signos u oraciones de un lenguaje que carecen de un referente o interpretación bien definidos). En ese sentido una proposición puede entenderse como un producto lógico del pensamiento humano que es expresado mediante una lengua natural, aunque también existen lenguajes formales (como la notación matemática). Una proposición expresada en lenguaje natural deberá ser una oración gramatical o como mínimo una oración semánticamente no vacía, mientras que una proposición expresada en un lenguaje formal deberá ser una cadena de signos que constituya una fórmula bien formada. (es)
  • Ráiteas a léiríonn breithiúnas is ea Tairiscint (Béarla, proposition). (ga)
  • In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, "meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false. While the term "proposition" may sometimes be used in everyday language to refer to a linguistic statement which can be either true or false, the technical philosophical term, which differs from the mathematical usage, refers exclusively to the non-linguistic meaning behind the statement. The term is often used very broadly and can also refer to various related concepts, both in the history of philosophy and in contemporary analytic philosophy. It can generally be used to refer to some or all of the following: The primary bearers of truth values (such as "true" and "false"); the objects of belief and other propositional attitudes (i.e. what is believed, doubted, etc.); the referents of "that"-clauses (e.g. "It is true that the sky is blue" and "I believe that the sky is blue" both involve the proposition the sky is blue); and the meanings of declarative sentences. Since propositions are defined as the sharable objects of attitudes and the primary bearers of truth and falsity, this means that the term "proposition" does not refer to particular thoughts or particular utterances (which are not sharable across different instances), nor does it refer to concrete events or facts (which cannot be false). Propositional logic deals primarily with propositions and logical relations between them. (en)
  • Une proposition est en philosophie ce qui dans un énoncé est susceptible d'être conservé lors d'une traduction et de recevoir une valeur de vérité, c'est-à-dire d'être vrai ou faux. (fr)
  • 命題(めいだい、(英語: proposition)とは、論理学において判断を言語で表したもので、真または偽という性質(真理値)をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での「命題」の存在について、「意味」の存在と同様に疑問を投げかける哲学者もいる。デイヴィド・ルイスは「『命題』という語からわれわれが連想する概念は、それぞれ差しさわりがありながら、それぞれが差し迫った必要性(desiderata)(から定義された複数のもの)がごちゃまぜになった、何ものか」であると言い、この概念を一貫した定義のなかで捉えることの困難さを指摘している。 (ja)
  • 명제(命題)는 논리학적으로 뜻이 분명한 문장을 말한다. 즉, '참' 혹은 '거짓'임을 검증할 수 있는 '객관적 사태'가 포함된 문장을 말한다. 한편 명제는 거의 대부분의 인간들이 공통적으로 인정할 수 있는 , 즉 '맞다', 틀리다'고 말할 수 있는 조건이지만, 한편 현대 사회에서 거의 진리로 인정받고 있는 특정 가치관이나 사유의 혼란등이 명제의 구성 및 판별에 혼동을 주는 경우도 무시할 수 없이 많다. 이러한 경우를 논리적 오류라고 한다. 예컨대 "베토벤은 음악의 천재이다.", "노인들은 공경을 해야 할 대상이다". 들이 거의 진리로 인정받는다 하더라도 이 문장들은 명제가 갖추어야 할 조건을 모두 만족하지 못한다. 또한 베토벤이 음악의 천재라고 세계적으로 인정받기는 하나, '천재'의 기준이 명확하지 않으므로 아무리 음악적 재능이 특출나다고 할지라도 참인지 거짓인지 명제화하기에는 명확하게 할 수 없다는것이다. 문장 '노인은 공경의 대상이다.'는 사회적으로 모든 사람들에게 인정받는 도덕판단이기는 하나, 이 문장을 참이라고 논리적으로 증명할 수 있는 근거는 전혀 없다. 반대로 이 문장이 거짓이라고 논리적으로 증명할 수 있는 근거도 전혀 없다. 단순히 인간의 양심적 사고에서 도출된 도덕판단이기 때문이다. 즉, 이 문장은 의무론적 관점에서 볼 때, 매우 윤리적인 문장일 지라도, 지금 따지고자 하는 것은 이 문장이 명제인가?라는 것이다. 즉, 이 문장은 참, 거짓을 따질 수 있는 명제인지를 보는 것이다. 궁극적으로, 이 문장은 명제가 아니다. 여기서 알 수 있듯, 어떤 식/문장이 명제인지 아닌지를 정확하게 따지려면, 그 문장의 참/거짓을 결정짓는 기준이 명확한지, 명확하지 않고 애매한지부터 보아야 한다. 이처럼 명제는 추론의 기본단위이다. 그러나 여전히 언어학적인 문장 기술은 논리학에있어서 '정의' , '명제' 등 처럼 기능적으로 매우 중요하다. (ko)
  • Sąd w sensie logicznym (często w krótkiej formie: sąd) – znaczenie zdania w sensie logicznym. Ten sam sąd odpowiada różnym zdaniom mającym to samo znaczenie logiczne (np. zdaniom wypowiedzianym w różnych językach). Od sądów w sensie logicznym odróżnia się sądy w sensie psychologicznym, stanowiące przeżycia odpowiadające sądom w sensie logicznym. Sądy w sensie logicznym można też określić odmiennie - nie jako znaczenia zdań wyrażające pewne przeżycia, ale jako to, co wspólne pewnym klasom sądów w sensie psychologicznym. Sądom w sensie logicznym przysługuje cecha prawdziwości lub fałszywości, podobnie jak zdaniom. Prawdziwy jest sąd będący znaczeniem zdania prawdziwego, fałszywy zaś sąd będący znaczeniem zdania fałszywego. (pl)
  • Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn. Een bewering onderscheidt zich van een zin doordat een zin slechts een formulering van een bewering is, terwijl er vele andere formuleringen kunnen zijn die dezelfde bewering uitdrukken. De term "bewering" kan verwijzen naar een zin of het idee dat door een zin wordt uitgedrukt. In de taalfilosofie bepleitte Peter Strawson om de voorkeur te geven aan het gebruik van de term "bewering" boven de term propositie. Volgens hem kan dezelfde bewering gedaan worden met verschillende proposities. 'Ieder mens is een man', 'Iedereen is een man'. (nl)
  • Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdade é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições. Muitos lógicos preferem evitar o uso do termo proposição em favor de usar sentença. Diferentes sentenças podem expressar a mesma proposição quando têm o mesmo significado. Por exemplo, "A neve é branca" e "Snow is white" são sentenças diferentes, mas ambas dizem a mesma coisa, a saber, que a neve é branca. Logo, expressam a mesma proposição. Outro exemplo de sentença que expressa a mesma proposição que as anteriores é "A precipitação de pequenos cristais de água congelada é branca", pois "precipitação de pequenos cristais de água congelada" é a definição de "neve". Na lógica aristotélica uma proposição é um tipo particular de sentença, a saber, aquela que afirma ou nega um predicado de um sujeito. Proposições são usualmente consideradas como o de crenças e outros pensamentos representativos. Elas também podem ser o objeto de outras atitudes, como desejo, , intenção, como em "Desejo um carro novo" e "Espero que chova", por exemplo. Também não é raro contrastar com a noção de proposição como conteúdo mental a noção de proposições russellianas. De facto, boa parte da discussão em torno da natureza da proposição travada no século XX e contemporaneamente, oscila e, por vezes, tenta conciliar ambas noções. (pt)
  • Påstående är ett begrepp inom logiken. Ett påstående kan vara sant eller . (sv)
  • Пропози́ция (лат. propositio — предложение) — смысл утвердительного предложения. В философии «смысл» понимается как нелингвистический объект, выражаемый всеми предложениями с одинаковым смыслом. Эквивалентно, пропозиция — нелингвистический носитель истинности или ложности, делающий каждое предложение выражающее пропозицию истинным либо ложным. (ru)
  • 命题(proposition),在现代哲学、逻辑学、语言学中是指一个判断(陳述)的语义(實際表達的概念),這個概念是可以被定義並觀察的現象。命题不是指判断(陳述)本身。当相異判断(陳述)具有相同语义的时候,他们表达相同的命题。例如,雪是白的(汉语)和 Snow is white(英语)是相異的判断(陳述),但它们表达的命题是相同的。在同一种语言中,两个相異判断(陳述)也可能表达相同命题。例如,刚才的命题也可以说成冰的小结晶是白的,不過,之所以是相同命题,取決於冰的小结晶可視為雪的有效定義。 通常,命題是指閉判斷(一个有真值命题的公式),以區別於,或謂詞。在這種情況下,命題不是真的就是的。哲學學派邏輯實證主義支援這一命題的概念。 一些哲學家,諸如,認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不通過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它,例如,在當老師請學生對某個引用發表意見的時候,這個引用就是一個命題(即它有語義)而這個老師並沒有判定它。在上一段中,只給出了命題雪是白的,但沒有判定它。 (zh)
dbo:wikiPageID
  • 81094 (xsd:integer)
dbo:wikiPageLength
  • 19085 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1060092209 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Eine Aussage im Sinn der aristotelischen Logik ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde wahr oder falsch ist. Es genügt, dass die Frage nach Wahrheit („Zutreffen“) oder Falschheit („Nicht-Zutreffen“) sinnvoll ist; das ist zum Beispiel bei Fragesätzen, Ausrufen und Wünschen nicht der Fall. Aussagen sind somit Sätze, die Sachverhalte beschreiben und denen man einen Wahrheitswert zuordnen kann. (de)
  • Logikan eta filosofian, proposizioa batek munduaz dioena da, haren esanahia edo edukia, egia-balio jakin bat (egiazkoa ala faltsua) hartzen duena. Esakune batzuk proposizio beraren agerpen-modu desberdinak izan daitezke. (eu)
  • Ráiteas a léiríonn breithiúnas is ea Tairiscint (Béarla, proposition). (ga)
  • Une proposition est en philosophie ce qui dans un énoncé est susceptible d'être conservé lors d'une traduction et de recevoir une valeur de vérité, c'est-à-dire d'être vrai ou faux. (fr)
  • 命題(めいだい、(英語: proposition)とは、論理学において判断を言語で表したもので、真または偽という性質(真理値)をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での「命題」の存在について、「意味」の存在と同様に疑問を投げかける哲学者もいる。デイヴィド・ルイスは「『命題』という語からわれわれが連想する概念は、それぞれ差しさわりがありながら、それぞれが差し迫った必要性(desiderata)(から定義された複数のもの)がごちゃまぜになった、何ものか」であると言い、この概念を一貫した定義のなかで捉えることの困難さを指摘している。 (ja)
  • Påstående är ett begrepp inom logiken. Ett påstående kan vara sant eller . (sv)
  • Пропози́ция (лат. propositio — предложение) — смысл утвердительного предложения. В философии «смысл» понимается как нелингвистический объект, выражаемый всеми предложениями с одинаковым смыслом. Эквивалентно, пропозиция — нелингвистический носитель истинности или ложности, делающий каждое предложение выражающее пропозицию истинным либо ложным. (ru)
  • 命题(proposition),在现代哲学、逻辑学、语言学中是指一个判断(陳述)的语义(實際表達的概念),這個概念是可以被定義並觀察的現象。命题不是指判断(陳述)本身。当相異判断(陳述)具有相同语义的时候,他们表达相同的命题。例如,雪是白的(汉语)和 Snow is white(英语)是相異的判断(陳述),但它们表达的命题是相同的。在同一种语言中,两个相異判断(陳述)也可能表达相同命题。例如,刚才的命题也可以说成冰的小结晶是白的,不過,之所以是相同命题,取決於冰的小结晶可視為雪的有效定義。 通常,命題是指閉判斷(一个有真值命题的公式),以區別於,或謂詞。在這種情況下,命題不是真的就是的。哲學學派邏輯實證主義支援這一命題的概念。 一些哲學家,諸如,認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不通過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它,例如,在當老師請學生對某個引用發表意見的時候,這個引用就是一個命題(即它有語義)而這個老師並沒有判定它。在上一段中,只給出了命題雪是白的,但沒有判定它。 (zh)
  • Z hlediska nižší logiky je výrok každé sdělení (gramaticky vyjádřené oznamovací větou), o němž má smysl tvrdit, že je pravdivé (platí), nebo nepravdivé (neplatí). K označení výroků se užívá písmen (např. ) nebo matematických symbolů a značek (např. ). Výroku je přiřazena pravdivostní hodnota (je pravda = 1; není pravda = 0). Hypotéza (domněnka) je výrok, u něhož v daném okamžiku nejsme schopni rozhodnout, zda je pravdivý či nepravdivý, ale víme jistě, že jedna z těchto dvou možností nastane. (cs)
  • En filosofía y lógica, el término proposición se usa para referirse a:​ * Las entidades portadoras de los valores de verdad.​ * Los objetos de las creencias y de otras actitudes proposicionales.​ * El significado de las oraciones declarativas o enunciativas, como «el Sol es una estrella».​ Intuitivamente una proposición expresa un contenido semántico a la que, bajo cierto procedimiento acordado o prescrito, es posible asignarle un valor de verdad (usualmente "verdadero" o "falso", aunque en lógica formal se admiten otros valores de verdad diferentes).​ (es)
  • In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, "meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false. (en)
  • 명제(命題)는 논리학적으로 뜻이 분명한 문장을 말한다. 즉, '참' 혹은 '거짓'임을 검증할 수 있는 '객관적 사태'가 포함된 문장을 말한다. 한편 명제는 거의 대부분의 인간들이 공통적으로 인정할 수 있는 , 즉 '맞다', 틀리다'고 말할 수 있는 조건이지만, 한편 현대 사회에서 거의 진리로 인정받고 있는 특정 가치관이나 사유의 혼란등이 명제의 구성 및 판별에 혼동을 주는 경우도 무시할 수 없이 많다. 이러한 경우를 논리적 오류라고 한다. 예컨대 "베토벤은 음악의 천재이다.", "노인들은 공경을 해야 할 대상이다". 들이 거의 진리로 인정받는다 하더라도 이 문장들은 명제가 갖추어야 할 조건을 모두 만족하지 못한다. 또한 베토벤이 음악의 천재라고 세계적으로 인정받기는 하나, '천재'의 기준이 명확하지 않으므로 아무리 음악적 재능이 특출나다고 할지라도 참인지 거짓인지 명제화하기에는 명확하게 할 수 없다는것이다. (ko)
  • Sąd w sensie logicznym (często w krótkiej formie: sąd) – znaczenie zdania w sensie logicznym. Ten sam sąd odpowiada różnym zdaniom mającym to samo znaczenie logiczne (np. zdaniom wypowiedzianym w różnych językach). Od sądów w sensie logicznym odróżnia się sądy w sensie psychologicznym, stanowiące przeżycia odpowiadające sądom w sensie logicznym. Sądy w sensie logicznym można też określić odmiennie - nie jako znaczenia zdań wyrażające pewne przeżycia, ale jako to, co wspólne pewnym klasom sądów w sensie psychologicznym. (pl)
  • Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdade é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições. Muitos lógicos preferem evitar o uso do termo proposição em favor de usar sentença. Na lógica aristotélica uma proposição é um tipo particular de sentença, a saber, aquela que afirma ou nega um predicado de um sujeito. (pt)
  • Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn. Een bewering onderscheidt zich van een zin doordat een zin slechts een formulering van een bewering is, terwijl er vele andere formuleringen kunnen zijn die dezelfde bewering uitdrukken. De term "bewering" kan verwijzen naar een zin of het idee dat door een zin wordt uitgedrukt. (nl)
rdfs:label
  • Proposition (en)
  • قضية (فلسفة) (ar)
  • Proposició (ca)
  • Výrok (logika) (cs)
  • Aussage (Logik) (de)
  • Proposición (es)
  • Proposizio (eu)
  • Proposition (philosophie) (fr)
  • Tairiscint (ga)
  • Proposisi (in)
  • Proposizione (logica) (it)
  • 命題 (ja)
  • 명제 (ko)
  • Propositie (nl)
  • Proposição (pt)
  • Sąd (logika) (pl)
  • Висловлення (uk)
  • Пропозиция (ru)
  • Påstående (sv)
  • 命题 (zh)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:notableIdea of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:notableIdeas of
is gold:hypernym of
is owl:differentFrom of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License