Vysvětlíme, co je propozice, její význam ve filozofii, logice a matematice. Také jednoduché a složené návrhy.
Co je to návrh?
Návrh, obecně řečeno, je něco, co se navrhuje. To znamená, že jde o ekvivalentní výraz a jednoduchá věta asertivní, a modlitba ve kterém se potvrzuje, že něco je, že něco existuje nebo že to má určitou charakteristiku. Proto může být posouzen jako pravdivý (pokud se shoduje s realitou) nebo nepravdivý (pokud nesouhlasí).
Je to termín široce používaný v různých kontextech znalostí, jako jsou určité formální disciplíny (logika, matematika) mávat lingvistika a filozofie. Myšlenka je taková, že pokud vezmeme různé návrhy jako předchůdce, je možné získat jisté závěrya navíc postup, kterým jsme je získali, lze pečlivě prostudovat.
V každém případě je třeba propozici chápat jako řetězec znaků, které patří do stejného jazyka, ať už jde o zvuky nebo znaky (v přirozeném jazyce) nebo znaky a reprezentace (ve formálním jazyce).
Kdežto v hovorovém jazyce se návrhem rozumí návrh: výzva, kterou dáváme druhému nebo jiným a kterou lze přijmout nebo odmítnout.
A konečně nesmíme zaměňovat propozici s předložkou. To poslední je jen gramatickou kategorií, tedy typem slova, které mají více či méně zřejmý gramatický význam, a které slouží k navazování vztahů mezi věcmi. Příklady předložek jsou: de, para, contra, entre, por, sobre, bajo, en atd.
Návrh ve filozofii
Na poli filozofické debaty se hovoří o návrhu odkazovat na mentální akt, jehož prostřednictvím je úsudek o realitě vyjádřen ve specifickém jazyce, což umožňuje vytvořit určitý vztah mezi předmět a predikát odhodlaný.
V tomto smyslu by neměla být věta zaměňována s větou, kterou je vyjádřena, protože stejný úsudek lze vyjádřit různými větami, jako v:
- Ana je žena.
- Ana není muž.
Tvrzení v logice
Logika studuje vztahy mezi výroky a mechanismy uvažování, které nám umožňují dospět k jednomu od druhého. Propozice samy o sobě se liší od soudů, protože první navrhují něco o realitě a druhé něco z ní potvrzují nebo popírají. To znamená, že výroky jsou logickým produktem soudů.
Formální logika zastupuje výroky prostřednictvím písmen abecedy, aby mohla studovat logické souvislosti mezi nimi abstrahované od jejich sémantického obsahu: „pokud p pak co”.
Z tohoto vztahu pak lze určit, v jakých případech je vyjádřený obsah pravdivý a v jakých nepravdivý, pomocí tzv. „pravdových tabulek“, které přiřazují hodnoty true (V) nebo false (F). k navázanému vztahu, studovat jeho možné výsledky.
Jednoduché a složené výroky
Logika klasifikuje propozice do dvou typů: jednoduché a složené, v závislosti na jejich konformaci.
- Jednoduché návrhy. Jsou to ty, které jsou složeny z podmětu a predikátu přímo souvisejícího, bez faktorů negace (ne), spojky (a), disjunkce (nebo) nebo implikace (jestliže ... potom). Ve větných členech odpovídají větám jednoduchým bez podřazení. Například: "Pes je černý."
- Složené návrhy. Jsou to ty komplexního typu, které obsahují další prvky prostřednictvím faktorů negace, konjunkce, disjunkce nebo implikace, a které se ve větných termínech skládají z vět s podřízený a další komponenty. Například: "Pokud je pes černý, pes není ani modrý, ani červený."
Tvrzení v matematice
Vzhledem k tomu, že matematika je formální jazyk velmi blízký logice, její přístup k výrokům není příliš odlišný, s výjimkou toho, že používá čísla, proměnné a matematické znaky k vyjádření vztahu a souvislostí mezi termíny výroku nebo jednoho s ostatními. . Matematické výroky tedy také něco potvrzují nebo popírají a vytvářejí spojení, které lze posoudit jako pravdivé nebo nepravdivé.
Například výraz 4 + 5 = 7 potvrzuje formální vztah mezi těmito veličinami, který lze v tomto případě považovat za nepravdivý, protože jeho rozlišení ukazuje, že 4 + 5 = 9. Přestože je nepravdivý, lze konstatovat, to znamená, že to lze navrhnout.
Matematické návrhy mohou být složitější začleněním proměnné, jako rovnice, vyjadřující vztahy možnosti a variace. Například ve výrazu x = 3y + z bude význam pravdivý nebo nepravdivý záviset na hodnotách, které proměnným přiřadíme, i když jejich poměr a význam zůstanou bez ohledu na to stejné.