برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Lógica

دانلود کتاب منطق

مشخصات کتاب

Lógica

دسته بندی: منطق
ویرایش:  
نویسندگان: John Nolt. Dennis Rohatyn  
سری:  
ISBN (شابک) : 007460872X 
ناشر: Makron Books / McGraw-Hill 
سال نشر: 1991 
تعداد صفحات: 609 
زبان: Portuguese 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 54,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 10

در صورت تبدیل فایل کتاب Lógica به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق

از پیشگفتار: ریشه‌های منطق را می‌توان در ارسطو جست‌وجو کرد، که موضوع را به گونه‌ای نظام‌مند و مدون کرد که برای بیش از دو هزار سال منسوخ نشده بود. منطق مدرن عمدتاً از کارهای گوتلوب فرگه، فیلسوف آلمانی در قرن نوزدهم سرچشمه می گیرد. اگرچه منطق به عنوان شاخه ای از فلسفه توسعه یافت، اما پیشرفت انفجاری آن از زمان فرگه کاربردهایی در زبان شناسی، ریاضیات و علوم کامپیوتر ایجاد کرد. در حال حاضر، کمک های بسیاری توسط محققان در زمینه های ذکر شده انجام می شود. این کتاب دانش قبلی در مورد موضوع را فرض نمی کند. می توان از آن به عنوان متنی برای دوره مقدماتی، مکمل سایر متون، مرجع یا راهنمای مطالعه استفاده کرد. ما با بررسی اینکه چگونه استدلال، غیررسمی، در نوشتار و مکالمه رخ می دهد، شروع می کنیم. بنابراین، ما برخی از مفاهیم اصلی منطق (مانند استدلال، اعتبار، صدق، ارتباط و شواهد فرضی) را معرفی می‌کنیم و از مسائل فنی غیرضروری اجتناب می‌کنیم. فصل 1 مربوط به بخش های ساختاری ( نحوی ) و فصل 2 برخی مفاهیم اساسی معنایی را ارائه می کند. فصل های 3 و 4 به ترتیب ابتدایی ترین نظام منطق صوری، یعنی حساب گزاره ای را از نظر نحوی و معنایی معرفی می کنند. فصل 5 به منطق گزاره های مقوله ای می پردازد که نوادگان مدرن منطق اصلی ارسطو است. در فصل 6 ما سیستمی را در نظر می گیریم، حساب محمولی، که سیستم های سه فصل قبل را متحد و گسترش می دهد. محاسبات محمول در قلب منطق مدرن قرار دارد. در فصول 7 و 8 به یک دیدگاه غیررسمی برمی گردیم تا اشتباهات رایج در استدلال و برخی اشکال استدلال استقرایی (احتمالی) را در نظر بگیریم. فصل نهم به طور رسمی به احتمال می پردازد و مهم ترین بدیهیات و قضایای حساب احتمالات را توضیح می دهد. در نهایت، فصل 10 دستورالعمل هایی را بیان می کند که در آنها محاسبات محمول را می توان تعمیم داد.

توضیحاتی درمورد کتاب به خارجی

Do Prefácio: As raízes da lógica podem ser atribuídas a Aristóteles, que sistematizou e codificou o assunto de tal modo que não foi significativamente ultrapassado por mais de dois milênios. A lógica moderna provém, em grande parte, do trabalho do filósofo alemão Gottlob Frege no século XIX. Embora a lógica se desenvolvesse como um ramo da filosofia, o seu progresso explosivo desde Frege tem produzido aplicações em linguística, matemática e ciência da computação. Atualmente, muitas contribuições são feitas por estudiosos das áreas citadas. Este livro não pressupõe conhecimento prévio do assunto. Ele pode ser utilizado como texto para um curso introdutório, suplemento para outros textos, referência ou guia de estudo. Iniciamos examinando como o raciocínio ocorre, informalmente, na escrita e na conversação. Assim, introduzimos alguns conceitos centrais da lógica (tais como argumento, validade, verdade, relevância e evidência suposta), evitando os tecnicismos desnecessários. O Capítulo 1 concerne às partes estruturais (sintática) e o Capítulo 2 apresenta alguns conceitos semânticos fundamentais. Os Capítulos 3 e 4 introduzem o sistema mais elementar da lógica formal, o cálculo proposicional, dos pontos de vista sintático e semântico, respectivamente. O Capítulo 5 trata da lógica dos enunciados categóricos, a descendente moderna da lógica original de Aristóteles. No Capítulo 6 consideramos um sistema, o cálculo de predicados, que unifica e estende os sistemas dos três capítulos anteriores. O cálculo de predicados é o cerne da lógica moderna. Nos Capítulos 7 e 8 retornamos a um ponto de vista informal, a fim de considerar falácias usuais no raciocínio e algumas formas de argumento indutivo (probabilístico). O Capítulo 9 trata, formalmente, da probabilidade, expondo os axiomas e os teoremas mais importantes do cálculo de probabilidades. Finalmente, o Capítulo 10 esboça algumas diretrizes nas quais o cálculo de predicados pode ser generalizado.

فهرست مطالب

10.1  Limitações significativas dos cálculo de predicados......Page 
Capa......Page Lógica . John Nolt . Dennis Rohatyn.djvu
Contracapa......Page scandjvutmp126_0001.djvu
Folha de Rosto......Page scandjvutmp127_0001.djvu
Sumário......Page scandjvutmp129_0001.djvu
Prefácio......Page scandjvutmp12d_0001.djvu
1. A Estrutura de um Argumento......Page scandjvutmp12f_0001.djvu
1.1  O que é um argumento?......Page 12
1.2  Identificando os argumentos......Page scandjvutmp134_0001.djvu
1.3 Diagramas de argumentos......Page scandjvutmp13a_0001.djvu
1.4  Argumentos convergentes......Page scandjvutmp142_0001.djvu
1.5  Enunciados implícitos......Page scandjvutmp145_0001.djvu
1.6  Uso e menção......Page scandjvutmp14c_0001.djvu
1.7  Lógica formal versus lógica informal......Page scandjvutmp14f_0001.djvu
2. Avaliação de um Argumento......Page scandjvutmp157_0001.djvu
2.1  Introdução......Page 52
2.2  Verdade das premissas......Page scandjvutmp158_0001.djvu
2.3  Validade e probabilidade indutiva......Page scandjvutmp15b_0001.djvu
2.4  Relevância......Page scandjvutmp16a_0001.djvu
2.5  A exigência de total evidência......Page scandjvutmp170_0001.djvu
3. O Cálculo Proposicional......Page scandjvutmp183_0001.djvu
3.1  Formas de argumento......Page 96
3.2  Formalização......Page scandjvutmp18a_0001.djvu
3.3  Regras não-hipotéticas de inferência......Page scandjvutmp193_0001.djvu
3.4  Regras hipotéticas......Page scandjvutmp1a3_0001.djvu
3.5  Regras derivadas......Page scandjvutmp1b5_0001.djvu
3.6  Teoremas......Page scandjvutmp1bc_0001.djvu
3.7  Equivalências......Page scandjvutmp1c0_0001.djvu
4. Tabelas-Verdade e Árvores de Refutação......Page scandjvutmp1d2_0001.djvu
4.1  Semântica dos operadores lógicos......Page 171
4.2  Tabelas-verdade para wffs......Page scandjvutmp1da_0001.djvu
4.3  Tabelas-verdade para formas de argumento......Page 188
4.4  Árvores de refutação......Page scandjvutmp1eb_0001.djvu
5. A Lógica dos Enunciados Categóricos......Page scandjvutmp200_0001.djvu
5.1  Enunciados categóricos......Page 217
5.2  Inferências imediatas......Page scandjvutmp212_0001.djvu
5.3  Silogismos categóricos......Page scandjvutmp219_0001.djvu
6. O Cálculo de Predicados......Page scandjvutmp225_0001.djvu
6.1  Quantificadores e variáveis......Page 250
6.2  Predicados e nomes próprios......Page scandjvutmp22a_0001.djvu
6.3  Regras de formação......Page scandjvutmp230_0001.djvu
6.4  Regras de inferência para o quantificador universal......Page scandjvutmp235_0001.djvu
6.5  Regras de inferência para o quantificador existencial......Page scandjvutmp241_0001.djvu
6.6  Teoremas e regras de equivalência do quantificador......Page scandjvutmp254_0001.djvu
6.7  Identidade......Page scandjvutmp25f_0001.djvu
6.8  Árvores de refutação......Page scandjvutmp267_0001.djvu
7. Falácias......Page scandjvutmp28f_0001.djvu
7.1  Classificação de falácias......Page 355
7.2  Falácias de relevância......Page scandjvutmp291_0001.djvu
7.3  Raciocínio circular......Page scandjvutmp2a3_0001.djvu
7.4  Falácias semânticas......Page scandjvutmp2a6_0001.djvu
7.5  Falácias indutivas......Page scandjvutmp2ac_0001.djvu
7.6  Falácias formais......Page scandjvutmp2b3_0001.djvu
7.7  Falácias de premissas falsas......Page scandjvutmp2b9_0001.djvu
8. Indução......Page scandjvutmp2c8_0001.djvu
8.1  Força do enunciado......Page 412
8.2  Silogismo estatístico......Page scandjvutmp2cf_0001.djvu
8.3  Generalização estatística......Page scandjvutmp2d6_0001.djvu
8.4  Generalização indutiva e indução simples......Page scandjvutmp2df_0001.djvu
8.5  Indução por analogia......Page scandjvutmp2e4_0001.djvu
8.6  Métodos de Mill......Page scandjvutmp2e9_0001.djvu
8.7  Teorias científicas......Page scandjvutmp2f6_0001.djvu
9. O Cálculo de Probabilidades......Page scandjvutmp303_0001.djvu
9.1  Introdução......Page 471
9.2  Relações lógicas entre proposições ou eventos......Page scandjvutmp304_0001.djvu
9.3  Probabilidade......Page scandjvutmp306_0001.djvu
9.4  Axiomas do cálculo de probabilidades......Page scandjvutmp308_0001.djvu
9.5  Teoremas do cálculo de probabilidades......Page scandjvutmp30a_0001.djvu
9.6  Probabilidade condicional......Page scandjvutmp312_0001.djvu
9.7  Aplicação do cálculo de probabilidades......Page scandjvutmp325_0001.djvu
10. Outros Desenvolvimentos em Lógica Formal......Page scandjvutmp335_0001.djvu
10.2  Lógicas de ordem superior......Page scandjvutmp33b_0001.djvu
10.3  Lógica de predicados com símbolos funcionais......Page scandjvutmp343_0001.djvu
10.4  Aritmética formal......Page scandjvutmp349_0001.djvu
10.5  Definições formais......Page scandjvutmp356_0001.djvu
10.6  Descrições definidas......Page scandjvutmp359_0001.djvu
10.7  Lógica modal......Page scandjvutmp35c_0001.djvu
Glossário......Page scandjvutmp377_0001.djvu
Índice Analítico......Page scandjvutmp38b_0001.djvu