Proposition (original) (raw)
القضية مصطلح مستعمل في الفلسفة التحليلية المعاصرة. وتستعمل أساسا في إيضاح بأن فكرة ما قد تقبل الصواب أو الخطأ. القضية عند المنطقيين، وتسمى خبرا وتصديقا أيضا، هي قول يصح أن يقال لقائله إنه صادق فيه أو كاذب. فالقول أعم من الملفوظ والمعقول، وهو جنس يشتمل الأقوال التامة والناقصة.
| Property | Value |
|---|---|
| dbo:abstract | Una proposició és un conjunt de paraules amb sentit, si bé el terme al·ludeix a realitats diferents segons l'escola d'estudiosos que se segueixi. Proposició pot ser sinònim de frase o d'oració en sentit ampli, si bé alguns parlen de proposició com cada una de les parts d'una oració composta. En el camp de la lògica, una proposició és la que formula un argument del qual es pot analitzar la veritat o falsedat. En un sentit no gramatical, una proposició és un , una invitació o una demanda. Tant en la lògica com en la filosofia, el terme proposició és una mica ambigu i s'usa per referir-se a: * Les entitats portadores dels valors de veritat. * Els objectes de les creences i d'altres actituds proposicionals. * Els referents de les clàusules 'que', com «en Joan creu que el Sol és una estrella». * El significat de les oracions declaratives, com «el Sol és una estrella». (ca) 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) القضية مصطلح مستعمل في الفلسفة التحليلية المعاصرة. وتستعمل أساسا في إيضاح بأن فكرة ما قد تقبل الصواب أو الخطأ. القضية عند المنطقيين، وتسمى خبرا وتصديقا أيضا، هي قول يصح أن يقال لقائله إنه صادق فيه أو كاذب. فالقول أعم من الملفوظ والمعقول، وهو جنس يشتمل الأقوال التامة والناقصة. (ar) 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) 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) 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) Proposisi adalah istilah yang digunakan untuk kalimat pernyataan yang memiliki arti penuh dan utuh. Hal ini berarti suatu kalimat harus dapat dipercaya, disangsikan, disangkal, atau dibuktikan benar tidaknya. Singkatnya, proposisi adalah pernyataan mengenai hal-hal yang dapat dinilai benar atau salah. Dalam ilmu logika, proposisi mempunyai tiga unsur yakni: 1. * Subjek, perkara yang disebutkan terdiri dari orang, benda, tempat, atau perkara. 2. * Predikat adalah perkara yang dinyatakan dalam subjek. 3. * Kopula adalah kata yang menghubungkan subjek dan predikat. Contohnya kalimat Semua manusia adalah fana. Kata semua dalam kalimat tersebut dinamakan dengan pembilang. Kemudian kata manusia berkedudukan sebagai subjek, sedang adalah merupakan kopula. Adapun predikat di sini diwakili oleh kata fana. Banyak pemikir modern berpikir bahwa "pernyataan" dan "proposisi" adalah sinonim, atau paling tidak seharusnya sama. (in) ( 다른 뜻에 대해서는 명제 (동음이의) 문서를 참고하십시오.) 명제(命題)는 논리학적으로 뜻이 분명한 문장을 말한다. 즉, '참' 혹은 '거짓'임을 검증할 수 있는 '객관적 사태'가 포함된 문장을 말한다. 한편 명제는 거의 대부분의 인간들이 공통적으로 인정할 수 있는 , 즉 '맞다', 틀리다'고 말할 수 있는 조건이지만, 한편 현대 사회에서 거의 진리로 인정받고 있는 특정 가치관이나 사유의 혼란등이 명제의 구성 및 판별에 혼동을 주는 경우도 무시할 수 없이 많다. 이러한 경우를 논리적 오류라고 한다. 예컨대 "베토벤은 음악의 천재이다.", "노인들은 공경을 해야 할 대상이다". 들이 거의 진리로 인정받는다 하더라도 이 문장들은 명제가 갖추어야 할 조건을 모두 만족하지 못한다. 또한 베토벤이 음악의 천재라고 세계적으로 인정받기는 하나, '천재'의 기준이 명확하지 않으므로 아무리 음악적 재능이 특출나다고 할지라도 참인지 거짓인지 명제화하기에는 명확하게 할 수 없다는 것이다. 문장 '노인은 공경의 대상이다.'는 사회적으로 모든 사람들에게 인정받는 도덕판단이기는 하나, 이 문장을 참이라고 논리적으로 증명할 수 있는 근거는 전혀 없다. 반대로 이 문장이 거짓이라고 논리적으로 증명할 수 있는 근거도 전혀 없다. 단순히 인간의 양심적 사고에서 도출된 도덕판단이기 때문이다. 즉, 이 문장은 의무론적 관점에서 볼 때, 매우 윤리적인 문장일 지라도, 지금 따지고자 하는 것은 이 문장이 명제인가?라는 것이다. 즉, 이 문장은 참, 거짓을 따질 수 있는 명제인지를 보는 것이다. 궁극적으로, 이 문장은 명제가 아니다. 여기서 알 수 있듯, 어떤 식/문장이 명제인지 아닌지를 정확하게 따지려면, 그 문장의 참/거짓을 결정짓는 기준이 명확한지, 명확하지 않고 애매한지부터 보아야 한다. 이처럼 명제는 추론의 기본단위이다. 그러나 여전히 언어학적인 문장 기술은 논리학에있어서 '정의' , '명제' 등처럼 기능적으로 매우 중요하다. (ko) 命題（めいだい、（英語: proposition）とは、論理学において判断を言語で表したもので、真または偽という性質(真理値)をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での「命題」の存在について、「意味」の存在と同様に疑問を投げかける哲学者もいる。デイヴィド・ルイスは「『命題』という語からわれわれが連想する概念は、それぞれ差しさわりがありながら、それぞれが差し迫った必要性(desiderata)（から定義された複数のもの）がごちゃまぜになった、何ものか」であると言い、この概念を一貫した定義のなかで捉えることの困難さを指摘している。 (ja) In filosofia e logica moderna, una proposizione è una frase, ossia un'espressione linguistica dotata di significato, a cui è sempre collegato uno dei due valori di verità: vero (V) o falso (F). Le proposizioni sono i costituenti principali degli argomenti di cui si occupa la logica, in particolare nella logica proposizionale. (it) 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) 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) 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 | 19099 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1118632099 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Propositional_attitudes dbr:Predicate_logic dbr:Propositional_calculus dbr:Psychology dbr:Philosophy_of_mind dbr:Mental_world dbr:Probabilistic_proposition dbr:Belief dbr:Bertrand_Russell dbc:Statements dbr:Aristotelian_logic dbr:Intentionality dbr:Interpretation_(logic) dbr:Truth-bearer dbr:Possible_world dbr:Predicate_variable dbr:Quantification_(logic) dbr:Concatenation dbr:Copula_(linguistics) dbr:Mathematics dbr:Gottlob_Frege dbr:Corollary dbr:Theorem dbr:Open_formula dbr:Arity dbr:Logic dbr:Logical_positivism dbr:Ludwig_Wittgenstein dbc:Propositional_calculus dbr:Delimiter dbr:Functional_predicate dbr:Propositional_attitude dbr:Statement_(logic) dbr:Subject_(philosophy) dbc:Semantics dbr:Truth dbr:Truth_value dbr:Linguistics dbr:Analytic_philosophy dbc:Formal_semantics_(natural_language) dbc:Philosophy_of_language dbr:False_(logic) dbr:P._F._Strawson dbc:Semantic_units dbr:Folk_psychology dbr:Lemma_(mathematics) dbr:Logical_connective dbr:Well-formed_formula dbr:Recursion dbr:Referent dbc:Logical_expressions dbc:Propositions dbc:Syntax_(logic) dbr:Term_(logic) dbc:Ontology dbc:Mathematical_logic dbr:Syntax dbr:Axiom dbr:Philosophy dbr:Platonist dbr:Categorical_proposition dbr:Set_(mathematics) dbr:Meaning_(linguistics) dbr:Meaning_(philosophy) dbr:Subject_(grammar) dbr:Semantics dbr:Sentence_(linguistics) dbr:Sentence_(mathematical_logic) dbr:Valuation_(logic) dbr:Yes–no_question dbr:Semiotics dbr:Propositional_attitudes dbr:W._V._Quine dbr:Free_and_bound_variables dbr:Declarative_sentence dbr:Internalism dbr:Predicate_(logic) |
| dbp:wikiPageUsesTemplate | dbt:About dbt:Authority_control dbt:Citation_needed dbt:Commons_category-inline dbt:Distinguish dbt:Portal dbt:Reflist dbt:Short_description dbt:Philosophy_of_language dbt:Formal_semantics |
| dct:subject | dbc:Propositional_attitudes dbc:Statements dbc:Propositional_calculus dbc:Semantics dbc:Formal_semantics_(natural_language) dbc:Philosophy_of_language dbc:Semantic_units dbc:Logical_expressions dbc:Propositions dbc:Syntax_(logic) dbc:Ontology dbc:Mathematical_logic |
| rdf:type | owl:Thing |
| rdfs:comment | القضية مصطلح مستعمل في الفلسفة التحليلية المعاصرة. وتستعمل أساسا في إيضاح بأن فكرة ما قد تقبل الصواب أو الخطأ. القضية عند المنطقيين، وتسمى خبرا وتصديقا أيضا، هي قول يصح أن يقال لقائله إنه صادق فيه أو كاذب. فالقول أعم من الملفوظ والمعقول، وهو جنس يشتمل الأقوال التامة والناقصة. (ar) 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) 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) Ráiteas a léiríonn breithiúnas is ea Tairiscint (Béarla, proposition). (ga) 命題（めいだい、（英語: proposition）とは、論理学において判断を言語で表したもので、真または偽という性質(真理値)をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での「命題」の存在について、「意味」の存在と同様に疑問を投げかける哲学者もいる。デイヴィド・ルイスは「『命題』という語からわれわれが連想する概念は、それぞれ差しさわりがありながら、それぞれが差し迫った必要性(desiderata)（から定義された複数のもの）がごちゃまぜになった、何ものか」であると言い、この概念を一貫した定義のなかで捉えることの困難さを指摘している。 (ja) In filosofia e logica moderna, una proposizione è una frase, ossia un'espressione linguistica dotata di significato, a cui è sempre collegato uno dei due valori di verità: vero (V) o falso (F). Le proposizioni sono i costituenti principali degli argomenti di cui si occupa la logica, in particolare nella logica proposizionale. (it) Påstående är ett begrepp inom logiken. Ett påstående kan vara sant eller . (sv) Пропози́ция (лат. propositio — предложение) — смысл утвердительного предложения. В философии «смысл» понимается как нелингвистический объект, выражаемый всеми предложениями с одинаковым смыслом. Эквивалентно, пропозиция — нелингвистический носитель истинности или ложности, делающий каждое предложение выражающее пропозицию истинным либо ложным. (ru) 在逻辑学、哲学、语言学中，命题（英語：proposition）是一个陈述句所表达的判断，具有真值，即不是真的就是假的。例如，“雪是白色的”。命题不等同于句子，例如，“雪是白色的”和“白色是雪的颜色”是不同的句子，但它们判断相同的事，是相同的命题；同时，命题也不依赖于语言，不同的语言可以表达相同的命题，例如，“雪是白的”和“Snow is white”是相同的判断。疑问句、祈使句、感叹句都不能表达命题。 由其他命题推出命题（前提推出结论）的过程，叫做推论；而这些作为前提和结论的命题的集合，叫做论证。命题逻辑主要处理命题及其之间的逻辑关系。 一些哲學家，諸如约翰·瑟尔，認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不通過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它，例如，在當老師請學生對某個引用發表意見的時候，這個引用就是一個命題（即它有語義）而這個老師並沒有判定它。在上一段中，只給出了命題雪是白的，但沒有判定它。 (zh) Una proposició és un conjunt de paraules amb sentit, si bé el terme al·ludeix a realitats diferents segons l'escola d'estudiosos que se segueixi. Proposició pot ser sinònim de frase o d'oració en sentit ampli, si bé alguns parlen de proposició com cada una de les parts d'una oració composta. En el camp de la lògica, una proposició és la que formula un argument del qual es pot analitzar la veritat o falsedat. En un sentit no gramatical, una proposició és un , una invitació o una demanda. Tant en la lògica com en la filosofia, el terme proposició és una mica ambigu i s'usa per referir-se a: (ca) 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) Proposisi adalah istilah yang digunakan untuk kalimat pernyataan yang memiliki arti penuh dan utuh. Hal ini berarti suatu kalimat harus dapat dipercaya, disangsikan, disangkal, atau dibuktikan benar tidaknya. Singkatnya, proposisi adalah pernyataan mengenai hal-hal yang dapat dinilai benar atau salah. Dalam ilmu logika, proposisi mempunyai tiga unsur yakni: 1. * Subjek, perkara yang disebutkan terdiri dari orang, benda, tempat, atau perkara. 2. * Predikat adalah perkara yang dinyatakan dalam subjek. 3. * Kopula adalah kata yang menghubungkan subjek dan predikat. (in) ( 다른 뜻에 대해서는 명제 (동음이의) 문서를 참고하십시오.) 명제(命題)는 논리학적으로 뜻이 분명한 문장을 말한다. 즉, '참' 혹은 '거짓'임을 검증할 수 있는 '객관적 사태'가 포함된 문장을 말한다. 한편 명제는 거의 대부분의 인간들이 공통적으로 인정할 수 있는 , 즉 '맞다', 틀리다'고 말할 수 있는 조건이지만, 한편 현대 사회에서 거의 진리로 인정받고 있는 특정 가치관이나 사유의 혼란등이 명제의 구성 및 판별에 혼동을 주는 경우도 무시할 수 없이 많다. 이러한 경우를 논리적 오류라고 한다. 예컨대 "베토벤은 음악의 천재이다.", "노인들은 공경을 해야 할 대상이다". 들이 거의 진리로 인정받는다 하더라도 이 문장들은 명제가 갖추어야 할 조건을 모두 만족하지 못한다. 또한 베토벤이 음악의 천재라고 세계적으로 인정받기는 하나, '천재'의 기준이 명확하지 않으므로 아무리 음악적 재능이 특출나다고 할지라도 참인지 거짓인지 명제화하기에는 명확하게 할 수 없다는 것이다. (ko) 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) 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) |
| rdfs:label | Proposition (en) قضية (فلسفة) (ar) Proposició (lògica) (ca) Výrok (logika) (cs) Aussage (Logik) (de) Proposición (es) Proposizio (eu) Tairiscint (ga) Proposisi (in) Proposizione (logica) (it) Proposition (philosophie) (fr) 命題 (ja) 명제 (ko) Propositie (nl) Proposição (pt) Sąd (logika) (pl) Пропозиция (ru) Висловлення (uk) Påstående (sv) 命题 (zh) |
| owl:differentFrom | dbr:Preposition |
| owl:sameAs | freebase:Proposition dbpedia-de:Proposition http://d-nb.info/gnd/4003809-9 wikidata:Proposition dbpedia-ar:Proposition dbpedia-az:Proposition dbpedia-bg:Proposition http://bn.dbpedia.org/resource/প্রতিজ্ঞা_(দর্শন) dbpedia-ca:Proposition http://ckb.dbpedia.org/resource/قەزیە_(لۆژیک) dbpedia-cs:Proposition dbpedia-da:Proposition dbpedia-es:Proposition dbpedia-et:Proposition dbpedia-eu:Proposition dbpedia-fa:Proposition dbpedia-fi:Proposition dbpedia-fr:Proposition dbpedia-ga:Proposition dbpedia-gl:Proposition dbpedia-he:Proposition http://hi.dbpedia.org/resource/प्रतिज्ञप्ति dbpedia-hr:Proposition http://hy.dbpedia.org/resource/Դատողություն dbpedia-id:Proposition dbpedia-io:Proposition dbpedia-is:Proposition dbpedia-it:Proposition dbpedia-ja:Proposition dbpedia-kk:Proposition dbpedia-ko:Proposition http://ky.dbpedia.org/resource/Пропозиция http://mg.dbpedia.org/resource/Fehezankevitra_(filozofia) dbpedia-mk:Proposition dbpedia-ms:Proposition dbpedia-nds:Proposition dbpedia-nl:Proposition dbpedia-nn:Proposition dbpedia-pl:Proposition dbpedia-pt:Proposition dbpedia-ru:Proposition dbpedia-simple:Proposition dbpedia-sk:Proposition dbpedia-sv:Proposition dbpedia-th:Proposition dbpedia-tr:Proposition http://tt.dbpedia.org/resource/Фикер dbpedia-uk:Proposition http://ur.dbpedia.org/resource/قضیہ_(منطق) dbpedia-zh:Proposition https://global.dbpedia.org/id/9oxt |
| prov:wasDerivedFrom | wikipedia-en:Proposition?oldid=1118632099&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Proposition |
| is dbo:wikiPageDisambiguates of | dbr:P_(disambiguation) dbr:Proposition_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Proposition_(Grammar) dbr:Proposition_(logic) dbr:Propositions dbr:Claim_(logic) dbr:Proposal_(logic_and_philosophy) dbr:Proposition_(grammar) dbr:Proposition_(philosophy) dbr:Propositional dbr:Propositioned dbr:Propositioner dbr:Propositioners dbr:Propositioning dbr:Russellian_proposition dbr:Russellian_propositions dbr:Particularised_proposition dbr:Particularised_propositions dbr:Particularized_proposition dbr:Particularized_propositions dbr:Singular_proposition dbr:Singular_propositions dbr:General_proposition dbr:General_propositions dbr:Logical_proposition dbr:Structured_proposition dbr:Structured_propositions |
| is dbo:wikiPageWikiLink of | dbr:Bayesian_probability dbr:Bayesian_statistics dbr:Belief_bias dbr:Proof_(truth) dbr:Proposal dbr:Proposition_(Grammar) dbr:Proposition_(logic) dbr:Propositional_calculus dbr:Propositions dbr:Pseudoscience dbr:Quantum_logic dbr:Samuel_Bailey dbr:English_clause_syntax dbr:Epistemic_theories_of_truth dbr:Münchhausen_trilemma dbr:Megarian_school dbr:Mereological_essentialism dbr:Meta-ethics dbr:Metaphysical_necessity dbr:Moore's_paradox dbr:Sheffer_stroke dbr:Principle_of_bivalence dbr:Wholistic_reference dbr:Belief dbr:David_Kaplan_(philosopher) dbr:Antanagoge dbr:Antecedent_(logic) dbr:Aphorism dbr:Apodicticity dbr:Argument dbr:Argumentation_scheme dbr:Argumentum_a_fortiori dbr:Paul_Thagard dbr:Peg's_Place_(bar) dbr:Personal_identity dbr:Relative_clause dbr:René_de_Marmande dbr:DIKW_pyramid dbr:V._A._Urechia dbr:Validity_(logic) dbr:Vascular_remodelling_in_the_embryo dbr:De_se dbr:Deductive_closure dbr:Definite_description dbr:Definitions_of_knowledge dbr:Descriptio_Cambriae dbr:Descriptive_knowledge dbr:Incorrigibility dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Index_of_philosophy_of_language_articles dbr:Index_of_psychology_articles dbr:Indexicality dbr:Infallibilism dbr:Infinite-valued_logic dbr:Inquisitive_semantics dbr:Intensifier dbr:J._L._Schellenberg dbr:List_of_rasa'il_in_the_Encyclopedia_of_the_Brethren_of_Purity dbr:Truth-bearer dbr:Pragmatic_mapping dbr:Syncategorematic_term dbr:The_Game_of_Logic dbr:Consequent dbr:Critique_of_Pure_Reason dbr:An_Essay_on_the_Nature_and_Significance_of_Economic_Science dbr:Math_Girls dbr:Negation dbr:Norm_(philosophy) dbr:Nothing dbr:Object-role_modeling dbr:Odds dbr:Opinion dbr:Organon dbr:P_(disambiguation) dbr:Principle_of_distributivity dbr:Modal_operator dbr:Reliabilism dbr:Rhema dbr:Tacit_knowledge dbr:Chrysippus dbr:Citation_signal dbr:Epistemic_commitment dbr:Epistemology dbr:Free_will dbr:Gianni_Vattimo dbr:Glossary_of_artificial_intelligence dbr:Glossary_of_philosophy dbr:Gottlob_Frege dbr:Boundary_critique dbr:Modality_(linguistics) dbr:Moral_realism dbr:Computing_Machinery_and_Intelligence dbr:Computing_with_words_and_perceptions dbr:Conditioned_disjunction dbr:Conjecture dbr:Conjugate_diameters dbr:Conjunct dbr:Conjunction_introduction dbr:Consistent_histories dbr:Contingency_(philosophy) dbr:Contradiction dbr:Contraposition_(traditional_logic) dbr:Conversational_scoreboard dbr:Corollary dbr:Correspondence_theory_of_truth dbr:Critique_of_Impure_Reason dbr:Theorem dbr:Eretrian_school dbr:Proof-theoretic_semantics dbr:Statistical_inference dbr:Open_information_extraction dbr:Basque_grammar dbr:Berry_paradox dbr:Logic dbr:Logic_Theorist dbr:Logical_NOR dbr:Logical_conjunction dbr:Ludics dbr:Statistical_proof dbr:Colloquialism dbr:Commutativity_of_conjunction dbr:Complex_question dbr:Emotivism dbr:Empirical_evidence dbr:Ideal_observer_theory dbr:Kerb_crawler dbr:Propositional_attitude dbr:Point_of_view_(philosophy) dbr:Portuguese_grammar dbr:Mental_state dbr:Squirrel_(debate) dbr:State_of_affairs_(philosophy) dbr:Statement_(logic) dbr:Substitution_(logic) dbr:Tractatus_Logico-Philosophicus dbr:Many-valued_logic dbr:Material_nonimplication dbr:PropBank dbr:My_Life_as_a_Bat dbr:Burden_of_proof_(philosophy) dbr:Actual_idealism dbr:Thought dbr:Through_the_Wormhole dbr:Tilde dbr:Transitive_relation dbr:Truth dbr:Truth_table dbr:Truth_value dbr:Westminster_Assembly dbr:Disjunct_(linguistics) dbr:Doxastic_attitudes dbr:Doxastic_logic dbr:HPO_formalism dbr:Jon_Barwise dbr:Justification_(epistemology) dbr:Law_of_excluded_middle dbr:Law_of_identity dbr:Law_of_noncontradiction dbr:Linguistic_competence dbr:Loaded_question dbr:Logic_of_argumentation dbr:Logical_biconditional dbr:Logical_cube dbr:Logical_truth dbr:Propositional_function dbr:Toniann_Pitassi dbr:Philosophical_skepticism dbr:William_Crathorn dbr:Abstraction dbr:2006_California_Proposition_82 dbr:Analytic–synthetic_distinction dbr:Edmund_Husserl dbr:Alternative_semantics dbr:Ernst_Mally dbr:Fallibilism dbr:False_(logic) dbr:Baralipton dbr:Baroco dbr:Branting_II_Cabinet dbr:Non-Euclidean_geometry dbr:Diaconescu's_theorem dbr:Dichotomy dbr:Direction_of_fit dbr:Discourse_analysis dbr:False_premise dbr:Family_resemblance dbr:Focus_(linguistics) dbr:Formal_language dbr:Formal_semantics_(natural_language) dbr:Foundations_of_geometry dbr:Frame_problem dbr:Glossary_of_education_terms_(A–C) dbr:Glossary_of_education_terms_(D–F) dbr:Glossary_of_education_terms_(P–R) dbr:Good_faith dbr:History_of_human_thought dbr:History_of_logic dbr:History_of_scientific_method dbr:Iterated_binary_operation dbr:Judgment_(mathematical_logic) dbr:Kent_Bach dbr:Legal_citation dbr:Proof_by_contradiction dbr:Strict_conditional dbr:Natural_deduction dbr:Recursive_definition dbr:Semantic_discord dbr:Logical_equality dbr:Mathematical_proof dbr:Premise dbr:Proposition_(disambiguation) dbr:Quasi-realism dbr:Question dbr:Rationality dbr:Regress_argument dbr:Relational_model dbr:Reliability_engineering dbr:Universal_prescriptivism dbr:Halting_problem dbr:Heraclitus dbr:Atomic_formula dbr:Atomic_sentence dbr:Isaac_Watts dbr:Cox's_theorem dbr:Hypothesis dbr:Social_research dbr:Archimedes dbr:Assumption dbr:Ability dbr:Abstract_and_concrete dbr:Charles_Taylor_(philosopher) dbr:Albert_of_Saxony_(philosopher) dbr:Affirmation dbr:Jerry_Fodor dbr:John_MacFarlane_(philosopher) dbr:Syllogism dbr:Cognitive_grammar dbr:Cognitivism_(ethics) dbr:Coherence_theory_of_truth dbr:Scientific_theory dbr:Tautological_consequence dbr:Tautology_(rule_of_inference) dbr:Term_logic dbr:Thesis dbr:Thesis_(disambiguation) dbr:Time_flies_like_an_arrow;_fruit_flies_like_a_banana dbr:Modal_subordination dbr:Modus_ponens dbr:Relative_pronoun dbr:Salva_congruitate dbr:Dialectic dbr:Boolean-valued_function dbr:Boolean-valued_model dbr:Buridan's_bridge dbr:Philosophical_analysis dbr:Philosophy_of_artificial_intelligence dbr:Philosophy_of_mathematics dbr:Pierre_Duhem dbr:Popper_and_After dbr:Claim_(logic) dbr:Figurative_system_of_human_knowledge dbr:Free_Boolean_algebra dbr:Frege–Church_ontology dbr:Guarded_Command_Language dbr:Guessing dbr:Implicature dbr:Inconsistent_triad dbr:Information dbr:Knowledge dbr:Metaphysics dbr:Nasir_al-Din_al-Tusi dbr:Nathan_Salmon dbr:Ontological_priority dbr:Carlsson_I_Cabinet dbr:Casimir_Lewy dbr:Categorical_imperative dbr:Categorical_proposition dbr:Categories_(Aristotle) dbr:Chain_of_events dbr:Model_of_hierarchical_complexity dbr:Principle_of_maximum_entropy dbr:Pierre_Rousselot dbr:Rule_of_inference dbr:Skid_row dbr:Scope_(formal_semantics) dbr:Semantics dbr:Semantics_of_logic dbr:Sentence_(mathematical_logic) dbr:Slingshot_argument dbr:Sorites_paradox dbr:Universality_(philosophy) dbr:Venn_diagram dbr:Verisimilitude dbr:Waverley_(novel) dbr:Well-founded_semantics dbr:Neurolinguistics dbr:Verbum_dicendi dbr:Eternalism_(philosophy_of_time) dbr:Ethical_naturalism |
| is gold:hypernym of | dbr:Passenger_leukocyte dbr:Probabilistic_proposition dbr:California_Proposition_14_(1964) dbr:California_Proposition_14_(2010) dbr:California_Proposition_1A_(2004) dbr:California_Proposition_1A_(2009) dbr:California_Proposition_1B_(2009) dbr:California_Proposition_1C_(2009) dbr:California_Proposition_1D_(2009) dbr:California_Proposition_1E_(2009) dbr:California_Proposition_209 dbr:California_Proposition_21_(2000) dbr:California_Proposition_227_(1998) dbr:California_Proposition_23_(2010) dbr:California_Proposition_27_(2010) dbr:California_Proposition_2_(2008) dbr:California_Proposition_46 dbr:California_Proposition_47_(2002) dbr:California_Proposition_48_(2002) dbr:California_Proposition_49_(2002) dbr:California_Proposition_50_(2002) dbr:California_Proposition_51_(2002) dbr:California_Proposition_52_(2002) dbr:California_Proposition_53_(2003) dbr:California_Proposition_54_(2003) dbr:California_Proposition_55_(2004) dbr:California_Proposition_56_(2004) dbr:California_Proposition_57_(2004) dbr:California_Proposition_58_(2004) dbr:California_Proposition_61_(2004) dbr:California_Proposition_62_(2004) dbr:California_Proposition_63_(2004) dbr:California_Proposition_64_(1986) dbr:California_Proposition_64_(2004) dbr:California_Proposition_65_(2004) dbr:California_Proposition_66_(2004) dbr:California_Proposition_69_(2004) dbr:California_Proposition_74_(2005) dbr:California_Proposition_75_(2005) dbr:California_Proposition_76_(2005) dbr:California_Proposition_77_(2005) dbr:California_Proposition_7_(1978) dbr:California_Proposition_80_(2005) dbr:California_Proposition_82_(2006) dbr:California_Proposition_85_(2006) dbr:California_Proposition_87_(2006) dbr:California_Proposition_8_(2008) dbr:California_Proposition_92_(2008) dbr:California_Proposition_93_(2008) dbr:Secondary_causation dbr:Post-election_events_of_Proposition_8_(2008) dbr:Competitive_exclusion_principle dbr:6+5_rule dbr:Cogito_ergo_sum dbr:Hauser's_law dbr:Twin_deficits_hypothesis dbr:Fine-tuned_Universe dbr:Osgood's_lemma dbr:False_premise dbr:Graphism_thesis dbr:Lemma_(mathematics) dbr:Hello,_sailor dbr:Cognitive_closure_(philosophy) dbr:Zorn's_lemma dbr:Categorical_proposition dbr:Second_Sydney_Airport dbr:McGarvie_Model dbr:Nepal_Zone_of_Peace_Proposition dbr:European_Security_Treaty dbr:Exterior_angle_theorem dbr:Even_money dbr:Wallace_neutrality dbr:Repeat-player_effect dbr:Porism dbr:Axiom_of_Causality dbr:Truth_claim |
| is owl:differentFrom of | dbr:Preposition_and_postposition |
| is foaf:primaryTopic of | wikipedia-en:Proposition |