औपचारिक विज्ञान के उदाहरण

 औपचारिक विज्ञान वे हैं जिनमें विश्लेषणात्मक प्रस्ताव लेते हैं बयान गणित और तर्क की। इस प्रकार उसके अध्ययन का क्षेत्र वास्तविक संसार नहीं बल्कि आदर्श संसार है, सामग्री के खाली रूप कई मामले पूरी तरह से देखने योग्य नहीं हो सकते हैं, लेकिन वे समझने के लिए मान्य विश्लेषणात्मक उपकरण हैं वास्तविकता। उदाहरण के लिए: सांख्यिकी, तर्क, गणित।

औपचारिक विज्ञानों को वास्तविकता के साथ संघर्ष में नहीं आने की विशेषता है, क्योंकि उनके पास सत्यापन योग्य होने की जिम्मेदारी नहीं है। इसके विपरीत, औपचारिक विज्ञानों को उपयोग करने की आवश्यकता है प्रस्ताव कि वे एक तार्किक अर्थ में प्रदर्शन योग्य हैं, और वे हो सकते हैं: अन्यथा, ये विज्ञान 'स्वयंसिद्ध' का उपयोग करते हैं जो स्वयं-स्पष्ट प्रस्ताव हैं जिन्हें पूर्व प्रमाण की आवश्यकता के बिना स्वीकार किया जाता है।

अभिगृहीतों का प्रयोग इस प्रकार के विज्ञान की सामान्य पद्धति से संबंधित है, जो कि निगमनात्मक विधि: अभिगृहीतों को एक प्रारंभिक बिंदु के रूप में लेना और फिर व्युत्पन्न तरीके से आगे बढ़ते हुए, प्रस्ताव पिछले प्रस्तावों के आवश्यक तार्किक परिणामों के रूप में। तब यह कहा जाता है कि एक औपचारिक प्रणाली निम्नलिखित से बनी होती है:

यह आपकी सेवा कर सकता है:

वे तथ्यात्मक विज्ञान का विरोध करते हैं

आमतौर पर औपचारिक विज्ञान की धारणा इसके विपरीत आती है तथ्यात्मक विज्ञान, जो तथ्यों का अध्ययन करने वाले हैं। आज की दुनिया में एक और दूसरा दोनों बहुत महत्वपूर्ण हैं, क्योंकि वे एक पूरक हैं दोनों के बीच: तकनीकी प्रगति में कुछ मौलिक विज्ञानों का योगदान (जैसे रसायन विज्ञान या कंप्यूटिंग) गणित जैसी औपचारिक प्रणालियों द्वारा समर्थित हैं।

औपचारिक विज्ञान के उदाहरण

1. सैद्धांतिक कंप्यूटर विज्ञान. कंप्यूटर विज्ञान के भीतर विभाजन, जो क्षेत्र के अधिक सार और गणितीय पहलुओं पर केंद्रित है। इसमें एल्गोरिदम का विश्लेषण और विशेष रूप से औपचारिक शब्दार्थ शामिल हैं प्रोग्रामिंग की भाषाएँ.
2. आंकड़े. विज्ञान जो डेटा एकत्र करने, व्यवस्थित करने, प्रसंस्करण, विश्लेषण और व्याख्या करने के लिए जिम्मेदार है ताकि a. की विशेषताओं को कम किया जा सके आबादी उद्देश्य।
3. तर्क. अनुशासन जो तर्क की औपचारिक प्रक्रियाओं का अध्ययन करता है, यह जानने की कोशिश करता है कि औपचारिक प्रस्तावों के माध्यम से मानव मस्तिष्क किस प्रकार की प्रक्रियाओं का उपयोग करता है।
4. गणित. निगमन विज्ञान जो अमूर्त संस्थाओं के गुणों और उनके संबंधों के अध्ययन के लिए समर्पित है। के साथ काम करता है नंबर, प्रतीकों, और ज्यामितीय आंकड़े।
5. सिस्टम सिद्धांत. अनुसंधान के सभी क्षेत्रों में किसी भी स्तर पर प्रणालियों पर लागू सिद्धांतों का अध्ययन करने के लिए सामान्य रूप से प्रणालियों का अंतःविषय अध्ययन।

साथ में पीछा करना: