... làm giãn nở kim loại.
Quy nạp không hoàn toàn gọi là quynạp Bacon” vì do
Quy nạp không hoàn toàn gọi là quynạp Bacon” vì do
Bacon (1561 – 1626) đưa ra, còn gọi là quynạp khoa học.
Bacon ... Hình IV.1)
(xem Hình IV.1)
M P
S
M
Hình IV.1
b) Quynạp không hoàn toàn
b) Quynạp không hoàn toàn
(quy nạp phóng đại): đi từ
(quy nạp phóng đại): đi từ
một số tiền đề chưa bao quát hết ... như vậy là
cơ sở khách quan của các quy nạp, đặc biệt
cơ sở khách quan của các quy nạp, đặc biệt
đối với các quynạp không hoàn toàn mở
đối với các quynạp không hoàn toàn mở
đường cho các...
... Novum Organum, ông đã chỉ ra một công cụ mới : Phép qui nạp. Bacon cho rằng cần phải tuân thủ các qui tắc
của phép qui nạp trong quá trình quan sát và thí nghiệm để tìm ra các qui luật của tự ... cần và đủ. Phán đoán này còn được diễn đạt :
- P là điều kiện cần và đủ của Q.
34
49
Giáo Trình
Logic h cọ
1
Ký hiệu A = B, đọc là : A tương đượng lôgíc với B.
Ví dụ : Phán đoán : “Bé đi ... Lập luận chặt chẽ, có căn cứ; trình bày các quan điểm, tư tưởng một cách rõ ràng, chính xác, mạch lạc hơn.
- Phát hiện được những lỗi lôgíc trong quá trình lập luận, trình bày quan điểm, tư tưởng...
...
3) Trình bày quy luật quan hệ nội hàm và ngoại diên của khái niệm trong
lôgíc học hình thức. Phân tích cho thấy mối liên hệ giữa thao tác thu hẹp và mở
rộng khái niệm với quy luật trên.
4) Trình ... của các quy luật lôgíc hình thức
Nhóm thứ nhất đợc gọi là các quy luật lôgíc hình thức vì chúng chỉ chi
phối t duy trong quá trình phản ánh đúng đắn đối tợng ở mặt hình thức của
nó. Quy luật ...
2. Các quy luật lôgíc hình thức cơ bản
2.1. Luật đồng nhất
a) Cơ sở khách quan của quy luật là tính ổn định tơng đối, trạng thái
đứng im tơng đối của các đối tợng. Quy luật đồng nhất quy định...
... loại bài toán này, chúng ta có lý thuyết các phép kết
nhập không giao hoán. Tuy nhiên, trong giáotrình này chúng ta không ñề cập
ñến lớp các phép tính này.
Bây giờ ta cho một số ví dụ về phép ...
~
i
A
, i = 1, …, m, thì hợp
của các tập mờ này là tập mờ A
~
ñược ñịnh nghĩa mở rộng bằng quynạp và
ñược ký hiệu là
A
~
=
~
1
~
i
n
i
A
=
∪
Nhận xét 1.1: Các hạng thức dạng
µ
(u
i
)/u
i
... của các phép kết nhập. Trước
hết, ta nhắc lại bài toán về phương trình hàm Cauchy: Tìm họ các hàm số thực
thỏa mãn phương trình hàm
f(x + y) = f(x) + f(y) (12*)
Cauchy năm 1821 ñã chứng...
... logic đc m rng hn và đy đ hn v nhng kt lun logic. Cng chính nh
có quá trình hình thc toán hoá logic mà Logic hình thc phát trin ngày mt li xích gn Logic
bin chng.
* Logic ... hc hoá Logic hình thc thc s bt đu t công trình ca G. Bun (1815 - 1864), đó là
công trình xây dng “Phép tính logic mà Ông gi là “i s logic . n gin nht là “Phép tính
logic mnh ... tng, nhim v và ý ngha ca Logic hc
1.2.3. Logic toán và Logic bin chng hin đi
* Xu hng hình thc hoá và toán hoá logic:
Logic din dch nói riêng và Logic hình thc nói chung có...
... Qui nạp không hoàn toàn có hai loại, qui nạp thông thường và qui nạp khoa học.
2.2.1 Qui nạp thông thường.
Qui nạp thông thường là kiểu qui nạp không hoàn toàn. Qui nạp thông thường là qui nạp ... kết quả của phép qui nạp thông thường.
2.2.2 Qui nạp khoa học.
Qui nạp khoa học khác với qui nạp thông thường ở chỗ, qui nạp thông thường là qui nạp bằng liệt kê đơn giản. Qui nạp thông thường chỉ ... ĐIỀU KIỆN CẦN VÀ ĐỦ.
37
49
Qui nạp khoa học vì thế đáng tin cậy hơn qui nạp thông thường. Tuy vậy, qui nạp khoa học không phải là hoàn toàn chắc chắn. Giá trị của
qui nạp khoa học tùy thuộc vào...
... thì chúng còn quy ñịnh cả sự tác ñộng
của các quy luật khác, không cơ bản, chỉ tác ñộng như là hình thức biểu hiện của
chúng. Những quy luật không cơ bản trong tư duy hình thức là quy luật quan ... chú ý tới các ñặc ñiểm sau
của quy luật lôgic:
1) Tất cả các quy luật do lôgic học hình thức khám phá ra là các quy luật của tư
duy, chứ không phải là các quy luật của chính hiện thực, mặc ...
3) Trình bày quy luật quan hệ nội hàm và ngoại diên của khái niệm trong lôgíc
học hình thức. Phân tích cho thấy mối liên hệ giữa thao tác thu hẹp và mở rộng khái
niệm với quy luật trên.
4) Trình...
... xuống nhỏ.
CHƯƠNG TRÌNH ĐÀO TẠO TỪ XA
QUA TRUYỀN HÌNH - TRUYỀN THANH – MẠNG INTERNET
ThS. LÊ TỬ THÀNH
Năm 2006
GIÁO TRÌNH
LOGIC
ThS. LÊ TỬ THÀNH
CHƯƠNG TRÌNH ĐÀO TẠO TỪ ... được gọi là " ;Logic
học hình thức cổ điển". Còn Logic học của Bacon và Descartes thì được gọi là
Logic học khoa học hay Logic học ứng dụng.
Đến thế kỷ XVII với Kant Logic học được ... đó, Logic học hình thức, từ thế kỷ XVII, với Leibniz đã đạt được
một bước phát triển mới: đưa toán học (đại số) vào Logic học. Nay ta gọi là
Logic toán hay Logic ký hiệu.
4. CÔNG DỤNG CỦA LOGIC...
... hàm, làm cho nội hàm nghèo nàn hơn.
Ví dụ : Mở rộng khái niệm : Giáo viên phổ thông trung học (1).
- Giáo viên phổ thông (2).
- Giáo viên (3).
Bằng cách bỏ bớt lần lượt một số thuộc tính của ... khái niệm nhằm chuyển từ khái niệm loại thành khái niệm hạng.
Ví dụ : - Giáo viên (A).
- Giáo viên phổ thông (B).
- Giáo viên phổ thông trung học (C).
Mở rộng và thu hẹp khái niệm có ý nghóa ... viết bảng chân lý phép phủ định như sau :
P ùP
1 0
0 1
Đôi khi để cho tiện trình bày, dãy giá trị của mỗi phán đoán được trình bày thành một hàng ngang. Lúc đó bảng chân lý trên đây có thể
được...