Bản án trong logic. bản án, các loại án là gì

Bản án là một hình thức suy nghĩ, khẳng định hay phủ nhận bất cứ điều gì về sự tồn tại của các đối tượng, các liên kết giữa họ và tài sản của họ, cũng như mối quan hệ giữa các đối tượng.

Ví dụ về các báo cáo: "Các Volga chảy vào Biển Caspian", "AS Pushkin đã viết một bài thơ "The Bronze Horseman", "Siberia hổ được liệt kê trong Sách Đỏ," vv

Cấu trúc của bản án

Phán xét bao gồm các yếu tố sau: đối tượng, vị ngữ, và dây chằng lượng hóa.

1. Chủ đề (lat subjektum -. «Tiềm ẩn») - đó là, như đã nêu trong bản án, chủ đề của nó ( «S»).
2. Vị (tiếng Latin praedicatum -. «Said") - một sự phản ánh của thẻ đối tượng, những gì được nói về chủ đề của sự phán xét ( 'P').
3. Bundle - tỷ lệ giữa chủ thể ( «S») và vị ngữ ( "P"). Xác định sự có mặt / vắng mặt của chủ đề của một tài sản thể hiện như một vị. Có lẽ nó ngụ ý, và được chỉ định bởi một "dấu gạch ngang" hoặc các từ "a" ( "không phải là"), "có", "có", "chất", và những người khác.
4. Lượng hóa (lượng hóa từ) xác định phạm vi của khái niệm, mà là đối tượng của sự phán xét. Nó đang đứng trước vấn đề này, nhưng nó cũng có thể vắng mặt trong sự phán xét. Biểu hiện bằng các từ như "tất cả", "nhiều", "một số", "không", "không", và những người khác.

báo cáo đúng và sai

Phán quyết là đúng trong trường hợp có bất kỳ dấu hiệu, các thuộc tính và các mối quan hệ của các mục đã được phê duyệt / từ chối trong phán xét, sự thật. Ví dụ: "Tất cả các nuốt - chim", "9 hơn 2" và vân vân ..

Nếu báo cáo kết quả được chứa trong bản án là không đúng sự thật, chúng ta đang đối phó với một đề xuất false 'mặt trời xoay quanh trái đất '' Một kg sắt nặng hơn một kg bông "và phán đoán đúng khác được cơ sở lý luận đúng ..

Tuy nhiên, ngoài việc logic hai giá trị, trong đó phán đoán có thể là đúng hay sai, đó cũng là một logic đa chiều. Theo điều khoản của nó, bản án có thể vẫn còn chưa chắc chắn. Đặc biệt nó liên quan đến tương lai của bản án cá nhân, "Ngày mai sẽ xảy ra / không xảy ra một trận thủy chiến" (Aristotle, "Trên diễn giải"). Nếu chúng ta giả định rằng đây là một đề xuất đúng, trận hải chiến ngày mai không thể xảy ra. Vì vậy, nó là cần thiết để làm cho nó xảy ra. Hoặc ngược lại: tuyên bố rằng sự phán xét trong giây phút hiện tại là sai, chúng ta nên làm bất khả thi cần thiết của ngày mai của trận thủy chiến.

Án vào loại tuyên bố

Như được biết, các loại báo cáo ba loại câu: khai báo, kích động và đặt câu hỏi. Ví dụ, câu "Tôi nhớ một khoảnh khắc tuyệt vời" đề cập đến các loại tường thuật. Đó là khuyến khích để gợi ý rằng một phán quyết như vậy cũng sẽ tường thuật. Nó chứa thông tin cụ thể, theo một sự kiện cụ thể.

Đổi lại, câu nghi vấn có chứa một câu hỏi, nhận được một câu trả lời cho: "Gì giữ tương lai đối với tôi," Cùng lúc đó nó nói không có gì và không phủ nhận. Theo đó, tuyên bố rằng một phán quyết như vậy là một câu hỏi không chính xác. câu nghi vấn, về nguyên tắc, không chứa bất kỳ phán quyết vì vấn đề không thể được phân biệt trên cơ sở sự thật / giả dối.

loại động cơ của câu được hình thành trong trường hợp có một số động lực để hành động, yêu cầu một lệnh cấm: "Hãy đứng dậy, hỡi đấng tiên tri, và vid, và chú ý tới" liên quan đến sự phán xét với, theo ý kiến của một số nhà nghiên cứu, họ không được chứa trong các kiến nghị thuộc loại này. Những người khác tin rằng nó là một loạt các bản án phương thức.

đánh giá chất lượng

Xét về chất lượng, phán đoán có thể là khẳng định (S là P), và tiêu cực (S không là P). Trong trường hợp bản án khẳng định, thông qua vị ngữ chủ đề gắn liền với một tài sản nhất định (-wa). Ví dụ: "Leonardo da Vinci - Ý họa sĩ, kiến trúc sư, nhà điêu khắc, nhà khoa học, tự nhiên học và nhà phát minh và nhà văn, người đại diện lớn nhất của nghệ thuật thời Phục hưng."

Trong bản án tiêu cực, mặt khác, tài sản được lấy đi từ chủ đề: "Lý thuyết của khung 25 của James Vicary không có xác nhận thử nghiệm"

đặc tính định lượng

Bản án trong logic có thể được phổ biến (liên quan đến tất cả các đối tượng của lớp này), tư nhân (một số trong số họ) và đơn vị (khi nói về chủ đề này, chỉ có một). Ví dụ, nó có thể lập luận rằng đó là một đề xuất là "Vào ban đêm tất cả mèo xám" sẽ đề cập đến sự xuất hiện chung, bởi vì nó ảnh hưởng đến tất cả các thành viên của mèo (chủ đề của bản án). Phê duyệt "Một số rắn không độc hại" - một ví dụ về sự phán xét riêng. Đổi lại, sự phán xét "Wonderful Dnepr trong thời tiết bình tĩnh" là một đơn vị, vì chúng ta đang nói về một con sông đặc biệt, tồn tại trong một hình thức duy nhất.

phán đoán đơn giản và phức tạp

Tùy thuộc vào cấu trúc, phán đoán có thể của một loại đơn giản hay phức tạp. Cấu trúc án đơn giản bao gồm hai khái niệm kết nối với nhau (SP): «Sách - một nguồn kiến thức". Ngoài ra còn có bản án với một khái niệm - khi lần thứ hai chỉ có nghĩa là: "Nó đã nhận được tối» (P).

hình thức phức tạp được hình thành bằng cách tham gia nhiều phán đoán đơn giản.

Phân loại phán đoán đơn giản

phán đoán đơn giản trong logic có thể các hình thức sau: hình dung từ, phán quyết với các mối quan hệ, hiện sinh, phương thức.

Thuộc tính (tài sản đánh giá) gửi chính / từ chối của đối tượng tại các cơ sở nhất định (thuộc tính) hoạt động. Những bản án là hình thức phân loại và không được hỏi, "hệ thần kinh động vật có vú bao gồm bộ não của bộ não, tủy sống và các con đường thần kinh đi."

Trong bản án đối với các mối quan hệ cụ thể giữa các đối tượng với. Họ có thể có một bối cảnh không-thời gian, nhân quả, vv Ví dụ :. "Cũ người bạn tốt hơn so với hai mới", "Hydrogen carbon dioxide nhẹ hơn 22 lần."

Hiện sinh phán đoán - nhận định này về sự tồn tại / không tồn tại của đối tượng (cả vật chất và lý tưởng): "Không có tiên tri trong quê hương mình", "The Moon là một vệ tinh của Trái Đất."

Phương thức đề xuất - một hình thức phê duyệt, trong đó bao gồm sự hiện diện của nhà khai thác phương thức nhất định (cần tốt / xấu, tỏ ra biết / không rõ, nó bị cấm, tôi tin rằng, và những người khác.). Ví dụ:

• "Nga cần phải tiến hành cải cách giáo dục" (alethic phương thức - khả năng, sự cần thiết của một cái gì đó).
• "Mọi người đều có quyền an toàn cá nhân" (deontic phương thức - những chuẩn mực đạo đức của đạo đức xã hội).
• "Bỏ bê của tài sản nhà nước dẫn đến mất nó" (axiologic phương thức - liên quan đến vật chất và giá trị đạo đức).
• "Chúng tôi tin vào sự ngây thơ của bạn" (tri thức phương thức - độ tin cậy của kiến thức).

bản án phức tạp và các loại từ nối logic

Như đã đề cập, các phán đoán phức tạp bao gồm một vài đơn giản. Như các kết nối logic giữa chúng là các phương pháp như:

• Kết hợp (một ʌ b - kết nối bản án). Bản án-conjuncts có một bunch of "và", "Thực hiện các quyền và tự do của con người và công dân có trách nhiệm không vi phạm các quyền và tự do của người khác."
• Phân ly (AvB - chia phán đoán). Khi các yếu tố cấu thành của thi hành án, khoản được sử dụng như một chất kết dính - kết hợp "hoặc". Ví dụ: "Các nguyên đơn có quyền tăng hoặc giảm kích thước của khiếu nại."
• Hàm ý (một → b - thi hành án, có hiệu lực). Nếu niêm yết được phân bổ theo đánh giá cấu trúc phức tạp và do đó, nó có thể lập luận rằng bản án như vậy liên quan đến implicative. Là chất kết dính được sử dụng trong các hình thức của các hiệp hội như "nếu ... thì". Ví dụ: "Nếu thông qua dây dẫn đến bỏ lỡ dòng điện, dây dẫn nóng lên", "Bạn có muốn được hạnh phúc - được hạnh phúc".
• Tương đương (một ≡ b - phán quyết giống hệt nhau). Nó diễn ra trong trường hợp các giá trị của a và b đều giống nhau (hoặc cả hai đúng hay sai cả): "Con người được tạo ra cho hạnh phúc, giống như một con chim bay."
• Phủ định (¬ Â, A - thi hành án, đảo ngược). Mỗi nguồn có liên quan đến câu lệnh ghép tuyên bố rằng phủ nhận bản gốc. Bằng cách sử dụng "chứ không phải" bó. Theo đó, nếu báo cáo kết quả ban đầu như sau: "Các con bò phản ứng với đèn đỏ" (a) - từ chối xin âm thanh như: "Con bò không đáp ứng với ánh sáng đỏ" (¬ Â).