Что такое логика

еры форм высказываний второго вида: щ (p Щ щ p) ; (p v щ p) ; (p Й p) .
Эти формы называют законами логики, или тождественноистинными формулами (высказываниями) .
Причем высказывание щ (pЩ щ p) – законом непротиворечия, (р vщ p) – законом исключенного третьего, (р Й р) – закон тождества. Очевидно, что закон непротиворечия выражает первое из указанных выше знаний онтологического характера, а (р Й р) – второе.
Правомерность формально-логического закона непротиворечия со времен Аристотеля подвергается критике.
Считается, что высказывание формы щ (АЩ щ А) не является логически-истинным, т. е. есть явления, которые существуют и в то же время не существуют; есть предметы, которые некоторым свойством обладают и в то же время не обладают. Все примеры высказываний о таких явлениях, предметах и свойствах были отвергнуты. Чаще всего при критике закона непротиворечия приводят примеры не формально-логических противоречий (т. е. не противоречий между мыслями, описывающими наличие у предмета свойства и в то же время его отсутствие и т. д. ) , а примеры так называемых словесных противоречий , т. е. высказываний, в одном из которых стоит частица не или слово неверно , а в другом этой частицы нет. В остальном предложения вроде бы сходны.
Е. К. Войшвилло исследовал следующее словесное противоречие : В данный момент времени тело находится в данной точке, и неверно, что в тот же момент оно находится в данной точке .
Формально-логический закон непротиворечия является мощным инструментом развития знания. В процессе познания из теории, которую считают соответствующей действительности, выводятся следствия, не соответствующие действительности. В силу теории, например, утверждают щ А. Фактически утверждают АЩ щ А. Закон непротиворечия говорит, что верно щ (A vщ А) ,