MAKALAH

FILSAFAT MIPA (TOKOH DAN KAJIAN)

ALFRED TARSKI

DOSEN PEMBIMBING

Farah Indrawati S.Tp.,M.Pd.

DISUSUN OLEH

Saddam Husain Khaerudin

UNIVERSITAS INDRAPRASTA PGRI

FAKULTAS MATEMATIKA & ILMU PENGETAHUAN ALAM
PROGRAM STUDI PENDIDIKAN MATEMATIKA
2020
 KATA PENGANTAR

Alhamdulillah puji syukur atas kehadirat Allah SWT atas kelimpahan rahmat dan hidayahnya

sehingga dapat menyelesaikan makalah ini yang diberi judul “FILSAFAT MIPA(TOKOH DAN

KAJIAN) ALFRED TARSKI”

Dengan segala keterbatasan yang dimiliki, penulis menyadari sepenuhnya bahwa

makalah ini masih jauh dari sempurna. Oleh karena itu, penulis mengharapkan kritik dan saran

yang sifatnya membangun dari semua pembaca demi sempurnanya penulisan makalah ini.

Penulis mengucapkan terima kasih kepada ibu Farah selaku dosen mata kuliah filsafat MIPA

yang telah memberikan tugas ini sehingga dapat menambah pengetahuan, dan wawasan sesuai

dengan bidang studi yang penulis tekuni.

Semoga makalah ini dapat memberi manfaat bagi para pembacanya, Aamiin.

Jakarta, 31 Maret 2020

Penulis

i
 DAFTAR ISI

Kata Pengantar…………………………………………………………………………………....i

Daftar Isi………………………………………………………………………………………….ii

Ringkasan………………………………………………………………………………………...iii

BAB I PENDAHULUAN………………………………………………………………………....1

A. Latar Belakang…………………………………………………………………………….1
B. Tujuan Penulisan…………………………………………………………………………..1
C. Manfaat Penulisan…………………………………………………………………………1

BAB II TINJAUAN PUSTAKA………………………………………………………………….2

BAB III METODOLOGI………………………………………………………………………….3

BAB IV PEMBAHASAN………………………………………………………………………...4

A. Kehidupan…………………………………………………………………………………4
B. Matematika………………………………………………………………………………..6
C. Ahli Logika……………………………………………………………………………......7
D. Kebenaran Dalam Bahasa Formal………………………………………………………...8
E. Konsekuensi Logis………………………………………………………………………..9
F. Bekerja Pada Pengertian Logis…………………………………………………………..10

BAB V KESIMPULAN DAN SARAN…………………………………………………………13

DAFTAR PUSTAKA…………………………………………………………………………....14

ii
 RINGKASAN

Alfred Tarski adalah seorang ahli logika dan matematika Polandia-Amerika keturunan Polandia-
Yahudi. Dididik di Polandia di Universitas Warsawa, dan anggota sekolah logikam Lwow-
Warsawa dan sekolah matematika Warswa, ia berimigrasi ke Amerika Serikat pada tahun 1939
di mana ia menjadi warga Negara yang dinaturalisasikan pada tahum 1945. Tarski mengajar dan
melakukan penelitian dalam matematika di Universitas California,Berkeley, dari tahun 1942
hingga kematiannya pada tahun 1983. Ia penulis prodduktif yang terkenal karena karyanya pada
teori model, metamathematics, dan logika aljabar, ia juga berkontribusi pada aljabar abstrak,
topologi, geometri, teori ukuran, logika matematika, teori himpunan, dan filosofi analitik.

iii
 BAB I

PENDAHULUAN

A. LATAR BELAKANG
Konsepsi semantik tentang kebenaran, yang terkait dengan cara yang berbeda dengan
korespondensi dan konsepsi deflasi , adalah karena karya yang diterbitkan oleh ahli
logika Polandia Alfred Tarski pada 1930-an. Tarski, dalam "Tentang Konsep Kebenaran
dalam Bahasa Formal", berusaha merumuskan teori kebenaran baru untuk menyelesaikan
paradoks pembohong . Dalam perjalanannya ini ia membuat beberapa penemuan
metamathematis, terutama teorema Tarski yang tidak dapat ditentukan menggunakan
teknik formal yang sama seperti yang digunakan Kurt Gödel dalam teorema
ketidaklengkapannya . Secara kasar, ini menyatakan bahwa Konvensi T yang memuaskan
kebenaran-predikat untuk kalimat-kalimat bahasa tertentu tidak dapat didefinisikan dalam
bahasa itu.
B. TUJUAN PENULISAN
1. Siapakah Alfred Tarski ?
2. Alur mencapai teori ?
3. Apakah itu ahli logika?
4. Apa teori kebenaran Tarski?

C. MANFAAT PENULISAN
Manfaat dari penulisan makalah ini adalah dapat melatih mahasiswa dalam
mengembangkan potensi dan menambah wawasan yang lebih jauh dari macam sumber.

1
 BAB II

TINJAUAN PUSTAKA

Alfres Tarski adalah ilmuwan Amerika asal Polandia menekuni bidang matematika, filsafat
logika, dan bahasa. Ia adalah guru besar di Universitas Berkeley, California. Salah satu karya
yang paling terkenal dari Tarski adalah logika dalam bidang matematika.

Lahir : 14 Januari 1901, Warsawa, Polandia

Meninggal : 26 Oktober 1983, Berkeley, California, Amerika
Pendidikan : Universitas Warsawa (1918-1923)
Anak : Ina Tarski, Jan Tarski
Penghargaan : Beasiswa Guggenhim untuk Ilmu Alam, AS & Kanada

Alfred tarski dibesarkan dan dididik di Warsawa, Polandia. Dia merupakan ahli logika terbesar
abad 20. Karyanya sangat fundamental bagi filsafat bahasa modern dan logika filsafat. Di
Universitas Warsama dia belajar matematika, biologi, filsafat dan bahasa. Pada awal kariernya
dia sudah punya nama karena karyanya tentang dasar-dasar matematika. Tetapi pengaruh Tarski
paling besar terutama karena karyanya dalam semantic dan definisinya tentang kebenaran dalam
bahasa formal.

2
 BAB III

METODOLOGI

Metodologi matematika merupakan penelaahan atau pengkajian terhadap metode-metode yang

khusus dipergunakan dalam matematika. Menurut Alfred Tarski bidang studi ini dikenal dengan
sebutan yang berkali-kali berubah-ubah, misalkan pada awalnya dinamakan metodologi ilmu-
ilmu deduktif, kemudian diganti dengan teori pembuktian (theory of proof), selanjutnya menjadi
meta-logika dan meta-matematika, sedangkan pada akhir-akhir ini muncul logika sintaks dan
semantic dari ilmu-ilmu deduktif. Metode yang khusus dari matematika kini lazim dikenal
sebagai metode aksiomatik (axiomatic method) atau metode hipotek-deduktif (hypothetical-
deduktive method).

3
 BAB IV

PEMBAHASAN

A. KEHIDUPAN

Alfred Tarski dilahirkan sebagai Alfred Teitelbaum (ejaan Polandia : "Tajtelbaum"), untuk orang

tua yang orang Yahudi Polandia dalam keadaan nyaman relatif terhadap orang Yahudi lainnya di
wilayah keseluruhan. Dia pertama kali memanifestasikan kemampuan matematika saat di
sekolah menengah, di Warsawa Szkoła Mazowiecka . Namun demikian, ia
memasuki Universitas Warsawa pada tahun 1918 dengan tujuan untuk belajar biologi.

Pada tahun 1923, Alfred Teitelbaum dan saudaranya Wacław mengubah nama keluarga mereka
menjadi "Tarski". Saudara-saudara Tarski juga masuk agama Katolik Roma , agama dominan
Polandia.  Alfred melakukannya meskipun dia adalah seorang ateis yang diakui.

Setelah menjadi orang termuda yang menyelesaikan doktor di Universitas Warsawa, Tarski
mengajar logika di Institut Pedagogis Polandia, matematika dan logika di Universitas, dan
menjabat sebagai asisten Łukasiewicz. Karena posisi-posisi ini dibayar rendah, Tarski juga
mengajar matematika di sekolah menengah Warsawa;  sebelum Perang Dunia II, tidak jarang
bagi para intelektual Eropa kaliber penelitian untuk mengajar sekolah menengah. Oleh karena itu
antara tahun 1923 dan kepergiannya ke Amerika Serikat pada tahun 1939, Tarski tidak hanya
menulis beberapa buku pelajaran dan banyak makalah, beberapa di antaranya merupakan
terobosan, tetapi juga melakukannya sambil menopang dirinya sendiri dengan mengajar
matematika sekolah menengah. Pada 1929, Tarski menikah dengan sesama guru Maria
Witkowska, seorang Polandia yang berlatar belakang Katolik. Dia telah bekerja sebagai kurir
untuk tentara dalam Perang Polandia-Soviet . Mereka memiliki dua anak; seorang putra Jan yang
menjadi ahli fisika, dan seorang putri Ina yang menikah dengan ahli matematika Andrzej
Ehrenfeucht .

Tarski melamar sebagai ketua filsafat di Universitas Lwow , tetapi atas rekomendasi Bertrand
Russell itu diberikan kepada Leon Chwistek. Pada tahun 1930, Tarski mengunjungi Universitas
Wina , memberi kuliah di kolokium Karl Menger , dan bertemu dengan Kurt Gödel . Berkat
persekutuan, ia dapat kembali ke Wina selama paruh pertama 1935 untuk bekerja dengan
kelompok riset Menger. Dari Wina ia melakukan perjalanan ke Paris untuk mempresentasikan
ide-idenya tentang kebenaran pada pertemuan pertama gerakan Unity of Science , sebuah hasil
dari Lingkaran Wina . Pada tahun 1937, Tarski melamar kursi di Universitas Poznań tetapi kursi
itu dihapuskan.  Ikatan Tarski dengan gerakan Unity of Science kemungkinan menyelamatkan
nyawanya, karena itu mengakibatkan ia diundang untuk berpidato di Kongres Unity of Science

4
 yang diadakan pada September 1939 di Universitas Harvard . Karena itu ia meninggalkan
Polandia pada Agustus 1939, di kapal terakhir yang berlayar dari Polandia ke Amerika Serikat
sebelum invasi Jerman dan Soviet ke Polandia dan pecahnya Perang Dunia II . Tarski pergi
dengan enggan, karena Leśniewski telah meninggal beberapa bulan sebelumnya, menciptakan
lowongan yang ingin diisi oleh Tarski. Tidak menyadari ancaman Nazi , ia meninggalkan istri
dan anak-anaknya di Warsawa. Dia tidak melihat mereka lagi sampai 1946. Selama perang,
hampir semua keluarga besarnya Yahudi dibunuh di tangan otoritas pendudukan Jerman.

Setelah di Amerika Serikat, Tarski memegang sejumlah posisi mengajar dan penelitian
sementara: Universitas Harvard (1939), City College of New York (1940), dan terima kasih
kepada Guggenheim Fellowship , Institute for Advanced Study di Princeton (1942), di mana dia
bertemu lagi dengan Gödel. Pada 1942, Tarski bergabung dengan Departemen Matematika
di University of California, Berkeley , di mana ia menghabiskan sisa karirnya. Tarski menjadi
warga negara Amerika pada tahun 1945. Meskipun emeritus dari tahun 1968, ia mengajar sampai
tahun 1973 dan mengawasi Ph.D.kandidat sampai kematiannya.  Di Berkeley, Tarski
memperoleh reputasi sebagai guru yang hebat dan banyak menuntut, sebuah fakta yang dicatat
oleh banyak pengamat.

Seminar-seminarnya di Berkeley dengan cepat menjadi terkenal di dunia logika

matematika. Murid-muridnya, yang banyak di antaranya menjadi ahli matematika terkemuka,
mencatat energi luar biasa yang dengannya dia akan membujuk dan membujuk karya terbaik
mereka, selalu menuntut standar kejelasan dan presisi tertinggi. 

Tarski adalah orang yang ekstrovert, cerdas, berkemauan keras, energetik, dan berlidah
tajam. Dia lebih suka penelitiannya bersifat kolaboratif - kadang-kadang bekerja sepanjang
malam dengan seorang rekan - dan sangat teliti tentang prioritas.

Seorang pemimpin dan guru yang karismatik, yang dikenal karena gaya eksposisi yang
cemerlang namun penuh ketegangan, Tarski memiliki standar yang tinggi untuk siswa, tetapi
pada saat yang sama ia bisa sangat membesarkan hati, dan terutama bagi wanita - berbeda
dengan tren umum. Beberapa siswa takut pergi, tetapi lingkaran murid tetap, banyak dari mereka
menjadi pemimpin terkenal di dunia di lapangan.

Tarski mengajar di University College, London (1950, 1966), Institut Henri Poincarédi Paris

(1955), Institut Miller untuk Riset Dasar dalam Sains di Berkeley (1958–60), Universitas
California di Los Angeles (1967), dan Universitas Katolik Kepausan Chili(1974-75). Di antara
banyak perbedaan yang diperoleh selama karirnya, Tarski terpilih ke Akademi Ilmu Pengetahuan
Nasional Amerika Serikat , Akademi Inggris dan Akademi Seni dan Ilmu Pengetahuan Kerajaan
Belanda pada tahun 1958, menerima gelar kehormatan dari Universitas Katolik Kepausan.

5
Chili pada tahun 1975, dari Universitas Marseilles Paul Cézannepada tahun 1977 dan
dari Universitas Calgary , serta Kutipan Berkeley pada tahun 1981. Tarski memimpin Asosiasi
untuk Logika Simbolik , 1944–46, dan Persatuan Internasional untuk Sejarah dan Filsafat of
Science, 1956–1957. Dia juga seorang editor kehormatan Algebra Universalis .

B. MATEMATIKA

Minat matematika Tarski sangat luas.Makalah-makalah yang dikumpulkannya mencapai sekitar

2.500 halaman, sebagian besar pada matematika, bukan logika.Untuk survei singkat prestasi
matematika dan logis Tarski oleh mantan muridnya Solomon Feferman, lihat "Selingan I-VI"
dalam Feferman dan Feferman. 

Makalah pertama Tarski, diterbitkan ketika dia berusia 19 tahun, tentang teori himpunan , subjek
yang dia kembalikan sepanjang hidupnya. Pada tahun 1924, ia dan Stefan Banach membuktikan
bahwa, jika seseorang menerima Aksioma Pilihan , sebuah bola dapat dipotong menjadi
sejumlah kecil bagian, dan kemudian dirakit kembali menjadi bola dengan ukuran lebih besar,
atau sebagai alternatif dapat dirakit kembali menjadi dua bola yang ukuran masing-masing sama
dengan yang asli.Hasil ini sekarang disebut paradoks Banach-Tarski .

Dalam metode pengambilan keputusan untuk aljabar dan geometri dasar , Tarski menunjukkan,
dengan metode eliminasi kuantifier , bahwa teori orde pertama dari bilangan real di bawah
penjumlahan dan multiplikasi dapat ditentukan . (Sementara hasil ini muncul hanya pada tahun
1948, itu kembali ke tahun 1930 dan disebutkan dalam Tarski (1931).) Ini adalah hasil yang
sangat aneh, karena Gereja Alonzomembuktikan pada tahun 1936 bahwa aritmetika
Peano (teori bilangan alami ) tidak dapat ditentukan. . Aritmatika Peano juga tidak lengkap
dengan teorema ketidaklengkapan Gödel . Dalam teorinya yang tidak dapat dipastikan pada
tahun1953, Tarski et al. menunjukkan bahwa banyak sistem matematika, termasuk teori
kisi , geometri projektif abstrak, dan aljabar penutupan , semuanya tidak dapat
diputuskan. Teori kelompok Abelian dapat dipilih, tetapi teori kelompok Abelian tidak.

Pada 1920-an dan 30-an, Tarski sering mengajar geometri sekolah menengah.Menggunakan

beberapa ide Mario Pieri , pada tahun 1926 Tarski merancang aksiomatisasi asli
untuk geometri pesawat Euclidean , yang jauh lebih ringkas daripada Hilbert . Aksioma
Tarski membentuk teori orde pertama tanpa teori himpunan, yang masing-masing poin , dan
hanya memiliki dua hubungan primitif. Pada tahun 1930, ia membuktikan bahwa teori ini dapat
diputuskan karena dapat dipetakan ke dalam teori lain yang telah terbukti dapat ia buktikan, yaitu
teori orde pertama dari bilangan real.

6
Pada tahun 1929 ia menunjukkan bahwa banyak dari geometri Euclidean padat dapat disusun
kembali sebagai teori orde pertama yang individu-nya adalah bola ( gagasan primitif ), satu
hubungan biner primitif "terkandung dalam", dan dua aksioma yang, antara lain, menyiratkan
penahanan yang sebagian memerintahkan bola.Melonggarkan persyaratan bahwa semua individu
menjadi bola menghasilkan formalisasi mereologi yang jauh lebih mudah untuk diekspos
daripada varian Lesniewski . Menjelang akhir hidupnya, Tarski menulis surat yang sangat
panjang, diterbitkan sebagai Tarski dan Givant (1999), merangkum karyanya tentang geometri.

Aljabar Kardinal mempelajari aljabar yang model-modelnya mencakup aritmatika angka-angka

kardinal . Aljabar Ordinalmenetapkan aljabar untuk teori aditif jenis pesanan . Kardinal, tapi
bukan ordinal, penjelajahan bolak-balik.

Pada tahun 1941, Tarski menerbitkan sebuah makalah penting tentang hubungan biner , yang
memulai pekerjaan tentang aljabar hubungan dan metamathematic -nya yang menduduki Tarski
dan murid-muridnya untuk sebagian besar keseimbangan hidupnya. Sementara eksplorasi itu
(dan karya terkait erat Roger Lyndon ) mengungkap beberapa keterbatasan penting dari aljabar
relasi, Tarski juga menunjukkan (Tarski dan Givant 1987) bahwa aljabar relasi dapat
mengungkapkan sebagian besar teori himpunan aksiomatik dan aritmatika Peano .Untuk
pengantar aljabar relasi , lihat Maddux (2006). Pada akhir 1940-an, Tarski dan murid-muridnya
merancang aljabar silindris, yang merupakan logika orde pertama seperti apa aljabar Boolean
dua elemendengan logika sentensial klasik. Karya ini memuncak dalam dua monograf oleh
Tarski, Henkin, dan Monk (1971, 1985).

C. AHLI LOGIKA

Murid Tarski, Vaught, menempatkan Tarski sebagai salah satu dari empat ahli logika terhebat
sepanjang masa - bersama dengan Aristoteles, Gottlob Frege , dan Kurt Gödel.  Namun, Tarski
sering mengungkapkan kekagumannya yang besar terhadap Charles Sanders Peirce , khususnya
untuk karya perintisnya dalam logika hubungan .

Tarski menghasilkan aksioma untuk konsekuensi logis , dan bekerja pada sistem deduktif ,

aljabar logika, dan teori keterpastian. Metode semantiknya, yang memuncak dalam teori model
yang ia dan sejumlah siswa Berkeley-nya kembangkan pada 1950-an dan 60-an, secara radikal
mengubah metamathematics bukti-teoretis Hilbert.

7
Dalam pandangan [Tarski], metamathematics menjadi serupa dengan disiplin matematika apa
pun. Tidak hanya konsep-konsep dan hasil-hasilnya dapat diolah secara matematis, tetapi mereka
sebenarnya dapat diintegrasikan ke dalam matematika. Tarski menghancurkan batas antara
metamathematics dan matematika. Dia keberatan untuk membatasi peran metamathematics ke
dasar matematika. 

Artikel Tarski tahun 1936 "Tentang Konsep Konsekuensi Logis" berpendapat bahwa kesimpulan
dari suatu argumen akan mengikuti secara logis dari premisnya jika dan hanya jika setiap model
premis itu adalah model kesimpulan. Pada tahun 1937, ia menerbitkan sebuah makalah yang
menyajikan dengan jelas pandangannya tentang sifat dan tujuan metode deduktif, dan peran
logika dalam studi ilmiah.Sekolah menengah dan sarjana mengajar tentang logika dan aksioma
memuncak dalam teks pendek klasik, diterbitkan pertama dalam bahasa Polandia, kemudian
dalam terjemahan Jerman, dan akhirnya dalam terjemahan bahasa Inggris 1941
sebagai Pengantar Logika dan Metodologi Ilmu Deduktif .

"Kebenaran dan bukti" Tarski tahun 1969 dianggap sebagai teorema ketidaklengkapan

Gödel dan teorema Tefki yang tidak dapat ditentukan , dan merenungkan konsekuensi mereka
terhadap metode aksiomatik dalam matematika.

D. KEBENARAN DALAM BAHASA FORMAL

Artikel utama: Teori kebenaran semantik

Pada tahun 1933, Tarski menerbitkan sebuah makalah yang sangat panjang dalam bahasa
Polandia, berjudul "Pojęcie prawdy w językach nauk dedukcyjnych", "Menyusun definisi
matematis tentang kebenaran untuk bahasa formal."Terjemahan Jerman 1935 berjudul "Der
Wahrheitsbegriff in den formalisierten Sprachen", "Konsep kebenaran dalam bahasa formal",
kadang disingkat menjadi "Wahrheitsbegriff". Terjemahan bahasa Inggris muncul pada edisi
pertama tahun 1956 dari volume Logic, Semantics, Metamathematics . Kumpulan makalah ini
dari tahun 1923 hingga 1938 adalah peristiwa dalam filsafat analitik abad ke-20, kontribusi
terhadap logika simbolik , semantik , dan filsafat bahasa . Untuk diskusi singkat tentang isinya,
lihat Konvensi T (dan juga skema-T ).

Beberapa perdebatan filosofis baru-baru ini meneliti sejauh mana teori kebenaran Tarski untuk
bahasa formal dapat dilihat sebagai teori kebenaran korespondensi .Perdebatan berpusat pada
bagaimana membaca kondisi kecukupan materi Tarski untuk definisi kebenaran. Kondisi itu
mengharuskan teori kebenaran memiliki yang berikut sebagai teorema untuk semua kalimat, p
dari bahasa yang mendefinisikan kebenaran:

8
"p" benar jika dan hanya jika p.

(di mana p adalah proposisi yang diungkapkan oleh "p")

Perdebatan tersebut meliputi apakah akan membaca kalimat dari formulir ini, seperti

"Snow is white" benar jika dan hanya jika salju putih

sebagai hanya mengungkapkan teori deflasi kebenaran atau sebagai

mewujudkan kebenaran sebagai properti yang lebih substansial (lihat Kirkham 1992). Penting
untuk disadari bahwa teori kebenaran Tarski adalah untuk bahasa yang diformalkan, jadi contoh-
contoh dalam bahasa alami bukanlah ilustrasi dari penggunaan teori kebenaran Tarski.

E. KONSEKUENSI LOGIS

Pada tahun 1936, Tarski menerbitkan ceramah versi Polandia dan Jerman yang telah dia berikan
pada tahun sebelumnya di Kongres Internasional Filsafat Ilmiah di Paris. Terjemahan bahasa
Inggris baru dari makalah ini, Tarski (2002), menyoroti banyak perbedaan antara versi Jerman
dan Polandia dari makalah ini, dan mengoreksi sejumlah kesalahan terjemahan dalam Tarski
(1983).

Publikasi ini menetapkan definisi model-teoretis modern konsekuensi logis (semantik), atau

setidaknya dasar untuk itu.Apakah gagasan Tarski sepenuhnya merupakan gagasan modern,
apakah ia bermaksud menerima model dengan domain berbeda-beda (dan khususnya, model
dengan domain kardinalitasberbeda). Pertanyaan ini adalah masalah beberapa perdebatan dalam
literatur filosofis saat ini. John Etchemendymerangsang banyak diskusi baru-baru ini tentang
perlakuan Tarski terhadap berbagai domain. 

Tarski mengakhiri dengan menunjukkan bahwa definisinya tentang konsekuensi logis

bergantung pada pembagian istilah ke dalam logika dan ekstra-logis dan ia menyatakan skeptis
bahwa pembagian objektif semacam itu akan terjadi. "Apa itu Pengertian Logis?" dengan
demikian dapat dilihat sebagai melanjutkan "Pada Konsep Konsekuensi Logis".

9
 F. BEKERJA PADA PENGERTIAN LOGIS

Teori lain yang menarik perhatian Tarski dalam literatur filosofis baru-baru ini adalah yang
diuraikan dalam bukunya "What is Logical Notions?" (Tarski 1986). Ini adalah versi khotbah
yang diterbitkan yang ia sampaikan awalnya pada tahun 1966 di London dan kemudian pada
tahun 1973 di Buffalo ; itu diedit tanpa keterlibatan langsung oleh John Corcoran . Itu menjadi
makalah yang paling banyak dikutip dalam jurnal History and Philosophy of Logic . 

Dalam pembicaraan itu, Tarski mengusulkan demarkasi operasi logis (yang ia sebut "gagasan")
dari non-logis. Kriteria yang disarankan berasal dari program Erlangendari ahli matematika abad
ke-19 Jerman, Felix Klein . Mautner, pada 1946, dan mungkin sebuah artikel oleh
matematikawan Portugis Sebastiao e Silva, mengantisipasi Tarski dalam menerapkan Program
Erlangen ke dalam logika.

Program itu mengklasifikasikan berbagai jenis geometri

(geometri Euclidean , geometri affine , topologi , dll.) Dengan jenis transformasi satu-satu ruang
ke dirinya sendiri yang meninggalkan objek-objek dari teori geometri invarian. (Transformasi
satu-ke-satu adalah peta fungsional ruang ke dirinya sendiri sehingga setiap titik ruang dikaitkan
dengan atau dipetakan ke satu titik lain dari ruang. Jadi, "putar 30 derajat" dan "diperbesar oleh
suatu faktor dari 2 "adalah deskripsi intuitif dari transformasi satu-satu yang seragam sederhana.)
Transformasi kontinu menimbulkan objek topologi, transformasi kesamaan dengan orang-orang
dari geometri Euclidean, dan sebagainya.

Ketika rentang transformasi yang diizinkan menjadi lebih luas, rentang objek yang dapat
dibedakan karena dipertahankan oleh penerapan transformasi menjadi lebih sempit. Transformasi
kesamaan cukup sempit (mereka menjaga jarak relatif antara titik) dan dengan demikian
memungkinkan kita untuk membedakan banyak hal (misalnya, segitiga sama sisi dari segitiga
non-sama sisi). Transformasi kontinu (yang secara intuitif dapat dianggap sebagai transformasi
yang memungkinkan peregangan, kompresi, pembengkokan, dan pemuntiran yang tidak
seragam, tetapi tidak ada ripping atau lem) memungkinkan kita untuk
membedakan poligon dari annulus (cincin dengan lubang di tengah), tapi jangan izinkan kami
untuk membedakan dua poligon dari satu sama lain.

Usulan Tarski adalah untuk membatasi gagasan logis dengan mempertimbangkan semua
kemungkinan transformasi satu-ke-satu ( automorfisme ) dari suatu domain ke dirinya
sendiri. Dengan domain berarti semesta wacana model untuk teori semantik logika. Jika
seseorang mengidentifikasi nilai kebenaran Benar dengan set domain dan nilai kebenaran Salah
dengan set kosong, maka operasi berikut dihitung sebagai logis di bawah proposal:

10
Fungsi kebenaran: Semua fungsikebenaran diakui oleh proposal. Ini termasuk, tetapi tidak
terbatas pada, semua n -fungsi kebenaran-kebenaran untuk n terbatas. (Ia juga mengakui fungsi
kebenaran dengan jumlah tempat yang tak terbatas.)

Individu : Tidak ada individu, asalkan domain memiliki setidaknya dua anggota.

Predikat :

total satu tempat dan nol predikat, yang pertama memiliki semua anggota domain dalam ekstensi
dan yang terakhir tidak memiliki anggota domain dalam ekstensi

dua tempat total dan nol predikat, yang pertama memiliki himpunan semua pasangan anggota
domain yang dipesan sebagai ekstensi dan yang terakhir dengan himpunan kosong sebagai
ekstensi

predikat identitas dua tempat, dengan himpunan semua pasangan urutan < a , a > dalam ekstensi,
di mana a adalah anggota domain

predikat keragaman dua tempat, dengan himpunan semua pasangan pesanan < a , b > di
mana a dan b adalah anggota domain yang berbeda

n- predikat umum: semua predikat dapat ditentukan dari predikat identitas bersama
dengan konjungsi , disjungsi , dan negasi(hingga tata cara, terbatas atau tidak terbatas)

Bilangan : Tarski secara eksplisit hanya membahas bilangan monadik dan menunjukkan bahwa
semua bilangan kuantitatif seperti itu diterima di bawah usulannya. Ini termasuk standar
universal dan eksistensial kuantifiers serta numerifiers numerik seperti "Tepat empat", "Banyak
sekali", "Banyak sekali", dan "Antara empat dan 9 juta", misalnya. Sementara Tarski tidak
masuk ke dalam masalah ini, juga jelas bahwa kuantifikasi poliadik diterima di bawah
proposal. Ini adalah penjumlah seperti, mengingat dua predikat Fx dan Gy , "Lebih banyak ( x,
y )", yang mengatakan "Lebih banyak hal memiliki F daripada memiliki G. "

Hubungan Set-Theoretik : Hubungan seperti inklusi , persimpangan dan penyatuan

yang diterapkan ke subsetdomain adalah logis dalam pengertian saat ini.

Atur keanggotaan : Tarski mengakhiri kuliahnya dengan sebuah diskusi tentang apakah
hubungan keanggotaan yang ditetapkan dianggap logis dalam pengertiannya.(Mengingat
pengurangan (sebagian besar) matematika untuk menetapkan teori, ini, pada dasarnya,
pertanyaan apakah sebagian besar atau semua matematika adalah bagian dari logika.) Dia
menunjukkan bahwa set keanggotaan adalah logis jika teori set dikembangkan bersama garis-
garis teori tipe , tetapi bersifat ekstra-logis jika teori himpunan ditetapkan secara aksiomatis,
seperti dalam teori himpunan Zermelo-Fraenkel yangkanonik.

11
Pengertian logis tentang tatanan yang lebih tinggi : Sementara Tarski membatasi diskusinya
dengan operasi logika tingkat pertama, tidak ada apa pun tentang usulnya yang harus membatasi
itu pada logika tingkat pertama. (Tarski kemungkinan membatasi perhatiannya pada gagasan
orde pertama karena khotbah itu diberikan kepada audiens non-teknis.) Jadi, kuantifikasi tingkat
tinggi dan predikat juga diterima.

Dalam beberapa hal proposal ini adalah kebalikan dari Lindenbaum dan Tarski (1936), yang
membuktikan bahwa semua operasi logis dari Russell dan Whitehead 's Principia
Mathematica tidak berubah dalam transformasi satu-ke-satu dari domain ke dirinya
sendiri. Proposal ini juga digunakan di Tarski dan Givant (1987).

Solomon Feferman dan Vann McGee lebih lanjut mendiskusikan proposal Tarski dalam
pekerjaan yang diterbitkan setelah kematiannya. Feferman (1999) menimbulkan masalah bagi
proposal dan menyarankan penyembuhan: mengganti pelestarian Tarski dengan automorfisme
dengan pelestarian dengan homomorfisme yang sewenang-wenang. Pada dasarnya, saran ini
menghindari kesulitan yang diajukan proposal Tarski dalam berurusan dengan kesamaan operasi
logis di berbagai domain kardinalitas tertentu dan lintas domain kardinalitas berbeda. Proposal
Feferman menghasilkan pembatasan radikal terhadap istilah logis dibandingkan dengan proposal
asli Tarski. Secara khusus, akhirnya hanya dihitung sebagai operator logika standar orde pertama
tanpa identitas.

McGee (1996) memberikan laporan yang tepat tentang operasi apa yang logis dalam arti
proposal Tarski dalam hal ekspresibilitas dalam bahasa yang memperluas logika tingkat pertama
dengan memungkinkan konjungsi dan disjungsi panjang yang sewenang-wenang, dan
kuantifikasi atas banyak variabel sewenang-wenang."Secara sewenang-wenang" termasuk tak
terhingga yang tak terhingga.

12
 BAB V

KESIMPULAN DAN SARAN

KESIMPULAN

Alfred Tarski ialah seorang Logicologist dan ahli matematika kelahiran Polandia.
Dinaturalisasikan ke Amerika Serikat pada 1945. Sejak 1946 Profesor di Universitas California.
Ia terkenalnsebagai pelopor semantic dalam logika simbolis oleh tesis “konsep kebenaran dalam
bahasa formal”. Dia memiliki pengaruh besar pada positivism logis. Buku, seperti “Pengantar
logika dan metodologi ilmu deduktif”.

SARAN

Berdasarkan kesimpulan tersebut, makalah ini mempunyai banyak kekurangan dan jauhnya dari
kesempurnaan , oleh karena itu segala kritik dan saran yang bersifat membangun sangatlah
penulis harapkan terutama dari ibu pembimbing dan rekan pembaca sekalian demi kesempurnaan
makalah ini bermanfaat untuk kita semua dan menambah wawasan kita

13
 DAFTAR PUSTAKA

https://translate.googleusercontent.com/translate_c?
client=srp&depth=1&hl=id&nv=1&rurl=translate.google.com&sl=en&sp=nmt4&tl=id&u=https:
//en.m.wikipedia.org/wiki/Alfred_Tarski&usg=ALkJrhiiuJl-tXx8KvmmuHIVnYPLjDL-8A

https://ajoefahmi.blogspot.com/2017/04/logic-and-truth-logika-dan-kebenaran.html?m=1

https://plato.stanford.edu/entries/tarski/

http://goedangbiografi.blogspot.com/2016/05/alfred-tarski-ahli-logika-terbesar-abad.html?m=1

14