About: Logic   Goto Sponge  NotDistinct  Permalink

An Entity of Type : dbo:Organisation, within Data Space : dbpedia.org associated with source document(s)

Logic (from the Ancient Greek: λογική, logikḗ), originally meaning "the word" or "what is spoken" (but coming to mean "thought" or "reason"), is generally held to consist of the systematic study of the form of arguments. A valid argument is one where there is a specific relation of logical support between the assumptions of the argument and its conclusion. (In ordinary discourse, the conclusion of such an argument may be signified by words like therefore', hence, ergo and so on.)

AttributesValues
rdf:type
rdfs:label
  • Logic
  • منطق
  • Logik
  • Lógica
  • Logique
  • Logica
  • 論理学
  • Logica
  • Logika
  • Lógica
  • Логика
  • 逻辑
rdfs:comment
  • المنطق هو دراسة مناهج الفكر وطرق الاستدلال السليم، وفي المقام الأول يدرس في تخصصات الفلسفة والرياضيات وعلم الدلالة وعلم الحاسوب. ويعتبر أرسطو أول من كتب عن المنطق بوصفه علماً قائماً بذاته، وسميت مجموعة بحوثه المنطقية اورغانون، فكان القياس في نظر أرسطو هو صورة الاستدلال، ولكن بقيام النهضة الأوروبية ونهضة العلوم الطبيعية أصبح المنطق علماً مختلفاً نوعا ما عن منطق أرسطو فظهر منطق الاستقراء الذي كان رائده فرانسيس بيكون واستكمله بعد ذلك جون ستيوارت ميل. هناك أيضاً جانب المنطق الرياضي الذي ابتدأه ليبنتز وعدّله برتراند راسل الذي ربط الرياضيات بالمنطق وجعلها امتداد له.
  • Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (Ein Satz wie Der Apfel ist rot wird z. B. in der Prädikatenlogik als f(a) formalisiert, wobei a für Der Apfel und f für ist rot steht) und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik (dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn.
  • La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a chiarire la correttezza o meno dei procedimenti inferenziali del pensiero.
  • Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren. Traditioneel wordt de logica door de filosofie bestudeerd, maar zij wordt ook tot de wiskunde gerekend. De logicus (meervoud: logici) is gespecialiseerd in deze tak van wetenschap, maar ook door wetenschappers binnen veel andere takken en subdisciplines van de wetenschap wordt veel gebruikgemaakt van de logica.
  • 論理学(ろんりがく、英: logic)とは、論理を成り立たせる論証の構成やその体系を研究する学問である。
  • Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).
  • 邏輯(英语:logic),又稱理則、論理、推理、推論,是有效推論的哲學研究。邏輯被使用在大部份的智能活動中,但主要在哲學、數學、語義學和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論。在哲學裡,邏輯被應用在大多數的主要領域之中:形上學/宇宙論、本體論、知識論及倫理學。在數學裡,邏輯是指研究某個形式語言的有效推論。在辯證法中也會學習到邏輯。 一些古文明(如印度、中國和希臘)都有對邏輯進行研究。在西方,亞里斯多德將邏輯建立成一門正式的學科,並在哲學中給予它一個基本的位子。 邏輯通常可分為三個部份:歸納推理、溯因推理和演繹推理。
  • La lógica es una ciencia formal que estudia los principios de la demostración y la inferencia válida. La palabra deriva del griego antiguo λογική logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (lógos), «palabra, pensamiento, idea, argumento, razón o principio».
  • La logique, du grec λογική / logikê, est un terme dérivé de λόγος / lógos — signifiant à la fois « raison », « langage », et « raisonnement » — est, dans une première approche, l'étude des règles formelles que doit respecter toute argumentation correcte. Le terme fut utilisé pour la première fois par Xénocrate[réf. nécessaire].
  • Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido. No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação. Ambos os sentidos se baseando no foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos, assim sendo, a correta e equilibrada relação entre todos os termos, a total concordância entre cada um deles dentro de um desenvolvimento.
  • Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «рассуждение», «мысль», «разум») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэт
  • Logic (from the Ancient Greek: λογική, logikḗ), originally meaning "the word" or "what is spoken" (but coming to mean "thought" or "reason"), is generally held to consist of the systematic study of the form of arguments. A valid argument is one where there is a specific relation of logical support between the assumptions of the argument and its conclusion. (In ordinary discourse, the conclusion of such an argument may be signified by words like therefore', hence, ergo and so on.)
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git21 as of Mar 09 2019


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3230 as of Apr 1 2019, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2019 OpenLink Software