Đang tải... (xem toàn văn)
CHUYÊN ĐỀ KẾ TOÁN CÁC KHOẢN NỢ PHẢI THU PHẢI TRẢ TẠI CÔNG TY Tính toán, ghi chép phản ánh chính xác kịp thời đầy đủ từng khoản nợ phải thu theo từng đối tượng: số nợ phải thu , số nợ đã thu và số nợ còn phải thu ; Có biện pháp tích cực thu hồi các khoản nợ phải thu để nâng cao hiệu quả sử dụng vốn. - Kiểm tra giám sát chặt chẽ việc chấp hành chế độ quy định về quản lý các khoản nợ phải thu .
1 nguyễn anh tuấn Lôgíc học đại cơng Sách giáo khoa dùng trong các trờng đại học Hà nội 2006 2 Lời nói đầu Bài mở đầu. Nhập môn lôgíc học (3tiết) 1. Đối tợng của lôgíc học 1.1. Đặc thù của lôgíc học nh là khoa học Giải thích 3 nghĩa khác nhau của thuật ngữ lôgíc. Khách thể của lôgíc học là t duy. Đây là khoa học về t duy. Có nhiều khoa học khác cũng nghiên cứu t duy, riêng lôgíc học là khoa học về các hình thức và các quy luật của t duy đúng đắn dẫn đến chân lý. 1.2. T duy với t cách là khách thể của lôgíc học Nêu các tiền đề sinh học và xã hội cho sự hình thành t duy ở con ngời. Từ đó nêu định nghĩa: t duy là sự phản ánh gián tiếp và khái quát hiện thực khách quan vào đầu óc con ngời, đợc thực hiện bởi con ngời xã hội trong quá trình hoạt động thực tiễn cải biến thế giới xung quanh. - Nêu 4 đặc điểm của t duy mà định nghĩa trên đề cập đến (tr. 3-4 Giáo trình). 1.3. Mối quan hệ giữa t duy và ngôn ngữ Ngôn ngữ là hệ thống tín hiệu toàn diện để thể hiện các t tởng - đầu tiên dới dạng các tổ hợp âm thanh, sau đó dới dạng các ký tự. Ngôn ngữ giữ vai trò là phơng tiện thu nhận và củng cố các tri thức, lu giữ và truyền bá chúng cho những ngời khác, là vỏ bọc vật chất của t tởng. 1. 4. Nội dung và hình thức của t tởng Phần hiện thực khách quan đợc phản ánh vào đầu óc con ngời chính là nội dung của t duy. Về thực chất nó là hệ thống tri thức đợc kết thành từ những ý nghĩ, t tởng. Hình thức của t duy hay, hình thức lôgíc, là kết cấu của t tởng, là phơng thức liên hệ các bộ phận của t tởng. Những hình thức t tởng chung và rộng nhất là khái niệm, phán đoán, suy luận, và chứng minh. Cũng nh nội dung, các hình thức này không phải do chính t duy sinh ra, mà là sự phản ánh các mối liên hệ cấu trúc của các đối tợng hiện thực. 3 1.5. Mối liên hệ của các hình thức lôgíc. Quy luật của t duy Quy luật nói chung là một dạng liên hệ mang tính bền vững, bên trong, bản chất và tất yếu giữa các đối tợng, luôn lặp lại khắp nơi ở những điều kiện xác định. T duy cũng có tính chất liên hệ. Đó là mối liên hệ giữa các t tởng để tạo ra các hình thức lôgíc, nh đã biết ở trên. Nhng các hình thức lôgíc cũng liên hệ với nhau. Đó chính là mối liên hệ lôgíc trong t duy. Một số mối liên hệ lôgic đặc biệt hợp thành quy luật của t duy. Chúng cũng mang tính chất chung, phổ biến. Và nếu chúng lại tác động ở mọi hình thức t duy, chi phối toàn bộ hoạt động t tởng, thì là những quy luật cơ bản của t duy. Các quy luật cơ bản của t duy lại đợc phân ra làm hai nhóm: các quy luật t duy hình thức và các quy luật t duy biện chứng. Các quy luật t duy hình thức cơ bản là luật đồng nhất, luật mâu thuẫn, luật bài trung, luật lý do đầy đủ. 1. 6. Tính chân thực và tính đúng đắn của t duy Các khái niệm tính chân thực và tính đúng đắn gắn liền tơng ứng với nội dung và hình thức của các t tởng. Tính chân thực của t duy là thuộc tính của t duy tái tạo lại hiện thực nh nó vốn có, tơng thích với nó về nội dung, biểu thị khả năng của t duy đạt tới chân lý. Còn tính đúng đắn của t duy lại là thuộc tính căn bản khác biểu thị khả năng t duy tái tạo trong cấu trúc của t tởng cấu trúc khách quan của hiện thực. Trong t duy việc đảm bảo tính chân thực và tính đúng đắn có ý nghĩa to lớn. Chúng là hai điều kiện căn bản để thu đợc kết quả suy luận xác thực. Lôgíc hình thức quan tâm chủ yếu đến tính đúng đắn của t duy. Đó là vấn đề cơ bản của nó. Nhng tính đúng đắn không phải đợc dẫn xuất từ các quy tắc lôgíc học, mà là dẫn xuất trớc hết từ tính đúng đắn của tồn tại khách 4 quan, tính có trật tự của chính nó. Tính đúng đắn của t duy vốn phản ánh trớc hết tính quy luật khách quan của thế giới, đã nảy sinh và tồn tại tự phát từ lâu trớc khi con ngời đúc kết các quy tắc. Còn các quy tắc lôgíc chỉ là những thành tựu trên con đờng thấu hiểu bản chất của t duy đúng đắn và những tính quy luật tác động trong nó. 2. Lợc sử phát triển của lôgíc học 2.1. Sự xuất hiện và các giai đoạn phát triển của lôgíc học hình thức truyền thống Lôgíc học có lịch sử lâu dài và phong phú gắn liền với lịch sử phát triển xã hội nói chung. Sự xuất hiện của lôgíc học nh là lý thuyết về t duy đã có sau thực tiễn con ngời suy nghĩ hàng nghìn năm. Cùng với sự phát triển của lao động sản xuất con ngời đã hoàn thiện và phát triển dần các khả năng suy nghĩ, rồi biến t duy cùng các hình thức và quy luật của nó thành khách thể nghiên cứu. Những vấn đề lôgíc đã lẻ tẻ xuất hiện trong suy t ngời cổ đại từ hơn 2,5 nghìn năm trớc đây đầu tiên ở ấn Độ và Trung Quốc. Sau đó chúng đợc vạch thảo đầy đủ hơn ở Hylạp và Lamã. Có hai nguyên nhân cơ bản làm xuất hiện lôgíc học. Thứ nhất, sự ra đời và phát triển ban đầu của các khoa học, trớc hết là của toán học. Sinh ra trong đấu tranh với thần thoại và tôn giáo, khoa học dựa cơ sở trên t duy duy lý đòi hỏi phải có suy luận và chứng minh. Do vậy, lôgíc học đã nảy sinh nh là ý đồ vạch ra và luận chứng những đòi hỏi mà t duy khoa học phải tuân thủ để thu đợc kết quả tơng thích với hiện thực. Hai là sự phát triển của thuật hùng biện trong điều kiện dân chủ Hylạp cổ đại. Ngời sáng lập lôgíc học - cha đẻ của lôgíc học là triết gia lớn của Hylạp cổ đại, nhà bách khoa Arixtôt (384-322 tr. cn.). Ông viết nhiều công trình về lôgíc học có tên gọi chung là Bộ công cụ, trong đó chủ yếu trình bày về suy luận và chứng minh diễn dịch. Arixtôt còn phân loại các phạm trù những 5 khái niệm chung nhất và khá gần với phân loại từ trớc của Đêmôcrit về phán đoán. Ông đã phát biểu ba quy luật cơ bản của t duy, trừ luật lý do đầy đủ. Học thuyết lôgíc của Arixtôt đặc sắc ở chỗ, dới dạng phôi thai nó đã bao hàm tất cả những phần mục, trào lu, các kiểu của lôgíc học hiện đại nh xác suất, biểu tợng, biện chứng. Giai đoạn phát triển mới của lôgíc học hình thức gắn bó hữu cơ với việc xây dựng lôgíc quy nạp diễn ra từ thế kỷ XVII đi liền với tên tuổi của nhà triết học và tự nhiên học kiệt xuất ngời Anh Ph. Bêcơn (1561-1626). Ông là ngời khởi xớng lôgíc quy nạp. . Lôgíc học đang có, là vô dụng trong việc đem lại tri thức mới 1 . Vì thế Bê cơn đã viết Bộ công cụ Mới nh là thứ đối nghịch với Bộ công cụ của Arixtôt, trong đó tập trung vạch thảo các phơng pháp quy nạp để xác định sự phụ thuộc nhân quả giữa các hiện tợng. Đó chính là công lao to lớn của Bêcơn. Lôgíc quy nạp về sau này đợc nhà triết học ngời Anh Đz. Mill (1806- 1873) hệ thống hoá và phát triển thêm trong tác phẩm hai tập Hệ thống lôgíc học tam đoạn luận và quy nạp. Nó đã ảnh hởng căn bản đến sự phát triển tiếp theo của nhận thức, thúc đẩy khoa học vơn tới tầm cao mới. Những nhu cầu của khoa học không chỉ về phơng pháp quy nạp, mà còn về phơng pháp diễn dịch vào thế kỷ XVII đã đợc nhà triết học ngời Pháp R. Đêcác (1596-1650) nhận diện đầy đủ hơn cả. Trong tác phẩm Luận về phơng pháp ., dựa trên những dữ liệu toán học, ông đã nhấn mạnh ý nghĩa của diễn dịch nh là phơng pháp nhận thức khoa học cơ bản nhất. Những ngời theo Đêcác ở tu viện Por-Roiale là A. Arnô và P. Nhikơn đã viết cuốn sách Lôgíc học, hay nghệ thuật t duy. Nó đã nổi tiếng dới tên gọi Lôgíc học Por-Roiale và trong thời gian rất dài đợc dùng nh là sách giáo khoa lôgíc học. Các tác giả ở đây đã vợt xa ranh giới của lôgíc học truyền thống và chú ý nhiều đến phơng pháp luận nhận thức khoa học, đến lôgíc của 1 Ph. Bêcơn. Toàn tập, t. 2. Nxb. T tởng M., 1978. Tr. 13. 6 phát minh. Việc tạo ra những lôgíc học mở rộng kiểu ấy đã trở thành điểm đặc thù ở thế kỷ XIX - XX. 2.2. Sự xuất hiện và phát triển của lôgíc toán Cuộc cách mạng thực sự trong các nghiên cứu lôgíc diễn ra nhờ sự xuất hiện vào nửa sau thế kỷ XIX lôgíc toán, chính nó đã mở ra một thời kỳ mới, hiện đại trong sự phát triển của lôgíc học. Những phôi thai của lôgíc toán đã có ngay từ ở Arixtôt, cũng nh ở các nhà khắc kỷ kế tục ông, dới dạng các yếu tố của lôgíc vị từ, lý thuyết các suy luận tình thái và lôgíc mệnh đề. Những thành tựu ngày càng nhiều của toán học và sự thâm nhập của các phơng pháp toán vào các khoa học khác ngay ở nửa sau thế kỷ XIX đã đặt ra hai vấn đề cơ bản. Thứ nhất, là ứng dụng lôgíc học để xây dựng cơ sở lý thuyết cho toán học; thứ hai, là toán học hoá lôgíc học. G. Lepnhít nhà triết học và toán học lớn ngời Đức (1646-1716) đã có ý đồ sâu sắc và thành công nhất trong việc giải quyết những vấn đề nêu trên. Do vậy, về thực chất ông là ngời khởi xớng lôgíc toán. Ông đã phát minh ra ngôn ngữ biểu tợng vạn năng với kỳ vọng nhờ đó có thể duy lý hoá mọi khoa học thực nghiệm. . Những t tởng của Lépnhit đợc phát triển tiếp ở thế kỷ XVIII và nửa đầu thế kỷ XIX. Tuy nhiên, chỉ từ nửa sau thế kỷ XIX mới có những điều kiện chín muồi cho sự phát triển của lôgíc toán. Nhà toán học và lôgíc học ngời Anh Đz. Bun (1815-1864) trong các công trình của mình đều ứng dụng toán học vào lôgíc học. Ông đã phân tích toán học đối với lý thuyết suy luận, vạch thảo phép tính lôgíc (đại số Bun). Nhà toán học và lôgíc học ngời Đức G. Phrege (1848-1925) ứng dụng lôgíc học để nghiên cứu toán học và các cơ sở của nó, xây dựng số học hình thức hoá. Nhà triết học, lôgíc học, toán học ngời Anh B. Raxel (1872-1970) cùng với A. Uaitkhed (1861-1947) trong tác phẩm cơ bản ba tập Các nguyên tắc của toán học với các mục đích luận chứng cho nó về mặt lôgíc đã cố xây dựng hệ tiên đề diễn dịch cho lôgíc học. 2.3. Sự hình thành và phát triển của lôgíc học biện chứng 7 Lôgíc học biện chứng cũng là nhánh quan trọng của lôgíc học hiện đại. Ngay Arixtôt đã đặt ra và có ý giải quyết nhiều vấn đề cơ bản của lôgíc học biện chứng phản ánh các mâu thuẫn hiện thực vào các khái niệm, vấn đề tơng quan cái riêng và cái chung, sự vật và khái niệm về nó và v. v Những yếu tố của lôgíc biện chứng dần đợc tích luỹ trong các công trình của các nhà t tởng kế tiếp. Nhng lôgíc biện chứng chỉ thực sự bắt đầu đợc định hình vào cuối thế kỷ XVIII - đầu thế kỷ XIX. Và điều đó cũng trớc hết gắn liền với sự tiến bộ của các khoa học và với tên tuổi của các nhà triết học kinh điển Đức mở đầu bởi Cantơ (1724-1804). Bên cạnh lôgíc học hình thức, ông thấy cần thiết phải xây dựng một thứ lôgíc học nội dung, mà ông gọi là lôgíc học siêu nghiệm. Nó phải nghiên cứu các hình thức thực sự cơ bản của t duy nh phạm trù, tức là những khái niệm chung nhất. Cantơ là ngời đầu tiên phát hiện ra tính chất mâu thuẫn khách quan, biện chứng sâu sắc của t duy con ngời. Nhân đó, ông hớng tới việc vạch thảo những chỉ dẫn tơng ứng cho các nhà khoa học. Mặc dù đã đặt ra những nguyên tắc của lôgíc học mới với vấn đề trung tâm là vấn đề mâu thuẫn biện chứng, song Cantơ lại cha trình bày nó một cách hệ thống. Ông cũng không vạch ra cả mối tơng quan thực sự của nó với lôgíc học hình thức, mà hơn thế nữa còn định đặt đối lập lôgíc học này với lôgíc học kia. Hêghen (1770-1831) đã tiếp tục ý đồ vạch thảo hệ thống chỉnh thể lôgíc biện chứng mới. Trong công trình Khoa học lôgíc ông đã khám phá ra mâu thuẫn giữa các lý thuyết lôgíc hiện có với thực tiễn t duy mà ở thời điểm đó đã rất gay gắt. Ông đã tìm ra phơng tiện giải quyết mâu thuẫn này bằng việc xây dựng hệ thống lôgíc học mới dới dạng đặc thù, tôn giáo thần bí. Tiêu điểm ở đó là biện chứng của t duy trong toàn bộ tính phức tạp và mâu thuẫn của nó. Hêghen nghiên cứu lại bản chất của t duy, các hình thức và quy luật của nó. Nhân đấy ông đi đến kết luận Phép biện chứng cấu thành lên bản chất của chính t duy, các quy luật và hình thức của nó, rằng với t cách là lý tính nó cần 8 phải phủ định chính mình, phải rơi vào mâu thuẫn 2 . Ông thấy nhiệm vụ của mình là phải tìm ra phơng thức giải quyết các mâu thuẫn ấy. Những vấn đề của lôgíc biện chứng, mối tơng quan của nó với lôgíc hình thức đã đợc C. Mác (1818-1883) và Ph. Ănghen (1820-1895) tiếp tục cụ thể hoá và phát triển trong các công trình của mình. Sử dụng chất liệu tinh thần phong phú nhất đợc tích luỹ bởi triết học, các khoa học tự nhiên và khoa học xã hội, các Ông đã tạo lập lên hệ thống mới, duy vật biện chứng, và nó đã đợc hoá thân vào những tác phẩm nh T bản của C. Mác, Chống Điurinh, Biện chứng của tự nhiên của Ph. Ănghen và v. v Từ những quan điểm triết học chung ấy C. Mác và Ph. Ănghen không phủ nhận ý nghĩa của lôgíc học hình thức, nhng nhấn mạnh tính lịch sử của nó. Ph. Ănghen đã ghi nhận rằng t duy lý luận ở mỗi một thời đại là sản phẩm lịch sử, ở những thời điểm khác nhau có những hình thức và đồng thời nội dung rất khác nhau. Suy ra, khoa học về t duy, cũng nh mọi khoa học khác, là khoa học lịch sử, khoa học về sự phát triển lịch sử của t duy con ngời 3 . Đồng thời, C. Mác và Ph. Ănghen cũng chỉ ra sự khác biệt về chất sâu sắc giữa học thuyết biện chứng của mình với của Hêghen: ở Hêghen nó là duy tâm, còn phép biện chứng Mác-xít là duy vật, xem xét t duy, các hình thức và quy luật của nó nh là sự phản ánh thế giới bên ngoài. C. Mác trong tác phẩm T bản đã ứng dụng lôgíc biện chứng vào việc phân tích xã hội đơng đại với ông. Tuy nhiên những công trình chuyên về lôgíc biện chứng đều cha đợc C. Mác và Ph. Ănghen viết ra. Sự hình thành lôgíc biện chứng nh là khoa học vẫn tiếp tục ở các nớc khác nhau vào cuối thế kỷ XIX và trong toàn bộ thế kỷ XX. ở Nga việc vạch thảo một số vấn đề của lôgíc biện chứng, mối tơng quan của nó với lôgíc hình thức đợc G. Plêkhanôv (1856-1918) và V. I. Lênin (1870-1924) thực hiện. Trong tác phẩm Lại bàn về công đoàn . V. I. Lênin đã chỉ ra sự khác nhau có tính nguyên tắc giữa lôgíc hình thức và lôgíc biện 2 Hêghen. Bách khoa th các khoa học triết học, gồm 3 tập, Nxb. T tởng, M. 1974-1977, t. 1, tr. 96 3 C. Mác, Ph. Ănghen, Toàn tập, t. 20, Nxb. Chính trị Quốc gia., H., 1994, tr. 487. 9 chứng. Có rất nhiều chỉ dẫn phong phú về lôgíc biện chứng (và hình thức) trong Bút ký triết học của V. I. Lênin. Sau V. I. Lênin những công trình nghiên cứu nhằm trình bày lôgíc biện chứng một cách hệ thống đợc tiến hành trên hai hớng lớn. Thứ nhât, lần theo sự khám phá các tính quy luật của sự phản ánh hiện thực đang phát triển, các mâu thuẫn khách quan của nó vào t duy con ngời; thứ hai, khám phá các tính quy luật của sự phát triển của chính t duy, của biện chứng riêng của nó. Trong điều kiện khoa học-kỹ thuật đang phát triển mạnh mẽ và vai trò của t duy biện chứng đang gia tăng, thì nhu cầu đối với lôgíc học biện chứng cũng ngày càng tăng lên. Ngày nay đang có những nhân tố mới kích thích sự phát triển hơn nữa của lôgíc học biện chứng. 3. ý nghĩa của lôgíc học 3.1. ý nghĩa xã hội và các chức năng cơ bản của lôgíc học a) Chức năng nhận thức. b) Chức năng thế giới quan. c) Chức năng phơng pháp luận. d) Chức năng t tởng hệ. 3.2. Vai trò của lôgíc học trong việc hình thành văn hoá lôgíc của con ngời Văn hoá lôgíc là văn hoá của t duy đợc thể hiện qua văn hoá lời nói và chữ viết. Nó bao gồm: a) Tri thức về các phơng tiện hoạt động tinh thần, về các hình thức và quy luật của nó; b) Sự biết áp dụng những tri thức ấy vào thực tiễn t duy dựa trên những khái niệm để thực hiện các thao tác lôgíc đúng, tiến hành các suy luận, chứng minh và bác bẻ; c) Thói quen phân tích các t tởng cả của riêng mình và của ngời khác để lựa chọn cách suy luận hợp lý nhất, ngăn ngừa những sai lầm lôgíc. 10 Việc rèn luyện văn hoá lôgíc là công việc dài lâu và đầy khó khăn. Lôgíc học có ý nghĩa lớn trong việc rèn luyện ấy. Khi nói về ý nghĩa của lôgíc học, cần phải tránh hai thái cực: hoặc là đánh giá nó quá cao, hoặc là hạ thấp nó. Bản thân việc sử dụng lôgíc học đòi hỏi phải có hai điều kiện: thứ nhất, là có một khả năng t duy nhất định; và thứ hai, một số tri thức nhất định. Câu hỏi thảo luận và ôn tập 1) Trình bày các nghĩa khác nhau của thuật ngữ lôgíc? Lôgíc học quan tâm đến nghĩa nào của thuật ngữ đó? Cho ví dụ và phân tích. 2) T duy và t duy đúng đắn là gì? Thế nào là lô gíc của t duy, thế nào lô gíc của t duy hình thức? 3) Thế nào là nội dung, hình thức của t duy? Phân biệt tính chân thực và tính đúng đắn của t duy nh thế nào? 4) Hãy trình bày đối tợng, phơng pháp nghiên cứu của lô gích học hình thức. 5) Trình bày ngắn gọn về lịch sử xuất hiện và phát triển của lôgíc học. Phân biệt các nhánh lôgíc học: lôgíc hình thức truyền thống, lôgíc toán và lôgíc biện chứng. 6) Trình bày về vai trò, các chức năng của lôgíc học. Nêu rõ ý nghĩa của lôgíc học và của việc học tập lôgíc học. [...]... Tất cả các đối tợng đều cấu thành từ các bộ phận liên hệ với nhau theo các cách khác nhau, và có những thu c tính khác nhau Các thu c tính lại có nhiều loại: đơn nhất, chung, bản chất, không bản chất, khác biệt, không khác biệt Bản thân các loại thu c tính nêu trên tồn tại khách quan, không phụ thu c vào ý thức con ngời, nh chính các đối tợng vậy Nhng chúng đã đợc nhận thức vạch ra, trở thành các dấu... vào việc vạch ra các hình thức ấy Chỉ có nh vậy sự phân tích mới đầy đủ, toàn diện 10 Một số phép toán đối với ngoại dỉên khái niệm Quan hệ giữa các khái niệm về ngoại diên tạo cơ sở cho bốn phép toán giữa các khái niệm Kết quả của các phép toán này là những khái niệm mới 10.1 Phép hợp giữa các khái niệm (ký hiệu ) Là một phép toán mà khi thực hiện đối với các khái niệm thành phần sẽ thu đợc một khái... hệ với thu t ngữ còn lại dựa vào cơ sở là mối quan hệ giữa các khái niệm Để thu n tiện cho định nghĩa, hãy quy ớc gọi tập hợp các đối tợng thu c chủ từ tham gia vào phán đoán là lớp S; tập hợp các đối tợng thu c vị từ là lớp P; lớp SP là tập hợp các đối tợng thoả mãn cùng lúc hai điều kiện: thứ nhất, thu c S, thứ hai, đợc phản ánh trong vị từ P Mối quan hệ về mặt ngoại diên giữa lớp SP với các lớp... hội thể hiện sự tồn tại đồng thời các thành phần trong phán đoán 32 nên nó chỉ đúng khi tất cả các phán đoán thành phần cùng đúng, và sai trong ba trờng hợp còn lại b) Phán đoán tuyển là phán đoán phức thể hiện mối quan hệ lựa chọn tồn tại giữa các đối tợng hoặc thu c tính đợc phản ánh trong các phán đoán thành phần, trong đó nhất thiết phải có một tồn tại Tuy nhiên, sự lựa chọn tồn tại có thể xảy ra... phản ánh về sự tồn tại hay không tồn tại của một thu c tính hay một mối liên hệ nào đó Về thực chất, phán đoán đợc hình thành trên cơ sở liên kết các khái niệm với nhau để khẳng định hay phủ định sự tồn tại của đối tợng, thu c tính hay những mối liên hệ của nó 1.2 Các đặc điểm của phán đoán a) Phán đoán có đối tợng phản ánh xác định b) Phán đoán có nội dung phản ánh xác định có thể là thu c tính, có thể... cụ thể giữa S và P 3.4 Quan hệ giữa các phán đoán đơn trên hình vuông lôgíc ở đây chỉ xét các phán đoán giống nhau cả về chủ từ và vị từ; và quan hệ là quan hệ về mặt giá trị lôgíc Đối lập trên A Lệ E Mâu thu n Lệ thu c thu c I O Đối lập dới Các đỉnh của hình vuông là các phán đoán đơn A, E, I, O, còn các cạnh và đờng chéo biểu thị quan hệ giữa chúng a) Quan hệ mâu thu n: là quan hệ giữa những phán đoán... của các phán đoán thành phần, phán đoán phức cơ bản đợc chia thành các kiểu sau: a) Phán đoán hội () là phán đoán phức phản ánh mối quan hệ cùng tồn tại của các đối tợng hay thu c tính đợc ghi nhận ở các phán đoán thành phần Ví dụ: Lao động là quyền lợi và nghĩa vụ của mỗi công dân Phán đoán trên bao gồm hai phán đoán đơn: a - Lao động là quyền lợi của mỗi công dân b - Lao động là nghĩa vụ của mỗi công. .. điều này sẽ thu n tiện hơn cho việc xác định chu diên của các thu t ngữ nh sẽ thấy dới đây 3.3 Tính chu diên của các thu t ngữ trong phán đoán đơn a) Khái niệm về tính chu diên: Tính chu diên của thu t ngữ thể hiện sự hiểu biết về quan hệ giữa chủ từ và vị từ nhờ phân tích hình thức của phán đoán Để xác định một thu t ngữ (S hoặc P) trong phán đoán đơn thu c tính là chu diên hay không, thì phải xét nó... hệ nhân quả giữa các đối tợng khách quan, trong đó phải có một là nguyên nhân, còn thành phần còn lại là kết quả Ví dụ: nếu học tập chăm chỉ thì kết quả thi sẽ tốt Trong phán đoán trên thì hiện tợng a: học tập chăm chỉ là điều kiện và có nó thì kéo theo sự tồn tại của hệ quả b: kết quả thi tốt Công thức tổng quát: Kab = a b Cấu trúc lôgíc: bản thân các phán đoán nguyên nhân a và kết quả b rất nhiều... chỉ đợc 19 phép chọn một căn cứ và phải chia xong ở căn cứ ấy mới đợc chuyển sang căn cứ khác Khi căn cứ phân chia bị đổi giữa chừng là đã vi phạm quy tắc này c) Các khái niệm thu đợc sau phân chia phải ngang hàng: ngoại diên của chúng phải tách rời nhau Ngợc lại thì sẽ là vi phạm quy tắc này d) Phân chia phải liên tục: khi phân chia thì phải từ khái niệm loại vạch ra các khái niệm chủng gần nhất Nếu . phôi thai của lôgíc toán đã có ngay từ ở Arixtôt, cũng nh ở các nhà khắc kỷ kế tục ông, dới dạng các yếu tố của lôgíc vị từ, lý thuyết các suy luận tình. lôgíc toán. Nhà toán học và lôgíc học ngời Anh Đz. Bun (1815-1864) trong các công trình của mình đều ứng dụng toán học vào lôgíc học. Ông đã phân tích toán