stanford-oval/wikipedia huggingface dataset:
Scioglyptis violescens

| Scioglyptis violescens> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Geometridae
Chi (genus): Scioglyptis
Loài (species): S. violescens
Danh pháp hai phần
Scioglyptis violescens Warren, 1898 
Scioglyptis violescens là một loài bướm đêm trong họ Geometridae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 17 tháng 6 năm 2014.
Ngu Thế Nam

| Ngu Thế Nam虞世南 |
| --- | --- |
Vĩnh Hưng Huyện công

Tên chữ: Bá Thi
Thụy hiệu: Văn Ý
Thông tin cá nhân
Sinh: 
Ngày sinh: 558
Nơi sinh: Dư Diêu
Quê quán: huyện Dư Diêu
 
Mất: 
Thụy hiệu: Văn Ý
Ngày mất: 638
 
Giới tính: nam
Gia quyến: 
Thân phụ: Ngu Lệ
Hậu duệ: Ngu Sưởng, Ngu Tú Diêu
 
Tước hiệu: Vĩnh Hưng Huyện công
Gia tộc: họ Ngu Cối Kê
Nghề nghiệp: thư pháp gia, nhà thơ, chính khách
Quốc tịch: nhà Đường
x • t • 
Ngu Thế Nam (虞世南, năm 558 - ngày 11 tháng 7 năm 638), tên chữ Bá Thi, là nhân vật chính trị nhà Đường, văn học gia, thi nhân, nhà thư pháp. Người Dư Diêu Việt châu (tỉnh Chiết Giang). Giỏi thư pháp, cùng Âu Dương Tuân, Trữ Toại Lương, Tiết Tắc là "Sơ Đường tứ đại gia". Giới học giả Nhật Bản xưng Âu Dương Tuân, Trữ Toại Lương, Ngu Thế Nam là "Sơ Đường tam đại gia". Biên soạn "Bắc Đường thư sao" được vinh dự mệnh danh là một trong "tứ đại loại thư" thời Đường, là sách tra cứu sớm nhất của Trung Quốc hiện còn tồn tại .
Cuộc đời

Ông trầm tĩnh ít ham muốn, làm người chính trực, nghe nhiều biết rộng. Nhận làm con thừa tự cho thúc phụ Ngu Ký, cùng huynh trưởng Ngu Thế Cơ theo học Cố Dã Vương. Tại Tùy triều làm qua bí thư lang, tự biên "Bắc Đường thư sao", lại tham dự biên soạn "Trường Châu ngọc kính" . Sau đó trở thành trọng thần bên cạnh Đường Thái Tông, đảm nhiệm Hoằng Văn quán học sĩ kiêm trứ tác lang, quan đến bí thư giám, phong Vĩnh Hưng huyện tử (tạ thế xưng Ngu Vĩnh Hưng). Năm thứ 8 Trinh Quán (năm 634) tiến phong Vĩnh Hưng huyện công. Năm thứ 12 Trinh Quán (năm 638), trí sĩ, thụ Ngân thanh quang lộc đại phu, Hoằng Văn quán học sĩ như cũ. Cùng năm mất, thọ tám mươi mốt tuổi, được bồi táng ở Chiêu Lăng, truy tặng Lễ bộ Thượng thư, được vẽ tranh treo vào Lăng Yên các, là một trong 24 công thần Lăng Yên các. Thụy là Văn Ý.
Thư pháp

Lúc tuổi còn trẻ học thư pháp của nhà thư pháp trứ danh lúc ấy là Trí Vĩnh (cháu 7 đời của Vương Hi Chi), học được chân truyền, học được cả diệu chỉ của "Nhị Vương" cùng bút pháp của Trí Vĩnh.
Thư pháp > Tác phẩm thư pháp tiêu biểu

Khổng Tử miếu đường bi
Phá tàn luận tự
Nhữ Nam công chúa mộ chí
Ngu Thế Nam hành thư mô Lan Đình tự quyển: còn được gọi là "Thiên lịch bản"
"Đường nhân mô Lan Đình tự tam chủng ": tương truyền là bút tích thực của Ngu Thế Nam.
Tác phẩm thơ

Ngu Thế Nam cũng là nhà thơ lớn thời Sơ Đường, tác phẩm tiêu biểu gồm có: "Xuất tắc", "Kết khách thiếu niên tràng hành", "Oán ca hành", "Phú đắc lâm trì trúc ứng chế", "Thiền", "Phụng hòa vịnh phong ứng Ngụy vương giáo", "Vịnh huỳnh", "Vịnh vũ".
Tác phẩm

Bắc Đường thư sao
Tương truyền "Thố viên sách" cũng do Ngu Thế Nam viết
Đánh giá

Đường Thái Tông xưng tụng ông có ngũ tuyệt: đức hạnh, trung trực, bác học, văn từ, thư hàn ("Thế nam nhất nhân, hữu xuất thế chi tài, toại kiêm ngũ tuyệt. Nhất viết trung đảng, nhị viết hữu đễ, tam viết bác văn, tứ viết từ tảo, ngũ viết thư hàn.")
Gia đình

Cha: Ngu Lệ
Thúc phụ: Ngu Ký, trung thư thị lang triều Nam Trần.
Anh: Ngu Thế Cơ, cựu thần nhà Tùy.
Con trai: Ngu Sưởng, Công bộ thị lang
Con gái:
Ngu Tú Diêu (Năm thứ 7 Đại Nghiệp nhà Tùy(năm 611) - ngày 26 tháng 6 năm đầu Lân Đức nhà Đường (ngày 24 tháng 7 năm 664)), tên chữ Tư Lễ, gả cho Đường hữu vệ trưởng sử kỵ đô úy Lan Lăng huyện công Tiêu Giám tự Huyền Minh (? - ngày 13 tháng 2 năm thứ 4 Vĩnh Huy (ngày 17 tháng 3 năm 653)).
Ngu thị, gả cho con trai Viên Lãng, có một con trai là Viên Nghị.
"Nhữ Nam công chúa mộ chí" do Ngu Thế Nam viết.
Pelexia lindmanii

| Pelexia lindmanii> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Asparagales
Họ (familia): Orchidaceae
Chi (genus): Pelexia
Loài (species): P. lindmanii
Danh pháp hai phần
Pelexia lindmanii Kraenzl. 
Pelexia lindmanii là một loài thực vật có hoa trong họ Lan. Loài này được Kraenzl. mô tả khoa học đầu tiên năm 1911.
Chú thích

↑  The Plant List (2010). “Pelexia lindmanii”. Truy cập ngày 7 tháng 6 năm 2013.
Marcipa trista

| Marcipa trista> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Erebidae
Chi (genus): Marcipa
Loài (species): M. trista
Danh pháp hai phần
Marcipa trista Pelletier, 1978 
Marcipa trista là một loài bướm đêm trong họ Erebidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 28 tháng 6 năm 2014.
↑  Beccaloni, G. W., Scoble, M. J., Robinson, G. S. & Pitkin, B. (Editors). (2003) The Global Lepidoptera Names Index (LepIndex). (Geraadpleegd maart 2013).
Moraea kamiesmontana

| Moraea kamiesmontana> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Asparagales
Họ (familia): Iridaceae
Chi (genus): Moraea
Loài (species): M. kamiesmontana
Danh pháp hai phần
Moraea kamiesmontana (Goldblatt) Goldblatt, 1998 
Moraea kamiesmontana là một loài thực vật có hoa trong họ Diên vĩ. Loài này được (Goldblatt) Goldblatt miêu tả khoa học đầu tiên năm 1998.
Chú thích

↑  The Plant List (2010). “Moraea kamiesmontana”. Truy cập ngày 25 tháng 6 năm 2013.
North Adams, Massachusetts

North Adams là một thành phố thuộc quận Berkshire trong tiểu bang thịnh vượng chung Massachusetts, Hoa Kỳ. Thành phố có tổng diện tích km², trong đó diện tích đất là km². Theo điều tra dân số Hoa Kỳ năm 2010, thành phố có dân số 13.708 người, là thành phố ít dân nhất tiêu bang.
North Adams là một phần của khu vực thống kê đô thị Pittsfield, Massachusetts. Thành phố có viện bảo tàng nghệ thuật đương đại lớn nhất tại Hoa Kỳ, Bảo tàng nghệ thuật đương đại Massachusetts (MIT), North Adams trong những năm gần đây trở thành một trung tâm văn hóa, du lịch và vui chơi giải trí.
Lịch sử

North Adams có dân định cư lần đầu tiên năm 1745, và thành lập hợp một cách riêng biệt với Adams vào năm 1878. Thành phố này có tên trong danh dự của Samuel Adams, một nhà lãnh đạo trong cuộc Cách mạng Mỹ, người ký Tuyên ngôn Độc lập, và chính quyền tiểu bang Massachusetts.
Trong phần lớn thời gian tồn tại của nó, North Adams là một thị trấn nhà máy. Ngành sản xuất bắt đầu trong thành phố trước chiến tranh cách mạng, là vị trí của nó ở nơi hợp lưu của hai nhánh của sông Hoosic cung cấp điện nước cho các ngành công nghiệp đa dạng, quy mô nhỏ. Vào cuối thế kỷ 18 và đầu thế kỷ 19, các doanh nghiệp bao gồm nhà sản xuất giày bán buôn, sân gạch, một nhà máy cưa, các nhà hoạch định nội các, nhà sản xuất mũ, cửa hàng máy tính cho việc xây dựng các máy nghiền, công trình bằng đá cẩm thạch; toa xe và xe trượt tuyết các nhà hoạch định, và một xưởng sắt, cung cấp gang cho tấm áo giáp trên tàu chiến, Monitor. Bắc Adams là trụ sở chính cho xây dựng đường hầm Hoosac.
Oberbronn

| --- | --- |
 Oberbronn
Oberbronn
Vị trí trong vùng Alsace Oberbronn 
Hành chính
Quốc gia:  Pháp
Vùng: Grand Est
Tỉnh: Bas-Rhin
Quận: Haguenau
Tổng: Niederbronn-les-Bains
Xã (thị) trưởng: André Loehr (2001–2008)
Thống kê
Độ cao: 177–537 m (581–1.762 ft)
Diện tích đất1: 21,15 km2 (8,17 dặm vuông Anh)
Nhân khẩu2: 1.529  (2006)
 - Mật độ: 72/km2 (190/sq mi)
INSEE/Mã bưu chính: 67340/ 67110
1 Dữ liệu địa chính Pháp loại trừ các hồ và ao lớn hơn 1 km² (0.386 dặm vuông hoặc 247 acre) cũng như các cửa sông.
2 Dân số không tính hai lần: cư dân của nhiều xã (ví dụ, các sinh viên và quân nhân) chỉ tính một lần.
Oberbronn là một xã thuộc tỉnh Bas-Rhin trong vùng Grand Est đông bắc Pháp.
Phaeoura charon

| Phaeoura charon> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Geometridae
Chi (genus): Phaeoura
Loài (species): P. charon
Danh pháp hai phần
Phaeoura charon Druce, 1898 
Phaeoura charon là một loài bướm đêm trong họ Geometridae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 17 tháng 6 năm 2014.
Scioglyptis semitata

| Scioglyptis semitata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Geometridae
Chi (genus): Scioglyptis
Loài (species): S. semitata
Danh pháp hai phần
Scioglyptis semitata Walker, 1860 
Scioglyptis semitata là một loài bướm đêm trong họ Geometridae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 17 tháng 6 năm 2014.
Nîmes (quận)

| Quận Nîmes |
| --- | --- |
—  Quận  —
 
 

Quận Nîmes
Quốc gia:  Pháp
Quận lỵ: Nîmes
Diện tích
 • Tổng cộng: 3,133 km2 (1,210 mi2)
Dân số (1999)
 • Tổng cộng: 457,769
 • Mật độ: 150/km2 (380/mi2)
 
Quận Nîmes là một quận của Pháp, nằm ở tỉnh Gard, trong vùng Occitanie. Quận này có 24 tổng và 177 xã.
Các đơn vị hành chính > Các tổng

Các tổng của quận Nîmes là:
Aigues-Mortes
Aramon
Bagnols-sur-Cèze
Beaucaire
Lussan
Marguerittes
Nîmes - Tổng thứ nhất
Nîmes - Tổng thứ nhì
Nîmes - Tổng thứ ba
Nîmes - Tổng thứ tư
Nîmes - Tổng thứ năm
Nîmes - Tổng thứ sáu
Pont-Saint-Esprit
Remoulins
Rhôny-Vidourle
Roquemaure
Saint-Chaptes
Saint-Gilles
Saint-Mamert-du-Gard
Sommières
Uzès
Vauvert
Villeneuve-lès-Avignon
La Vistrenque
Pernegg

| --- | --- |
Pernegg
Huy hiệu: Vị trí
Coat of arms of Pernegg: 
Hành chính
Quốc gia:  Áo
Bang: Niederösterreich
Huyện: Horn

Thị trưởng: Franz Huber
Dữ liệu thống kê cơ bản
Diện tích: 36,59 km² (14,1 mi²)

Độ cao: 744 m  (2441 ft)
Dân số: 744  (2001)
 - Mật độ: 20 /km² (53 /sq mi)



Thông tin khác
Múi giờ: CET/CEST (UTC+1/+2)

Mã bưu chính: 3753
Mã vùng: 02913

Pernegg là một thị trấn ở huyện Horn trong bang Niederösterreich, ở nước Áo. Đô thị này có diện tích 36,59 km², dân số năm 2001 là 744 người.
| x t Đô thị của Horn |
| --- | --- |
  Altenburg ·  Brunn an der Wild ·  Burgschleinitz-Kühnring ·  Drosendorf-Zissersdorf ·  Eggenburg ·  Gars am Kamp ·  Geras ·  Horn ·  Irnfritz-Messern ·  Japons ·  Langau ·  Meiseldorf ·  Pernegg ·  Röhrenbach ·  Röschitz ·  Rosenburg-Mold ·  Sankt Bernhard-Frauenhofen ·  Sigmundsherberg ·  Straning-Grafenberg ·  Weitersfeld
Nortanapis

| Nortanapis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Anapidae
Chi (genus): Nortanapis Platnick & Forster, 1989
 Platnick & Forster, 1989 
Nortanapis là một chi nhện trong họ Anapidae.
Chú thích

↑  Norman I. Platnick. “The World Spider Catalog, Version 13.5”. Truy cập ngày 3 tháng 6 năm 2013.
Nodilittorina pyramidalis

| Nodilittorina pyramidalis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Mollusca
Lớp (class): Gastropoda
Liên họ (superfamilia): Littorinoidea
(không phân hạng): nhánh Caenogastropoda nhánh Hypsogastropoda nhánh Littorinimorpha
Họ (familia): Littorinidae
Chi (genus): Nodilittorina
Loài (species): N. pyramidalis
Danh pháp hai phần
Nodilittorina pyramidalis (Quoy và Gaimard, 1833) 
Danh pháp đồng nghĩa
 Echinolittorina pyramidalis (Quoy & Gaimard, 1833)
Nodilittorina pyramidalis là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Littorinidae.
Chú thích

1 2  Nodilittorina pyramidalis (Quoy & Gaimard, 1833). WoRMS (2010). Nodilittorina pyramidalis (Quoy & Gaimard, 1833). Truy cập qua Cơ sở dữ liệu sinh vật biển at http://www.marinespecies.org/aphia.php?p=taxdetails&id=437429 on 6 tháng 6 năm 2010.
Logic

Logic (hợp lý, hữu lý, hàm lý) hay luận lý học, từ tiếng Hy Lạp cổ đại λόγος (logos), nghĩa nguyên thủy là từ ngữ, hoặc điều đã được nói, (nhưng trong nhiều ngôn ngữ châu Âu đã trở thành có ý nghĩa là suy nghĩ hoặc lập luận hay lý trí). Logic thường được nhắc đến như là một ngành nghiên cứu về tiêu chí đánh giá các luận cứ, mặc dù định nghĩa chính xác của logic vẫn là vấn đề còn đang được bàn cãi giữa các triết gia. Tuy nhiên khi môn học được xác định, nhiệm vụ của nhà logic học vẫn như cũ: làm đẩy mạnh tiến bộ của việc phân tích các suy luận có hiệu lực và suy luận ngụy biện để người ta có thể phân biệt được luận cứ nào là hợp lý và luận cứ nào có chỗ không hợp lý.
Theo truyền thống, logic được nghiên cứu như là một nhánh của triết học. Kể từ giữa thế kỷ 19 logic đã thường được nghiên cứu trong toán học và luật. Gần đây nhất logic được áp dụng vào khoa học máy tính và trí tuệ nhân tạo. Là một ngành khoa học hình thức, logic nghiên cứu và phân loại cấu trúc của các khẳng định và các lý lẽ, cả hai đều thông qua việc nghiên cứu các hệ hình thức của việc suy luận và qua sự nghiên cứu lý lẽ trong ngôn ngữ tự nhiên. Tầm bao quát của logic do vậy là rất rộng, đi từ các đề tài cốt lõi như là nghiên cứu các lý lẽ ngụy biện và nghịch lý, đến những phân tích chuyên gia về lập luận, chẳng hạn lập luận có xác suất đúng và các lý lẽ có liên quan đến quan hệ nhân quả. Ngày nay, logic còn được sử dụng phổ biến trong lý thuyết lý luận.
Qua suốt quá trình lịch sử, đã có nhiều sự quan tâm trong việc phân biệt lập luận tốt và lập luận không tốt, và do đó logic đã được nghiên cứu trong một số dạng ít nhiều là quen thuộc đối với chúng ta. Logic Aristotle chủ yếu quan tâm đến việc dạy lý luận thế nào cho tốt, và ngày nay vẫn được dạy với mục đích đó, trong khi trong logic toán học và triết học phân tích (analytical philosophy) người ta nhấn mạnh vào logic như là một đối tượng nghiên cứu riêng, và do vậy logic được nghiên cứu ở một mức độ trừu tượng hơn.
Các quan tâm về các loại logic khác nhau cho thấy rằng logic không phải là một ngành có thể nghiên cứu tách biệt. Trong khi logic thường có vẻ sự thúc đẩy chính nó, môn học này phát triển tốt nhất khi lý do mà chúng ta quan tâm đến logic được đặt ra một cách rõ ràng.
Các lĩnh vực nghiên cứu

Logic được nghiên cứu bởi nhiều lĩnh vực khác nhau. Điều này thường được thực hiện bằng cách áp dụng phương pháp hình thức của nó vào các chủ đề nhất định nằm ngoài phạm vi logic, chẳng hạn như trong đạo đức học hoặc khoa học máy tính. Ngoài ra, bản thân logic cũng có thể là đối tượng nghiên cứu của các lĩnh vực khác.
Các lĩnh vực nghiên cứu > Triết học logic và logic triết học

Bài chi tiết: Triết học logic và Logic triết học
Triết học logic là lĩnh vực triết học nghiên cứu về phạm vi và bản chất của logic. Nó tra xét các tiền giả định (presupposition) ẩn trong logic, tìm cách xác định những khái niệm cơ bản của logic hoặc các mặc định siêu hình học có liên hệ với những khái niệm đó. Nó cũng quan tâm đến việc phân loại các hệ thống logic và các ràng buộc bản thể luận kéo theo những hệ thống ấy. Logic triết học là một lĩnh vực nằm trong phạm trù triết học logic. Nó nghiên cứu ứng dụng của các phương pháp logic trong các vấn đề triết học của các ngành như siêu hình học, đạo đức học và tri thức luận. Những ưng dụng kiểu này thường xuất hiện dưới dạng các hệ thống logic mở rộng (extended) hoặc phi hình thức (deviant).
Các lĩnh vực nghiên cứu > Siêu logic học

Bài chi tiết: Siêu logic học
Siêu logic học (Metaphysics) là ngành triết học nghiên cứu các đặc tính của các hệ thống logic hình thức. Ví dụ, khi một hệ thống hình thức mới được phát triển, các nhà siêu logic học sẽ nghiên cứu nó nhằm xác định những công thức nào có thể được chứng minh. Họ cũng sẽ tìm hiểu xem liệu có thể phát triển một thuật toán nhằm tìm ra minh chứng cho mỗi công thức hay không, đồng thời xác minh tất cả các công thức khả chứng có phải là hằng đúng (tautology) không. Cuối cùng, họ sẽ so sánh nó với các hệ thống logic khác để tìm ra những đặc điểm khác biệt. Một vấn đề then chốt của siêu logic học là mối liên hệ giữa cú pháp và ngữ nghĩa. Luật cú pháp của một hệ thống hình thức quy định phương cách suy đoán kết luận từ các tiền đề, tức là phương cách xây dựng minh chứng. Ngữ nghĩa của một hệ thống hình thức quyết định phát biểu nào đúng và phát biểu nào sai. Điều này quy định tính hợp lý của lý luận; sở dĩ vì, để lý luận hợp lý, không thể có chuyện tiền đề đúng mà kết luận sai. Mối quan hệ giữa cú pháp và ngữ nghĩa còn ảnh hưởng đến các vấn đề như: liệu tất cả các lý luận hợp lý có khả chứng hay không, và liệu tất cả các lý luận khả chứng có hợp lý hay không. Các nhà siêu logic cũng đánh giá xem các hệ thống logic đã hoàn thiện chưa, có vững chãi và có chặt chẽ không. Ngoài ra, họ cũng quan tâm đến tính khả quyết và sức biểu đạt mà hệ thống sở hữu. Các nhà siêu logic học dựa khá nhiều vào lập luận toán học trừu tượng khi thẩm tra và xây dựng các minh chứng siêu logic học.
Các lĩnh vực nghiên cứu > Logic toán học

Bài chi tiết: Logic toán học
Thuật ngữ "logic toán học" (mathematical logic) đôi khi được dùng đồng nghĩa với "logic hình thức". Tuy nhiên, nếu giải nghĩa hẹp hơn, thuật ngữ này chỉ đến sự nghiên cứu logic trong toán học. Các phân ngành lớn của nó bao gồm lý thuyết mô hình (model theory), lý thuyết chứng minh (proof theory), lý thuyết tập hợp, và lý thuyết tính toán. Nghiên cứu logic toán học chủ yếu xoay quanh các đặc tính toán học của các hệ thống logic hình thức. Tuy nhiên, nó cũng bao gồm các nỗ lực để vận dụng logic vào việc phân tích các suy luận toán học, hoặc để thiết định nền tảng của toán học dựa trên logic. Chủ đề "nền tảng của toán học" từng là mối bận tâm lớn đối với ngành logic toán học hồi đầu thế kỷ thứ 20, chủ trương theo đuổi cái gọi là chủ nghĩa duy logic tiên phong bởi các triết gia-logic gia tiền bối như Gottlob Frege, Alfred North Whitehead và Bertrand Russell. Đối với những học giả duy logic chủ nghĩa, các lý thuyết toán học ắt phải luôn đúng về mặt logic, và họ muốn chứng tỏ điều này bằng cách rút gọn toàn bộ toán học thành logic. Nhiều người đã dốc công sức để hiện thực hóa giả định này nhưng đều thất bại, từ sự sụp đổ của cơ đồ logic học Frege trong Grundgesetze trước nghịch lý Russell, đến sự lụn bại của chương trình Hilbert trước các định lý bất toàn của Gödel.
Lý thuyết tập hợp vốn bắt nguồn từ nghiên cứu vô hạn của Georg Cantor, và nó bấy lâu đã là ngọn nguồn của các vấn đề logic toán học đầy thử thách và quan trọng. Một số ví dụ có thể kể đến là định lý đường chéo Cantor, tình trạng của tiên đề chọn, nghi vấn về sự độc lập trong giả thuyết continuum và các tranh cãi đương đại xoay quanh các tiên đề số đếm lớn.
Lý thuyết tính toán là phân ngành logic toán học nghiên cứu về các quy trình hiệu quả nhằm giải quyết các vấn đề tính toán. Đơn cử như liệu ta có thể kiếm tìm một quy trình cơ học mà có khả năng xác định một số nguyên dương là số nguyên tố hay không. Một trong những mục tiêu chính của nó là tìm hiểu xem một vấn đề toán học có thể được giải quyết bằng thuật toán hay không. Lý thuyết tính toán vận dụng đa dạng các công cụ và mô hình lý thuyết, ví dụ như máy Turing, để khám phá điều này.
Lịch sử

Bài chi tiết: Lịch sử logic học
Hàng trên: Aristoteles, triết gia đặt nền móng cho quy điển triết học Tây phương; và Avicenna, triết gia đã có công thay thế logic học Aristoteles trong diễn ngôn Hồi giáo. Hàng dưới: William xứ Ockham, một trong những triết gia kinh viện nổi tiếng thời trung cổ; và Gottlob Frege, một trong những người có công sáng lập logic toán học hiện đại.
Logic học đã phát triển độc lập trong nhiều nền văn hóa cổ đại khác nhau. Một trong những nhân vật có những đóng góp sớm nhất là Aristoteles, người đã phát triển logic hạn từ (term logic) trong hai trước tác Organon và Phân tích thứ nhất. Ông đã giới thiệu các khái niệm tam đoạn luận giả sử (hypothetical syllogism) và logic mốt thời gian (temporal modal logic). Các phát kiến của Aristoteles cũng bao gồm logic quy nạp (inductive logic) cũng như đàm luận về các khái niệm mới như hạn từ, vị từ, tam đoạn luận và mệnh đề. Logic Aristoteles được đánh giá rất cao ở châu Âu và Trung Đông vào thời cổ điển và trung cổ. Nó tiếp tục được sử dụng ở phương Tây cho tới đầu thế kỷ thứ 19. Tới nay thì nhiều công trình logic đã đánh đổ thế độc tôn của logic Aristoteles, song các thấu hiểu then chốt của nó vẫn có ảnh hưởng với các hệ thống logic hiện đại.
Thư mục > Tiếng Việt

Lê Doãn Tá; Duy Tô Hợp; Vũ Trọng Dung; Nguyễn Bằng Tường; Vũ Văn Viên (2007). Giáo trình Lôgíc học. Hà Nội: NXB Chính trị quốc gia.
Phan Đình Nghiệm (2005). Nhập môn Logic học. Thành phố Hồ Chí Minh: NXB Đại học Thành phố Hồ Chí Minh.
Pelexia longifolia

| Pelexia longifolia> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Monocots
Bộ (ordo): Asparagales
Họ (familia): Orchidaceae
Chi (genus): Pelexia
Loài (species): P. longifolia
Danh pháp hai phần
Pelexia longifolia (Cogn.) Hoehne, 1945 
Pelexia longifolia là một loài thực vật có hoa trong họ Lan. Loài này được (Cogn.) Hoehne mô tả khoa học đầu tiên năm 1945.
Chú thích

↑  The Plant List (2010). “Pelexia longifolia”. Truy cập ngày 7 tháng 6 năm 2013.
Nhóm ngôn ngữ Gyalrong

| Nhóm ngôn ngữ Gyalrong  |
| --- | --- |
Jiarongic
Phân bố địa lý: Trung Quốc
Phân loại ngôn ngữ học: Hán-TạngKhươngNhóm ngôn ngữ Gyalrong
Ngữ ngành con:  rGyalrong  Tiếng Khroskyab  Tiếng Horpa 
Glottolog:: rgya1241
Nhóm ngôn ngữ Gyalrong (còn được gọi là Jiarong), là một nhánh của nhóm ngôn ngữ Khương của ngữ hệ Hán-Tạng, mặc dù Randy LaPolla (2003) cho rằng nó có thể là một phần của nhóm ngôn ngữ Rung lớn hơn và có lẽ không liên quan đặc biệt chặt chẽ đến nhóm Khương. LaPolla (2003) cho rằng sự tương đồng giữa nhóm ngôn ngữ Gyalrong và nhóm ngôn ngữ Khương có thể là do vị trí địa lý, trong khi các nghiên cứu khác gần đây cho thấy rằng nhóm tiếng Khương nói chung trên thực tế có thể là một dạng paraphyletic, với những điểm chung duy nhất của "nhánh" giả định được cho là chia sẻ các đặc điểm cổ ngữ và địa lý được thúc đẩy bởi mối liên hệ.
Phân bố

Nhóm ngôn ngữ Gyalrong được nói ở Tứ Xuyên, Trung Quốc, chủ yếu ở châu tự trị Tây Tạng và Khương Garzê và Ngawa. Những ngôn ngữ này được phân biệt bởi hình thái nguyên thủy và kiến trúc âm vị học của chúng, làm cho chúng có giá trị về mặt ngôn ngữ học lịch sử.
Nhóm ngôn ngữ Gyalrong được sử dụng chủ yếu ở bốn huyện Barkam, Lý, Tiểu Kim và Kim Xuyên ở châu Ngawa, phía tây tỉnh Tứ Xuyên. Các phương ngữ/ngôn ngữ Gyalrong khác được nói ở các huyện Heishui, Rangtang, Baoxing, Danba và Daofu lân cận.