Từ đồng nghĩaTam đoạn luận( tam đoạn luận ) giống nhau chỉ tam đoạn luận trinh thám
Tam đoạn luận trinh thám là suy diễn trinh thám trung một loại đơn giản trinh thám phán đoán. Nó bao gồm: Một cái bao hàm đại hạng cùng trung hạng mệnh đề ( đại tiền đề ), một cái bao hàm tiểu hạng cùng trung hạng mệnh đề ( tiểu tiền đề ) cùng với một cái bao hàm tiểu hạng cùng đại hạng mệnh đề ( kết luận ) tam bộ phận. Tam đoạn luận trên thực tế làLấy một cái nói chung nguyên tắc ( đại tiền đề ) cùng với một cái phụ thuộc với nói chung nguyên tắcĐặc thù hóa trần thuật ( tiểu tiền đề ), bởi vậy nghĩa rộng ra một cái phù hợp nói chung nguyên tắcĐặc thù hóa trần thuật (Kết luận ) quá trình. Tam đoạn luận là mọi người tiến hành toán học chứng minh, phá án, khoa học nghiên cứu chờ tư duy khi, có thể được đến chính xác kết luận, khoa học tính tư duy phương pháp chi nhất. Là suy diễn trinh thám trung một loại chính xác tư duy hình thức.
- Tiếng Trung danh
- Tam đoạn luận trinh thám
- Ngoại văn danh
- Syllogism
- Loại hình
- Đơn giản phán đoán trinh thám
- Tổ thành
- Hai cái tính chất phán đoán cấu thành tiền đề
- Tiểu hạng
- Ở kết luận trung làm chủ hạng từ hạng
- Đại hạng
- Lại ở kết luận trung làm gọi hạng từ hạng
- Trung hạng
- Liên hệ lớn nhỏ tiền đề từ hạng
- Sáng tạo giả
- Aristotle
Tam đoạn lập hơi tuần trụ đánh luận đương thúc trinh thám là suy diễn trinh thám trung một loại nhiệt cách thịnh đơn giản trinh thám phán đoán.
Nó bao hàm: Một cái nói chung nguyên tắc ( đại tiền đề ), một cái phụ thuộc với phía trước đại tiền đề đặc thù hóa trần thuật ( tiểu bôn nàng ô tiền đề ), cùng với bởi vậy nghĩa rộng ra đặc thù hóa trần thuật phù hợp mong thịnh hiểu nói chung nguyên tắc kết luận.
Tam đoạn luận trinh thám: Tư duy khi, đại não đầu tiên dùng một người vì định nghĩa nội dung cực kỳ minh xác, bao quát phạm vi khá lớn tổng nguyên tắc A ( tên gọi tắt “Đại tiền đề” ), lại thông qua khoa học thực nghiệm tìm kiếm một cái khác khái niệm tiểu tiền đề B, B khái niệm toàn bộ nội hàm có thể nhất định bị bao hàm ở đại tiền đề A nội, hơn nữa dùng văn tự miêu tả B khái niệm nội dung khi, không thể nhân vi cùng đại tiền đề A nội dung bản chất hoàn toàn giống nhau ( B tên gọi tắt tiểu tiền đề ), sau đó dựa theo tiểu tiền đề B nếu thuộc về đại tiền đề A trong phạm vi, như vậy B tính chất nhất định cùng đại tiền đề tính chất giống nhau, mà được đến đáng tin cậy mà chính xác phán đoán, này tư duy quá trình gọi là chính xác có kết luận C quá trình —— khoa học thuật ngữ gọi là “Tam đoạn luận trinh thám”.
Chú: Bởi vậy “Tam đoạn luận” phương pháp phán đoán ra tân kết luận, còn có thể trở thành mọi người bước tiếp theo tiến hành nghiên cứu tân khởi điểm. “Tam đoạn luận” tư duy, B cần thiết có kiên cố “Luận cứ”, nếu không được đến kết luận C liền có thể nói là sai lầm. Einstein 《 thuyết tương đối 》C đến tới cũng là dựa vào “Tam đoạn luận trinh thám”. Phàm là vi phạm “Tam đoạn luận” nguyên tắc tư duy đều là không có khả năng được đến đáng tin cậy kết luận.
Tam đoạn luận là mọi người tiến hành toán học chứng minh, phá án, khoa học nghiên cứu chờ tư duy khi, có thể được đến chính xác kết luận, khoa học tính tư duy phương pháp chi nhất. Là suy diễn trinh thám trung một loại chính xác tư duy hình thức.
1, tư duy quá trình so sánh: Trên bàn có chén —— toàn lan muội gánh chúc gia chén nhất định ở trên bàn —— hồng quả nho nhất định ở trong chén —— hồng quả nho một mời thừa cây cọ định ở trên bàn, không cần lái phi cơ mãn thế giới tìm kiếm.
Đồ 1Mặt trên tam đoạn luận trinh thám, “Sở hữu động vật” là liên tiếp đại, tiểu tiền đề trung hạng; “Có chút sinh vật ăn thịt” là xuất hiện ở đại tiền đề trung lại ở kết luận trung làmGọi hạng“Đại hạng”; “Lão hổ” là xuất hiện ở tiểu tiền đề trung lại ở kết luận trung làm chủ hạng “Tiểu hạng”. ( thói quen thượng, không cần ABC mà dùng “P” tỏ vẻ “Đại hạng”, dùng “M” tỏ vẻ “Trung hạng”, dùng “S” tỏ vẻ “Tiểu hạng”. )
《 tư duy logic huấn luyện 》 bìa mặt① ngươi là kinh tế học viện học sinh, ngươi hẳn là học giỏi kinh tế lý luận.
Lệ ① tỉnh lược đại tiền đề “Phàm là kinh tế học viện học sinh đều hẳn là học giỏi kinh tế lý luận”.
② cải cách là tân sự vật, đương nhiên không tránh được muốn gặp được đi tới trung khó khăn.
Lệ ② tỉnh lược đại tiền đề “Phàm là tân sự vật đều không tránh được gặp được đi tới trung khó khăn”.
① xí nghiệp đều hẳn là đề cao kinh tế hiệu quả và lợi ích, quốc doanh xí nghiệp cũng không ngoại lệ.
Lệ ① tỉnh lược tiểu tiền đề “Quốc doanh xí nghiệp cũng là xí nghiệp”. Khôi phục này hoàn chỉnh thức là: “Xí nghiệp đều hẳn là đề cao kinh tế hiệu quả và lợi ích, quốc doanh xí nghiệp cũng là xí nghiệp, cho nên, quốc doanh xí nghiệp hẳn là đề cao kinh tế hiệu quả và lợi ích.”
② này bộ phim bộ không phải ưu tú tác phẩm, bởi vì ưu tú tác phẩm là tư tưởng tính cùng tính nghệ thuật tương kết hợp tác phẩm.
Lệ ② tỉnh lược tiểu tiền đề là “Này bộ phim bộ không phải tư tưởng tính cùng tính nghệ thuật tương kết hợp tác phẩm”. Khôi phục này hoàn chỉnh thức là: “Ưu tú tác phẩm đều là tư tưởng tính cùng tính nghệ thuật tương kết hợp tác phẩm, này bộ phim bộ không phải tư tưởng tính cùng tính nghệ thuật tương kết hợp tác phẩm, cho nên này bộ phim bộ không phải ưu tú tác phẩm.”
① nghiệp dư quản lý trường học hình thức là quần chúng sở hoan nghênh, giáo dục hàm thụ chính là một loại nghiệp dư quản lý trường học hình thức.
Lệ ① tỉnh lược kết luận là “Giáo dục hàm thụ hình thức là quần chúng sở hoan nghênh”.
② mọi người đều không tránh được phạm sai lầm, ngươi cũng là người sao.
Lệ ② tỉnh lược kết luận là “Ngươi cũng không tránh được phạm sai lầm”.
《 trinh thám cùng thuyết minh 》 bìa mặtTam đoạn luận: Nếu một loại đối tượng A toàn bộ nội hàm có thể biết, như vậy, nó tiểu loại B, tức A bao hàm bộ phận đối tượng B, cũng tất nhiên có A toàn bộ nội hàm; chúng ta tưởng phủ định hẳn là nội dung khi: Nếu mỗ một loại đối tượng A toàn bộ đều không phải B, E nếu thuộc về B, tắc E cũng tất nhiên không thuộc về A. Nói cách khác, nếu chúng ta đối mỗ loại đối tượng A toàn bộ, trải qua nghiên cứu đều có điều kết luận hay không chính xác? Như vậy, đối A bao hàm bộ phậnĐối tượngB cũng liền có thể kết luận ( kết luận B “Đúng vậy” hoặc là “Không phải” ).
Dựa theo ngôn ngữ miêu tả trình tự quyết định đại hạng, tiểu hạng, trung hạng ở tam đoạn luận trung bất đồng vị trí phân bố, tam đoạn luận nhưng chia làm dưới bốn cái cách:
Đệ nhất cách | Đệ nhị cách | Đệ tam cách | Đệ tứ cách | |
Đại tiền đề | M——P | P——M | M——P | P——M |
Tiểu tiền đề | S——M | S——M | M——S | M——S |
Kết luận | S——P | S——P | S——P | S——P |
Có thể thấy được, tại đây bốn cái cách trung, kết luận trung chủ hạng cùng gọi hạng vị trí ( ở dưới ) là cố định. Này đó cách chủ yếu khác nhau là, tiền đề trung trung hạng vị trí bất đồng.[2]
Cùng cách tam đoạn luận cũng có nhất định sai biệt, tức chúng nó tiền đề cùng kết luận trung sở đề cập nói thẳngMệnh đềLượng từ ( toàn xưng, đặc xưng ) cùng chất ( khẳng định, phủ định ) là bất đồng, nói cách khác chúng nó “Thức” là bất đồng.
Tỷ như:
1, sở hữu động vật bộ guốc chẵn động vật đều là động vật có xương sống, ngưu là động vật bộ guốc chẵn động vật; cho nên ngưu đều là động vật có xương sống. ( đệ nhất cách AAA thức )
2, sở hữu động vật bộ guốc chẵn động vật đều không phải côn trùng, ngưu là động vật bộ guốc chẵn động vật; cho nên ngưu đều không phải côn trùng. ( đệ nhất cách EAE thức )
3, sở hữu thương phẩm đều là dùng để trao đổi, sở hữu phong kiến địa tô đều không phải dùng để trao đổi; cho nên sở hữu phong kiến địa tô đều không phải thương phẩm. ( đệ nhị cách AEE thức )
4, đà điểu sẽ không phi, đà điểu là điểu; cho nên một ít điểu sẽ không phi. ( đệ tam cách EAO thức )
5, có chút sẽ không phi động vật là đà điểu, đà điểu là điểu; cho nên có điểu là sẽ không phi động vật. ( đệ tứ cách IAI thức )
Tam đoạn luận khả năng thức cùng hữu hiệu thức:
Ở tam đoạn luận mỗi cách trung, A, E, I, O bốn loại phán đoán, đều có thể phân biệt làm đại, tiểu tiền đề cùng kết luận, này tổ hợp số lượng là: 4×4×4=64. Bởi vậy, liền này khả năng tính mà nói, mỗi cách có 64 cái thức. “Tam đoạn luận” cùng sở hữu bốn cái cách, bởi vậy, tam đoạn luận khả năng thức cùng sở hữu 64×4=256 cái.
Nhưng là, tam đoạn luận khả năng thức, đều không phải là đều là hữu hiệu. Trên thực tế, này đại bộ phận là không có hiệu quả.
Đối với tam đoạn luận sở hữu khả năng thức, đều có thể căn cứ giống nhau quy tắc hoặc các cách cụ thể quy tắc, phán định nó hay không hữu hiệu. Trải qua sàng chọn, tam đoạn luận sở hữu khả năng thức trung, cùng sở hữu như sau 24 cái hữu hiệu thức:
Đệ nhất cách | Đệ nhị cách | Đệ tam cách | Đệ tứ cách |
AAA | AEE | AAI | AAI |
EAE | EAE | EAO | EAO |
AII | AOO | AII | AEE |
EIO | EIO | EIO | EIO |
( AAI ) | ( AEO ) | IAI | IAI |
( EAO ) | ( EAO ) | OAO | ( AEO ) |
Nghiệm chứng một cái tam đoạn luận chính xác phương pháp là: Một cái tam đoạn luận là hữu hiệu, cần thiết thực hiện, đương thả chỉ đương nó là cái này 24 cái thức trung một cái.
Kể trên 24 cái hữu hiệu thức trung, có 5 cái mang dấu móc, xưng là nhược thức. Cái gọi là nhược thức, là chỉ “Vốn dĩ có thể đến ra toàn xưng kết luận, nhưng lại chỉ phải ra đặc xưng kết luận”. Có thể không đem nhược thức xem thành là độc lập hữu hiệu thức.
Như vậy, nếu không tính 5 cái nhược thức, tam đoạn luận cùng sở hữu 19 cái “Hữu hiệu thức”.
Tam đoạn luận các hữu hiệu thức, chúng ta không cần thiết từng cái mà nhớ rục. Kỳ thật, phán định tam đoạn luận hay không hữu hiệu, ngươi căn cứ tam đoạn luận giống nhau quy tắc cập các cách cụ thể quy tắc liền có thể chính xác phán đoán.
Tam đoạn luận tỉnh lược thức:
Tam đoạn luận bao gồm đại tiền đề, tiểu tiền đề, kết luận ba cái bộ phận. Từ logic kết cấu thượng nói, này tam bộ phận thiếu một thứ cũng không được. Nhưng là, tam đoạn luận ở hằng ngày ngôn ngữ biểu đạt trung, có thể thường tỉnh lược trong đó nào đó bộ phận.
Ở hằng ngày ngôn ngữ biểu đạt trung tỉnh lược đại tiền đề hoặc là tiểu tiền đề hoặc là kết luận tam đoạn luận, xưng là tam đoạn luận tỉnh lược thức, cũng có thể xưng là “Tỉnh lược tam đoạn luận”.
“Tỉnh lược tam đoạn luận” sở tỉnh lược miêu tả tính nội dung, chỉ là ngôn ngữ biểu đạt mà thôi, mà không thể tỉnh lược này logic kết cấu. Nói cách khác, “Tỉnh lược tam đoạn luận” này sở tỉnh lược bộ phận, kỳ thật ở logic kết cấu thượng, bị tỉnh lược vẫn là cam chịu trở thành trinh thám tất yếu bộ phận, chẳng qua mọi người không có đem nó ở ngôn ngữ thượng biểu đạt ra tới mà thôi. ( viết văn chương tốt nhất là không cần tỉnh lược, để tránh người khác xem không hiểu )
Tỉnh lược tam đoạn luận có ba loại hình thức:
Đệ nhất, tỉnh lược đại tiền đề: Bị tỉnh lược đại tiền đề, nó nội dung thường thường là nhân loại đã đạt được phổ biến cam chịu, thừa nhận chân lý. ( tỷ như thái dương từ phương đông dâng lên; động vật luôn là muốn tử vong )
Đệ nhị, tỉnh lược tiểu tiền đề: Tỉnh lược tiểu tiền đề thường thường là “Không cần nói cũng biết sự thật”. ( kiên cố chứng cứ )
Đệ tam, tỉnh lược kết luận: Tỉnh lược kết luận. ( nếu kết luận rõ ràng, không dễ dàng hiểu lầm, có người cho rằng không nói ra kết luận thường thường so nói ra kết luận “Càng có lực”. Nhưng là khoa học nghiên cứu không cho phép hàm hàm hồ hồ. 《 logic học 》 tư duy có kết luận, không phải văn học tác phẩm. Cho nên vẫn là không tỉnh lược kết luận, cho thỏa đáng. )
Tam đoạn luận tỉnh lược thức khôi phục:
Tam đoạn luận tỉnh lược thức sự tất yếu cùng sở trường, đã như trên thuật.
Nhưng tam đoạn luận tỉnh lược thức cũng có nhược điểm. Một ít tiền đề giả dối hoặc trinh thám sai lầm tam đoạn luận, kinh tỉnh lược sau, rất có thể sử này đó tật xấu che giấu lên, không dễ phát hiện. ( quỷ biện giả thường thường là có này đó biện pháp làm lý luận thượng đục nước béo cò ).
Bởi vậy, ở phán định “Tỉnh lược tam đoạn luận” hữu hiệu tính khi, liền yêu cầu chúng nó trước đem tỉnh lược bộ phận bổ sung đi vào, đem “Tỉnh lược tam đoạn luận” khôi phục thành kinh điển hoàn chỉnh hình thức.
“Tỉnh lược tam đoạn luận” khôi phục, có dưới bước đi:
1, xác định kết luận hay không bị tỉnh lược? Tại hạ kết luận trước, thông thường lấy “Bởi vậy”, “Cho nên” như vậy liên từ. Căn cứ hay không có như vậy liên từ, ngươi nhưng dễ dàng kết luận kết luận hay không bị tỉnh lược.
2, nếu kết luận không có bị người khác tỉnh lược, như vậy, căn cứ kết luận, liền có thể xác định đại, tiểu hạng. Nếu đại hạng không có ở tỉnh lược thức tiền đề trung xuất hiện, tắc thuyết minh tỉnh lược chính là đại tiền đề; nếu tiểu hạng không có ở phía trước đề trung xuất hiện, còn lại là tỉnh lược chính là tiểu tiền đề.
3, đem tỉnh lược bộ phận bổ sung đi vào, cũng tiến hành thích hợp sửa sang lại, liền có thể được đến “Tỉnh lược tam đoạn luận” hoàn chỉnh hình thức.
Ở khôi phục tỉnh lược tam đoạn luận khi, phải chú ý hai điểm:
Đệ nhất, không thể trái phản “Tỉnh lược tam đoạn luận” nguyên ý. Nói chung, “Tỉnh lược tam đoạn luận” bị tỉnh lược bộ phận nội dung, là mọi người rõ ràng, mới có thể tỉnh lược. Muốn dựa theo “Tỉnh lược tam đoạn luận” rõ ràng nguyên ý tiến hành khôi phục. Không thể vì “Tránh cho tỉnh lược tam đoạn luận khôi phục sau xuất hiện hình thức sai lầm” mà trái với nó nguyên ý tiến hành sai lầm khôi phục.
Đệ nhị, nếu đối “Tỉnh lược tam đoạn luận” nguyên ý lý giải tồn tại nghĩa khác, như vậy, ngươi ở khôi phục khi sở bổ sung phán đoán nội dung, hẳn là gắng đạt tới là chân thật. Nếu tuy rằng không vi phạm nguyên ý đi bổ sung một cái chân thật phán đoán làm tiền đề hoặc kết luận, lại sai lầm mà bổ sung một cái giả dối phán đoán, này liền mất đi khôi phục “Tỉnh lược tam đoạn luận” ý nghĩa. Là làm trở ngại chứ không giúp gì.[2]
Cái gọi là “Trinh thám hữu hiệu tính”, chính là thông qua trinh thám, từ thật sự tiền đề xuất phát tư duy ( thực sự cầu thị nội hàm ) trọng yếu phi thường, bởi vì tất nhiên chỉ có thể được đến thật sự đáng tin cậy kết luận. Nếu một cái trinh thám hình thức là từ “Thật tiền đề” đẩy ra giả kết luận, như vậy cái này trinh thám hình thức chính là không có hiệu quả. ( tên gọi tắt “Đẩy không ra” ) nhưng là mọi người có khi không biết đây là giả kết luận, cho rằng đây là “Chân lý”.
Truyền thống logic trung, tam đoạn luận 256 cái thức trung giống như hạ 24 cái hữu hiệu thức, cái khác thức đều là không có hiệu quả.
Đệ nhất cách: AAA, EAE, AII, EIO; AAI, EAO.
Đệ nhị cách: AEE, EAE, AOO, EIO; AEO, EAO.
Đệ tam cách: AII, IAI, OAO, EIO; AAI, EAO.
Đệ tứ cách: AEE, IAI, EIO; AEO, EAO, AAI.
Chú ý:Chi nhánh trước làVô điều kiện hữu hiệu thức,Chi nhánh sau làCó điều kiện hữu hiệu thức,Phía dưới sẽ giảng giải.
Truyền thống logic giả định kết luận chủ hạng ( tiểu hạng ) không phải trống không, nói cách khác này hạng nhất sở biểu đạt tập hợp nguyên tố là tồn tại, cái này giả định bảo đảm trở lên bốn cái cách trung chi nhánh mặt sau 9 cái thức là hữu hiệu, chi nhánh phía trước 15 cái thức hữu hiệu tính không chịu cái này giả định ảnh hưởng. Có thể nhìn đến, chi nhánh sau 9 cái hữu hiệu thức đều có một cái đặc điểm, đó chính là kết luận là đặc xưng, mà tiền đề đều là toàn xưng.
Dựa theoBố ngươiQuan điểm, toàn xưng mệnh đề không ẩn chứa tồn tại, nói cách khác “Không thể chỉ dùng toàn xưng mệnh đề đẩy ra đặc xưng mệnh đề” ( nói chung, đặc xưng mệnh đề đều bị cho rằng là có tồn tại hàm nghĩa, “Có A là B” ý tứ là “Tồn tại một cái A thả cái kia A là B” ). Tỷ như “Sở hữu ô tô đều là phương tiện giao thông” không ẩn chứa “Ô tô tồn tại” ý tứ, cho nên hắn cho rằng tam đoạn luận chỉ có chi nhánh trước 15 cái hữu hiệu thức.
MàAristotleCho rằng ở chủ hạng thực tế tồn tại khi toàn xưng mệnh đề liền ẩn chứa tồn tại, phản chi tắc không ẩn chứa. Tỷ như “Sở hữu ô tô đều là phương tiện giao thông” ẩn chứa ô tô tồn tại, mà “Sở hữu một sừng thú đều là chỉ có một con giác động vật” không ẩn chứa một sừng thú tồn tại, cho nên hắn cho rằng ở tiểu hạng ( tức mặt trên “Ô tô”, “Một sừng thú ) không không khi, chi nhánh sau 9 cái thức cũng là hữu hiệu. Chúng ta cũng có thể nói, chi nhánh trước 15 cái hữu hiệu thức là vô điều kiện hữu hiệu, sau 9 cái hữu hiệu thức là có điều kiện hữu hiệu.
Không khó coi ra, đệ nhất cách hữu hiệu thức kết luận đựng AEIO bốn loại hình thức, đệ nhị cách chỉ có phủ định E, O hai loại hình thức, đệ tam cách chỉ có đặc xưng I, O hai loại hình thức. Đệ nhất cách hữu hiệu thức kết luận đã đựng nói thẳng mệnh đề toàn bộ hình thức, lại tương đối phù hợp hằng ngày biểu đạt thói quen, cho nên nó là tương đối quan trọng, mặt sau chúng ta có thể nhìn đến, tam đoạn luận hữu hiệu thức đều có thể dùng đệ nhất cách trước bốn cái thức chứng minh.[2]
Tam đoạn luận trinh thámGiống nhau quy tắc như sau:
( 1 ) một cái chính xác tam đoạn luận, có hơn nữa chỉ có ba cái bất đồng hạng.
Tam đoạn luận thực chất chính là mượn dùng với một cái cộng đồng hạng tức trung hạng làm môi giới, sử lớn nhỏ hạng phát sinh logic quan hệ, do đó đạo ra kết luận. Nếu một cái tam đoạn luận chỉ có hai cái từ hạng hoặc bốn cái từ hạng, như vậy lớn nhỏ hạng liền tìm không đến một cái liên hệ cộng đồng hạng, cho nên không thể nào xác định lớn nhỏ hạng chi gian quan hệ. Bởi vậy, một cái chính xác tam đoạn luận chỉ cho phép có ba cái bất đồng từ hạng.
Nếu chỉ có hai cái từ hạng ( A là B, cho nên B là A ), liền tạo thành vô ý nghĩaCùng ngữ lặp lại,( luận chứng tuần hoàn ) không thể đẩy ra tân kết luận. Cũng không thể phạm “Bốn từ hạng” logic sai lầm ( a là b, c là d, cho nên a là d ).
( 2 ) tam đoạn luận trung hạng ít nhất muốn chu diên một lần. ( vì tránh cho xuất hiện logic tính sai lầm )
Trung hạng là liên hệ lớn nhỏ tiền đề môi giới. Nếu trung hạng ở “Tiền đề” trung một lần cũng không có chu diên, như vậy, trung hạng ở đại, tiểu tiền đề trung tướng sẽ xuất hiện bộ phậnBên ngoàiCùng đại hạng tương liên hệ, hơn nữa bộ phận bên ngoài cùng tiểu hạng tương liên hệ, như vậy đại, tiểu hạng quan hệ liền vô pháp xác định.
Trung hạng không thể ở đại, tiểu tiền đề trung hai lần không bao trùm. Nếu trung hạng ở lớn nhỏ tiền đề trung chu diên một lần hoặc chu diên hai lần, tình huống lại như thế nào đâu? Nếu trung hạng chu diên một lần, như vậy sẽ có một cái trung hạng toàn bộ bên ngoài cùng đại hạng hoặc tiểu hạng đã xảy ra khẳng định hoặc phủ định quan hệ, do đó sinh ra môi giới tác dụng, sử lớn nhỏ tiền đề phát sinh liên hệ đẩy ra tất nhiên kết luận.
Chính xác tư duy ví dụ:
① phần tử trí thức B thuộc về người lao động A ( lớn hơn nữa phạm vi ), giáo sư Lý T là phần tử trí thức B, cho nên giáo sư Lý T thuộc về người lao động A.
② phần tử trí thức B không phải người Z, giáo sư Lý T là phần tử trí thức B, cho nên giáo sư Lý T không phải người.
③ phàm gây án giả D đều có gây án động cơ H, người nào đó W không có gây án động cơ H; cho nên người nào đó W không phải gây án giả D.
Kể trên ví dụ đều là chỉ có một cái trung hạng là chu diên, chúng nó đều có thể đẩy ra tất nhiên kết luận, lớn nhỏ tiền đề cùng kết luận liên hệ đều là tất nhiên.
Nếu trung hạng chu diên hai lần, chỉ cần lớn nhỏ tiền đề không đều là phủ định, như vậy, trung hạng toàn bộ bên ngoài liền sẽ phân biệt cùng đại hạng, tiểu hạng phát sinh liên hệ, khởi đến liên kết lớn nhỏ hạng tác dụng, do đó sử tam đoạn luận đẩy ra tất nhiên kết luận.
Tổng thượng sở thuật, một cái chính xác tam đoạn luận ( chỉ cần hai cái tiền đề không đều là phủ định ), nó trung hạng ít nhất ứng chu diên một lần.
( 3 ) ở phía trước đề trung không bao trùm từ hạng, ở kết luận trung không được chu diên.
Bổn nội quy tắc cùng tính chất phán đoán trực tiếp đổi vị trinh thám quy tắc tương đồng. Nếu tiền đề trung đại hạng hoặc tiểu hạng là không bao trùm, như vậy chúng nó đại hạng hoặc tiểu hạng bên ngoài liền không có bị toàn bộ kết luận, nếu kết luận trung đại hạng hoặc tiểu hạng biến thành chu diên, như vậy chẳng khác nào kết luận đại hạng hoặc tiểu hạng toàn bộ bên ngoài. Như vậy, tạo thành trước sau không nhất trí, sở đẩy ra kết luận đương nhiên là không đáng tin, này kết luận cũng không phải từ tiền đề tất nhiên đẩy ra. Trái với này quy tắc, sở phạm logic sai lầm xưng là “Đại hạng không lo mở rộng”Hoặc “Tiểu hạng không lo mở rộng”.
Ví dụ: [ chú ý, A nội hàm lớn hơn B, tỷ như A bao gồm B, C, D, E,......]
① tiên tiến công tác giả B đều là công tác có thành tích A người, lão vương không phải tiên tiến công tác giả B, cho nên lão vương không phải công tác có thành tích người. ( sai )
② kim loại B đều là dẫn điện thể A, cao su không phải kim loại B, cho nên cao su không phải dẫn điện thể A. ( sai )
③ kim loại B đều làDẫn điện thểA, kim loại B đều không phải vật cách điện E, cho nên, sở hữu vật cách điện E đều không phải dẫn điện thể. ( sai )
④ người nào đó A là giáo thụ B, người nào đó A làBắc Kinh đại họcC, cho nên, Bắc Kinh đại học đều là giáo thụ. ( sai ) ( chức vị cùng vị trí khái niệm bất đồng )
Mặt trên ví dụ ①②③ sở phạm logic sai lầm đều là “Đại hạng không lo mở rộng”.Lệ ④ sở phạm logic sai lầm là “Tiểu hạng không lo mở rộng”. Từ phía trên ví dụ tới xem, kết luận có giả có thật, này thuyết minh trái với bổn nội quy tắc sở đẩy ra kết luận là không đáng tin, nói cách khác, từ trước đề đẩy ra kết luận không phải tất nhiên đến ra, mà là có thể. Chúng ta không thể bởi vì có lệ ② lệ ③ loại này có thể đẩy ra chân thật kết luận trinh thám, liền cho rằng lệ ② lệ ③ là hữu hiệu tính trinh thám. Có thể ngẫu nhiên đẩy ra chân thật kết luận trinh thám hình thức đều không phải là hữu hiệu, phàm là hữu hiệu trinh thám logic hình thức, đại nhập bất luận cái gì trinh thám nội dung, chỉ cần tiền đề chân thật, liền nhất định có thể đẩy ra chân thật kết luận.
( 4 ) hai cái phủ định tiền đề đẩy không ra kết luận.
Nếu hai cái tiền đề đều là phủ định, như vậy trung hạng cùng lớn nhỏ hạng phát sinh bài xích. Như vậy, trung hạng liền vô pháp khởi đến liên kết lớn nhỏ tiền đề tác dụng, tiểu hạng cùng đại hạng quan hệ cũng liền vô pháp xác định, cho nên đẩy không ra kết luận. Phía dưới cử hai cái ví dụ thuyết minh nên quy tắc.
① đồng ( M ) đều không phải vật cách điện ( P ), mà thiết ( S ) không phải đồng ( M ), cho nên thiết ( S ) không phải vật cách điện ( P ).
② dương ( M ) không phải ăn thịt động vật ( P ), mà hổ ( S ) không phải dương ( M ), cho nên hổ ( S ) không phải ăn thịt động vật ( P ).
Mặt trên hai lệ, tiền đề đều là chân thật, nhưng bởi vì hình thức không có hiệu quả, cho nên đẩy ra kết luận có có thể tính.
( 5 ) tiền đề có một cái là phủ định, này kết luận tất là phủ định; nếu kết luận là phủ định, tắc tiền đề tất có một cái là phủ định.
Nên quy tắc là đạo ra quy tắc. Nếu một cái tam đoạn luận đại tiền đề là phủ định, như vậy, trung hạng cùng đại hạng này hai người bên ngoài liền tất nhiên là bài xích lẫn nhau, theo quy tắc ( 4 ) “Hai cái phủ định tiền đề không thể đẩy ra kết luận”, như vậy, tiểu tiền đề cũng chỉ có thể là khẳng định. Nếu tiểu tiền đề là khẳng định, như vậy, tiểu tiền đề trung trung hạng cùng tiểu hạng bên ngoài liền tất nhiên cóTương dung quan hệ.Như vậy, thông qua trung hạng môi giới tác dụng, tiểu hạng liền sẽ cùng đại hạng bên ngoài tương bài xích, do đó đẩy ra tính tất yếu kết luận. Cùng lý, nếu tiểu tiền đề là phủ định, như vậy, trung hạng cùng tiểu hạng bên ngoài tương bài xích; theo quy tắc ( 4 ), đại tiền đề chỉ có thể là khẳng định, tắc trung hạng cùng đại hạng bên ngoài liền tất nhiên có tương dung quan hệ.
Từ một cái khác góc độ xem, nếu tiền đề đều là khẳng định, mà kết luận là phủ định, như vậy, kết luận tiểu hạng cùng đại hạng quan hệ, hoặc là thật bao hàm quan hệ, hoặc làGiao nhau quan hệ,Hoặc làToàn dị quan hệ,Mà trên thực tế lớn nhỏ khẳng định tiền đề thông qua trung hạng liên kết, tiểu hạng cùng đại hạng bên ngoài quan hệ có thể là toàn cùng quan hệ, hoặc thật bao hàm với quan hệ, hoặc thật bao hàm quan hệ, hoặc giao nhau quan hệ, như vậy ở phía trước đề trung ẩn dấu tiểu hạng cùng đại hạng quan hệ cùng kết luận trung tiểu hạng cùng đại hạng quan hệ tồn tại sai biệt, do đó sử kết luận mất đi đáng tin cậy tính, này logic hình thức cũng tất nhiên là không có hiệu quả.
( 6 ) hai cái đặc xưng tiền đề đẩy không ra kết luận.
Nếu hai cái tiền đề đều làĐặc xưng phán đoán,Đối với tam đoạn luận tới nói, cùng sở hữu bốn loại tổ hợp tình huống. Tức II, OO, IO, OI. Phía dưới phân biệt tiến hành phân tích.
Nếu hai cái tiền đề là II thức, tắc hai cái tiền đề trung chủ gọi hạng đều là không bao trùm. Như vậy, bất luận trung hạng ở vào hai cái tiền đề chủ hạng vẫn làGọi hạng,Đều không thể đủ chu diên, tất nhiên trái với quy tắc ( 2 ), này trinh thám hình thức cũng là không có hiệu quả thức.
Nếu hai cái tiền đề là OO thức, tắc trái với quy tắc ( 4 ). Bởi vậy này trinh thám hình thức cũng là không có hiệu quả thức.
Nếu hai cái tiền đề là IO thức, tắc trái với quy tắc ( 3 ). Bởi vì đại hạng vô luận là I phán đoán chủ hạng vẫn là gọi hạng, đều không thể là chu diên, mà theo quy tắc ( 5 ) kết luận hẳn là phủ định, như vậy kết luận đại hạng là chu diên, do đó liền nhất định trái với quy tắc ( 3 ), này trinh thám thức cũng là không có hiệu quả thức.
Nếu hai cái tiền đề là OI thức, tắc hoặc trái với quy tắc ( 2 ), hoặc trái với quy tắc ( 3 ). Nếu trung hạng là đại tiền đề O phán đoán chủ hạng, đồng thời tiểu tiền đề trung trung hạng hoặc là này chủ hạng hoặc là gọi hạng, tắc hai cái trung hạng ở lớn nhỏ tiền đề trung đều không bao trùm, tất nhiên trái với quy tắc ( 2 ). Nếu đại hạng P là đại tiền đề O phán đoán chủ hạng, mà theo quy tắc ( 5 ) kết luận tất là phủ định, như vậy đại hạng P ở đại tiền đề trung không bao trùm mà ở kết luận trung chu diên, liền tất nhiên trái với quy tắc ( 3 ). ( trở lên lý giải khi tốt nhất thông qua “Cái bàn, chén, đồ ăn” quan hệ tìm kiếm này dễ dàng lý giải so sánh phương thức đi phán đoán )
Cho nên, lớn nhỏ tiền đề nếu đều là đặc xưng, ( lý giải, khái niệm bao hàm phạm vi quá mức tiểu liền không thể suy diễn ) tắc tất nhiên là không có hiệu quả thức.
( 7 ) tiền đề trung có một cái là đặc xưng, kết luận cần thiết cũng là đặc xưng.
Căn cứ quy tắc ( 6 ), hai cái đặc xưng tiền đề đẩy không ra kết luận, cho nên, một cái chính xác tam đoạn luận, tiền đề nếu có một cái là đặc xưng, tắc một cái khác tiền đề liền tất nhiên là toàn xưng. Như vậy có một cái tiền đề là đặc xưng tam đoạn luận, này lớn nhỏ tiền đề tổ hợp tắc có bốn chủng loại hình tám loại hình thức:
AI——IA
AO——OA
EI——IE
EO——OE
Kể trên bốn tổ trung “EO——OE” nhân hai cái tiền đề đều là phủ định, trái với quy tắc ( 4 ), cho nên nên tổ có thể trực tiếp bài trừ, như vậy, nhưng phân tích liền dư lại tam tổ.
《 logic hình thức 》 bìa mặtNếu lớn nhỏ tiền đề từ AO tạo thành, mặc kệ chúng nó ai là lớn nhỏ tiền đề, như vậy chúng nó chu diên hạng có A phán đoán chủ hạng cùng O phán đoán gọi hạng. Căn cứ quy tắc ( 5 ), kết luận chỉ có thể làPhủ định phán đoán,Nếu kết luận là phủ định phán đoán, tắc đại hạng ở kết luận trung là chu diên, vì tuân thủ quy tắc ( 3 ), đại hạng chỉ có thể ở A phán đoán chủ hạng hoặc O phán đoán gọi hạng vị trí thượng, vì tuân thủ quy tắc ( 2 ), trung hạng cũng chỉ có thể ở A phán đoán chủ hạng hoặc O phán đoán gọi hạng vị trí thượng, như vậy, tiểu hạng chỉ có thể ở không bao trùm hạng tức A phán đoán gọi hạng hoặc O phán đoán chủ hạng vị trí thượng, nếu kết luận tiểu hạng là toàn xưng, liền tất nhiên trái với quy tắc ( 3 ), cho nên kết luận tiểu hạng chỉ có thể là đặc xưng.
Nếu lớn nhỏ tiền đề là IE, như vậy, bởi vì đại tiền đề I chủ gọi hạng đều không bao trùm, mà căn cứ quy tắc ( 5 ), này kết luận lại chỉ có thể là phủ định phán đoán, tức đại hạng ở kết luận trung là chu diên, như vậy chỉ cần đại hạng ở I phán đoánChủ hạngHoặc gọi hạng vị trí thượng, liền tất nhiên trái với quy tắc ( 3 ), cho nên IE vì tiền đề không thể thành lập. Nếu lớn nhỏ tiền đề là EI, như vậy này chu diên hạng có E phán đoán chủ hạng cùngGọi hạng,Vì không trái với quy tắc ( 2 ), bảo đảm trung hạng chu diên một lần, vì không trái với quy tắc ( 3 ), bảo đảm đại hạng ở kết luận trung không mở rộng, tiểu hạng chỉ có thể ở vào I phán đoán chủ hạng hoặc gọi hạng, như vậy, nếu kết luận tiểu hạng là chu diên liền tất trái với quy tắc ( 3 ). Cho nên lấy EI vì tiền đề, này kết luận cũng chỉ có thể làĐặc xưng phán đoán.[2]
Đồ 2Vì phán định một cái tam đoạn luận hữu hiệu tính, chúng ta muốn trước từ ngữ nghĩa trung lý giải khái niệm phạm vi, lấy ra trinh thám hình thức, sau đó đem tiền đề ấn nhất định trình tự đưa vào đồ trung, cuối cùng kiểm tra kết luận hay không chính xác, vì chính xác đưa vào tiền đề, yêu cầu theo nhất định quy tắc:
1, cái gọi là che lấp, chỉ chính là bị che lấp khu vực nội không chứa bất luận cái gì nguyên tố, giống nhau dùng nghiêng tuyến hoặc bóng ma tỏ vẻ.
2, họa “X” tỏ vẻ sở họa khu vực trung ít nhất tồn tại một cái nguyên tố.
3, toàn xưng tiền đề trước đưa vào, đặc xưng tiền đề sau đưa vào. Nếu hai cái tiền đề đều là toàn xưng, trước đưa vào cái nào đều có thể.
4, muốn họa x khu vực giống nhau đều bị chia làm hai bộ phận, nếu có một cái bộ phận bị che lấp, x muốn họa ở chưa bị che lấp bộ phận. Nếu không có khu vực bị che lấp, x muốn họa ở hai cái khu vực giao tuyến thượng.
Còn phải chú ý dưới vài giờ:
1, sở hữu đánh dấu ( họa x hoặc che lấp ) đều là đối tiền đề mà nói, không có đánh dấu, là vì có kết luận sở làm.
2, đưa vào “Tiền đề” khi chỉ cần chú ý nên tiền đề sở đề cập hai cái từ hạng viên, một cái khác viên chỉ cần cực tiểu chú ý.
3, che lấp khu vực khi nhất định phải che lấp tương quan khu vực “Toàn bộ”.
4, đặc xưng kết luận “Có S là P” hàm nghĩa là: Ít nhấtTồn tạiMột cái S hơn nữa cái này S là P. “Có S không phải P” cũng giống nhau.
5, chưa bị đánh dấu khu vực tình huống là không biết, khả năng tồn tại nguyên tố cũng có thể không tồn nguyên tố, muốn căn cứ thực tế tình huống mà định.
Mặt khác một chút, đối với chi nhánh trước cùng chi nhánh sau tư thế, nghiệm chứng phương pháp có chút bất đồng.
Người đọc có thể ở dưới ví dụ trung lại cẩn thận thể hội.
Lệ một, nghiệm chứng đệ nhất cách AAA thức tức “Sở hữu M là P, sở hữu S là M, cho nên sở hữu S là P” hữu hiệu tính, như đồ 3 sở kỳ.
Đồ 3Bước đầu tiên: Bởi vì “Sở hữu” M đều là P, cho nên “Chỉ thuộc về” M mà không thuộc về P sự vật là không tồn tại, cho nên chúng ta liền đem khu vực 1 cùng 2 che lấp ( nhưng không đánh dấu khu vực tự hào, này chỉ là vì phương tiện từng bước giảng giải ).
Bước thứ hai: Bởi vì “Sở hữu” S đều thuộc về M, cho nên “Chỉ thuộc về S mà không thuộc về M sự vật là không tồn tại”, cho nên chúng ta liền đem khu vực 5 cùng 6 che lấp.
Bước thứ ba: Kiểm tra kết luận, phát hiện S chỉ còn lại có khu vực 3, mà khu vực 3 trung nguyên tố cũng nhất định thuộc về P, cho nên kết luận “Sở hữu S là P” thành lập.
Bước thứ tư: Đến ra kết luận, nên tam đoạn luận là hữu hiệu.
Lệ nhị, nghiệm chứng đệ tam cách IAI thức tức “Có M là P, sở hữu M là S, cho nên có S là P” hữu hiệu tính, như đồ 4 sở kỳ.
Đồ 4Bước đầu tiên: Trước đưa vào toàn xưng tiền đề “Sở hữu M là S”, che lấp khu vực 1, 4.
Bước thứ hai: Lại đưa vào đặc xưng tiền đề “Có M là P”, những lời này ý nghĩa ở M cùng P cùng sở hữu khu vực hoặc là nói giao thoa trung ít nhất có một cái nguyên tố, tức khu vực 3, 4 cũng tập trung ít nhất tồn tại một cái nguyên tố, nhưng 4 đã bị che lấp, cho nên đem x họa ở khu vực 3 trung.
Bước thứ ba: Kiểm tra kết luận, “Có S là P” thuyết minh S cùng P giao thoa trung tức khu vực 3, 6 cũng tập trung ít nhất có một cái nguyên tố, mà x vừa lúc ở khu vực 3 trung, kết luận thành lập.
Bước thứ tư: Đến ra kết luận, nên tam đoạn luận là hữu hiệu.
Lại đến xem một cái chi nhánh sau ví dụ.
Lệ tam, chứng minh đệ nhất cách EAO thức tức “Sở hữu M đều không phải P, sở hữu S đều là M, cho nên có S không phải P”, như đồ 5 sở kỳ.
Đồ 5Bước đầu tiên: Đưa vào “Sở hữu M đều không phải P”, tức M cùng P giao thoa không chứa bất luận cái gì nguyên tố, che lấp khu vực 3, 4.
Bước thứ hai: Đưa vào “Sở hữu S đều là M”, che lấp khu vực 5, 6.
Bước thứ ba: Kiểm tra kết luận, “Có S không phải P” ý nghĩa tồn tại một cái x hơn nữa cái kia x là S mà không phải P, tức khu vực 2, 5 cũng tập trung tồn tại một cái x, kiểm tra đồ hình lại không có cái này x. Bởi vậy nên tam đoạn luận ấn bố ngươi quan điểm là không có hiệu quả, chúng ta tiếp tục luận chứng nên tam đoạn luận ởAristotleQuan điểm hạ là hữu hiệu.
Bước thứ tư, kiểm tra có vô chỉ còn một cái khu vực không có bị che lấp viên, nếu không có tắc nên tam đoạn luận là không có hiệu quả. Phát hiện S chỉ còn một cái khu vực 2 chưa bị che lấp, bởi vậy ở khu vực 2 trung họa thượng một cái mang vòng tròn xoa.
Thứ năm bước, lại lần nữa kiểm tra kết luận, được đến sở cần x. Lúc này, nếu S là hiện thực tồn tại hạng, tam đoạn luận chính là hữu hiệu, nếu S không phải hiện thực tồn tại hạng, tỷ như “Đương kim tồn tại bá vương long” từ từ, như vậy tam đoạn luận chính là không có hiệu quả.
Chú ý, có khi sẽ xuất hiện một cái trở lên chỉ còn một cái khu vực không có bị che lấp viên, lúc này chỉ cần đem mang vòng x họa ở S trong phạm vi là được. Đệ nhị cách AEO thức cùng EAO thức chính là như thế.
Cuối cùng lại cử một cái bị chứng minh vì không có hiệu quả ví dụ.
Lệ bốn, nghiệm chứng đệ nhất cách IAI thức tức “Có M là P, sở hữu S là M, cho nên có S là P” hữu hiệu tính.
Đồ 6Bước đầu tiên: Trước đưa vào toàn xưng tiền đề “Sở hữu S là M”, che lấp khu vực 5, 6.
Bước thứ hai: Lại đưa vào đặc xưng tiền đề “Có M là P”, tức khu vực 3, 4 cũng tập trung tồn tại một cái x, nhưng này hai cái khu vực cũng không bị che lấp, cho nên đem x họa ở khu vực 3, 4 giao tuyến thượng.
Bước thứ ba: Kiểm tra kết luận, “Có S là P” thuyết minh S cùng P giao thoa trung ít nhất tồn tại một cái x, tức khu vực 3, 6 cũng tập trung tồn tại một cái x, nhưng chúng ta sở họa x lại không biết rốt cuộc là ở khu vực 3 trung vẫn là khu vực 4 trung, hai người đều có khả năng. Cho nên đương x ở khu vực 4 trung khi, tiền đề thật mà kết luận giả. Đồng thời lại tìm không thấy chỉ còn một cái khu vực chưa bị che lấp viên, bởi vậy nên tam đoạn luận là không có hiệu quả.
Cuối cùng cấp ra 24 cái hữu hiệu thức sơ đồ Venn chứng minh, như đồ 7 sở kỳ.[2]
Đồ 7Trừ bỏ vận dụng sơ đồ Venn pháp, cũng có thể thông qua vận dụng một ít quy tắc, đem dục chứng tam đoạn luận hóa thành đệ nhất cách chi nhánh trước bốn cái hữu hiệu thức, do đó chứng minh tam đoạn luận hữu hiệu tính.
Quy tắc: ( vì đưa vào phương tiện, phủ định dùng “~” tỏ vẻ ).
Quy tắc Ⅰ1: MAP, SAM, |-SAP ( “|-” tỏ vẻ “Tất nhiên mà đến ra” ).
Quy tắc Ⅰ2: MEP, SAM, |-SEP.
Quy tắc Ⅰ3: MAP, SIM, |-SIP.
Quy tắc Ⅰ4: MEP, SIM, |-SOP.
Đổi vị quy tắc: SEP, |-PES.
Đổi vị quy tắc: SIP, |-PIS.
Kém chờ quy tắc: SAP, |-SIP.
Kém chờ quy tắc: SEP, |-SOP.
Mâu thuẫn quy tắc: SAP, |-~ ( SOP ).
Mâu thuẫn quy tắc: SEP, |-~ ( SIP ).
Trước bốn cái quy tắc là đệ nhất cách chi nhánh trước bốn cái hữu hiệu thức, mặt sau quy tắc là cùngNói thẳng mệnh đềCó quan hệ quy tắc.
Lệ một: Chứng minh đệ nhị cách AEE thức
∴SEP
( 1 ) PAM tiền đề.
( 2 ) SEM tiền đề.
( 3 ) MES ( 2 ), đổi vị quy tắc [ loại này phương pháp sáng tác là nói “Đối ( 2 ) sử dụng đổi vị quy tắc”, như trên ].
( 4 ) PES ( 3 ), ( 1 ), Ⅰ2.
( 5 ) SEP ( 4 ), đổi vị quy tắc.
Này liền được đến sở cần kết luận.
Lệ nhị: Chứng minh đệ nhất cách EAO thức
∴SOP
( 1 ) MEP tiền đề.
( 2 ) SAM tiền đề.
( 3 ) SEP ( 1 ), ( 2 ), Ⅰ2.
( 4 ) SOP ( 3 ), kém chờ quy tắc ( sử dụng kém chờ quy tắc chứng minh đều là chi nhánh sau hữu hiệu thức, muốn bảo đảm S hạng tồn tại tính ).
Vận dụng hình thức chứng minh, có thể đem dục chứng tam đoạn luận hóa thành đệ nhất cách trước bốn cái hữu hiệu thức, loại này chứng minh phương pháp gọi là tam đoạn luận hoàn nguyên pháp.
Ghi chú:Vì chính xác vận dụng tam đoạn luận, cần thiết muốn phán đoán nó hữu hiệu tính, mọi người nhớ kỹ toàn bộ 24 loại hữu hiệu hình thức là tương đối khó khăn, có thể lợi dụng nhiều loại phương thức, chứng minh tam đoạn luận hữu hiệu tính.[2]
