Whereas over a century of formal logic has given us a deeptheoretical  terjemahan - Whereas over a century of formal logic has given us a deeptheoretical  Bahasa Indonesia Bagaimana mengatakan

Whereas over a century of formal lo

Whereas over a century of formal logic has given us a deep
theoretical understanding of logical necessity, our understanding
of metaphysical necessity is intuitive—drawn from our ordinary
thought and talk about what would be so if such and such were so
Chapter Three
and so, what could have been so had certain things been different,
and what could not be so under any circumstances. This contrast is
connected to another. Although our ordinary thought and talk is
permeated with claims about what various individuals could, or
could not, do, or be, in various circumstances, there is no established
practice, ordinary or theoretical, of calling formulas with
free occurrences of variables logically or analytically true, relative
to one assignment of objects, but not another. In short, metaphysical
necessity is the province of the modal de re, while the logical
or conceptual de re is all but nonexistent.
As shown in Burgess (1998), there is a historical irony in this.
The stated goal of much of the early development of quantified
modal systems was to give a logic for logical or analytic necessity.
This was the context into which Quine introduced his infamous
arguments against quantifying in. Though his objections were
typically overstated—wrongly decrying the unintelligibility of
quantification into any construction in which substitution of coextensional
terms sometimes fails to preserve truth value—there
was a grain of truth in his attack.3 Noting that logical truth and
analyticity are standardly taken to be properties of sentences, he
likened quantification into contexts governed by such operators
to the problematic quantification in (1).
1. "x ‘if x is a cat, x is an animal’ is an analytic/logical truth.
Though he didn’t put his finger on precisely what is wrong with
this, he was right to be dubious. It’s not that one can’t make quantification
into quotes intelligible. One can, as shown in Kaplan
(1986). However, the resulting notion of de re logical/analytic
truth, and accompanying logic, is of little theoretical interest to
logicians and mathematicians, and of no interest in capturing any
commonsense notion of necessity. The chief philosophical interest
in quantified modal logic lies with the metaphysical necessity,
essentialism, and nontrivial modal de re of Kripke (1972).
With this, we return to S5. Once we have metaphysical necessity,
essentialism, and world-states rather than worlds, it is a short
0/5000
Dari: -
Ke: -
Hasil (Bahasa Indonesia) 1: [Salinan]
Disalin!
Sedangkan lebih dari satu abad logika formal telah memberi kita yang mendalampemahaman teoretis keharusan logis, pemahaman kitakebutuhan metafizikal intuitif — diambil dari biasa kamiberpikir dan berbicara tentang apa yang akan jadi jika demikian itu begituBab tigadan Jadi, apa yang bisa menjadi begitu memiliki hal-hal tertentu yang berbeda,dan apa yang tidak bisa menjadi begitu dalam keadaan apapun. Kontras ini adalahterhubung ke yang lain. Meskipun kami biasa berpikir dan berbicarameresap dengan klaim tentang apa berbagai individu bisa, atautidak, melakukan, atau akan, dalam berbagai situasi, ada no didirikanpraktek, biasa atau teoritis, memanggil rumus dengangratis kemunculan variabel Logis atau analitis benar, relatifuntuk satu tugas objek, tapi tidak lain. Singkatnya, metafisikkebutuhan adalah provinsi de modal kembali, sementara Logisatau konseptual de kembali semua tapi tidak ada.Seperti yang ditunjukkan dalam Burgess (1998), ada ironi yang bersejarah ini.Tujuan yang dinyatakan oleh banyak perkembangan awal diukurmodal sistem adalah untuk memberikan logika untuk keperluan Logis atau analitik.Ini adalah konteks di mana Quine memperkenalkan nya terkenalargumen yang menentang kuantifikasi dalam. Meskipun keberatan nyabiasanya Dilebih-Lebihkan — salah mengutuk unintelligibility darikuantifikasi ke konstruksi apapun di mana substitusi coextensionalistilah kadang-kadang gagal untuk melestarikan nilai kebenaran — tidakadalah butir-butir kebenaran dalam nya attack.3 mencatat bahwa kebenaran yang logis dananalyticity umumnya dianggap sebagai sifat kalimat, iakuantifikasi menyamakan ke dalam konteks yang diatur oleh operator tersebutuntuk kuantifikasi bermasalah dalam (1).1. "x 'jika x adalah seekor kucing, x adalah binatang' adalah kebenaran analitik/logis.Meskipun ia tidak mengenakan jarinya tepatnya apa salah denganini, ia adalah hak untuk menjadi meragukan. Ini bukanlah bahwa orang tidak dapat menghasilkan kuantifikasidalam kutipan dimengerti. Satu dapat, seperti yang ditunjukkan dalam Kaplan(1986). Namun, gagasan dihasilkan de re Logis/analitikkebenaran dan menyertai logika, adalah bunga teoritis kecil untuklogicians dan matematikawan, dan tidak tertarik dalam menangkap salahakal sehat gagasan tentang kebutuhan. Minat filosofis kepaladi lies logika modal yang diukur dengan perlunya metafisik,essentialism, dan nontrivial de modal kembali dari Kripke (1972).Dengan ini, kita kembali ke S5. Setelah kita memiliki kebutuhan metafisik,essentialism, dan dunia-negara daripada dunia, itu adalah singkat
Sedang diterjemahkan, harap tunggu..
Hasil (Bahasa Indonesia) 2:[Salinan]
Disalin!
Sedangkan lebih dari satu abad logika formal telah memberi kita dalam
pemahaman teoritis keharusan logis, pemahaman kita
tentang kebutuhan metafisik intuitif ditarik dari biasa kami
berpikir dan berbicara tentang apa yang akan jadi jika ini dan itu begitu
Bab Tiga
dan sebagainya, apa bisa jadi memiliki hal-hal tertentu berbeda,
dan apa yang tidak bisa begitu dalam keadaan apapun. Sebaliknya ini
terhubung ke yang lain. Meskipun kami pikir biasa dan talk
meresap dengan klaim tentang apa berbagai individu bisa, atau
tidak bisa, melakukan, atau menjadi, dalam berbagai situasi, tidak ada didirikan
praktek, biasa atau teoritis, menelepon formula dengan
kejadian bebas dari variabel logis atau analitis benar, relatif
terhadap satu tugas dari objek, tetapi tidak yang lain. Singkatnya, metafisik
kebutuhan adalah provinsi modal de re, sedangkan logis
atau konseptual de ulang semua tapi tidak ada.
Seperti yang ditunjukkan pada Burgess (1998), ada ironi sejarah dalam hal ini.
Tujuan yang dinyatakan oleh banyak awal pengembangan diukur
sistem modal adalah untuk memberikan logika untuk kebutuhan logis atau analisis.
Ini adalah konteks di mana Quine diperkenalkan terkenal nya
argumen terhadap mengukur dalam. Meskipun keberatan yang
biasanya dibesar-besarkan-salah mengutuk unintelligibility dari
kuantifikasi ke konstruksi apapun di mana substitusi dari coextensional
istilah kadang-kadang gagal untuk melestarikan nilai-kebenaran ada
adalah sebutir kebenaran dalam attack.3 nya Memperhatikan bahwa kebenaran logis dan
analyticity yang standardly diambil menjadi sifat kalimat, ia
menyamakan kuantifikasi dalam konteks diatur oleh operator tersebut
untuk kuantifikasi bermasalah di (1).
1. "X" jika x adalah seekor kucing, x adalah binatang 'adalah analitik / kebenaran logis.
Meskipun ia tidak meletakkan jarinya di atas tepat apa yang salah dengan
ini, dia benar untuk meragukan. Ini bukan salah satu yang dapat ' t membuat kuantifikasi
dalam kutipan dimengerti. Satu bisa, seperti yang ditunjukkan pada Kaplan
(1986). Namun, gagasan yang dihasilkan dari de re logis / analitik
kebenaran, dan logika yang menyertainya, adalah kepentingan teoritis sedikit
ahli logika dan matematika, dan tidak tertarik menangkap setiap
gagasan akal sehat kebutuhan. Kepentingan filosofis utama
dalam diukur modal logika terletak pada kebutuhan metafisik,
esensialisme, dan trivial modal de ulang Kripke (1972).
Dengan ini, kita kembali ke S5. Setelah kita memiliki kebutuhan metafisik,
esensialisme, dan dunia-negara daripada dunia, itu adalah pendek
Sedang diterjemahkan, harap tunggu..
 
Bahasa lainnya
Dukungan alat penerjemahan: Afrikans, Albania, Amhara, Arab, Armenia, Azerbaijan, Bahasa Indonesia, Basque, Belanda, Belarussia, Bengali, Bosnia, Bulgaria, Burma, Cebuano, Ceko, Chichewa, China, Cina Tradisional, Denmark, Deteksi bahasa, Esperanto, Estonia, Farsi, Finlandia, Frisia, Gaelig, Gaelik Skotlandia, Galisia, Georgia, Gujarati, Hausa, Hawaii, Hindi, Hmong, Ibrani, Igbo, Inggris, Islan, Italia, Jawa, Jepang, Jerman, Kannada, Katala, Kazak, Khmer, Kinyarwanda, Kirghiz, Klingon, Korea, Korsika, Kreol Haiti, Kroat, Kurdi, Laos, Latin, Latvia, Lituania, Luksemburg, Magyar, Makedonia, Malagasi, Malayalam, Malta, Maori, Marathi, Melayu, Mongol, Nepal, Norsk, Odia (Oriya), Pashto, Polandia, Portugis, Prancis, Punjabi, Rumania, Rusia, Samoa, Serb, Sesotho, Shona, Sindhi, Sinhala, Slovakia, Slovenia, Somali, Spanyol, Sunda, Swahili, Swensk, Tagalog, Tajik, Tamil, Tatar, Telugu, Thai, Turki, Turkmen, Ukraina, Urdu, Uyghur, Uzbek, Vietnam, Wales, Xhosa, Yiddi, Yoruba, Yunani, Zulu, Bahasa terjemahan.

Copyright ©2025 I Love Translation. All reserved.

E-mail: