La tập
Thử điều mục hiệt đích chủ đề thị quan vu la tập hòa la tập học khoa đích phân loại, lịch sử dữ phát triển. Quan vuHắc cách nhĩĐích tác phẩm 《 la tập học 》, thỉnh kiến “Đại la tập”.| Hệ liệt điều mục |
| Triết học |
|---|
 |
 Triết học chủ đề |
La tập( logic ) hựu xưngLý tắc,Luận lý,Thôi lý,Thôi luận,Thị hữu hiệu ( hoặc chính xác )Thôi luậnĐích nghiên cứu[1][2];Canh quảng phiếm địa thuyết, la tập thị đối luận chứng đích phân tích hòa bình cổ[3].La tập đích mục đích khả dĩ thị lai phát triển bình cổ tha nhân đích luận chứng hoặc cấu kiến tự kỷLuận chứngĐích nhất sáo phương pháp hòa nguyên tắc thể hệ[4].
La tập khả phân viHình thức la tập,DữPhi hình thức la tập.
La tập bị sử dụng tại đại bộ phân đích trí năng hoạt động trung, đãn chủ yếu tạiTâm lý,Học tập,Triết học,Ngữ nghĩa học,Sổ học,Thôi luận thống kế học,Não khoa học,Pháp luậtHòaKế toán cơ khoa họcĐẳng lĩnh vực nội bị thị vi nhất môn học khoa. La tập thảo luậnLa tập luận chứngNhất bàn hội trình hiện đích nhất bàn hình thức, na chủng hình thức thị hữu hiệu đích, dĩ cập kỳ trung đíchMậu luận.
La tập thôi lý thông thường khả phân vi tam chủng:Quy nạp thôi lý,Tố nhân thôi lýHòaDiễn dịch thôi lý.Khoa học phương phápĐô chúc ô quy nạp thôi lý, một hữu tất nhiên tính. Sổ học tắc chúc ô diễn dịch thôi lý.
TạiTriết họcLí, la tập bị ứng dụng tại đại đa sổ đích chủ yếu lĩnh vực chi trung:Hình thượng học/Vũ trụ luận,Bổn thể luận,Tri thức luậnCậpLuân lý học.
TạiSổ họcLí, la tập thị chỉHình thức la tậpHòaSổ lý la tập,Hình thức la tập thị nghiên cứu mỗ cáHình thức ngữ ngônĐích hữu hiệuThôi luận[5].Chủ yếu thị diễn dịch thôi lý. TạiBiện chứng phápTrung dã thiệp cập đáo la tập[6].Sổ lý la tập thị nghiên cứu trừu tượng la tập quan hệ hòa sổ học cơ bổn đích vấn đề.
TạiTâm lý,Não khoa học,Ngữ nghĩa học,Pháp luậtLí, thị nghiên cứu nhân loại tư tưởng thôi lý đích xử lý.
TạiHọc tập,Thôi luận thống kế họcLí, thị nghiên cứu tối đại khả năng đích kết luận. Chủ yếu thịQuy nạp thôi lý,Tố nhân thôi lý.
TạiĐiện não khoa họcLí, thị nghiên cứu các chủng phương pháp đích tính chất, khả năng tính, hòa thật hiện tại cơ khí thượng. Chủ yếu thịQuy nạp thôi lý,Tố nhân thôi lý,Dã hữu tạiQuy nạp thôi lýĐích nghiên cứu.
TòngCổ văn minhKhai thủy ( nhưCổ ấn độ[Chú 1],Trung quốc cổ đại[Chú 2]HòaCổ hi tịch) đô hữu đối la tập tiến hành nghiên cứu. Tại tây phương,Á lí tư đa đứcTương la tập kiến lập thành nhất môn chính thức đích học khoa, tịnh tại triết học trung cấp dư tha nhất cá cơ bổn đích vị trí.
Từ nguyên
[Biên tập]La tập ( anh ngữ:logic) đíchTự cănLai tự (Cổ hi tịch ngữ:λογική,La mã hóa:logikḗ), ý vi: Cụ hữu lý do đích, tri thức đích, biện chứng đích, luận biện đích; la tập thử từ hựu dữLa các tư(Cổ hi tịch ngữ:λόγος,La mã hóa:lógos) đồng nguyên, ý vi:Từ ngữ,Tư tưởng,Khái niệm,Lý niệm,Luận cư,Luận điểm, thuyết minh, lý do, nguyên tắc,Thôi lý[7].“logikḗ” thử hậu dịch vi pháp ngữ:logique,Tái phát triển vi anh ngữ đích la tập: logic. Kỳ tha âu châu ngữ ngôn bính pháp quân lôi đồng, như đức ngữ: logik, ý đại lợi ngữ, tây ban nha ngữ: logica, bồ đào nha ngữ: lógica đẳng.
Lý chi tảo( 1565-1630 ) dữ nhân phiên dịch liễu nhất bổn la tập học trứ tác, dịch vi 《 danh lý tham 》. Thanh triều mạt niên, hữu trứ tác 《 biện học khải mông 》. 1902 niênNghiêm phụcDịch 《 mục lặc danh học 》 thời, tương kỳ ý dịch vi “Danh”, đãn giá bất hợpDanh giaHoặc giảDanh giáoChi danh học trung “Danh” đích bổn ý. Đồng thời tại bổn tác trung đệ nhất thứ tác vi chú giải đề đáo “La tập” nhất từ, đãn tha tịnh bất đề xướng[8]. Lương khải siêuTại 《 mặc tử chi luận lý học 》 đề xướng thải dụngHòa chế hán ngữĐích ý dịch “Luận lý”[9]. 1919 niênTôn vănTại 《 tôn văn học thuyết · dĩ tác văn vi chứng 》 đề xướng ý dịch vi “Lý tắc”[10]. 1917 niênChương sĩ chiêuTại 《 la tập chỉ yếu 》 đệ nhất thứ tương “La tập” tác vi trứ tác đích dịch danh. Tha nhận vi, ý dịch vô pháp tinh xác biểu đạt nguyên từ sở uẩn hàm đích ý nghĩa. Do vu ý dịch đích phân kỳ ngận đại, tối chung “La tập” tác vi “logic” đích dịch danh lưu truyện hạ lai[11].
Khái luận
[Biên tập]La tập bổn thân thị chỉ thị thôi luận hòaChứng minhĐích tư tưởng quá trình, nhi la tập học thị nghiên cứu “Hữu hiệuThôi luậnHòa chứng minh đíchNguyên tắcDữTiêu chuẩn”Đích nhất môn học khoa. Tác vi nhất cáHình thức khoa học,La tập thấu quá đốiThôi luậnĐíchHình thức hệ thốngDữTự nhiên ngữ ngônTrung đíchLuận chứngĐẳng lai nghiên cứu tịnh phân loại mệnh đề dữ luận chứng đích kết cấu[12].
La tập đích phạm vi thị phi thường quảng khoát đích, tòng đốiMậu luậnDữBội luậnĐích nghiên cứu chi loại đích hạch tâm nghị đề, đáo lợi dụngCơ suấtLai thôi luận cập bao hàmNhân quả luậnĐích luận chứng đẳng chuyên nghiệp đích thôi lý phân tích. La tập tại kim nhật diệc thường bị sử dụng tại luận biện lý luận chi trung ( tham kiến:Phi hình thức la tập)[13].
Truyện thống thượng, la tập bị tác viTriết họcĐích nhất cá phân chi lai nghiên cứu, hòaVăn phápDữTu từNhất đồng bị xưng vi cổ điểnTam nghệ.Cổ hi tịchÁ lí tư đa đứcHệ thống đích nghiên cứu liễu la tập hệ thống, giới thiệu vu kỳ trứ tác tập 《Công cụ luận》 trung[14][15].《 công cụ luận 》 thịÁ lí sĩ đa đứcHọc phái đích truyện nhân môn ( tứcTiêu dao học phái) tương tha đích lục thiên quan vuLa tậpĐích trứ tác hối biên thành đích nhất bộ trứ tác tập, tịnh định vi thử danh. Giá lục thiên trứ tác phân biệt thị 《Phạm trù thiên》, 《Giải thích thiên》, 《Tiền phân tích thiên》, 《Hậu phân tích thiên》, 《Luận biện thiên》 hòa 《 biện mậu thiên 》.
Tự thập cửu thế kỷ trung diệp,Hình thức la tậpDĩ bị tác viSổ học cơ sởNhi bị nghiên cứu, đương trung kinh thường bị xưng chi viPhù hào la tập.1903 niên,A phất liệt · nặc phu · hoài hải đứcDữBá đặc lan · la tốTả thành liễu 《Sổ học nguyên lý》, thí đồ tương la tập hình thức địa kiến lập thành sổ học đích cơ thạch[16].Bất quá, trừ liễu ta cơ bổn đích dĩ ngoại, đương thời đích hệ thống dĩ bất tái bị sử dụng, đại bộ phân đô bịTập hợp luậnSở thủ đại điệu liễu. Đương đối hình thức la tập đích nghiên cứu tiệm tiệm địa khoách trương liễu chi hậu, nghiên cứu dã bất tái chỉ cục hạn ô cơ sở đích nghị đề, chi hậu đích các cáSổ họcLĩnh vực bị hợp xưng viSổ lý la tập.Hình thức la tập đích phát triển hòa kỳ tại điện não thượng đích ứng dụng thịĐiện não khoa họcĐích cơ sở[17].Qua đặc phất lí đức · lai bố ni tì,Kiều trị · bố nhĩ,Qua đặc lạc bố · phất lôi cách,Đại vệ · hi nhĩ bá đặc,Khố nhĩ đặc · ca đức nhĩ,Đẳng đẳng, đô tại giá cá quá trình trung phi thường trọng yếu[18].
Phân loại
[Biên tập]Kinh điển la tập
[Biên tập]Kinh điển la tập:Kinh điển la tậpĐích la tập hệ thống cơ vu công lý hóa đíchTruyện thống la tậpĐích tứ cá cơ bổnTư duy quy luật:Đồng nhất luật,Bài trung luật,Vô mâu thuẫn luật( dã bị xưng vi mâu thuẫn luật ), hòaSung túc lý do luật,Hòa kỳ thaKinh điển la tậpĐặc hữu đích đặc chinh ( kiến:Kinh điển la tập # đặc chinh)[14][19].Kinh điển la tậpThị 19 hòa 20 thế kỷ đích sang tân, tha bỉ á lí sĩ đa đức đíchTruyện thống la tậpCụ hữu canh quảng phiếm đích ứng dụng, tịnh thả năng cú tương á lí sĩ đa đức đíchTruyện thống la tậpBiểu thuật vi nhất cá đặc lệ.Đồng nhất luật,Bài trung luật,Vô mâu thuẫn luậtDoÁ lí sĩ đa đứcĐề xuất, dã thịBá đặc lan · la tốTại tha đích trứ tác 《 triết học vấn đề 》 trung xác lập liễu tam cáTư duy quy luật.
Phi kinh điển la tập
[Biên tập]Phi kinh điển la tập:DữKinh điển la tậpCông lý hóa giả thiết ( kiến:Kinh điển la tập # đặc chinh) hữu mâu thuẫn đích la tập hệ thống. Lệ như: Cự tuyệtVô mâu thuẫn luậtĐích sở hữu chủng loại đíchThứ hiệp điều la tập[20][21],Bao quátTương càn la tập[22],Song diện chân lý thuyết[23]Đẳng đẳng. Giá ta đích hình thức hóaThứ hiệp điều la tậpKí chúc vuPhi kinh điển la tậpDã chúc vuHình thức la tập.
Hình thức la tập
[Biên tập]Hình thức la tậpThị đối mệnh đề, trần thuật hoặc đoạn nhiên sử dụng đích cú tử hòa diễn dịch luận chứng đích trừu tượng nghiên cứu[24].Thị nghiên cứu thuần hình thức nội dung đíchThôi luậnĐích nhất môn học khoa, giá chủng nội dung thị ngận minh xác đích. Nhược nhất cá thôi luận khả dĩ bị biểu đạt thành nhất cá hoàn toàn trừu tượng đích quy tắc ( tức bất chỉ thị hòa nhậm nhất đặc định sự vật hoặc tính chất hữu quan đích quy tắc ) đích nhất cá đặc định ứng dụng, tắc giá cá thôi luận ủng hữuThuần hình thức nội dung.Hình thức la tập đích quy tắc doÁ lí tư đa đứcTối tiên tả thành[25].Tại hứa đa la tập đích định nghĩa trung, la tập thôi luận dữ đái hữu thuần hình thức nội dung đích thôi luận hội thị đồng nhất chủng khái niệm. Đãn giá bất biểu kỳ phi hình thức la tập đích khái niệm thị không động đích, nhân vi một hữu nhậm hà nhất chủng hình thức ngữ ngôn khả dĩ bộ tróc đáo tự nhiên ngữ ngôn ngữ nghĩa gian sở hữu đích vi tế soa biệt.Hình thứcThị la tập đích hạch tâm, đãn tại “Hình thức la tập” trung đối “Hình thức” sử dụng thời thường bất ngận minh xác, nhân nhi sử kỳ xiển thuật biến đắc ngận phí giải. Kỳ trung, phù hào la tập cận vi hình thức la tập đích nhất chủng loại hình, nhi hòa hình thức la tập đích lánh nhất chủng loại hình － chỉ xử lýTrực ngôn mệnh đềĐíchTam đoạn luậnBất đồng.[26]
Phù hào la tập
[Biên tập]Phù hào la tậpBộ hoạch liễu la tập thôi luận đích hình thức đặc trưng, tịnh tương kỳ trừu tượng hóa vi phù hào đích nghiên cứu[16][27].Phù hào la tập thông thường phân vi lưỡng cá phân chi:Mệnh đề la tậpHòaVị từ la tập.“Hình thức la tập” thông thường tác vi phù hào la tập đích đồng nghĩa từ. Đãn quảng nghĩa địa lai thuyết, hình thức la tập thị cổ lão đích, khả truy tố chí lưỡng thiên niên dĩ tiền, nhi phù hào la tập tắc tương đối giác tân, chỉ hữu nhất cá thế kỷ tả hữu đích lịch sử nhi dĩ.
Sổ lý la tập
[Biên tập]Sổ lý la tậpThị phù hào la tập tại kỳ tha lĩnh vực trung đích diên thân, đặc biệt thị đốiMô hình luận,Chứng minh luận,Tập hợp luậnHòaĐệ quy luậnĐích nghiên cứu.
Phi hình thức la tập
[Biên tập]Phi hình thức la tập[28]Thị nghiên cứuTự nhiên ngữ ngônLuận chứngĐích nhất môn học khoa, dã bị nhận vi dữPhê phán tính tư duyTương quan liên, bị lý giải vi bất bao hàm phù hào trừu tượng hóa đích nhậm hà nhất chủng la tập thôi luận; giá thị do “Hình thức ngữ ngôn”Hòa “Hình thức lý luận”Trung loại thôi nhi lai đích dụng pháp.
Một hữu nhậm hà nhất chủng hình thức ngữ ngôn khả dĩ bộ tróc đáo tự nhiên ngữ ngôn ngữ nghĩa gian sở hữu đích vi tế soa biệt, giá thuyết minh liễuPhi hình thức la tậpNghiên cứu tồn tại đích tất yếu tính. ĐãnPhi hình thức la tậpĐiển hình đặc chinh thị bất nhưHình thức la tậpThiện vu tố nghiêm mật phân tích.Bách lạp đồĐích tác phẩm[29]Thị phi hình thức la tập đích nhất trọng yếu lệ tử. ĐốiMậu luậnĐích nghiên cứu thị phi hình thức la tập trung vưu kỳ trọng yếu đích nhất cá phân chi, kỳ lịch sử khả truy tầm vu cổ hi tịch thời kỳÁ lí tư đa đứcĐích trứ tác 《Biện mậu thiên》.
Triết học la tập
[Biên tập]Triết học la tậpThị chỉ truyện thống thượng sử dụng công nhận đích la tập phương pháp lai giải quyết hoặc thôi tiến triết học vấn đề thảo luận đích triết học lĩnh vực, thị đối la tập canh đặc định vu triết học đích phương diện đích nghiên cứu. Cai thuật ngữ bị lý giải vi bao hàm tịnh chuyên chú vu phi kinh điển la tập, tẫn quản hoàn hữu kỳ tha hàm nghĩa[30].Ước hàn ·P· bá cát tưĐích 《 triết học la tập 》[31]Giới thiệu liễuPhi kinh điển la tậpĐích ngũ cá trung tâm phân chi (Thời gian la tập,Mô thái la tập,Điều kiện la tập,Tương càn la tậpHòaTrực giác la tập), trọng điểm quan chú hình thức hóa mô hình hòa trực giác động cơ chi gian hữu thời tồn tại vấn đề đích quan hệ. Tiến nhất bộ đích giới thiệu khả kiến kỳ tha hữu quan văn hiến[32][33].
Khái niệm
[Biên tập]La tập học cơ bổn công lý
[Biên tập]Hình thức la tập học
[Biên tập]Kinh điển la tập đích tứ cá cơ bổn công lý:
- Đồng nhất luật( the law of identity )
- Sự vật cân kỳ tự thân tương đẳng đồng, “Tự kỷ” bất năng “Bất thị tự kỷ”.
- Vô mâu thuẫn luật( the law of non-contradiction )
- Sự vật bất năng đồng thời “Thị” cân “Bất thị”. Thị tựu thị, bất thị tựu bất thị.
- Bài trung luật( the law of excluded middle )
- Sự vật chỉ năng hữu “Thị” hoặc “Bất thị” lưỡng chủng trạng thái, bất tồn tại kỳ tha trung gian trạng thái.
- Sung túc lý do luật( the law of sufficient reason )
- Nhậm hà sự vật đô hữu kỳ tồn tại đích sung túc lý do.
Phi hình thức la tập học
[Biên tập]Chỉ dữ phi kinh điển la tập hữu quan đích công lý:
- Hàm trung luật( the law of included middle )
- Sự vật bất cận hữu “Thị” hoặc “Bất thị” lưỡng chủng trạng thái, hoàn tồn tại “Phi thị” cập “Phi bất thị” đích P trạng thái ( possibly true), kỳ trị chúc ô khu gian [0,1].
Biện chứng la tập hòa đối lập thống nhất quy luật:
- TạiBiện chứng la tậpTrung, duẫn hứa mâu thuẫn đích tồn tại, tịnh tiếp nạpĐối lập thống nhấtQuy luật.
- Tại biện chứng la tập trung nhận vi, xã hội hòa tư tưởng lĩnh vực trung đích nhậm hà sự vật dĩ cập sự vật chi gian đô bao hàm trứ mâu thuẫn tính, sự vật mâu thuẫn song phương hựu thống nhất hựu đấu tranh thôi động sự vật đích vận động, biến hóa hòa phát triển.Đối lập thống nhấtQuy luật nhận vi, mâu thuẫn song phương đích đồng nhất tính dữ đấu tranh tính; mâu thuẫn đích phổ biến tính dữ đặc thù tính; sự vật phát triển quá trình trung đích mâu thuẫn dĩ cập mâu thuẫn song phương phát triển đích bất bình hành tính.Biện chứng phápThị giải quyết mâu thuẫn đích phương pháp luận.
La tập hệ thống đích tính chất
[Biên tập]Hình thức la tập hệ thốngKhả dĩ cụ hữu đích trọng yếu chúc tính bao quát:
- Hữu hiệu tính( validity )
- Y hệ thống đíchThôi lý quy tắc,Nhược sở hữuTiền đềGiai viChânTắc kết luận tất vi chân ( bảo chân ). Sở hữuMệnh đềChi tiền đề giaiNgữ nghĩa uẩn hàm( semantic consequence ) kết luận.
- Tự hiệp tính( consistency )
- Hệ thống trung nhậm nhất định lý đô bất dữ kỳ tha định lý tươngMâu thuẫn.Bất tồn tại mệnh đề P, P hòaPhiP giai khả tại hệ thống trungChứng minh.
- Khả kháo tính( soundness )
- Hệ thống trung sở hữu định lý ( hữu hiệu thả khả chứng minh đích mệnh đề ) giai vi chân. Khả kháo tính dữ hoàn bị tính hỗ viNghịch mệnh đề.
- Hoàn bị tính( completeness )
- Hệ thống trung bất tồn tại vô pháp chứng minh hoặc chứng phủ đích hữu hiệu mệnh đề. Hệ thống trung chân mệnh đề giai khả chứng minh ( chân mệnh đề giai vi định lý ) thả giả mệnh đề giai khả chứng phủ.
- Biểu đạt tính(computer science) ( Expressivity )
- Hệ thống trung khả dĩ biểu đạt na ta khái niệm.
Nhất taLa tập hệ thốngBất ủng hữu thượng thuật sở hữu tính chất, bỉ nhưKhố nhĩ đặc · ca đức nhĩĐíchCa đức nhĩ bất hoàn bị định lýChứng minh liễu, một hữu nhậm hà nhất cá uẩn hàmBì á nặc công lýĐích toán thuật hình thức hệ thống khả dĩ đồng thời mãn túc tự hiệp tính hòa hoàn bị tính.[27]Đồng thời tha đích châm đối một hữu thông quá đặc định công lý khoách triển vi đái hữu đẳng thức đích toán thuật hình thức hệ thống đích nhất giai vị từ la tập đíchĐịnh lý,Chứng thật liễu tha môn khả dĩ đồng thời mãn túc tự hiệp tính hòa hoàn bị tính.[34]
Đối ô la tập đích bất đồng lý giải
[Biên tập]La tập sản sinh ô đối luận chứng chính xác tính đích quan chú. La tập thị đối luận chứng đích nghiên cứu, giá cá khái niệm tại lịch sử thượng thị ngận cơ bổn đích, nhi giá dã thị bất đồng la tập truyện thống đích sang lập giả nhưBách lạp đồHòaÁ lí tư đa đứcSở thiết tưởng đích. Hiện đại đíchLa tập học giaThông thường hội hi vọng xác bảo đối la tập đích nghiên cứu chỉ cục hạn ô do thích độ nhất bàn hóa liễu đích thôi luận trung sở sản sinh xuất lai đích luận chứng; sở dĩ như 《Tư thản phúc triết học bách khoa》 sở xưng, “La tập…… Một hữu hàm cái hữu hiệu thôi lý đích chỉnh cá khóa đề, na thị lý tínhLý luậnĐích công tác. Canh minh xác địa thuyết, la tập xử lý nhất chủng thôi luận, kỳ hữu hiệu tính khả truy tố chí thôi luận trung đích biểu thuật đích hình thức đặc trưng, giá khả dĩ thị ngữ ngôn đích, tâm lý đích, hoặc kỳ tha đích biểu thuật.” (Hofweber 2004).[5]
Tương đối địa,Y mạn nỗ nhĩ · khang đứcDẫn nhập liễu lánh nhất chủng khái niệm lai xiển thuật thập ma thị la tập. Tha chủ trương la tập ứng đương bị thiết tưởng vi phán đoạn đích khoa học, giá chủng tưởng pháp bịQua đặc lạc bố · phất lôi cáchThải nạp, tả nhập tha đích la tập dữ triết học trứ tác chi trung, kỳ trung, tư duy ( đức ngữ:Gedanke) giá nhất từ thủ đại liễu khang đức đích phán đoạn ( đức ngữ:Urteil). Tại thử quan điểm hạ, hữu hiệu đích la tập thôi luận thị nguyên ô phán đoạn hoặc tư duy đích kết cấu đặc trưng.
Diễn dịch hòa quy nạp
[Biên tập]Diễn dịch thôi lýQuan chú ô tòng cấp định đích tiền đề hạ hữu thập ma thị khả đắc xuất đích. NhiQuy nạp thôi lý( tòng quan sát trung thôi luận xuất khả kháo quảng nghĩa hóa đích quá trình ) hữu thời dã bị bao hàm tại đối la tập đích nghiên cứu trung. Tương đối ứng địa, tất tu yếu khu phân xuất diễn dịch hữu hiệu tính hòaQuy nạp hữu hiệu tính.Nhất cá thôi luận thị diễn dịch hữu hiệu đích, nhược thả duy nhược bất khả năng tồn tại sở hữu tiền đề giai vi chân đãn kết luận vi giả đích trạng huống. Đối ô hình thức la tập đích hệ thống, diễn dịch hữu hiệu tính đích khái niệm khả dĩ dụngNgữ nghĩa họcTrung dĩ minh xác lý giải đích khái niệm nghiêm cách địa trần thuật xuất lai. Lánh nhất phương diện, quy nạp đích hữu hiệu tính tắc yếu cầu tất tu định nghĩa đối mỗ nhất quan sát tập hợp đích “Khả kháo quảng nghĩa hóa”. Thử định nghĩa khả dĩ dụng các chủng bất đồng đích phương thức lai đạt thành, hữu đích phương thức hội bỉ kỳ tha đích phương thức bất na ma hình thức hóa; hữu ta định nghĩa dã hứa hội dụng đáo cơ suất đíchSổ học mô hình.[35]
Phát triển lịch sử
[Biên tập]Hứa đa văn hóa đô thải dụng phục tạp đích thôi lý hệ thống, tối sơ cận hữu tam cá địa phương bả la tập học tác vi đối thôi lý phương pháp đích minh xác phân tích, tịnh thả hữu trì tục đích phát triển, na tựu thị tiền 6 thế kỷ đíchẤn độ,Tiền 5 thế kỷ đíchTrung quốcHòa tiền 4 thế kỷ dữ tiền 1 thế kỷ gian đíchHi tịch.
Hiện đại la tập đích hình thức phục tạp xử lý minh hiển nguyên tự hi tịch truyện thống, đãn thị hữu nhân đề xuấtBố nhĩ la tậpĐích tiên khu khả năng tri đạo ấn độ la tập ( Ganeri 2001 ). Hi tịch truyện thống tự thân lai tựÁ lí sĩ đa đức la tậpĐích truyện bá,Y tư lan triết học giaHòaTrung thế kỷ la tập học giaĐối tha đích bình luận. Âu châu dĩ ngoại đích truyện thống một hữu tồn hoạt đáo hiện đại thời kỳ: Tại trung quốc, đối la tập đích học thuật nghiên cứu truyện thống tạiHàn phiĐích pháp gia triết học chi hậu tựu bịTần triềuÁp chế; tại y tư lan thế giới,Ngải thập nhĩ lí phái( Ash'ari ) đích quật khởi áp chế liễu la tập đích nguyên thủy công tác.
Đãn thị tại ấn độ, kinh viện học pháiChính lý pháiĐích sang tân trì tục đáo 18 thế kỷ tảo kỳ. Tha một hữu tồn hoạt đáoThực dân địa thời kỳ.Tại 20 thế kỷ, tây phương triết học gia như Stanislaw Schayer hòa Klaus Glashoff tham cứu liễuẤn độ truyện thống la tập họcĐích mỗ ta phương diện.
Trung thế kỷ thời kỳ, tạiÁ lí sĩ đa đứcĐích tưởng pháp hiển kỳ dữ tín ngưỡng đại lượng kiêm dung chi hậu, tha đích la tập bị cấp dư canh đại cường điều. Tại trung thế kỷ đích hậu kỳ, la tập thành vi nhất bộ phân triết học gia đích quan chú tiêu điểm, tha môn chuyên chú ô đối triết học luận chứng đích la tập phân tích.
La tập học học khoa thể hệ
[Biên tập]- Kinh điển la tập
- Tam đoạn luận(Truyện thống la tập,Từ hạng la tập )
- Bố nhĩ la tập
- Mệnh đề la tập
- Nhất giai la tập( vị từ la tập )
- Phi kinh điển la tập
- Sổ lý la tập( phù hào la tập )
- Trực giác la tập( cấu tạo tính la tập )
- Đa trị la tập
- Á kết cấu la tập( tử kết cấu la tập )
- Phi đan điều la tập
- Mô thái la tập
- Triết học la tập
- Thứ hiệp điều la tập( phất hiệp điều la tập )
- Tự do la tập
- Biện chứng pháp(Biện chứng la tập)
- Phi hình thức la tập
- La tập thật hiện đích tam chủng phương thức
- Diễn dịch thôi lý
- Quy nạp thôi lý
- Tố nhân thôi lý( thiết nhân thôi lý, giả thiết thôi lý )
- Khả phế chỉ thôi lý
- La tập sử
- Công cụ luận( cổ hi tịch )Á lí sĩ đa đức( 384 BC – 322 BC )
- Tư duy quy luật nghiên cứu( anh quốc )Kiều trị · bố nhĩ( 1815–1864 )
- Khái niệm văn tự( đức quốc )Phất lôi cách( 1848–1925 )
- Sổ học nguyên lý( anh quốc )La tố( 1872-1970 )
- La tập học ứng dụng
Chú thích
[Biên tập]- ^Lệ như, khả truy tố chí 1900 niên tiền đíchChính lý luận.
- ^2200 niên tiền đíchMặc giaHòaDanh gia
Tham khảo văn hiến
[Biên tập]Dẫn dụng
[Biên tập]- ^logic, britannica.com.[2021-06-27].(Nguyên thủy nội dungTồn đương vu 2022-07-10 ).
- ^Richard Henry Popkin; Avrum Stroll.Philosophy Made Simple.Random House Digital, Inc. 1 July 1993: 238[5 March2012].ISBN978-0-385-42533-9.(Nguyên thủy nội dungTồn đương vu 2015-04-08 ).
- ^Gensler, Harry J. Chapter 1: Introduction.Introduction to logic3rd. New York: Routledge. 2017:1[2002].ISBN9781138910591.OCLC 957680480.doi:10.4324/9781315693361.
- ^Hurley, Patrick J.A Concise Introduction to Logic, 10th Edition.The United States of America: Thomson Wadsworth. 2008:1.ISBN978-0-495-50383-5.
- ^5.05.1Hofweber, T.Logic and Ontology.Zalta, Edward N( biên ). Stanford Encyclopedia of Philosophy. 2004[2006-01-20].(Nguyên thủy nội dungTồn đương vu 2021-01-13 ).
- ^Cox, J. Robert;Willard, Charles Arthur( biên ). Advances in Argumentation Theory and Research.Southern Illinois University Press.1983.ISBN978-0809310500.
- ^Liddell, Henry George, and Robert Scott. "Comp. Greek-English lexicon (LSJ)." (1996).
- ^"La tập tối sơ dịch bổn vi cố lậu sở cập kiến giả, hữu minh quý chi 《 danh lý tham 》, nãi lý chi tảo sở dịch, kim nhật thuế vụ tư dịch hữu 《 biện học khải mông 》, giai bất thị bổn học chi thâm chi tương phó. Tất cầu thậm cận, cô dĩ danh học dịch chi"
- ^"Ngô trung quốc tương lai chi học giới, tất dữ nhật bổn học giới hữu mật thiết chi quan hệ. Cố kim vật ninh đa thải chi. Miễn sử dữ phương lai chi dịch bổn sinh tham soa dã"
- ^Kiến quốc phương lược chi nhất · tôn văn học thuyết · đệ tam chương dĩ tác văn vi chứng - chủ yếu trứ thuật - tôn trung sơn cố cư kỷ niệm quán _ vĩ nhân tôn trung sơn.sunyat-sen.org.[2022-07-27].( nguyên thủy nội dungTồn đươngVu 2022-07-26 ).
Nhiên tắc la tập cứu vi hà vật? Đương dịch dĩ hà danh nhi hậu thỏa? Tác giả vu thử, cái dục hữu sở thương các dã. Phàm sảo thiệp liệp hồ la tập giả, mạc bất tri thử vi chư học chư sự chi quy tắc, vi tư tưởng hành vi chi môn kính dã. Nhân loại do chi nhi bất tri kỳ đạo giả chúng hĩ, nhi trung quốc tắc chí kim thượng vị hữu kỳ danh. Ngô dĩ vi đương dịch chi vi “Lý tắc” giả dã. Phu tư học chí kim thượng vị đại vi phát minh, cố chuyên trị thử học giả, sở trì chi thuyết, diệc mạc trung nhất thị. Nhi thử ngoại học giả chi đối vu lý tắc chi học, tắc đại đô như đào uyên minh chi độc thư, bất cầu thậm giải nhi dĩ. Duy nhân loại chi bẩm phú, kỳ phương thốn tự cụ hữu lý tắc chi cảm giác, cố năng văn chi sĩ, nghiên tinh cấu tư, nhi tác thành bất hủ chi văn chương, tắc vô bất ám hợp vu lý tắc giả; nhi khấu kỳ tạo nghệ chi đạo, tắc bỉ diệc bất tự tri kỳ hà do dã.
- ^Trung quốc xã hội khoa học báo: “logic” chi trung dịch danh khảo: Ý dịch đáo âm dịch đích hồi quy - môi thể nam khai - nam khai đại học.news.nankai.edu.cn.[27 July2022].
- ^J. Bruno Leclercq et Laurence Bouquiaux,Logique formelle et argumentation,Édition 3, De Boeck Université, 2017ISBN 978-2-8073-1446-7,ISBN 978-2807314467
- ^J. Robert Cox and Charles Arthur Willard, eds.Advances in Argumentation Theory and Research,Southern Illinois University Press, 1983ISBN 978-0-8093-1050-0,ISBN 978-0809310500
- ^14.014.1Smith, Robin.Aristotle’s Logic.2000-03-18[2021-05-09].(Nguyên thủy nội dungTồn đương vu 2021-05-09 ).
- ^Á lí sĩ đa đức trứ; dư kỷ nguyên đẳng phiên dịch. Công cụ luận ( thượng hạ ), trung quốc nhân dân đại học xuất bản xã, ISBN: 9787300051185, xuất bản thời gian: 2003.
- ^16.016.1Alfred North Whitehead and Bertrand Russell,Principia Mathematical to *56,Cambridge University Press, 1967,ISBN 978-0-521-62606-4
- ^J. Dirk W. Hoffmann,Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik,Auflage: 3, Springer Spektrum, 2018ISBN 978-3-6625-6616-9,ISBN 978-3662566169
- ^J. Martin Davis,The Universal Computer. The Road from Leibniz to Turing,A K Peters and CRC Press, 2011ISBN 978-1-4665-0520-9,ISBN 978-1466505209
- ^Shapiro, Stewart; Kouri Kissel, Teresa.Classical Logic.2000-09-16[2021-05-09].(Nguyên thủy nội dungTồn đương vu 2021-05-10 ).
- ^Priest, Graham; Tanaka, Koji; Weber, Zach. Paraconsistent Logic. Zalta, Edward N. ( biên ).The Stanford Encyclopedia of PhilosophySummer 2018. Metaphysics Research Lab, Stanford University. 2018[2021-05-09].(Nguyên thủy nội dungTồn đương vu 2021-05-06 ).
- ^Quế khởi quyền, trần lập trực, chu phúc hỉ, 《 thứ hiệp điều la tập dữ nhân công trí năng tác 》, võ hán đại học xuất bản xã, ISBN9787307031685, 2002.
- ^Mares, Edwin, "Relevance Logic", The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.).[2021-06-27].(Nguyên thủy nội dungTồn đương vu 2021-08-15 ).
- ^Priest, Graham, Francesco Berto, and Zach Weber, "Dialetheism", The Stanford Encyclopedia of Philosophy (Fall 2018 Edition), Edward N. Zalta (ed.).[2021-06-27].(Nguyên thủy nội dungTồn đương vu 2020-07-25 ).
- ^Formal logic, Encyclopædia Britannica.[2021-06-27].(Nguyên thủy nội dungTồn đương vu 2021-04-22 ).
- ^Aristotle,The Basic Works,Richard Mckeon,editor, Modern Library, 2001,ISBN 978-0-375-75799-0,see especially,Posterior Analytics.
- ^J. Antonio Joaquín Roldán Marco,Lógica: 1º Bachillerato,publicado de forma independiente, 2018ISBN 978-1-9806-4558-0,ISBN 978-1980645580
- ^27.027.1For a more modern treatment, see A. G. Hamilton,Logic for Mathematicians,Cambridge, 1980,ISBN 978-0-521-29291-7
- ^Informal Logic.informallogic.ca.[2021-05-09].(Nguyên thủy nội dungTồn đương vu 2021-05-11 ).
- ^Plato,The Portable Plato,edited by Scott Buchanan, Penguin, 1976,ISBN 978-0-14-015040-7
- ^John P. Burgess.Philosophical logic.Princeton University Press. 2009: vii–viii[2021-07-01].ISBN978-0-691-13789-6.(Nguyên thủy nội dungTồn đương vu 2020-08-06 ).
- ^John P. Burgess,Philosophical Logic,Princeton University Press: 2009.
- ^Lou Goble (ed.),The Blackwell Guide to Philosophical Logic(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán), Oxford:Blackwell:2009 (ISBN0-631-20693-0).
- ^Gabbay, Dov M.; Guenthner, Franz ( biên ),Handbook of Philosophical Logic,[2021-07-01],(Nguyên thủy nội dungTồn đương vu 2016-09-03 )
- ^Mendelson, Elliott. Quantification Theory: Completeness Theorems.Introduction to Mathematical Logic.Van Nostrand. 1964.ISBN0412808307.
- ^J. Jörg Hardy und Christoph Schamberger,Logik der Philosophie: Einführung in die Logik und Argumentationstheorie,UTB GmbH, 2017ISBN 978-3-8252-4897-0,ISBN 978-3825248970
Lai nguyên
[Biên tập]- G. Birkhoff and J. von Neumann, 1936. 'The Logic of Quantum Mechanics'.Annals of Mathematics,37:823-843.
- D. Finkelstein, 1969. 'Matter, Space and Logic'. In R. S. Cohen and M. W. Wartofsky, (eds.),Proceedings of the Boston Colloquium for the Philosophy of Science,Boston Studies in the Philosophy of Science, vol 13.ISBN 978-90-277-0377-4.
- D. M. Gabbay and F. Guenthner (eds.) 2001-2005.Handbook of philosophical logic(2nd ed.). 13 volumes. Dordrecht, Kluwer.
- D. Hilbert and W. Ackermann, 1928.Grundzüge der theoretischen Logik(Principles of Theoretical Logic). Springer-Verlag,ISBN 978-0-8218-2024-7.
- W. Hodges, 2001.Logic. An introduction to elementary logic.Penguin Books.
- T. Hofweber, 2004.Logic and Ontology(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán). In theStanford Encyclopedia of Philosophy.
- R. I. G. Hughes (editor), 1993.A Philosophical Companion to First-Order Logic.Hackett.
- W. Kneale and M. Kneale, 1962/1988.The Development of Logic.Oxford University Press,ISBN 978-0-19-824773-9.
- G. Priest, 2004.Dialetheism(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán). In theStanford Encyclopedia of Philosophy.
- H. Putnam, 1969.Is Logic Empirical?.Boston Studies in the Philosophy of Science, vol V.
- B. Smith, 1989. 'Logic and the Sachverhalt',The Monist,72(1):52-69.
- D. Vernant, 2018. 'Questions de Logique et de Philosophie'. Mimesis,ISBN 978-8-8697-6102-7
Ngoại bộ liên kết
[Biên tập]
- Nghê lương khang:〈 hiện tượng học dữ la tập học 〉(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán) ( 2004 niên )
- Nghê lương khang:〈《 la tập nghiên cứu 》 trung đích quan niệm đối tượng hòa quan niệm trực quan 〉(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán) ( 2009 niên )
- History of Logic in Relationship to Ontology(Hiệt diện tồn đương bị phân,Tồn vuHỗ liên võng đương án quán) Annotated bibliography on the history of logic
| ||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||