Vysvetlíme, čo je to výrok, jeho význam vo filozofii, logike a matematike. Tiež jednoduché a zložené návrhy.
čo je návrh?
Návrh je vo všeobecnosti niečo, čo sa navrhuje. To znamená, že ide o ekvivalentný výraz a jednoduchá veta asertívny, a modlitba v ktorej sa potvrdzuje, že niečo je, že niečo existuje alebo že to má určitú charakteristiku. Preto ho možno posudzovať ako pravdivý (ak sa zhoduje s realitou) alebo nepravdivý (ak nie).
Je to termín široko používaný v rôznych kontextoch vedomostí, ako sú určité formálne disciplíny (logika, matematika) mávať lingvistika a filozofia. Myšlienka je taká, že ak vezmeme rôzne návrhy ako predchádzajúce, je možné získať isté záverya navyše postup, prostredníctvom ktorého sme ich získali, možno pozorne preštudovať.
V každom prípade treba propozíciu chápať ako reťaz znakov, ktoré patria do toho istého jazyka, či už ide o zvuky alebo znaky (v prirodzenom jazyku) alebo znaky a reprezentácie (vo formálnom jazyku).
Zatiaľ čo v hovorovom jazyku sa návrh chápe ako návrh: výzva, ktorú dávame druhému alebo iným a ktorú možno prijať alebo odmietnuť.
Napokon si nesmieme zamieňať propozíciu s predložkou. To posledné je len gramatická kategória, teda typ slová, ktoré majú viac-menej zrejmý gramatický význam, a ktoré slúžia na nadväzovanie vzťahov medzi vecami. Príklady predložiek sú: de, para, contra, entre, por, sobre, bajo, en atď.
Návrh vo filozofii
V rámci filozofickej debaty sa hovorí o návrhu odkazovať na mentálny akt, prostredníctvom ktorého sa úsudok o realite vyjadruje v špecifickom jazyku, čo umožňuje vytvoriť vzťah určitého druhu medzi predmet a a predikát určený.
V tomto zmysle by sa výrok nemal zamieňať s vetou, v ktorej je vyjadrený, pretože ten istý úsudok možno vyjadriť rôznymi vetami, ako napríklad:
- Ana je žena.
- Ana nie je muž.
Návrh v logike
Logika študuje vzťahy medzi výrokmi a mechanizmami uvažovania, ktoré nám umožňujú dospieť k jednému od druhého. Samotné tvrdenia sa líšia od úsudkov, pretože prvé navrhujú niečo o realite a druhé niečo z nej potvrdzujú alebo popierajú. To znamená, že výroky sú logickým produktom úsudkov.
Formálna logika predstavuje výroky prostredníctvom písmen abecedy, aby sa študovali logické súvislosti medzi nimi abstrahované od ich sémantického obsahu: „ak p potom čo”.
Z tohto vzťahu potom možno určiť, v ktorých prípadoch je vyjadrený obsah pravdivý a v ktorých nepravdivý, prostredníctvom takzvaných „pravdových tabuliek“, ktoré priraďujú hodnoty true (V) alebo nepravdivé (F). k nadviazanému vzťahu, študovať jeho možné výsledky.
Jednoduché a zložené výroky
Logika klasifikuje výroky do dvoch typov: jednoduché a zložené v závislosti od ich konformácie.
- Jednoduché návrhy. Sú to tie, ktoré sa skladajú z podmetu a predikátu priamo súvisiaceho, bez faktorov negácie (nie), spojky (a), disjunkcie (alebo) alebo implikácie (ak ... potom). Vo vetných členoch zodpovedajú jednoduchým vetám bez podraďovania. Napríklad: "Pes je čierny."
- Zložené návrhy. Sú to tie, ktoré sú komplexného typu, ktoré obsahujú ďalšie prvky prostredníctvom faktorov negácie, konjunkcie, disjunkcie alebo implikácie a ktoré z hľadiska vety pozostávajú z viet s podriadený a ďalšie komponenty. Napríklad: "Ak je pes čierny, pes nie je ani modrý, ani červený."
Tvrdenie v matematike
Keďže matematika je formálny jazyk veľmi blízky logike, jej prístup k výrokom nie je príliš odlišný, s výnimkou toho, že používa čísla, premenné a matematické znaky na vyjadrenie vzťahu a súvislostí medzi termínmi výroku alebo jedného s inými. . Matematické výroky teda tiež niečo potvrdzujú alebo popierajú a vytvárajú spojenie, ktoré možno posúdiť ako pravdivé alebo nepravdivé.
Napríklad výraz 4 + 5 = 7 potvrdzuje formálny vzťah medzi týmito veličinami, ktorý možno v tomto prípade považovať za nepravdivý, pretože jeho rozlíšenie naznačuje, že 4 + 5 = 9. Napriek tomu, že je nepravdivé, možno konštatovať, to znamená, že to môže byť navrhnuté.
Matematické tvrdenia môžu byť komplexnejšie začlenením premennéako rovnice vyjadrujúce vzťahy možností a variácií. Napríklad vo výraze x = 3y + z bude význam pravdivý alebo nepravdivý závisieť od hodnôt, ktoré premenným priradíme, hoci ich pomer a význam zostanú bez ohľadu na to rovnaké.