• Czym jest propozycja?
• Propozycja w filozofii
• Twierdzenie w logice
• Instrukcje proste i złożone
• Twierdzenie w matematyce

Wyjaśniamy, czym jest zdanie, jego znaczenie w filozofii, logice i matematyce. Również zdania proste i złożone.

Zdanie może być ocenione jako prawdziwe lub fałszywe.

Czym jest propozycja?

Ogólnie rzecz biorąc, propozycja jest czymś, co się proponuje. Oznacza to, że jest to równoważne wyrażenie a proste zdanie asertywny, a modlitwa w którym stwierdza się, że coś jest, że coś istnieje lub że ma określoną cechę. W związku z tym może być oceniona jako prawdziwa (jeśli zgadza się z rzeczywistością) lub fałszywa (jeśli nie).

Jest to termin szeroko stosowany w różnych kontekstach wiedzy, takich jak niektóre dyscypliny formalne (logika, matematyka) fala językoznawstwo i filozofia. Chodzi o to, że biorąc za poprzedniki różne twierdzenia, można uzyskać pewność wnioski, a ponadto procedurę, dzięki której je uzyskaliśmy, można dokładnie przestudiować.

W każdym razie zdanie należy rozumieć jako łańcuch znaków należących do tego samego języka, niezależnie od tego, czy są to dźwięki, znaki (w języku naturalnym), czy znaki i reprezentacje (w języku formalnym).

Natomiast w języku potocznym propozycja jest rozumiana jako propozycja: zaproszenie, które kierujemy do kogoś innego lub innych i które można przyjąć lub odrzucić.

Wreszcie nie możemy mylić zdania z przyimkiem. Ta ostatnia to tylko kategoria gramatyczna, czyli rodzaj słowa, które mają mniej lub bardziej oczywiste znaczenie gramatyczne i służą do nawiązywania relacji między rzeczami. Przykładami przyimków są: de, para, contra, entre, por, sobre, bajo, en itp.

Propozycja w filozofii

Na polu debaty filozoficznej mówi się o propozycji odniesienia się do aktu myślowego, poprzez który w określonym języku wyrażany jest sąd o rzeczywistości, pozwalający na ustalenie pewnego rodzaju relacji między Przedmiot i orzec określony.

W tym sensie zdanie nie powinno być mylone ze zdaniem, którym jest wyrażone, ponieważ ten sam sąd może być wyrażony różnymi zdaniami, jak w:

• Ana jest kobietą.
• Ana nie jest mężczyzną.

Twierdzenie w logice

Logika bada relacje między zdaniami i mechanizmami rozumowania, które pozwalają nam dojść do siebie nawzajem. Zdania same w sobie różnią się od sądów, ponieważ te pierwsze proponują coś o rzeczywistości, a te drugie coś z niej potwierdzają lub zaprzeczają. Oznacza to, że zdania są logicznym produktem osądów.

Logika formalna przedstawia zdania za pomocą liter alfabetu, aby badać logiczne powiązania między nimi wyabstrahowane z ich treści semantycznej: „jeśli P następnie Co”.

Z tej zależności można następnie określić, w jakich przypadkach wyrażona treść jest prawdziwa, a w jakich fałszywa, poprzez tzw. „tabele prawdy”, które przypisują wartości prawdziwe (V) lub fałszywe (F) do ustalonej relacji, aby zbadać jej możliwe wyniki.

Instrukcje proste i złożone

Logika dzieli zdania na dwa typy: proste i złożone, w zależności od ich konformacji.

• Proste propozycje. Są to te, które składają się z podmiotu i orzeczenia bezpośrednio powiązanego, bez czynników negacji (nie), koniunkcji (i), alternatywy (lub) lub implikacji (jeśli ... to). W terminach zdaniowych odpowiadają one prostym zdaniom bez podrzędnych. Na przykład: „Pies jest czarny”.
• Złożone twierdzenia. Są to te typu złożonego, które zawierają dodatkowe elementy poprzez czynniki negacji, koniunkcji, alternatywy lub implikacji i które w terminach zdaniowych składają się ze zdań o podrzędny i inne komponenty. Na przykład: „Jeśli pies jest czarny, pies nie jest ani niebieski, ani czerwony”.

Twierdzenie w matematyce

Ponieważ matematyka jest językiem formalnym bardzo bliskim logice, jej podejście do zdań nie różni się zbytnio, z wyjątkiem tego, że używa liczb, zmiennych i znaków matematycznych do wyrażenia relacji i powiązań między terminami zdania lub jednego z innymi . Zatem twierdzenia matematyczne również coś potwierdzają lub zaprzeczają, ustanawiając związek, który można ocenić jako prawdę lub fałsz.

Na przykład wyrażenie 4 + 5 = 7 potwierdza formalną zależność między tymi wielkościami, co w tym przypadku można uznać za fałszywe, ponieważ jego rozdzielczość wskazuje, że 4 + 5 = 9. Jednak mimo że jest fałszywe, można stwierdzić , to znaczy, że można go zaproponować.

Twierdzenia matematyczne mogą być bardziej złożone przez włączenie zmienne, podobnie jak równania, wyrażające relacje możliwości i zmienności. Na przykład w wyrażeniu x = 3y + z znaczenia prawda lub fałsz będą zależeć od wartości, które przypiszemy zmiennym, chociaż ich proporcja i znaczenie pozostaną bez względu na wszystko.