Sign In

da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems

Created by
  • Haebom
Category
Empty

μ €μž

Gabriel Rocha

πŸ’‘ κ°œμš”

이 논문은 칸트주의-κ³ κ΅¬μ—μ£Όμ˜μ— κΈ°λ°˜ν•œ μƒˆλ‘œμš΄ μ˜¨ν†¨λ‘œμ§€ μ΄μ§ˆμ„± ν•΄κ²° μ ‘κ·Ό 방식을 μ œμ‹œν•©λ‹ˆλ‹€. λ‹€ μ½”μŠ€νƒ€μ˜ κ΄€μš©μ˜ 원리와 타λ₯΄μŠ€ν‚€μ˜ κ·€κ²° μ—°μ‚°μž κ°œλ…μ„ ν™œμš©ν•˜μ—¬, μ˜¨ν†¨λ‘œμ§€μ  곡리듀이 μΆ”κ°€λœ ν™•μž₯된 κ·€κ²° μ‹œμŠ€ν…œμ„ μ œμ•ˆν•©λ‹ˆλ‹€. 이λ₯Ό 톡해 μ˜¨ν†¨λ‘œμ§€λ“€μ„ ν™•μž₯된 κ·€κ²° μ‹œμŠ€ν…œμ˜ 사상(morphisms)뿐만 μ•„λ‹ˆλΌ ν”ΌλΈŒλ§(fibring) 및 λΆ„ν• (splitting)κ³Ό 같은 연산을 톡해 κ΄€λ ¨μ‹œν‚€λŠ” ν™•μž₯된 개발 κ·Έλž˜ν”„λ₯Ό μ •μ˜ν•©λ‹ˆλ‹€.

πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„

β€’
μ˜¨ν†¨λ‘œμ§€ μ΄μ§ˆμ„± 문제λ₯Ό ν•΄κ²°ν•˜κΈ° μœ„ν•œ μƒˆλ‘­κ³  ν˜•μ‹μ μΈ ν”„λ ˆμž„μ›Œν¬λ₯Ό μ œκ³΅ν•©λ‹ˆλ‹€.
β€’
κ·€κ²° μ‹œμŠ€ν…œκ³Ό μ˜¨ν†¨λ‘œμ§€μ  곡리λ₯Ό κ²°ν•©ν•˜μ—¬ μ˜¨ν†¨λ‘œμ§€ κ°„μ˜ 관계λ₯Ό μœ μ—°ν•˜κ²Œ μ •μ˜ν•  수 μžˆμŠ΅λ‹ˆλ‹€.
β€’
μ œμ•ˆλœ μ ‘κ·Ό λ°©μ‹μ˜ μ‹€μ§ˆμ μΈ 적용 κ°€λŠ₯μ„±κ³Ό 계산 λ³΅μž‘μ„±μ— λŒ€ν•œ 좔가적인 연ꡬ가 ν•„μš”ν•©λ‹ˆλ‹€.
πŸ‘
Made with Slashpage