Khi khảo sát một tư tưởng, logic hình thức chủ yếu làm gì?

~(a ∧ ~a)

~(a ∨ ~a)

a ∨ ~a

~a ∧ a

Tính không bị xuyên tạc hay đánh tráo mệnh đề

Không sa vào mâu thuẫn

Sử dụng ngôn ngữ đầy hình tượng và chính xác

Tính xác định chính xác, rõ ràng rành mạch

Tính xác định chính xác, tính rõ ràng rành mạch

Tính có căn cứ, được luận chứng, xác minh

Tính phi mâu thuẫn; tính có căn cứ, được luận chứng, xác minh

Tính phi mâu thuẫn, liên tục, nhất quán; tính chính xác, rõ ràng

MT biện chứng

MT của nhận thức

MT của tư duy

MT logic

MT xã hội

MT tư duy

MT tự nhiên

Cả A, B và C

QL đồng nhất

QL lý do đầy đủ

QL không mâu thuẫn

Không hề vi phạm các QL cơ bản của tư duy, tuy nhiên vi phạm quy tắc định nghĩa khái niệm

đi từ KN hạng sang KN loại

đi từ KN riêng sang KN chung

đi từ KN có nội hàm (NH) sâu, ngoại diên (ND) hẹp sang KN có NH cạn, ND rộng

đi từ KN có NH cạn, ND rộng sang KN có NH sâu, ND hẹp

Không luẩn quẩn, không mơ hồ, không phủ định

Không rộng, không hẹp, không mơ hồ

Không rộng, không hẹp

A, B, C đều đúng

S = Tôi ; P = biết rằng anh ta rất tốt

S = Tôi ; P = anh ta rất tốt

S = Tôi biết rằng ; P = anh ta tốt

S = Tôi ; P = anh ta

S+ ; P+

S+ ; P-

S- ; P+

S- ; P-