Логика: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Редакция без резюме |
Редакция без резюме |
||
Ред 15:
Пример за пропозиционално-логически валидно умозаключение е: ако са истинни предпоставките „''р''“ и „''р'' → ''q''“, то с необходимост следва истината на „''q''“ (символите „''p''“, „''q''“, „''r''“... се използват в пропозиционалната логика като пропозиционални променливи, защото в случая не е важна „вътрешната“ структура на тези изказвания, т.е. те се разглеждат като атомарни пропозиции) (напр. ако е истинно, че улиците са мокри при условие, че вали дъжд („''р'' → ''q''“), и сега вали дъжд („''р''“), то можем да заключим, че улиците са мокри („''q''“)). Пример за предикатно-логически валидно умозаключение е: ако са истинни предпоставките „F(''a'')“ и „∀''x''[F(''x'') → G(''x'')]“, то с необходимост следва истината на „G(''a'')“ (напр. ако е истинно, че всички хора са смъртни („∀''x''[F(''x'') → G(''x'')]“) и Сократ е човек („F(''a'')“), то можем да заключим, че Сократ е смъртен („G(''a'')“)).
== [[Диалектическа логика]] ==▼
Логическо учение на [[Диалектически материализъм|диалектическия материализъм]], наука за законите и формите на отражение в мисленето на развитието и изменението на обективния свят, за закономерностите на познанието на истината. Диалектическата логика не отхвърля [[Формална логика|формалната логика]], а позволява да се уточнят границите и, място и роля в изучаване законите и формите на мисленето. Докато формалната логика е наука за законите и формите на отражението в мисленето на постоянството, покоя в обективния свят, то спецификата на диалектическата логика се състои в изучаване на [[Теория на отражението|отражението]] в законите и формите на мисленето на процесите на развитието, вътрешните противоречия на явленията, тяхното качествено изменение, преминаването от едно явление в друго.<ref>„Философски речник“, Второ допълнено издание под редакцията на проф. Михаил Бъчваров. Партиздат, София 1985,-стр.142,-стр.143;</ref>▼
== Логически оператори ==
Line 57 ⟶ 54:
''р'' ∧ ''q'' ⇔ ¬(¬''р'' ∨ ¬''q'').
▲== [[Диалектическа логика]] ==
▲Логическо учение на [[Диалектически материализъм|диалектическия материализъм]], наука за законите и формите на отражение в мисленето на развитието и изменението на обективния свят, за закономерностите на познанието на истината. Диалектическата логика не отхвърля [[Формална логика|формалната логика]], а позволява да се уточнят границите и, място и роля в изучаване законите и формите на мисленето. Докато формалната логика е наука за законите и формите на отражението в мисленето на постоянството, покоя в обективния свят, то спецификата на диалектическата логика се състои в изучаване на [[Теория на отражението|отражението]] в законите и формите на мисленето на процесите на развитието, вътрешните противоречия на явленията, тяхното качествено изменение, преминаването от едно явление в друго.<ref>„Философски речник“, Второ допълнено издание под редакцията на проф. Михаил Бъчваров. Партиздат, София 1985,-стр.142,-стр.143;</ref>
== Избрана литература ==
| |||