Câu sai và câu đúng thường được sử dụng trong thực hành ngôn ngữ. Đánh giá đầu tiên được coi là sự phủ nhận sự thật (không đúng sự thật). Trong thực tế, các hình thức đánh giá khác cũng được sử dụng: tính không chắc chắn, tính không khả thi (tính khả thi), tính không khả thi. Tranh luận xem số x nào thì phát biểu đúng, cần phải xem xét các quy luật logic.
Sự xuất hiện của "logic đa giá trị" đã dẫn đến việc sử dụng không giới hạn các chỉ số chân lý. Tình huống có các yếu tố của sự thật là khó hiểu, phức tạp, vì vậy điều quan trọng là phải làm rõ nó.
Nguyên tắc lý thuyết
Một câu lệnh true là giá trị của một thuộc tính (thuộc tính), giá trị này luôn được xem xét cho một hành động nhất định. Sự thật là gì? Sơ đồ như sau: "Mệnh đề X có giá trị chân lý Y trong trường hợp mệnh đề Z là đúng."
Hãy xem một ví dụ. Cần phải hiểu mệnh đề nào trong các mệnh đề đã cho là đúng: "Đối tượng a có dấu B". Câu lệnh này sai ở chỗ đối tượng có thuộc tính B và sai ở chỗ a không có thuộc tính B. Thuật ngữ "sai" trong trường hợp này được sử dụng như một phủ định bên ngoài.
Xác định sự thật
Một tuyên bố đúng được xác định như thế nào? Bất kể cấu trúc của mệnh đề X là gì, chỉ cho phép định nghĩa sau: “Mệnh đề X đúng khi có X, chỉ có X.”
Định nghĩa này giúp bạn có thể đưa thuật ngữ "true" vào ngôn ngữ. Nó xác định hành động đồng ý hoặc nói với những gì nó nói.
Những câu nói đơn giản
Chúng chứa một tuyên bố đúng mà không có định nghĩa. Người ta có thể tự giới hạn mình trong một định nghĩa chung trong mệnh đề "Not-X" nếu mệnh đề này không đúng. Kết hợp "X và Y" là đúng nếu cả X và Y đều đúng.
Nói dụ
Làm thế nào để hiểu mệnh đề x nào là đúng? Để trả lời câu hỏi này, ta sử dụng biểu thức: "Hạt a nằm trong vùng không gian b". Hãy xem xét các trường hợp sau cho câu lệnh này:
- không thể quan sát hạt;
- bạn có thể quan sát hạt.
Tùy chọn thứ hai gợi ý một số khả năng nhất định:
- hạt thực sự nằm trong một vùng không gian nhất định;
- cô ấy không ở trong phần không gian dự định;
- hạt di chuyển theo cách rất khó xác định khu vực vị trí của nó.
Trong trường hợp này, có thể sử dụng bốn thuật ngữ giá trị chân lý tương ứng với các khả năng đã cho.
Đối với các cấu trúc phức tạp, nhiều thuật ngữ hơn là phù hợp. Đây làchỉ ra giá trị chân lý không giới hạn. Đối với con số nào thì tuyên bố là đúng tùy thuộc vào hiệu quả thực tế.
Nguyên tắc mơ hồ
Theo nó, bất kỳ tuyên bố nào là sai hoặc đúng, nghĩa là, nó được đặc trưng bởi một trong hai giá trị chân lý có thể có - "sai" và "đúng".
Nguyên tắc này là cơ sở của logic cổ điển, được gọi là lý thuyết hai giá trị. Nguyên tắc mơ hồ đã được sử dụng bởi Aristotle. Nhà triết học này, đang tranh cãi về con số x nào mà phát biểu là đúng, cho rằng nó không phù hợp với những phát biểu có liên quan đến các sự kiện ngẫu nhiên trong tương lai.
Ông ấy đã thiết lập một mối quan hệ hợp lý giữa thuyết định mệnh và nguyên tắc mơ hồ, tiền định của bất kỳ hành động nào của con người.
Trong các thời đại lịch sử tiếp theo, những hạn chế được áp đặt đối với nguyên tắc này được giải thích là do nó làm phức tạp đáng kể việc phân tích các tuyên bố về các sự kiện đã được lên kế hoạch, cũng như về các đối tượng không tồn tại (không thể quan sát được).
Nghĩ xem câu nào là đúng, không phải lúc nào cũng có thể tìm ra câu trả lời rõ ràng bằng phương pháp này.
Những nghi ngờ mới nổi về các hệ thống logic chỉ được xóa tan sau khi logic hiện đại được phát triển.
Để hiểu câu lệnh nào trong số các số đã cho là đúng, logic hai giá trị là phù hợp.
Nguyên tắc mơ hồ
Nếu được định dạng lạibiến thể của một câu lệnh có hai giá trị để tiết lộ sự thật, bạn có thể biến nó thành một trường hợp đa nghĩa đặc biệt: bất kỳ câu lệnh nào sẽ có một giá trị chân lý n nếu n lớn hơn 2 hoặc nhỏ hơn vô cùng.
Ngoại lệ đối với các giá trị chân lý bổ sung (ở trên "false" và "true") là nhiều hệ thống logic dựa trên nguyên tắc mơ hồ. Logic cổ điển hai giá trị đặc trưng cho cách sử dụng điển hình của một số dấu hiệu logic: “hoặc”, “và”, “không phải”.
Logic đa giá trị được tuyên bố là cụ thể hóa không được mâu thuẫn với kết quả của hệ thống định giá hai.
Niềm tin rằng nguyên tắc mơ hồ luôn dẫn đến tuyên bố về thuyết định mệnh và thuyết định mệnh được coi là sai lầm. Cũng không chính xác là ý kiến cho rằng đa logic được coi là phương tiện cần thiết để thực hiện suy luận không xác định, rằng sự chấp nhận nó tương ứng với việc bác bỏ việc sử dụng thuyết xác định chặt chẽ.
Ngữ nghĩa của các dấu hiệu logic
Để hiểu mệnh đề X là đúng, bạn có thể tự trang bị các bảng chân lý. Ngữ nghĩa lôgic là một phần của lôgic học nghiên cứu mối quan hệ với các đối tượng được chỉ định, nội dung của chúng trong các biểu thức ngôn ngữ khác nhau.
Vấn đề này đã được coi là đã có trong thế giới cổ đại, nhưng dưới hình thức một kỷ luật độc lập chính thức, nó chỉ được hình thành vào đầu thế kỷ 19-20. Tác phẩm của G. Frege, C. Pierce, R. Carnap, S. Kripkeđã giúp nó có thể tiết lộ bản chất của lý thuyết này, tính hiện thực và tính ứng nghiệm của nó.
Trong một thời gian dài, logic ngữ nghĩa chủ yếu dựa vào việc phân tích các ngôn ngữ được hình thức hóa. Chỉ gần đây, phần lớn các nghiên cứu được dành cho ngôn ngữ tự nhiên.
Có hai lĩnh vực chính trong kỹ thuật này:
- lý thuyết ký hiệu (tham khảo);
- thuyết về ý nghĩa.
Đầu tiên liên quan đến việc nghiên cứu mối quan hệ của các biểu thức ngôn ngữ khác nhau với các đối tượng được chỉ định. Như các phạm trù chính của nó, người ta có thể hình dung: "chỉ định", "tên", "mô hình", "diễn giải". Lý thuyết này là cơ sở cho các chứng minh trong logic hiện đại.
Lý thuyết về ý nghĩa đề cập đến việc tìm kiếm câu trả lời cho câu hỏi ý nghĩa của một biểu thức ngôn ngữ là gì. Cô ấy giải thích ý nghĩa danh tính của họ.
Lý thuyết về ý nghĩa đóng một vai trò quan trọng trong cuộc thảo luận về nghịch lý ngữ nghĩa, trong đó giải pháp cho bất kỳ tiêu chí nào về khả năng chấp nhận được coi là quan trọng và phù hợp.
Phương trình logic
Thuật ngữ này được sử dụng trong ngôn ngữ kim loại. Theo phương trình logic, chúng ta có thể biểu diễn bản ghi F1=F2, trong đó F1 và F2 là công thức của ngôn ngữ mở rộng của mệnh đề logic. Để giải một phương trình như vậy có nghĩa là xác định các tập hợp giá trị thực của các biến sẽ được đưa vào một trong các công thức F1 hoặc F2, theo đó đẳng thức được đề xuất sẽ được quan sát.
Dấu bằng trong toán học trong một số tình huốngchỉ ra sự bình đẳng của các đối tượng ban đầu và trong một số trường hợp, nó được thiết lập để chứng minh sự bình đẳng về giá trị của chúng. Mục nhập F1=F2 có thể chỉ ra rằng chúng ta đang nói về cùng một công thức.
Trong văn học thường hiểu theo lôgic hình thức có nghĩa là một từ đồng nghĩa như "ngôn ngữ của các mệnh đề lôgic". "Từ đúng" là công thức đóng vai trò là đơn vị ngữ nghĩa được sử dụng để xây dựng lý luận theo logic không chính thức (triết học).
Một câu lệnh hoạt động như một câu thể hiện một mệnh đề cụ thể. Nói cách khác, nó thể hiện ý tưởng về sự hiện diện của một số trạng thái.
Bất kỳ tuyên bố nào cũng có thể được coi là đúng trong trường hợp trạng thái được mô tả trong đó tồn tại trên thực tế. Nếu không, một tuyên bố như vậy sẽ là một tuyên bố sai.
Thực tế này đã trở thành cơ sở của logic mệnh đề. Có sự phân chia các câu lệnh thành các nhóm đơn giản và phức tạp.
Khi chính thức hóa các biến thể đơn giản của câu lệnh, các công thức ngôn ngữ bậc 0 cơ bản được sử dụng. Chỉ có thể mô tả các câu lệnh phức khi sử dụng các công thức ngôn ngữ.
Các kết nối logic là cần thiết để biểu thị sự hợp nhất. Khi được áp dụng, các câu lệnh đơn giản sẽ chuyển thành dạng phức tạp:
- "không phải",
- "không đúng là …",
- "hoặc".
Kết
Logic hình thức giúp tìm ra tên nào của một câu lệnh là đúng, liên quan đến việc xây dựng và phân tích các quy tắc để biến đổi các biểu thức nhất định bảo toàn chúnggiá trị đích thực bất kể nội dung. Là một bộ phận riêng của khoa học triết học, nó chỉ xuất hiện vào cuối thế kỷ XIX. Hướng thứ hai là logic không chính thức.
Nhiệm vụ chính của khoa học này là hệ thống hóa các quy tắc cho phép bạn tạo ra các tuyên bố mới dựa trên các tuyên bố đã được chứng minh.
Nền tảng của logic là khả năng thu được một số ý tưởng như một hệ quả logic của các phát biểu khác.
Thực tế này giúp chúng ta có thể mô tả không chỉ một vấn đề nhất định trong khoa học toán học một cách đầy đủ, mà còn chuyển giao logic sang sự sáng tạo nghệ thuật.
Điều tra logic giả định trước mối quan hệ tồn tại giữa các tiền đề và kết luận rút ra từ chúng.
Nó có thể được quy cho số lượng các khái niệm ban đầu, cơ bản của logic hiện đại, thường được gọi là khoa học về "những gì tiếp theo từ nó."
Thật khó để tưởng tượng việc chứng minh các định lý trong hình học, giải thích các hiện tượng vật lý, giải thích cơ chế của các phản ứng trong hóa học mà không có những suy luận như vậy.
