Kelompok dalam Logika dan Metodologi Sains

Kelompok dalam Logika dan Metodologi Sains, Selama bertahun-tahun telah ada minat yang kuat dalam studi logis di Berkeley. Pada tahun 1957, sekelompok anggota fakultas, kebanyakan dari departemen Matematika dan Filsafat, memprakarsai program pascasarjana interdisipliner perintis yang mengarah ke gelar Ph.D.

Dalam Logika dan Metodologi Sains. “Metodologi ilmu” di sini dipahami terutama berarti “metasains” deduktif—sebuah studi yang mengambil ilmu itu sendiri, struktur dan metodenya, sebagai materi pelajarannya dan yang dilakukan dengan cara logis dan matematis. Siswa dalam program ini memperoleh pemahaman yang baik tentang teori matematika yang dikenal sebagai logika matematika, yang membahas secara ketat konsep-konsep sentral seperti kebenaran, dapat ditentukan, dapat dibuktikan, dan dapat dihitung. Mereka kemudian dapat berusaha untuk berkontribusi pada teori ini atau untuk menerapkannya.

Baca Juga : John MacFarlane, Sensitivitas Penilaian: Kebenaran Relatif dan Penerapannya

Bidang studi yang umum termasuk:

  • dasar matematika, termasuk teori himpunan, teori rekursi, teori model, dan teori pembuktian,
  • logika filosofis, termasuk logika modal,
  • filsafat matematika,
  • logika dalam ilmu komputer dan kecerdasan buatan,
  • teori kompleksitas komputasi,
  • sejarah logika,

serta bidang penelitian lain yang sangat bergantung pada metode formal, seperti aljabar umum, analisis non-standar, teori keputusan, teori permainan, probabilitas, filsafat bahasa, dan filsafat ilmu.

Ph.D. bekerja dalam logika juga dapat dilakukan sepenuhnya dalam salah satu departemen Matematika, Filsafat, Teknik Elektro dan Ilmu Komputer. Program Logika dan Metodologi Sains ditujukan untuk siswa yang minatnya terletak di lebih dari satu bidang ini. Ini menawarkan mereka kemungkinan mengikuti ujian kualifikasi di lebih dari satu mata pelajaran ini; memang, mereka harus melakukannya. Disertasi dalam program ini mungkin bersifat interdisipliner; namun, mereka mungkin juga terletak seluruhnya hanya dalam salah satu bidang ini.

MEnurut gitit.net Program ini dikelola oleh Group in Logic and the Methodology of Science, sebuah lembaga antar departemen yang bekerja sama erat dengan Departemen Matematika, Departemen Filsafat, dan Departemen Teknik Elektro dan Ilmu Komputer. Kantor Grup terletak di 731 Evans Hall.

University of California, Berkeley, adalah salah satu universitas riset top dunia. Perpustakaannya adalah salah satu yang terbesar di negara ini dan juga memelihara program kerjasama dengan perpustakaan penelitian California utama lainnya. Berkeley juga menjadi tuan rumah bagi Institut Penelitian Ilmu Matematika dan Institut Ilmu Komputer Internasional.

Kampus ini terletak di kaki perbukitan Berkeley, di seberang teluk dari San Francisco, dengan pemandangan Golden Gate. Iklimnya sejuk sepanjang tahun.

Kelompok dalam Logika dan Metodologi Sains di University of California Berkeley

Ph.D. Program

Ada tiga Ph.D. program di University of California di Berkeley di mana seorang siswa yang ingin berspesialisasi dalam logika dan bidang terkait dapat mendaftar:

Ph.D. dalam Logika dan Metodologi Sains

Grup Logika dan Metodologi Sains mengelola program yang mengarah ke gelar Ph.D. dalam Logika dan Metodologi Sains. Grup bukanlah bagian dari Departemen Matematika atau Departemen Filosofi, tetapi merupakan lembaga antar departemen independen yang bekerja sama erat dengan kedua departemen ini. Siswa yang ingin mengejar gelar Ph.D. di Logika dan Metodologi Ilmu harus mencari masuk di Divisi Pascasarjana Logika dan Metodologi Ilmu, bukan di Matematika atau Filosofi. Siswa dalam program ini diharapkan untuk belajar matematika dan Filosofi, tetapi tidak secara luas seolah-olah mereka memperoleh gelar di salah satu mata pelajaran ini. Meskipun tidak ada Instruktur Mahasiswa Pascasarjana Logika dan Metodologi Sains, mahasiswa dalam program ini dapat memegang, jika memenuhi syarat, Instruktur Mahasiswa Pascasarjana di Departemen Matematika atau di Departemen Filosofi. Situs web Grup adalah logic.berkeley.edu.

Ph.D. dalam Matematika

Departemen Matematika menyelenggarakan program yang mengarah ke gelar Ph.D. dalam Matematika. Siswa dalam program ini mungkin berspesialisasi dalam dasar-dasar matematika, tetapi juga diharapkan untuk memperoleh pendidikan matematika yang luas. Informasi rinci tentang program ini diberikan dalam Pengumuman Lulusan Departemen Matematika, yang dapat diperoleh langsung dari Asisten Pascasarjana, Departemen Matematika, University of California di Berkeley, Berkeley, CA 94720-3840. Situs web departemen ini adalah http://math.berkeley.edu.

Ph.D. dalam Filosofi

Departemen Filosofi mengelola program yang mengarah ke gelar Ph.D. dalam Filosofi. Siswa dalam program ini mungkin berspesialisasi dalam logika, tetapi juga diharapkan untuk memperoleh pendidikan yang luas dalam Filosofi. Informasi lengkap tentang program ini dapat diperoleh langsung dari Graduate Assistant, Department of Philosophy, University of California di Berkeley, Berkeley, CA 94720-2390. Situs web departemen ini adalah http://philosophy.berkeley.edu.

Gelar Master

Siswa yang ingin memperoleh gelar master di bidang logika atau bidang terkait disarankan untuk memperoleh gelar master di bidang Matematika atau Teknik Elektro dan Ilmu Komputer. Informasi rinci tentang gelar ini dapat diperoleh dari Asisten Pascasarjana dari departemen masing-masing.

Peristiwa Logika

Kolokium Logika
The Group di Logic dan Metodologi Ilmu mensponsori dua mingguan logika temu wicara , dengan pembicaraan oleh matematikawan, ilmuwan komputer, dan filsuf.

Kelompok Kerja dalam Sejarah dan Filosofi Logika, Matematika, dan Sains

Kelompok Kerja dalam Sejarah dan Filosofi Logika, Matematika, dan Sains , disponsori bersama oleh Departemen Filosofi dan Pusat Kemanusiaan Doreen B. Townsend , mensponsori pembicaraan bulanan, banyak di antaranya tentang topik yang berhubungan dengan logika.

Lingkaran Berkeley-Stanford dalam Logika dan Filosofi

The Berkeley-Stanford Lingkaran di Logika dan Filosofi menyatukan mahasiswa pascasarjana dari UC Berkeley dan Stanford University untuk membahas penelitian di persimpangan Logika dan Filosofi.